Zeitschriftenartikel
A Software Analysis Framework for Automotive Embedded Software
Vorschaubild nicht verfügbar
Volltext URI
Dokumententyp
Text/Journal Article
Zusatzinformation
Datum
2016
Autor:innen
Zeitschriftentitel
ISSN der Zeitschrift
Bandtitel
Verlag
Geselllschaft für Informatik e.V.
Zusammenfassung
One major drawback of model based development is that support by software analysis tools is usually not available. This is because each modeling language would require specially crafted tools. We present a framework that circumvents this problem by allowing integrated analysis of different models from the automotive domain. It also exploits certain specialities of the domain to realize analyses that would otherwise not have been possible.