ACKNOWLEDGEMENTS
The authors would like to thank Bernard Berthomieu
of CNRS, LAAS for his contribution in using
FIACRE and TINA for this study.
REFERENCES
Albert, V., Ponnusamy, S.S., 2016, Encoding CDEVS and
PDEVS into Timed Petri Net: theory and application,
Journées DEVS Francophones, Accepted.
Alfaro, L., Faella, M., Stoelinga, M., 2009, Linear and
Branching System Metrics, IEEE Trans. Software Eng,
Vol 35(2), 258–273.
Alur, R., Henzinger, T., Kupferman, O., Vardi, M., 1998
Alternating refinement relations. Lecture Notes in
Computer Science, Vol 1466, 163-178.
Alur, R., and Dill, D., 1994, A theory of timed automata,
Theoretical Computer Science, Vol 126,183–235.
Brade D, VV&A Global Taxonomy (TAXO), 2004,
Common Validation, Verification and Accreditation
Framework for Simulation, REVVA.
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.
Cerny,P., Henzinger, T. & Radhakrishna, A., 2014,
Interface simulation distances. Theoretical Computer
Science, Vol 560, 348-363.
Cerny,P., Henzinger, T. & Radhakrishna, A., 2010,
Simulation Distances, Lecture Notes in Computer
Science, Vol 6269, 253–268.
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.
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.
Girard, A., Pappas, G.J., 2007, Approximation Metrics for
Discrete and Continuous Systems. IEEE Transactions
on Automatic Control, Vol 52, Issue 5, 782-798.
Henzinger, T. A., 2013, Quantitative reactive modeling and
verification, Journal of Computer Science Research
and Development, Vol 28 Issue 4, 331-344.
Ponnusamy, S.S., Thebault P., Albert V., 2016, Simulation
Fidleity-A Game Theoretic Approach, Spring
Simulation Multi-Conference, US, Accepted.
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.
Roza M., 1999. Fidelity Requirements Specification: A
Process Oriented View. Fall Simulation
Interoperability Workshop.
Vu, L.H., Foures, D., Albert, V., 2015, ProDEVS: an event-
driven modeling and simulation tool for hybrid systems
using state diagrams, Proceedings of the 8th
International Conference on Simulation Tools and
Techniques, 29-37, Greece.
Zeigler, B.P., Praehofer, H., Tag, G.K., 2000,
Theory of
modeling and simulation, San Diego, California, USA.
Academic Press.