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 条
  • [21] Dependability of safety-critical systems
    Buja, G
    Castellan, S
    Menis, R
    Zuccollo, A
    2004 IEEE INTERNATIONAL CONFERENCE ON INDUSTRIAL TECHNOLOGY (ICIT), VOLS. 1- 3, 2004, : 1561 - 1566
  • [22] A Safe, Secure, and Predictable Software Architecture for Deep Learning in Safety-Critical Systems
    Biondi, Alessandro
    Nesti, Federico
    Cicero, Giorgiomaria
    Casini, Daniel
    Buttazzo, Giorgio
    IEEE EMBEDDED SYSTEMS LETTERS, 2020, 12 (03) : 78 - 82
  • [23] An optimal statistical testing policy for software reliability demonstration of safety-critical systems
    Tal, O
    McCollin, C
    Bendell, A
    EUROPEAN JOURNAL OF OPERATIONAL RESEARCH, 2002, 137 (03) : 544 - 557
  • [24] How Do Practitioners Perceive Assurance Cases in Safety-Critical Software Systems?
    Cheng, Jinghui
    Goodrum, Micayla
    Metoyer, Ronald
    Cleland-Huang, Jane
    2018 IEEE/ACM 11TH INTERNATIONAL WORKSHOP ON COOPERATIVE AND HUMAN ASPECTS OF SOFTWARE ENGINEERING (CHASE), 2018, : 57 - 60
  • [25] Trace Link Evolution across Multiple Software Versions in Safety-critical Systems
    Rahimi, Mona
    2016 IEEE/ACM 38TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING COMPANION (ICSE-C), 2016, : 871 - 874
  • [26] Methodology for assessing safety-critical systems
    HRL Laboratories, LLC, 3011 Malibu Canyon Road, Malibu, CA 90265-4797, United States
    不详
    Int J Modell Simul, 2007, 2 (99-106): : 99 - 106
  • [27] FORMAL VERIFICATION OF SAFETY-CRITICAL SYSTEMS
    MOSER, LE
    MELLIARSMITH, PM
    SOFTWARE-PRACTICE & EXPERIENCE, 1990, 20 (08) : 799 - 821
  • [28] FACILITATING THE MAINTENANCE OF SAFETY-CRITICAL SYSTEMS
    GANNOD, GC
    CHENG, BHC
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 1994, 4 (02) : 183 - 204
  • [29] A method and a technique to model and ensure timeliness in safety critical real-time systems
    Aussagues, C
    David, V
    FOURTH IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS - PROCEEDINGS, 1998, : 2 - 12
  • [30] A Controlled Experiment in Testing of Safety-Critical Embedded Software
    Enoiu, Eduard P.
    Causevic, Adnan
    Sundmark, Daniel
    Pettersson, Paul
    2016 9TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION (ICST), 2016, : 1 - 11
12345