Certification of Model-based Code Generators – Open Problems and Possible Solutions - INSU - Institut national des sciences de l'Univers Access content directly
Conference Papers Year : 2008

Certification of Model-based Code Generators – Open Problems and Possible Solutions

Abstract

Model-based development and automatic code generation have become an established approach in embedded software development for both the automotive and avionics sectors. The use of a code generator can lead to significant improvements in productivity in the software implementation phase. Moreover, early quality assurance at the model level can lead to a higher level of code quality. However, automotive or avionic software is very often deployed in safety-critical systems and as a result, may not contain errors. In this context it is crucial that the use of a code generator and its tool chain (editor, compiler, linker, loader, etc.) does not incorporate errors in the target system and leave them undetected. In general, this cannot be fully avoided even when using a code generator proven to be ‘correct-by-construction’. Inappropriate modeling or the faulty configuration of the code generator could, for example, lead to erroneous generated code. This paper discusses how code generators and generated code can be safeguarded by means of tool certification (also termed qualification in the avionics sector) in respect to safety standards that are relevant for the automotive and avionics sectors. Specific, tool- related problems will be discussed and illustrated with practice-relevant examples; possible solutions for safeguarding model-based code generators will be presented.
Fichier principal
Vignette du fichier
ERTS2008_0060_paper.pdf (268.84 Ko) Télécharger le fichier
Origin Files produced by the author(s)
Loading...

Dates and versions

insu-02270110 , version 1 (23-08-2019)

Identifiers

  • HAL Id : insu-02270110 , version 1

Cite

Ingo Stürmer. Certification of Model-based Code Generators – Open Problems and Possible Solutions. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270110⟩

Collections

INSU ERTS2008
19 View
99 Download

Share

Gmail Mastodon Facebook X LinkedIn More