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

Paper #:
  • 2013-01-0435

Published:
  • 2013-04-08
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.
Pages:
12
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.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Select
Price
List
Download
$28.00
Mail
$28.00
Members save up to 42% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Technical Paper / Journal Article
1981-02-01
Standard
2015-06-04
Standard
2012-03-15
Technical Paper / Journal Article
2011-04-12
Training / Education
2017-09-06
Book
2014-01-01
Standard
2001-04-26
Video
2017-03-26