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

Document Number: 2007-01-1495

Date Published: April 2007

Author(s):
Christian Ferdinand - AbsInt Angewandte Informatik GmbH
Reinhold Heckmann - AbsInt Angewandte Informatik GmbH
Hans-Joerg Wolff - ETAS GmbH
Christian Renz - ETAS GmbH
Manabendra Gupta - ETAS GmbH
Oleg Parshin - Universitaet des Saarlandes
Reinhard Wilhelm - Universitaet des Saarlandes

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.

File Size: 170K
Product Status: In Stock

Included in: V116-7

See other papers presented at SAE World Congress & Exhibition, April 2007, Detroit, MI, USA, Session: Safety-Critical Systems (Part 1 of 3)

Purchase more technical papers and save! With TechSelect, you decide what SAE Technical Papers you need, when you need them, and how much you want to pay. Learn more >