Logotype Mälardalenn University

PROGRESS publications



Validation of Temporal Simulation Models of Complex Real-Time Systems

Full text:  
Authors: Farhang Nemati, Johan Kraft (former), Christer Norström
Source: IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS'08), Turku, Finland
 

Abstract

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.
 

BibTeX entry

@inproceedings{Nemati_1493:2008,
   author = {Farhang Nemati and Johan Kraft and Christer Norstr{\"o}m},
   title = {Validation of Temporal Simulation Models of Complex Real-Time Systems},
   booktitle = {IEEE International Workshop On Component-Based Design Of Resource-Constrained Systems (CORCS'08)},
   month = {July},
   year = {2008},
   url = {http://www.mrtc.mdh.se/index.php?choice=publications&id=1493},
}

  • Mälardalen University |
  • Box 883 |
  • 721 23 Västerås/Eskilstuna |
  • 021-101300, 016-153600 |
  • webmaster |
  • Latest update: 2009.11.03