A statistical approach to simulation model validation in response-time analysis of complex real-time embedded systems

As simulation-based analysis methods make few restrictions on the system design and scale to very large and complex systems, they are widely used in, e.g., timing analysis of complex real-time embedded systems (CRTES) in industrial circles. However, before such methods are used, the analysis simulation models have to be validated in order to assess if they represent the actual system or not, which also matters to the confidence in the simulation results. This paper presents a statistical approach to validation of temporal simulation models extracted from CRTES, by introducing existing mature statistical hypothesis tests to the context. Moreover, our evaluation using simulation models depicting a fictive but representative industrial robotic control system indicates that the proposed method can successfully identify temporal differences between different simulation models, hence it has the potential to be considered as an effective simulation model validation technique.

[1]  Yue Lu,et al.  A Statistical Approach to Response-Time Analysis of Complex Embedded Real-Time Systems , 2010, 2010 IEEE 16th International Conference on Embedded and Real-Time Computing Systems and Applications.

[2]  Craig Loehle,et al.  A hypothesis testing framework for evaluating ecosystem model performance , 1997 .

[3]  Yue Lu,et al.  Simulation-Based Timing Analysis of Complex Real-Time Systems , 2009, 2009 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications.

[4]  Andrew P. Robinson,et al.  Model validation using equivalence tests , 2004 .

[5]  H. J. Arnold Introduction to the Practice of Statistics , 1990 .

[6]  Jack P. C. Kleijnen,et al.  Validation of trace-driven simulation models: more on bootstrap tests , 2000, 2000 Winter Simulation Conference Proceedings (Cat. No.00CH37165).

[7]  Anders Wall,et al.  Validating Temporal Behavior Models of Complex Real-Time Systems , 2004 .

[8]  Johan Kraft RTSSim - A Simulation Framework for Complex Embedded Systems , 2009 .

[9]  Anders Wall,et al.  Extracting Simulation Models from Complex Embedded Real-Time Systems , 2006, 2006 International Conference on Software Engineering Advances (ICSEA'06).

[10]  Osman Balci,et al.  How To Assess The Acceptability And Credibility Of Simulation Results , 1989, 1989 Winter Simulation Conference Proceedings.

[11]  Stephen M. Stigler,et al.  Fisher and the 5% Level , 2008 .

[12]  Isabelle Puaut,et al.  ARTISST: an extensible and modular simulation tool for real-time systems , 2002, Proceedings Fifth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing. ISIRC 2002.

[13]  Averill M. Law,et al.  How to build valid and credible simulation models , 2008, 2008 Winter Simulation Conference.