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 条
  • [41] Are safety-critical systems really survivable to attacks?
    Silva, Helber
    Vieira, Marco
    Neto, Augusto
    2023 IEEE INTERNATIONAL SYSTEMS CONFERENCE, SYSCON, 2023,
  • [42] Safety-Critical Systems: The Next Generation INTRODUCTION
    Bloomfield, Robin
    Lala, Jay
    IEEE SECURITY & PRIVACY, 2013, 11 (04) : 11 - 13
  • [43] A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
    Kristina Lundqvist
    Lars Asplund
    Real-Time Systems, 2003, 24 : 29 - 54
  • [44] A ravenscar-compliant run-time kernel for safety-critical systems
    Lundqvist, K
    Asplund, L
    REAL-TIME SYSTEMS, 2003, 24 (01) : 29 - 54
  • [45] Variability Management in Safety-Critical Software Product Line Engineering
    de Oliveira, Andre Luiz
    Braga, Rosana T., V
    Masiero, Paulo C.
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    NEW OPPORTUNITIES FOR SOFTWARE REUSE, 2018, 10826 : 3 - 22
  • [46] Safety Perspective for Supporting Architectural Design of Safety-Critical Systems
    Gurbuz, Havva Gulay
    Tekinerdogan, Bedir
    Er, Nagehan Pala
    SOFTWARE ARCHITECTURE, ECSA 2014, 2014, 8627 : 365 - 373
  • [47] A comparison of methods for calculating the duration of software reliability demonstration testing, particularly for safety-critical systems
    Tal, O
    Bendell, A
    McCollin, C
    QUALITY AND RELIABILITY ENGINEERING INTERNATIONAL, 2000, 16 (01) : 59 - 62
  • [48] Spatial Functions for Modeling and Analysis of Safety-Critical Systems of Systems
    Lanier, Benjamin
    Petnga, Leonard
    2019 14TH ANNUAL CONFERENCE SYSTEM OF SYSTEMS ENGINEERING (SOSE), 2019, : 352 - 357
  • [49] Towards a Real-Time Smart Prognostics and Health Management (PHM) of Safety Critical Embedded Systems
    Pimentel, Juliano
    McEwan, Alistair A.
    Yu, Hong Qing
    2022 25TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2022, : 696 - 703
  • [50] On Design-time Modelling and Verification of Safety-critical Component-based Systems
    Kajtazovic, Nermin
    Preschern, Christopher
    Hoeller, Andrea
    Kreiner, Christian
    INTERNATIONAL JOURNAL OF NETWORKED AND DISTRIBUTED COMPUTING, 2014, 2 (03) : 175 - 188
12345