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
An Integrated Framework for Component-based Analysis of Architectural System Models
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-2870-2680
Mälardalen University, School of Innovation, Design and Engineering. (IS)ORCID iD: 0000-0003-4040-3480
2012 (English)In: Proceedings of the ICTSS 2012 Ph.D. Workshop / [ed] Carsten Weise and Brian Nielsen, 2012, p. 1-6Conference paper, Published paper (Refereed)
Abstract [en]

Verifying architectural models of embedded systems is desirable, since architecture can impact the performance and resource usageof the final system implementation. To fulfill this need, one could thinkof combining formal verification and testing to achieve proofs of systemcorrectness with respect to functional and extra-functional requirements.Our first step to accomplish this goal has concretized in the development of a framework that integrates architectural models described inEast-adl language with component-based model-checking techniques.The framework is supported by a tool called ViTAL, which captures thebehavior of East-adl functions as timed automata models, which canbe formally verified in the Uppaal Port model-checker that exploitsthe components-based semantics at the architectural level. Later, thesame formal models will help generate test-suites to provide support formodel-based testing.

Place, publisher, year, edition, pages
2012. p. 1-6
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-17451OAI: oai:DiVA.org:mdh-17451DiVA, id: diva2:579782
Conference
ICTSS 2012 Ph.D. Workshop held in conjunction with the The 24th IFIP Int. Conference on Testing Software and Systems (ICTSS'12) in Aalborg, Denmark, November 19, 2012.
Available from: 2012-12-20 Created: 2012-12-20 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

http://vbn.aau.dk/files/72154602/proceedings.pdf

Authority records BETA

Marinescu, RalucaSeceleanu, CristinaPettersson, Paul

Search in DiVA

By author/editor
Marinescu, RalucaSeceleanu, CristinaPettersson, Paul
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

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