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
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2009, 5 (02) : 149 - 161
  • [2] Building safety-critical real-time systems with reusable cyclic executives
    Zamorano, J
    Alonso, A
    delaPuente, JA
    [J]. CONTROL ENGINEERING PRACTICE, 1997, 5 (07) : 999 - 1005
  • [3] Decomposition in real-time safety-critical systems
    Mukherjee, P
    Stavridou, V
    [J]. REAL-TIME SYSTEMS, 1998, 14 (02) : 183 - 202
  • [4] Decomposition in Real-Time Safety-Critical Systems
    Paul Mukherjee
    Victoria Stavridou
    [J]. Real-Time Systems, 1998, 14 : 183 - 202
  • [5] Criteria for software tools evaluation in the development of safety-critical real-time systems
    Kornecki, AJ
    Zalewski, J
    [J]. PROBABILISTIC SAFETY ASSESSMENT AND MANAGEMENT, VOL 1- 6, 2004, : 2364 - 2370
  • [6] Experimental evaluation of software development tools for safety-critical real-time systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. INNOVATIONS IN SYSTEMS AND SOFTWARE ENGINEERING, 2005, 1 (02) : 176 - 188
  • [7] Developing safety-critical real-time systems with SDL design patterns and components
    Fliege, I
    Geraldy, A
    Gotzhein, R
    Kuhn, T
    Webel, C
    [J]. COMPUTER NETWORKS, 2005, 49 (05) : 689 - 706
  • [8] Hardware Certification for Safety-Critical Real-Time Systems
    Kornecki, Andrew J.
    Zalewski, Janusz
    [J]. IFAC WORKSHOP ON PROGRAMMABLE DEVICES AND EMBEDDED SYSTEMS (PDES 2009), PROCEEDINGS, 2009, : 1 - 12
  • [9] Special section on real-time safety-critical systems
    Janusz Zalewski
    [J]. Innovations in Systems and Software Engineering, 2009, 5 (2) : 95 - 96
  • [10] The Shift to Multicores in Real-Time and Safety-Critical Systems
    Saidi, Selina
    Ernst, Rolf
    Uhrig, Sascha
    Theiling, Henrik
    de Dinechin, Benoit Dupont
    [J]. 2015 INTERNATIONAL CONFERENCE ON HARDWARE/SOFTWARE CODESIGN AND SYSTEM SYNTHESIS (CODES+ISSS), 2015, : 220 - 229
12345