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, p. 532-537Conference 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. p. 532-537
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17288DOI: 10.1109/COMPSACW.2012.99Scopus ID: 2-s2.0-84870783087OAI: oai:DiVA.org:mdh-17288DiVA, id: 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: 2018-10-31Bibliographically approved

Open Access in DiVA

fulltext(1363 kB)61 downloads
File information
File name FULLTEXT01.pdfFile size 1363 kBChecksum SHA-512
e3ceda30dc373b75977b6a5d6ea75fb186d59d464d7eaf648e2df2fcfdc447425a81e2f736a40a6fd204a2097d965cce4a041bbc24da39fa40b12e8c1a4ab5e1
Type fulltextMimetype application/pdf

Other links

Publisher's full textScopus

Authority records BETA

Marinescu, RalucaEnoiu, Eduard Paul

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
Total: 61 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 71 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