Safely Excluding Serious Errors

Autor(en):
Daniel Kaestner (AbsInt), 
Carsten Rustemeier (dSPACE GmbH), 
Veröffentlicht: Elektronik automotive, Mar 2014

In model-based development, software is developed at a high level of abstraction, i.e., as a model, and the C code implementation is automatically generated from the model. The high degree of abstraction allows intuitive application development and increases the efficiency of development. However, to verify system safety, it is not enough to regard only the model level; the properties of the C code and even of the binary machine code also have to be investigated. For example, this has to be done to determine the bounds for execution time and stack usage as required by ISO 26262 and also to prove the absence of run-time errors. Such errors can be reliably excluded by means of abstract interpretation-based static analyzers. The production code generator from dSPACE, TargetLink, has been coupled with the static analysis tools aiT, StackAnalyzer and Astrée from AbsInt to allow the analyzers – which function at implementation level – to be integrated seamlessly into the process of model-based software development. Thus, timing bugs, stack overflows and run-time errors can be detected in early development phases and reliably excluded.



  • Englisch: Safely Excluding Serious Errors PDF, 2531 KB

Treiben Sie Innovationen voran. Immer am Puls der Technologieentwicklung.

Abonnieren Sie unser Expertenwissen. Lernen Sie von erfolgreichen Projektbeispielen. Bleiben Sie auf dem neuesten Stand der Simulation und Validierung. Jetzt dSPACE direct und dSPACE direct aeropace & defense abonnieren.

Formularaufruf freigeben

An dieser Stelle ist ein Eingabeformular von Click Dimensions eingebunden. Dieses ermöglicht es uns Ihr Newsletter-Abonnement zu verarbeiten. Aktuell ist das Formular ausgeblendet aufgrund Ihrer Privatsphäre-Einstellung für unsere Website.

Externes Eingabeformular

Mit dem Aktivieren des Eingabeformulars erklären Sie sich damit einverstanden, dass personenbezogene Daten an Click Dimensions innerhalb der EU, in den USA, Kanada oder Australien übermittelt werden. Mehr dazu in unserer Datenschutzbestimmung.