Building safety-critical real-time systems with synchronous software components

被引：0
|
作者：
Gunzert, M [1 ]
机构：
[1] Univ Stuttgart, Inst Ind Automat & Software Engn, IAS, D-70550 Stuttgart, Germany
来源：
REAL TIME PROGRAMMING 1999 (WRTP'99) | 1999年
关键词：
safety-critical systems; synchronous reactive systems; ESTEREL; time-triggered architectures; component-based development;
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In this paper a new method for the development of distributed safety-critical real-time systems is presented. The method is based on the synchronous approach for designing reactive systems and a time-triggered communication architecture. Synchronous software components consisting of a reactive and a transformational part are used to specify the behavior of the system. The reactive part of a synchronous component is specified in the synchronous language ESTEREL. In the design model, hardware and software components are composed graphically on a high level of abstraction. From the graphical design specification executable code can be generated automatically. Due to the synchronous execution model, the code is deterministic and can also be simulated and verified. Copyright (C) 1999 IFAC.
引用
收藏
页码：63 / 68
页数：6
相关论文
共 50 条
  • [1] Certification of software for real-time safety-critical systems: state of the art
    Kornecki, Andrew
    Zalewski, Janusz
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 149 - 161
  • [2] Experimental evaluation of software development tools for safety-critical real-time systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (02) : 176 - 188
  • [3] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
  • [4] Hardware certification for real-time safety-critical systems: State of the art
    Kornecki, Andrew J.
    Zalewski, Janusz
    ANNUAL REVIEWS IN CONTROL, 2010, 34 (01) : 163 - 174
  • [5] On the fault hypothesis for a safety-critical real-time system
    Kopetz, H.
    AUTOMOTIVE SOFTWARE-CONNECTED SERVICES IN MOBILE NETWORKS, 2004, 4147 : 31 - 42
  • [6] Enabling Efficient Real-Time Requirements Inconsistency Detection for Safety-Critical Systems
    Huang, Yike
    Chen, Xiaohong
    Jin, Zhi
    Zhou, Tingliang
    32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 222 - 229
  • [7] Reduced latency DRAM for multi-core safety-critical real-time systems
    Mohamed Hassan
    Real-Time Systems, 2020, 56 : 171 - 206
  • [8] Reduced latency DRAM for multi-core safety-critical real-time systems
    Hassan, Mohamed
    REAL-TIME SYSTEMS, 2020, 56 (02) : 171 - 206
  • [9] A Flexible Communication Protocol With Guaranteed Determinism for Distributed, Safety-Critical Real-Time Systems
    Raja, Fawad Riasat
    Chen, David
    Hexel, Rene
    IEEE ACCESS, 2022, 10 : 48049 - 48070
  • [10] Verification of A Real Time Scheduling Protocol of Safety-Critical Systems
    Wang, Meng
    Duan, Zhenhua
    Tian, Cong
    Zhang, Nan
    PROCEEDINGS OF THE 2015 IEEE 19TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN (CSCWD), 2015, : 286 - 291
12345