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 条

[1] Applying Model-Based Design and Automatic Production Code Generation to Safety-Critical System Development
Fleischer, Dirk
Beine, Michael
Eisemann, Ulrich
SAE INTERNATIONAL JOURNAL OF PASSENGER CARS-ELECTRONIC AND ELECTRICAL SYSTEMS, 2009, 2 (01): : 240 - 248
[2] Model-Based Deployment Generation for Safety-Critical Avionics Systems
Igna, Georgeta
Dieudonne, Laurent
Voss, Sebastian
Schaetz, Bernhard
2017 12TH IEEE INTERNATIONAL SYMPOSIUM ON INDUSTRIAL EMBEDDED SYSTEMS (SIES), 2017, : 174 - 181
[3] Development of Safety Process in Model-Based Design Platform for Safety-Critical Systems
Chen, Yung-Yuan
Peng, Jing-Xiang
PROCEEDINGS OF 2013 IEEE 4TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND SERVICE SCIENCE (ICSESS), 2012, : 627 - 630
[4] Development of safety-critical systems and model-based risk analysis with UML
Jürjens, J
Houmb, SH
DEPENDABLE COMPUTING, 2003, 2847 : 364 - 365
[5] Model-based software development - A Process for safety-critical embedded Systems
Kuschnerus, Dirk
Gerding, Michael
Bilgic, Attila
Musch, Thomas
ATP EDITION, 2012, (7-8): : 60 - 66
[6] Handling index-out-of-bounds in safety-critical embedded C code using model-based development
Gunter Blache
Software & Systems Modeling, 2019, 18 : 1795 - 1807
[7] Handling index-out-of-bounds in safety-critical embedded C code using model-based development
Blache, Gunter
SOFTWARE AND SYSTEMS MODELING, 2019, 18 (03): : 1795 - 1807
[8] Model-Based Validation of Safety-Critical Embedded Systems
Feiler, Peter H.
2010 IEEE AEROSPACE CONFERENCE PROCEEDINGS, 2010,
[9] Handling Index-Out-Of-Bounds in Safety-Critical Embedded C Code using Model-based Development
Blache, Gunter
19TH ACM/IEEE INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS'16), 2016, : 143 - 149
[10] BSafeML: A Model-Based Hazard Management Technique for Safety-Critical Systems Development
Cutajar, Michael
Ji, Siyuan
IEEE Open Journal of Systems Engineering, 2023, 1 : 81 - 93

← 1 2 3 4 5 →