loading
Documents

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Sangeeth Saagar Ponnusamy 1 ; Vincent Albert 2 and Patrice Thebault 3

Affiliations: 1 Airbus Operations SAS, CNRS, LAAS and Université de Toulouse, France ; 2 CNRS, LAAS and Université de Toulouse, France ; 3 Airbus Operations SAS, France

ISBN: 978-989-758-199-1

Keyword(s): Simulation, Formal Method, Game Theory, Quantitative Reachability, Timed Transition Systems.

Related Ontology Subjects/Areas/Topics: Biomedical Engineering ; Biomedical Signal Processing ; Dynamical Systems Models and Methods ; Formal Methods ; Petri Nets ; Real-Time Systems ; Simulation and Modeling

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 fide lity 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. (More)

PDF ImageFull Text

Download
CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.238.194.166

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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

@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},
}

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

Login or register to post comments.

Comments on this Paper: Be the first to review this paper.