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
Validation of Temporal Simulation Models of Complex Real-Time Systems
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0003-2855-9220
2008 (English)In: IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS'08), Turku, Finland, 2008, p. 1335-1340Conference paper, Published paper (Refereed)
Abstract [en]

Model based analysis has the potential to facilitate maintenance of complex real-time systems, as it allows for impact analysis with respect to thesystems' temporal behavior. Model based analysis of temporal behavior of a legacy real-time system has also the potential to support migration toward component based system. However, since most software systems today have been developed in a traditional, code oriented manner, sufficiently detailed models are typically not available. To apply model based analysis on these systems, models have to be extracted from their implementation and observed run-time behavior. This requires methods for model validation. The paper proposes a novel method for model validation and presents a framework for evaluation of model validation methods, which will be used to evaluate the proposed method. The method is targeting temporalmodels extracted from complex real-time systems. 

Place, publisher, year, edition, pages
2008. p. 1335-1340
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:mdh:diva-7193DOI: 10.1109/COMPSAC.2008.118Scopus ID: 2-s2.0-51949088107ISBN: 9780769532622 (print)OAI: oai:DiVA.org:mdh-7193DiVA, id: diva2:237203
Conference
32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008; Turku; Finland; 28 July 2008 through 1 August 2008
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2014-05-22Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Norström, Christer

Search in DiVA

By author/editor
Nemati, FarhangKraft, JohanNorström, Christer
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: 66 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