mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Extending EAST-ADL for modeling and analysis of system's resource-usage
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0002-7663-5497
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0003-2416-4205
2012 (English)In: Proceedings - International Computer Software and Applications Conference, 2012, 532-537 p.Conference paper, Published paper (Refereed)
Abstract [en]

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.

Place, publisher, year, edition, pages
2012. 532-537 p.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17288DOI: 10.1109/COMPSACW.2012.99Scopus ID: 2-s2.0-84870783087ISBN: 978-076954758-9 (print)OAI: oai:DiVA.org:mdh-17288DiVA: diva2:579619
Conference
36th Annual IEEE International Computer Software and Applications Conference Workshops, COMPSACW 2012; Izmir; 16 July 2012 through 20 July 2012
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text

Other links

Publisher's full textScopus

Search in DiVA

By author/editor
Marinescu, RalucaEnoiu, Eduard Paul
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

Altmetric score

Total: 22 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf