Abstract
The Ptolemy-HLA distributed co-simulation framework leverages two open source tools, Ptolemy II and HLA/CERTI, for the simulation of Cyber-Physical Systems (CPS). This framework enables dealing with three important issues: (1) Distribution of a simulation, allowing to scale up models and performance; (2) Interoperability of tools, allowing reusability and interfacing with other simulators or real devices/systems; (3) Heterogeneous simulations (discrete events, continuous time).
The framework extends Ptolemy both, by coordinating the time advance of various Ptolemy instances, and by allowing data communication between them with the help of HLA management services.
These additions enable the creation of HLA federates (i.e., simulators) in a Federation (i.e., a distributed simulation) in an easy way, since the user does not need to be an HLA specialist in order to design a Federate. The paper presents the new components added to Ptolemy, some semantic issues, an application example and performance analysis.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
A federate can only advance its time if it is granted by the RTI. When this federate is time-constrained, this grant is computed by the RTI with knowledge of the time advancements of the time-regulating federates, so that the conservative property of the distributed simulation is guaranteed between regulating and constrained federates.
- 2.
NERA stands for Next Event Request Available and TARA for Time Advance Request Available. A TARA(t) (respectively, NERA(t)) that ends with a TAG(t) can be followed with the production and the reception of new events timestamped with t. If federates exchange data at the same time in a loop, the loop must be broken by calling TAR(t) (respectively, NER(t)). Then no additional event will be delivered to the federate with timestamp t and time can be advanced.
References
Adelantado, M., Bussenot, J.L., Rousselot, J.Y., Siron, P., Betoule, M.: HP-CERTI: towards a high performance, high availability open source RTI for composable simulations. In: Fall Simulation Interoperability Workshop, September 2004
Bieber, P., Siron, P.: Design and implementation of a distributed interactive simulation security architecture. In: 3rd IEEE International Workshop on Distributed Interactive Simulation and Real-Time Applications, October 1999
Cabral De Brito Guerra, T.: Performance analysis of the framework Ptolemy-HLA. Technical report, ISAE/DISC/RT2016/2, September 2016
Cardoso, J., Derler, P., Eidson, J.C., Lee, E.A., Matic, S., Yang Zhao, J.Z.: Modeling timed systems. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org (2014). http://ptolemy.eecs.berkeley.edu/books/Systems/chapters/ModelingTimedSystems.pdf
Chandy, K.M., Misra, J.: Distributed simulation: a case study in design and verification of distributed programs. IEEE Trans. Softw. Eng. SE–5(5), 440–452 (1979)
Chaudron, J.B., Noulard, E., Siron, P.: Design and model-checking techniques applied to real-time RTI time management. In: Spring Simulation Interoperability Workshop, April 2011
Cremona, F., Lohstroh, M., Broman, D., Lee, E.A., Masin, M., Tripakis, S.: Hybrid co-simulation: it’s about time. Softw. Syst. Model., 1–25 (2017)
Cremona, F., Lohstroh, M., Tripakis, S., Brooks, C., Lee, E.A.: FIDE - an FMI integrated development environment. In: Symposium on Applied Computing, April 2016. http://chess.eecs.berkeley.edu/pubs/1158.html
Derler, P., Lee, E.A., Vincentelli, A.S.: Modeling cyber-physical systems. Proc. IEEE 100(1), 13–28 (2012)
Forwardsim (2017). http://www.forwardsim.com/products/hla-toolbox/
Fujimoto, R.M.: Zero lookahead and repeatability in the High Level Architecture. In: Spring Simulation Interoperability Workshop, March 1997
Fujimoto, R.M.: Time management in the high level architecture. SIMULATION 71(6), 388–400 (1998)
Garro, A., Falcone, A.: On the integration of HLA and FMI for supporting interoperability and reusability in distributed simulation. In: Proceedings of the Symposium on Theory of Modeling and Simulation: DEVS Integrative MS Symposium, vol. 47, pp. 9–16, 04 2015
HLA for FMI. https://www.ds.tools/products/hla-and-dis-for-fmi/
IEEE: IEEE standard for modeling and simulation (M&S) High Level Architecture (HLA) - Framework and rules. IEEE Std 1516–2010 (Revision of IEEE Std 1516–2000), pp. 1–38, August 2010
Kuhl, F., Dahmann, J., Weatherly, R.: Creating Computer Simulation Systems: An Introduction to the High Level Architecture. Prentice Hall PTR, Upper Saddle River (2000)
Lasnier, G., Cardoso, J., Siron, P., Pagetti, C., Derler, P.: Distributed simulation of heterogeneous and real-time systems. In: Proceedings of the 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, pp. 55–62. IEEE Computer Society (2013)
Li, Y.: A distributed simulation environment for cyber-physical systems. Technical report, ISAE-Supaero, September 2015
Mattern, F.: Efficient algorithms for distributed snapshots and global virtual time approximation. J. Parallel Distrib. Comput. 18(4), 423–434 (1993)
Michel, C.: Distributed simulation of cyber-physical systems. Technical report, ISAE-Supaero, April 2017
Michel, C., Cardoso, J., Siron, P.: Time management of heterogeneous distributed simulation. In: 31st European Simulation and Modelling Conference, October 2017
MORSE. https://www.openrobots.org/morse/doc/latest/morse.html
Nägele, T., Hooman, J.: Co-simulation of cyber-physical systems using HLA. In: 2017 IEEE 7th Annual Computing and Communication Workshop and Conference (CCWC), pp. 1–6, January 2017
Neema, H., Gohl, J., Lattmann, Z., Sztipanovits, J., Karsai, G., Neema, S., Bapty, T., Batteh, J., Tummescheit, H., Sureshkumar, C.: Model-based integration platform for FMI co-simulation and heterogeneous simulations of cyber-physical systems. In: Proceedings of the 10th International Modelica Conference, pp. 235–245, March 2014. https://modelica.org/events/modelica2014/proceedings/html/ProceedingsOfThe10thModelicaConference.pdf
Noulard, E., Rousselot, J.Y., Siron, P.: CERTI: an open source RTI, why and how. In: Spring Simulation Interoperability Workshop, March 2009
Cardoso, J., Derler, P., Eidson, J.C., Lee, E.A., Matic, S., Zhao, Y., Zou, J.: Modeling timed systems. In: Ptolemaeus, C. (ed.) System Design, Modeling, and Simulation Using Ptolemy II. Ptolemy.org (2014). http://ptolemy.eecs.berkeley.edu/books/Systems/chapters/Dataflow.pdf
Ptolemy source. http://ptolemy.eecs.berkeley.edu/ptolemyII/
Ptolemy-HLA. https://www.icyphy.org/hla/wiki/Main/PtII-hlacerti
Shrivastava, A., Derler, P., Baboudr, Y.S.L., Stanton, K., Khayatian, M., Andrade, H.A., Weiss, M., Eidson, J., Chandhoke, S.: Time in cyber-physical systems. In: 2016 International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 1–10, October 2016
Acknowledgements
The authors would like to thank the anonymous reviewers for their valuable comments and suggestions to improve the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Cardoso, J., Siron, P. (2018). Ptolemy-HLA: A Cyber-Physical System Distributed Simulation Framework. In: Lohstroh, M., Derler, P., Sirjani, M. (eds) Principles of Modeling. Lecture Notes in Computer Science(), vol 10760. Springer, Cham. https://doi.org/10.1007/978-3-319-95246-8_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-95246-8_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-95245-1
Online ISBN: 978-3-319-95246-8
eBook Packages: Computer ScienceComputer Science (R0)