A Software Analysis Framework for Automotive Embedded Software

Abstract

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.