2008 | OriginalPaper | Buchkapitel
Towards Model-Driven Development of Hard Real-Time Systems
Integrating ASCET and aiT/StackAnalyzer
verfasst von : Christian Ferdinand, Reinhold Heckmann, Hans-Jörg Wolff, Christian Renz, Oleg Parshin, Reinhard Wilhelm
Erschienen in: Model-Driven Development of Reliable Automotive Services
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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
aiT
/
StackAnalyzer
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 them 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.