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
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
University of Southern Denmark.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-4040-3480
University of Southern Denmark.
University of Southern Denmark.
2008 (English)In: 14th International IEEE Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), Kaohsiung, Taiwan, 2008, p. 153-160Conference paper, Published paper (Refereed)
Abstract [en]

COMDES-II is a component-based software framework intended for model-integrated development of embedded control systems with hard real-time constraints. It provides various kinds of component models to address critical domain-specific issues, such as real-time concurrency and communication in a timed multitasking environment, modal continuous operation combining reactive control behavior with continuous data processing, etc., by following the principle of separation-of-concerns. In the paper we present a transformational approach to the formal verification of both timing and reactive behaviors of COMDES-II systems using UPPAAL, based on a semantic anchoring methodology. The proposed approach adopts UPPAAL timed automata as the semantic units, to which different behavioral concerns of COMDES-II are anchored, such that a COMDES-II system can be precisely specified in UPPAAL, and verified against a set of desired requirements with the preservation of system original operation semantics.

Place, publisher, year, edition, pages
2008. p. 153-160
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-7203DOI: 10.1109/RTCSA.2008.32ISI: 000260407600016Scopus ID: 2-s2.0-53549126091ISBN: 9780769533490 (print)OAI: oai:DiVA.org:mdh-7203DiVA, id: diva2:237213
Conference
14th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, RTCSA 2008; Kaohsiung; Taiwan; 25 August 2008 through 27 August 2008
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2013-12-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Pettersson, Paul

Search in DiVA

By author/editor
Pettersson, Paul
By organisation
School of Innovation, Design and Engineering
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

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