Quantifying Fidelity for Timed Transition Systems

Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault

2016

Abstract

The paper addresses one of the fundamental questions in using simulation as a means for system verification and validation, namely, how far the simulation model represents the transition timings of the real system. A formal quantification of this difference in transition timings of a simulation model with respect to the system specification is presented based on game theoretic distance notions from literature. In this two player game, simulation model tries to mimic the system’s transitions and incurs a distance if it fails to match the timing of the transition. Fidelity of simulation model is presented through this distance notion based on the quantitative simulation relations and timed simulation game. This game between two timed transition systems is modelled in petri-net formalism and a quantitative reachability graph is generated using TINA tool embedded in ProDEVS simulation platform to explore all such player strategies. The resulting exhaustive exploration yields a global fidelity distribution of the simulation model in terms of transition timings which could be analysed in ProDEVS to gain further insight into the simulation model behaviour with respect to the system model. The approach is demonstrated on a buffer system modelling case study to validate a processor through simulation.

References

  1. Albert, V., Ponnusamy, S.S., 2016, Encoding CDEVS and PDEVS into Timed Petri Net: theory and application, Journées DEVS Francophones, Accepted.
  2. Alfaro, L., Faella, M., Stoelinga, M., 2009, Linear and Branching System Metrics, IEEE Trans. Software Eng, Vol 35(2), 258-273.
  3. Alur, R., Henzinger, T., Kupferman, O., Vardi, M., 1998 Alternating refinement relations. Lecture Notes in Computer Science, Vol 1466, 163-178.
  4. Alur, R., and Dill, D., 1994, A theory of timed automata, Theoretical Computer Science, Vol 126,183-235.
  5. Brade D, VV&A Global Taxonomy (TAXO), 2004, Common Validation, Verification and Accreditation Framework for Simulation, REVVA.
  6. Berthomieu, B., Diaz, M., 1991, Modeling and verification of time dependent systems using time Petri nets, IEEE Trans on Software Engineering, Vol. 17, no. 3, 259- 273.
  7. Cerny,P., Henzinger, T. & Radhakrishna, A., 2014, Interface simulation distances. Theoretical Computer Science, Vol 560, 348-363.
  8. Cerny,P., Henzinger, T. & Radhakrishna, A., 2010, Simulation Distances, Lecture Notes in Computer Science, Vol 6269, 253-268.
  9. Chatain, T., David, A., Larsen, K.G., 2009, Playing games with timed games, Proceedings of the 3rd IFAC Conference on Analysis and Design of Hybrid Systems, Zaragoza, Spain.
  10. Chatterjee, K., Prabhu,V.S., 2015, Quantitative Temporal Simulation and Refinement Distances for Timed Systems, IEEE Transactions on Automatic Control, Vol 60, Issue 9, 2291-2306.
  11. Girard, A., Pappas, G.J., 2007, Approximation Metrics for Discrete and Continuous Systems. IEEE Transactions on Automatic Control, Vol 52, Issue 5, 782-798.
  12. Henzinger, T. A., 2013, Quantitative reactive modeling and verification, Journal of Computer Science Research and Development, Vol 28 Issue 4, 331-344.
  13. Ponnusamy, S.S., Thebault P., Albert V., 2016, Simulation Fidleity-A Game Theoretic Approach, Spring Simulation Multi-Conference, US, Accepted.
  14. Ponnusamy S.S., Albert V., Thebault P., 2014. A simulation fidelity assessment framework. International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pages 463-471, Vienne, Austria.
  15. Roza M., 1999. Fidelity Requirements Specification: A Process Oriented View. Fall Simulation Interoperability Workshop.
  16. Vu, L.H., Foures, D., Albert, V., 2015, ProDEVS: an eventdriven modeling and simulation tool for hybrid systems using state diagrams, Proceedings of the 8th International Conference on Simulation Tools and Techniques, 29-37, Greece.
  17. Zeigler, B.P., Praehofer, H., Tag, G.K., 2000, Theory of modeling and simulation, San Diego, California, USA. Academic Press.
Download


Paper Citation


in Harvard Style

Ponnusamy S., Albert V. and Thebault P. (2016). Quantifying Fidelity for Timed Transition Systems . In Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH, ISBN 978-989-758-199-1, pages 318-326. DOI: 10.5220/0006006103180326


in Bibtex Style

@conference{simultech16,
author={Sangeeth Saagar Ponnusamy and Vincent Albert and Patrice Thebault},
title={Quantifying Fidelity for Timed Transition Systems},
booktitle={Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,},
year={2016},
pages={318-326},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006006103180326},
isbn={978-989-758-199-1},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications - Volume 1: SIMULTECH,
TI - Quantifying Fidelity for Timed Transition Systems
SN - 978-989-758-199-1
AU - Ponnusamy S.
AU - Albert V.
AU - Thebault P.
PY - 2016
SP - 318
EP - 326
DO - 10.5220/0006006103180326