This content is not included in your SAE MOBILUS subscription, or you are not logged in.

Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior

Journal Article
2013-01-0435
ISSN: 1946-4614, e-ISSN: 1946-4622
Published April 08, 2013 by SAE International in United States
Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior
Sector:
Citation: Pramsohler, T., Kafkas, M., Paulic, A., Zeller, M. et al., "Control Flow Analysis of Automotive Software Components Using Model-Based Specifications of Dynamic Behavior," SAE Int. J. Passeng. Cars – Electron. Electr. Syst. 6(2):425-436, 2013, https://doi.org/10.4271/2013-01-0435.
Language: English

Abstract:

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.