Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

You are here: Homepage > Search

Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

Ferdinand, Christian / Renz, Christian / Wolff, Hans-Joerg / Gupta, Manabendra / Parshin, Oleg / Wilhelm, Reinhard / Heckmann, Reinhold

Abstract

Software developers in the automotive sector must achieve high quality objectives. Many design and implementation errors are avoided by synthesizing code from model-based software specifications using automatic code generators such as ETAS' ASCET. To verify non-functional properties of the implementation, model-based design processes should be complemented with static program analysis tools like AbsInt's StackAnalyzer and timing analyzer aiT. ASCET, StackAnalyzer and aiT can be integrated in a way that the analysis results for code generated by ASCET are conveniently accessible from within the ASCET development environment. This gives ASCET users a direct feedback on the effects of their design decisions on resource usage, allowing to select more efficient designs and implementation methods. In the paper, we present the tools, the experimental integration, preliminary results and plans for further tool integration.

Access

Check access

Check availability in my library

Order at Subito €

Export, share and cite

Document information

Title :

Towards Integrating Model-Driven Development of Hard Real-Time Systems with Static Program Analyzers

Additional title:

Sae Technical Papers

Contributors:

Ferdinand, Christian (author) / Renz, Christian (author) / Wolff, Hans-Joerg (author) / Gupta, Manabendra (author) / Parshin, Oleg (author) / Wilhelm, Reinhard (author) / Heckmann, Reinhold (author)

Conference:

SAE World Congress & Exhibition ; 2007

Published in:

Sae Technical Paper Series

Publication date :

2007-04-16

ISSN :

2688-3627 , 0148-7191

DOI :

https://doi.org/10.4271/2007-01-1495

Type of media :

Conference paper