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.

References

  1. Group (2012). AUTOSAR Tool Platform. https://www.artop.org/.(accessed on July 20th, 2013). AUTOSAR (2011). Specification of Timing Extensions. AUTOSAR (2013). AUTOSAR Methodology. Bohn, M., Schneider, J., Eltges, C., and Rößger, R. (2011).
  2. Wirrer, G. (2010). Modeling and Simulation of Em-
  3. of the 3rd Embedded Software Engineering Congress,
  4. pages 228-241. Eclipse Foundation (2009). Eclipse Modeling Framework
  5. July 15th, 2013). Eißenlöffel, T. (2012).
  6. Hirsch, M. (2006). Scenario-based verification of au-
  7. tomotive software systems. In MBEES, pages 35-42. Gleim, U. and Schüle, T. (2012).
  8. dpunkt. Multicore-Software. Götz, M., Roser, S., Lautenbacher, F., and Bauer, B. (2009).
  9. Workshops, 2009. EDOCW 2009. 13th, pages 15-24. Johnson, R., Pearson, D., and Pingali, K. (1994). The pro-
  10. ear time. In ACM SigPlan Notices, volume 29, pages
  11. den Industrie-und Forschungsstandort Deutschland. Ottenstein, K. J. and Ottenstein, L. M. (1984). The Program
  12. ronment. In ACM Sigplan Notices, volume 19, pages
  13. spektrum, Ausgabe 01/2013, 20(1):72-76. Patterson, D. (2010). The trouble with multi-core. Spec-
  14. trum, IEEE, 47(7):28-32. Saad, C. (2009). Model Analysis Framework.
  15. swt/ds/projects/mde/maf/. (accessed on July 20th,
  16. for ACM/IEEE 16th International Conference on
  17. 29 September 2013 through 4 October 2013, Miami,
  18. USA). Schäuffele, J. and Zurawka, T. (2010). Automotive Software
  19. (2009). A model-driven multicore software develop-
  20. Software and Applications Conference, 2009. COMP-
  21. SAC'09. 33rd Annual IEEE International, volume 2,
  22. pages 261-268. IEEE. Sodan, A. C., Machina, J., Deshmeh, A., Macnaughton, K.,
  23. and Esbaugh, B. (2010). Parallelism via multithreaded
  24. and multicore CPUs. Computer, 43(3):24-32. Sutter, H. (2005). The Free Lunch Is Over: A Fundamen-
  25. Journal, 30(3):202-210. TIMMO (2007). Timing Model. http://
  26. www.itea2.org/project/index/view?project=170.
  27. (accessed on July 18th, 2013). TIMMO-2-USE (2010). TIMMO Braking System.
  28. http:// www.timmo-2-use.org/. (accessed on July 18th,
  29. Journal of programming languages, 3(3):121-189. Wirbel, L. (2011). Embedded Multicore Goes Mainstream.
Download


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