Logotype Mälardalen University

MRTC publications



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

Authors: Raluca Marinescu, Eduard Paul Enoiu
Source: IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW), IEEE Computer Society Press
 

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.
 

BibTeX entry

@inproceedings{Marinescu_2876:2012,
   author = {Raluca Marinescu and Eduard Paul Enoiu},
   title = {Extending EAST-ADL for Modeling and Analysis of System’s Resource-Usage},
   booktitle = {IEEE 36th Annual Computer Software and Applications Conference Workshops (COMPSACW)},
   month = {July},
   year = {2012},
   publisher = {IEEE Computer Society Press},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=2876},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2010.02.23