Model-based development of fault-tolerant embedded software

Christian Buckl, Alois Knoll, Gerhard Schrott

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

7 Scopus citations

Abstract

Model based development has become the state of the art in software engineering. Unfortunately there are only few model-based tools available for the design of fault-tolerant embedded software: while there exist many different code generators for application code, the generation of system aspects like process management, communication in a distributed system and fault-tolerance mechanisms is very complex due to the heterogeneity of the embedded systems. We think that the design of an all-embracing code generator, that supports a priori all platforms (the combination of hardware, operating system and programming language) is impossible. Rather it is necessary to concentrate on a code generator architecture that allows an easy extension of the code generation ability. In this paper we present one possible solution: generating the code on the basis of templates, that solve different recurring aspects of safety-critical embedded software. By the use of a technique similar to preprocessor macros, these templates can be implemented in an application independent fashion. The code generator can then adapt these templates to the application by extracting the necessary information out of the model provided by the application developer. A first realization of this approach is also mentioned in this paper.

Original languageEnglish
Title of host publicationProceedings - ISoLA 2006
Subtitle of host publication2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
PublisherIEEE Computer Society
Pages103-110
Number of pages8
ISBN (Print)0769530710, 9780769530710
DOIs
StatePublished - 2006
Event2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006 - Paphos, Cyprus
Duration: 15 Nov 200619 Nov 2006

Publication series

NameProceedings - ISoLA 2006: 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation

Conference

Conference2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2006
Country/TerritoryCyprus
CityPaphos
Period15/11/0619/11/06

Fingerprint

Dive into the research topics of 'Model-based development of fault-tolerant embedded software'. Together they form a unique fingerprint.

Cite this