Skip to Main content Skip to Navigation
Conference papers

Quantifying Fidelity for Timed Transition Systems

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 modeled 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 modeling case study to validate a processor through simulation.
Document type :
Conference papers
Complete list of metadata

Cited literature [17 references]  Display  Hide  Download

https://hal.laas.fr/hal-01912574
Contributor : Vincent Albert <>
Submitted on : Friday, January 18, 2019 - 4:28:18 PM
Last modification on : Thursday, June 10, 2021 - 3:01:44 AM

Identifiers

  • HAL Id : hal-01912574, version 1

Citation

Sangeeth Saagar Ponnusamy, Vincent Albert, Patrice Thebault. Quantifying Fidelity for Timed Transition Systems. 6th International Conference on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2016), Jul 2016, Lisbonne, Portugal. ⟨hal-01912574⟩

Share

Metrics

Record views

77

Files downloads

115