Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables - INSU - Institut national des sciences de l'Univers Access content directly
Conference Papers Year : 2008

Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables

Abstract

Synthesizing code from model-based software specifications using automatic code generators such as the SCADE Suite allows design verification at early project stages and helps to avoid coding errors, thus reducing the need for low-level testing. Non-functional properties of the implementation such as execution time and memory consumption require specific analysis. Static program analysis tools like AbsInt’s StackAnalyzer and timing analyzer aiT complete ideally the model-based design process with the verification of these properties. These tools can also give SCADE users a direct feedback on the effects of their design decisions on resource usage, allowing them to select more efficient designs and implementation methods. The SCADE tool, StackAnalyzer and aiT can be integrated in a way that the analysis results for code generated by the SCADE tool are conveniently ac- cessible from within the SCADE development environment. We present the tools and their integration, preliminary results, and plans for integration with other tools for timing analysis.
Fichier principal
Vignette du fichier
ERTS2008_0055_paper.pdf (860.85 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : insu-02270107 , version 1

Cite

C Ferdinand, R Heckmann, T Le Sergent, D. Lopes, B Martin, et al.. Combining a High-Level Design Tool for Safety-Critical Systems with a Tool for WCET Analysis on Executables. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270107⟩

Collections

INSU ERTS2008
37 View
153 Download

Share

Gmail Facebook X LinkedIn More