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 条
  • [1] Model-Based Development of Distributed Embedded Real-Time Systems with the DECOS Tool-Chain
    Herzner, Wolfgang
    Schlager, Martin
    Csertan, Gyorgy
    Huber, Bernhard
    Le-Sergent, Thierry
    Schoitsch, Erwin
    Schlick, Rupert
    [J]. ERCIM NEWS, 2008, (75): : 25 - 26
  • [2] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
    Mzid, Rania
    [J]. JOURNAL OF SUPERCOMPUTING, 2024, 80 (08): : 11431 - 11473
  • [3] Real-time design patterns for the verification of safety-critical embedded systems in model-based approach
    Rania Mzid
    [J]. The Journal of Supercomputing, 2024, 80 : 11431 - 11473
  • [4] Model-based software development - A Process for safety-critical embedded Systems
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    [J]. ATP EDITION, 2012, (7-8): : 60 - 66
  • [5] The Fujaba real-time tool suite - Model-driven development of safety-critical, real-time systems
    Burmester, S
    Giese, H
    Hirsch, M
    Schilling, D
    Tichy, M
    [J]. ICSE 05: 27th International Conference on Software Engineering, Proceedings, 2005, : 670 - 671
  • [6] Model-based tool-chain infrastructure for automated analysis of embedded systems
    Su, Hang
    Hemingway, Graham
    Chen, Kai
    Koo, T. John
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 523 - 537
  • [7] Model-Based Validation of Safety-Critical Embedded Systems
    Feiler, Peter H.
    [J]. 2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
  • [8] Innovation Welcome: An Agile Approach to Model-Based Development of Safety-Critical Embedded Systems
    Mills, John
    Turin, Raymond
    Mangas, Jeremy
    Ranville, Scott
    [J]. 2018 IEEE 15TH INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE COMPANION (ICSA-C 2018), 2018, : 152 - 152
  • [9] Towards a Model-based Multi-Objective Optimization Approach For Safety-Critical Real-Time Systems
    Kamni, Soulimane
    Ouhammou, Yassine
    Bertout, Antoine
    Grolleau, Emmanuel
    [J]. PROCEEDINGS OF THE 2020 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2020), 2020, : 634 - 637
  • [10] Validation and certification of safety-critical embedded systems -: The DECOS test bench
    Schoitsch, Erwin
    Althammer, Egbert
    Eriksson, Henrik
    Vinter, Jormy
    Goenczy, Laszlo
    Pataricza, Andras
    Csertan, Gyoergy
    [J]. COMPUTER SAFETY, RELIABILTIY, AND SECURITY, PROCEEDINGS, 2006, 4166 : 372 - 385
12345