Abstract-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.
In addition, in a recent paper we have proposed an extension of EAST-ADL for modeling and analysis of a system's resource-usage REF , which we have analyzed exhaustively with UPPAAL.
Extending EAST-ADL for Modeling and Analysis of System's Resource-Usage
2012 IEEE 36th Annual Computer Software and Applications Conference Workshops
2012 IEEE 36th Annual Computer Software and Applications Conference Workshops
Computer Science