Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [21 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270110
Contributor : Axelle Pagnier <>
Submitted on : Friday, August 23, 2019 - 6:39:02 PM
Last modification on : Tuesday, August 27, 2019 - 1:27:30 AM
Long-term archiving on: : Friday, January 10, 2020 - 7:06:45 PM

File

ERTS2008_0060_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270110, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

15

Files downloads

23