Model based development of safety-critical systems using template based code generation

被引:2
|
作者
Regensburger, Matthias [1 ]
Buckl, Christian [1 ]
Knoll, Alois [1 ]
Schrott, Gerhard [1 ]
机构
[1] Tech Univ Munich, D-8046 Garching, Germany
来源
13TH PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING, PROCEEDINGS | 2007年
关键词
D O I
10.1109/PRDC.2007.25
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
Model-based development is state of the art in software engineering, due to its potential regarding automatic code synthesis. Nevertheless for embedded systems, where there exists a huge heterogeneity of used platforms, it is obvious that it is impossible to design a code generator that supports a priori all required platforms. Instead a code generator architecture is needed that is suited for an easy extensibility of the code generation ability. One possible solution is the use of template-based approaches. In this paper, we describe an approach(1) to develop safety-critical real-time systems by using openArchitecture Ware, a modular MDA/MDD generator framework. We will present the tool-chain and discuss two lab applications.
引用
收藏
页码:89 / 92
页数:4
相关论文
共 50 条
  • [21] UML for Software Safety and Certification Model-Based Development of Safety-Critical Software-Intensive Systems
    Huhn, Michaela
    Hungar, Hardi
    MODEL-BASED ENGINEERING OF EMBEDDED REAL-TIME SYSTEMS, 2010, 6100 : 201 - +
  • [22] Model checking safety-critical systems using safecharts
    Hsiung, Pao-Ann
    Chen, Yean-Ru
    Lin, Yen-Hung
    IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (05) : 692 - 705
  • [23] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    AUTOMATION 2012, 2012, 2171 : 55 - 58
  • [24] Safety-Critical Systems: The Next Generation INTRODUCTION
    Bloomfield, Robin
    Lala, Jay
    IEEE SECURITY & PRIVACY, 2013, 11 (04) : 11 - 13
  • [25] Rule checking within the model-based development of safety-critical systems and embedded automotive software
    Farkas, Tibor
    Grund, Daniel
    Eighth International Symposium on Autonomous Decentralized Systems, Proceedings, 2007, : 287 - 294
  • [26] XANDAR: Exploiting the X-by-Construction Paradigm in Model-based Development of Safety-critical Systems
    Masing, Leonard
    Doerr, Tobias
    Schade, Florian
    Becker, Juergen
    Keramidas, Georgios
    Antonopoulos, Christos P.
    Mavropoulos, Michail
    Tiganourias, Efstratios
    Kelefouras, Vasilios
    Antonopoulos, Konstantinos
    Voros, Nikolaos
    Durak, Umut
    Ahlbrecht, Alexander
    Zaeske, Wanja
    Panagiotou, Christos
    Karadimas, Dimitris
    Adler, Nico
    Sailer, Andreas
    Weber, Raphael
    Wilhelm, Thomas
    Nemeth, Geza
    Siddiqui, Fahad
    Khan, Rafiullah
    Garousi, Vahid
    Sezer, Sakir
    Morales, Victor
    PROCEEDINGS OF THE 2022 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE 2022), 2022, : 814 - 818
  • [27] Towards formalized model-based requirements for a seamless design approach in safety-critical systems development
    Walter, Stefan
    Rettberg, Achim
    Kreutz, Marcio
    2015 IEEE 18th International Symposium on Real-Time Distributed Computing Workshops, 2015, : 111 - 115
  • [28] A consequence-based approach to safety-critical systems
    Perico-Cortés, A
    SAFETY INTEGRITY: THE IMPLICATIONS OF IEC 61508 AND OTHER STANDARDS FOR THE PROCESS INDUSTRIES, PROCEEDINGS, 2000, : 29 - 40
  • [29] A distance model for safety-critical systems
    Szijártó, Miklós
    Gröger, Dietmár
    Kallós, Gábor
    Periodica Polytechnica Electrical Engineering, 2001, 45 (02): : 109 - 118
  • [30] Automatic Testbench Generation for Simulation-based Verification of Safety-critical Systems in UML
    Weissnegger, Ralph
    Schuss, Markus
    Kreiner, Christian
    Pistauer, Markus
    Roemer, Kay
    Steger, Christian
    PECCS: PROCEEDINGS OF THE 6TH INTERNATIONAL JOINT CONFERENCE ON PERVASIVE AND EMBEDDED COMPUTING AND COMMUNICATION SYSTEMS, 2016, : 70 - 75