Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage

EAST-ADL is an architectural description language dedicated to automotive embedded systems design, with focus on structural and functional modeling. The current architectural notations lack support for modeling and analysis of resource-usage, and therefore it is not possible to reason about resource requirements. In this paper, we describe our work towards filling the gap between EAST-ADL language and formal modeling and analysis of system's resource usage, by extending the EAST-ADL language with embedded resources, such as storage, energy, communication and computation. To formalize this approach and provide a basis for rigorous analysis, we show how to analyze EAST-ADL models using the framework of priced timed automata and weighted CTL. We report our experiences from applying this approach for integrating resource-wise analysis into EAST-ADL.

[1]  Huáscar Espinozaa,et al.  A General Structure for the Analysis Framework of the UML MARTE Profile , 2005 .

[2]  Kim G. Larsen,et al.  Minimum-Cost Reachability for Priced Timed Automata , 2001, HSCC.

[3]  Paul Pettersson,et al.  Towards the Analysis and Verification of EAST-ADL Models using UPPAAL PORT , 2012 .

[4]  Michel R. V. Chaudron,et al.  Prediction of Run-Time Resource Consumption in Multi-task Component-Based Software Systems , 2004, CBSE.

[5]  Manfred Broy,et al.  Challenges in automotive software engineering , 2006, ICSE.

[6]  Rajeev Alur,et al.  A Theory of Timed Automata , 1994, Theor. Comput. Sci..

[7]  Hany H. Ammar,et al.  Modeling resources in a UML-based simulative environment , 2001, Proceedings ACS/IEEE International Conference on Computer Systems and Applications.

[8]  Steffen Becker,et al.  The Palladio component model for model-driven performance prediction , 2009, J. Syst. Softw..

[9]  Kim G. Larsen,et al.  Optimal reachability for multi-priced timed automata , 2008, Theor. Comput. Sci..

[10]  Charles André,et al.  Marte CCSL to Execute East-ADL Timing Requirements , 2009, 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing.

[11]  Martin Törngren,et al.  From EAST-ADL to AUTOSAR Software Architecture: A Mapping Scheme , 2011, ECSA.

[12]  Paul Pettersson,et al.  REMES: A Resource Model for Embedded Systems , 2009, 2009 14th IEEE International Conference on Engineering of Complex Computer Systems.

[13]  C. Murray Woodside,et al.  An intermediate metamodel with scenarios and resources for generating performance models from UML designs , 2007, Software & Systems Modeling.

[14]  Cristina Cerschi Seceleanu,et al.  Embedded Systems Resources: Views on Modeling and Analysis , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[15]  Kim G. Larsen,et al.  Optimal Conditional Reachability for Multi-priced Timed Automata , 2005, FoSSaCS.