oru.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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 Real-Time Research Centre, Mälardalen University, Västerås, Sweden.ORCID iD: 0000-0003-0316-7124
Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden.
Mälardalen Real-Time Research Centre, Mälardalen University, Västerås, Sweden.ORCID iD: 0000-0003-2855-9220
2008 (English)In: 2008 32nd Annual IEEE International Computer Software and Applications Conference: Proceedings, IEEE, 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 the systems' 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 temporal models extracted from complex real-time systems.

Place, publisher, year, edition, pages
IEEE, 2008. p. 1335-1340
Series
IEEE International Computer Software & Applications Conference (COMPSAC), ISSN 0730-3157
National Category
Computer Sciences
Identifiers
URN: urn:nbn:se:oru:diva-77159DOI: 10.1109/COMPSAC.2008.118Scopus ID: 2-s2.0-51949088107ISBN: 9780769532622 (electronic)OAI: oai:DiVA.org:oru-77159DiVA, id: diva2:1359696
Conference
32nd Annual IEEE International Computer Software and Applications Conference (COMPSAC 2008), Turku, Finland, July 28 - August 1, 2008
Available from: 2019-10-10 Created: 2019-10-10 Last updated: 2019-10-17Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full textScopus

Authority records BETA

Nemati, FarhangNorström, Christer

Search in DiVA

By author/editor
Nemati, FarhangNorström, Christer
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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