Analysis and Validation of AUTOSAR Models

Julian Kienberger, Pascal Minnerup, Stefan Kuntz, Bernhard Bauer

2014

Abstract

As the rise of single-core processing power is exhausted due to technical limitations, the automotive branch is forced to migrate its control unit software to architectures that feature multiple Independent Execution Units (IEUs). This policy shift brings along new problems resulting from the tremendously increased complexity of such systems. Facing these challenges, software engineers have to cope with possible data inconsistencies caused by, e.g., race conditions or cycles. Being an important and standardized software architecture for electronic control units, the Automotive Open System Architecture (AUTOSAR) provides the basis for tools that support the complexity handling when migrating to architectures with multiple IEUs. Our concept is realized by a tool that executes data dependency analyses directly on AUTOSAR models, determines critical dependencies, automatically solves trivial problems and provides semi-automatic resolution of advanced conflicts. To support the actual parallelization of the system, the tool additionally determines groups of executable units that are suitable to run on a common IEU. This appreciably facilitates the validation of AUTOSAR models and the search for a good mapping of the processing tasks to IEUs.

Paper Citation

in Harvard Style

Kienberger J., Minnerup P., Kuntz S. and Bauer B. (2014). Analysis and Validation of AUTOSAR Models . In Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD, ISBN 978-989-758-007-9, pages 274-281. DOI: 10.5220/0004701002740281

in Bibtex Style

@conference{modelsward14,
author={Julian Kienberger and Pascal Minnerup and Stefan Kuntz and Bernhard Bauer},
title={Analysis and Validation of AUTOSAR Models},
booktitle={Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,},
year={2014},
pages={274-281},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0004701002740281},
isbn={978-989-758-007-9},
}

in EndNote Style

TY - CONF
JO - Proceedings of the 2nd International Conference on Model-Driven Engineering and Software Development - Volume 1: MODELSWARD,
TI - Analysis and Validation of AUTOSAR Models
SN - 978-989-758-007-9
AU - Kienberger J.
AU - Minnerup P.
AU - Kuntz S.
AU - Bauer B.
PY - 2014
SP - 274
EP - 281
DO - 10.5220/0004701002740281