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 条

[41] A Confidence-based Software Voter for Safety-Critical Systems
Rezaee, Mohammadreza
Sedaghat, Yasser
Khosravi-Farmad, Masoud
2014 IEEE 12TH INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING (DASC)/2014 IEEE 12TH INTERNATIONAL CONFERENCE ON EMBEDDED COMPUTING (EMBEDDEDCOM)/2014 IEEE 12TH INTERNATIONAL CONF ON PERVASIVE INTELLIGENCE AND COMPUTING (PICOM), 2014, : 196 - 201
[42] Design pattern for safety-critical knowledge-based systems
Steinberg, R
Fjellheim, R
Olsen, SA
VALIDATION AND VERIFICATION OF KNOWLEDGE BASED SYSTEMS: THEORY, TOOLS AND PRACTICE, 1999, : 131 - 147
[43] A STAMP based Method to Synthesize Controller of Safety-Critical Systems
Horta, Braulio Marques
Bezerra, Juliana de Melo
Hirata, Celso Massaki
2018 IEEE/AIAA 37TH DIGITAL AVIONICS SYSTEMS CONFERENCE (DASC), 2018, : 1331 - 1337
[44] A Pattern Recognition Based FMEA for Safety-Critical SCADA Systems
Lin, Kuo-Sui
INTELLIGENT INFORMATION AND DATABASE SYSTEMS, ACIIDS 2019, PT II, 2019, 11432 : 26 - 39
[45] Software-Based Remote Attestation for Safety-Critical Systems
Preschern, Christopher
Hoermer, Andreas Johann
Kajtazovic, Nermin
Kreiner, Christian
IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 8 - 12
[46] A study of automatic code generation for safety-critical software: Preliminary report
Crawford, L
Erwin, J
Grimaldi, S
Mitra, S
Komecki, A
Gluch, DP
EIGHTH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING, PROCEEDINGS, 2004, : 287 - 288
[47] Co-modeling and Code Generation for Safety-critical Heterogeneous Software
Zong Z.
Yang Z.-B.
Yuan S.-H.
Zhou Y.
Bodeleix J.-P.
Filali M.
Ruan Jian Xue Bao/Journal of Software, 2021, 32 (04): : 904 - 933
[48] SAFETY-CRITICAL SYSTEMS
MCDERMID, JA
THEWLIS, DJ
SOFTWARE ENGINEERING JOURNAL, 1991, 6 (02): : 35 - 35
[49] Machine Learning Based Test Data Generation for Safety-Critical Software
Cegin, Jan
PROCEEDINGS OF THE 28TH ACM JOINT MEETING ON EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (ESEC/FSE '20), 2020, : 1678 - 1681
[50] SAFETY-CRITICAL SYSTEMS
RUDALL, BH
ROBOTICA, 1990, 8 : 184 - 184

← 1 2 3 4 5 →