The amount of software in the automotive domain is steadily increasing. Different ways of abstraction are used to meet this challenge. One of the most promising approaches is Model-Based Development. Software components are currently designed and developed with model-based approaches which describe syntactical and behavioral aspects of the components.Being able to analyze the models in concern to compatibility and traceability of messages and function calls is an important goal. Especially for the behavioral models this task is complex and time consuming. In this paper we focus on the infotainment domain and present three use-cases for control flow analysis in behavioral models. The first is the compatibility analysis between components, the second is the analysis of control flow over multiple connected components and the third is the consistency analysis of sequence diagrams. We present an approach to address these tasks using model transformation and graph-search algorithms.Finally we show the applicability of our approach using an open-source specification of automotive infotainment software components and an implementation of the algorithms.
Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior
Sae International Journal of Passenger Cars- Electronic and Electrical Systems
Sae Int. J. Passeng. Cars – Electron. Electr. Syst
SAE 2013 World Congress & Exhibition ; 2013
2013-04-08
12 pages
Aufsatz (Konferenz)
Englisch
Automotive lighting specifications
Engineering Index Backfile | 1930
Globalization of automotive specifications
Kraftfahrwesen | 1997
|Globalization of Automotive Specifications
SAE Technical Papers | 1997
|Globalization of Automotive Specifications
British Library Conference Proceedings | 1997
|