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 条

[31] Model-based design, analysis and assessment framework for safety-critical systems
Lu, Kuen-Long
Chen, Yung-Yuan
51ST ANNUAL IEEE/IFIP INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS - SUPPLEMENTAL VOL (DSN 2021), 2021, : 25 - 26
[32] Model-Based Verification and Testing Methodology for Safety-Critical Airborne Systems
Elqortobi, Mounia
El-Khouly, Warda
Rahj, Amine
Bentahar, Jamal
Dssouli, Rachida
NEW TRENDS IN MODEL AND DATA ENGINEERING (MEDI 2018), 2018, 929 : 63 - 74
[33] Industrial-Strength Model-Based Testing of Safety-Critical Systems
Peleska, Jan
Huang, Wen-ling
FM 2016: FORMAL METHODS, 2016, 9995 : 3 - 22
[34] Verification and Testing of Safety-Critical Airborne Systems: a Model-based Methodology
Elqortobi, Mounia
El-Khouly, Warda
Rahj, Amine
Bentahar, Jamal
Dssouli, Rachida
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2020, 17 (01) : 271 - 292
[35] Model-Based Integration of Test and Evaluation Process and System Safety Process for Development of Safety-Critical Weapon Systems
Shin, Young-Don
Sim, Sang-Hyun
Lee, Jae-Chon
SYSTEMS ENGINEERING, 2017, 20 (03) : 257 - 279
[36] On Using Blockchains for Safety-Critical Systems
Berger, Christian
Penzenstadler, Birgit
Droegehorn, Olaf
2018 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON SOFTWARE ENGINEERING FOR SMART CYBER-PHYSICAL SYSTEMS (SESCPS), 2018, : 30 - 36
[37] AADL-based Safety Analysis Approaches for Safety-Critical Systems
Wei, Xiaomin
2019 IEEE 12TH CONFERENCE ON SOFTWARE TESTING, VALIDATION AND VERIFICATION (ICST 2019), 2019, : 481 - 482
[38] Managing technology development for safety-critical systems
Sachon, M
Paté-Cornell, ME
IEEE TRANSACTIONS ON ENGINEERING MANAGEMENT, 2004, 51 (04) : 451 - 461
[39] Engineering Education for Development of Safety-Critical Systems
Singh, Pooja
Singh, Lalit Kumar
IEEE TRANSACTIONS ON EDUCATION, 2021, 64 (04) : 398 - 405
[40] TRANSPUTER-BASED FAULT TOLERANCE IN SAFETY-CRITICAL SYSTEMS
THOMPSON, HA
MICROPROCESSORS AND MICROSYSTEMS, 1991, 15 (05) : 243 - 248

← 1 2 3 4 5 →