Service interruption on Monday 11 July from 12:30 to 13:00: all the sites of the CCSD (HAL, Epiciences, SciencesConf, AureHAL) will be inaccessible (network hardware connection).
Skip to Main content Skip to Navigation
Conference papers

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

Cited literature [10 references]  Display  Hide  Download
Contributor : Axelle PAGNIER Connect in order to contact the contributor
Submitted on : Friday, August 23, 2019 - 6:35:08 PM
Last modification on : Friday, June 5, 2020 - 1:24:02 PM
Long-term archiving on: : Friday, January 10, 2020 - 1:43:21 AM


Files produced by the author(s)


  • HAL Id : insu-02270107, version 1



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⟩



Record views


Files downloads