loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2008 32nd Annual IEEE International Computer Software and Applications Conference
Validation of Temporal Simulation Models of Complex Real-Time Systems
July 28-August 01
ISBN: 978-0-7695-3262-2
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.
Index Terms:
Model Validation, Legacy Systems, Model Extraction, Impact Analysis
Citation:
Farhang Nemati, Johan Kraft, Christer Norstr?, "Validation of Temporal Simulation Models of Complex Real-Time Systems," compsac, pp.1335-1340, 2008 32nd Annual IEEE International Computer Software and Applications Conference, 2008
Usage of this product signifies your acceptance of the Terms of Use.