The DECOS Tool-Chain: Model-Based Development of Distributed Embedded Safety-Critical Real-Time Systems

被引：0
|
作者：
Herzner, Wolfgang [1 ]
Huber, Bernhard [2 ]
Csertan, Gyoergy [3 ]
Balogh, Andras [3 ]
机构：
[1] AARIT, ARC Seibersdorf Res, Vienna, Austria
[2] Vienna Univ Technol, Vienna, Austria
[3] Budapest Univ Technol & Econ, Budapest, Hungary
来源：
ERCIM NEWS | 2006年 / 67期
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
'Smart systems' applications like adaptive cruise control or brake-by-wire, rely on predictable and reliable embedded system platforms as infrastructure. For the development of such dependable applications, it is therefore of crucial interest to avoid faults during design and development. Besides intensive testing, an important way of minimising the risk of faults is by controlling the design and development process, as well as maximising the coherence of the resulting system with the initial requirements. The model-based tool-chain developed by the DECOS project is described.
引用
收藏
页码：22 / 24
页数：3
相关论文
共 50 条
  • [41] On Budgeting and Quality, with an Application to Safety-Critical Real-time Systems
    Alahmad, Bader
    Gopalakrishnan, Sathish
    [J]. PROCEEDINGS OF THE 26TH INTERNATIONAL CONFERENCE ON REAL-TIME NETWORKS AND SYSTEMS (RTNS 2018), 2018,
  • [42] Models for automatic generation of safety-critical real-time systems
    Buckl, Christian
    Regensburger, Matthias
    Knoll, Alois
    Schrott, Gerhard
    [J]. ARES 2007: SECOND INTERNATIONAL CONFERENCE ON AVAILABILITY, RELIABILITY AND SECURITY, PROCEEDINGS, 2007, : 580 - +
  • [43] BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development
    Cutajar, Michael
    Ji, Siyuan
    [J]. IEEE Open Journal of Systems Engineering, 2023, 1 : 81 - 93
  • [44] Service based meta-model for the development of distributed embedded real-time systems
    Aziz, Muhammad Waqar
    Mohamad, Radziah
    Jawawi, Dayang N. A.
    Mamat, Rosbi
    [J]. REAL-TIME SYSTEMS, 2013, 49 (05) : 563 - 579
  • [45] Model-Based Systems Engineering Tool-Chain for Automated Parameter Value Selection
    Lu, Jinzhi
    Chen, Dejiu
    Wang, Guoxin
    Kiritsis, Dimitris
    Torngren, Martin
    [J]. IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2022, 52 (04): : 2333 - 2347
  • [46] Service based meta-model for the development of distributed embedded real-time systems
    Muhammad Waqar Aziz
    Radziah Mohamad
    Dayang N. A. Jawawi
    Rosbi Mamat
    [J]. Real-Time Systems, 2013, 49 : 563 - 579
  • [47] A Process-oriented Build Tool for Safety-critical Model-based Software Development
    Hochstrasser, Markus
    Myschik, Stephan
    Holzapfel, Florian
    [J]. PROCEEDINGS OF THE 6TH INTERNATIONAL CONFERENCE ON MODEL-DRIVEN ENGINEERING AND SOFTWARE DEVELOPMENT, 2018, : 191 - 202
  • [48] Model transformations in the model-based development of real-time systems
    Szemethy, Tivadar
    Karsai, Gabor
    Balasubramanian, Daniel
    [J]. 13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 177 - +
  • [49] Supporting model-based safety analysis for safety-critical IoT systems
    Ihirwe, Felicien
    Di Ruscio, Davide
    Di Blasio, Katia
    Gianfranceschi, Simone
    Pierantonio, Alfonso
    [J]. JOURNAL OF COMPUTER LANGUAGES, 2024, 78
  • [50] A new methodology and tool set to execute software test on real-time safety-critical systems
    Alessandro, C
    Roberto, DM
    Fernando, S
    Fabio, P
    Leonardo, I
    Arturo, A
    [J]. DEPENDABLE COMPUTING - EDCC-5, PROCEEDINGS, 2005, 3463 : 293 - 304
12345