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 metadatas

Cited literature [10 references]  Display  Hide  Download

https://hal-insu.archives-ouvertes.fr/insu-02270107
Contributor : Axelle Pagnier <>
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

File

ERTS2008_0055_paper.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : insu-02270107, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

25

Files downloads

90