Konferensartikel

Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems

Himanshu Neema
Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA

Jesse Gohl
Modelon, Inc., Glastonbury, USA

Zsolt Lattmann
Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA

Janos Sztipanovits
Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA

Gabor Karsai
Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA

Sandeep Neema
Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA

Ted Bapty
Institute for Software Integrated Systems, Vanderbilt University, Nashville, USA

John Batteh
Modelon, Inc., Glastonbury, USA

Hubertus Tummescheit
Modelon, Inc., Glastonbury, USA

Chandraseka Sureshkumar
Modelon, Inc., Glastonbury, USA

Ladda ner artikelhttp://dx.doi.org/10.3384/ecp14096235

Ingår i: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden

Linköping Electronic Conference Proceedings 96:24, s. 235-245

Visa mer +

Publicerad: 2014-03-10

ISBN: 978-91-7519-380-9

ISSN: 1650-3686 (tryckt), 1650-3740 (online)

Abstract

Virtual evaluation of complex Cyber-Physical Systems (CPS) with a number of tightly integrated domains such as physical; mechanical; electrical; thermal; cyber; etc. demand the use of heterogeneous simulation environments. Our previous effort with C2 Wind Tunnel (C2WT) attempted to solve the challenges of evaluating these complex systems as-a-whole; by integrating multiple simulation platforms with varying semantics and integrating and managing different simulation models and their interactions. Recently; a great interest has developed to use Functional Mockup Interface (FMI) for a variety of dynamics simulation packages; particularly in Commercial Off-The-Shelf (COTS) tools. Leveraging the C2WT effort on effective integration of different simulation engines with different Models of Computation (MoCs); we propose; in this paper; to use the proven methods of High-Level Architecture (HLA)-based model and system integration. We identify the challenges of integrating Functional Mockup Unit for Co-Simulation (FMU-CS) in general and via HLA and present a novel model-based approach to rapidly synthesize an effective integration. The approach presented provides a unique opportunity to integrate readily available FMU-CS components with various specialized simulation packages to rapidly synthesize HLA-based integrated simulations for the overall composed Cyber-Physical Systems.

Nyckelord

Functional Mockup Interface; Functional Mock-up Unit for Co-Simulation; Cyber-Physical Systems; Heterogeneous simulation; Multi-paradigm modeling; Model-based integration; DSML; Distributed Simulation; High-Level Architecture

Referenser

[1] J. Sztipanovits, “Composition of cyberphysical systems,” 14th Annual IEEE Int’l. Conference and Workshops on the Engineering of Computer-Based Systems (ECBS ’07). Washington, DC, USA: IEEE Computer Society, 2007, pp. 3–6. DOI: 10.1109/ECBS.2007.25

[2] Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai, “Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach”, Simulation 88(2), 217-232 (2012). DOI: 10.1177/0037549711401950

[3] C2WT community wiki – wiki.isis.vanderbilt.edu/OpenC2WT

[4] Functional Mock-up Interface – www.fmistandard. org

[5] HLA standard – IEEE standard for modeling and simulation (M&S) high-level architecture (HLA) – framework and rules ieeexplore. ieee.org/servlet/opac?punumber=7179.

[6] E. Lee, “Cyber physical systems: Design challenges,” in Proc. of the 11th IEEE Int’l. Symposium on Object Oriented Real-Time Distributed Computing (ISORC’08), May 2008, pp. 363–369.

[7] T. Blochwitz, M. Otter, M. Arnold, C. Bausch, C. Clauß, H.Elmqvist, A. Junghanns, J. Mauss, M. Monteiro, T. Neidhold, D. Neumerkel, H. Olsson, J. V. Peetz, S. Wolf, "The Functional Mockup Interface for Tool independent Exchange of Simulation Models", in 8th International Modelica Conference, Dresden, 2011, pp. 20-22.

[8] Modelica Association: Modelica – A Unified Object-Oriented Language for Physical Systems Modeling. Language Specification, Version 3.2, March 24, 2010: www.modelica.org/documentas/ModelicaSpec32.pdf

[9] Awais, M.U.; Palensky, P.; Elsheikh, A.; Widl, E.; Matthias, S., "The high level architecture RTI as a master to the functional mock-up interface components," Computing, Networking and Communications (ICNC), 2013 International Conference on , vol., no., pp.315,320, 28-31 Jan. 2013 doi: 10.1109/ICCNC.2013.6504102.

[10] Portico RTI - www.porticoproject.org [11] Sztipanovits, J., and Karsai, G. 1997. “Model-Integrated Computing”, IEEE Computer, 30(110-112).

[12] de Laura, J., and Vangheluwe, H., 2002. “AToM3: A Tool for Multi-formalism and Meta-Modeling”, Lecture Notes in Computer Science, 2306 (174-188). DOI: 10.1007/3-540-45923-5_12

[13] Tolvanen, J.P., and Lyytinen, K. 1993. “Flexible Method Adaptation in CASE. The Metamodeling Approach”, Scandinavian Journal of Information Science, v5 n1 (71-77).

[14] Cook, S., Jones, G., Kent, S., and Wills, A. 2007. “Domain-specific Development with Visual Studio DSL Tools”, Addison-Wesley Professional.

[15] The Eclipse Foundation – www.eclipse.org

[16] Modelon, Inc. – www.modelon.com

[17] JFMI: A Java wrapper for the Functional Mockup Interface – www.ptolemy.eecs.berkeley.edu/java/jfmi

[18] OMNeT++ - www.omnetpp.org

[19] DARPA Adaptive Vehicle Make Program – www.darpa.mil/Our_Work/TTO/Programs/Adaptive_Vehicle_Make__(AVM).aspx

[20] Jing Lin; Sedigh, S.; Miller, A., “Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution,” Dependable, Autonomic and Secure Computing, 2009. DASC ’09. Eighth IEEE International Conference on, vol., no., pp.690,695, 12-14 Dec. 2009. doi: 10.1109/DASC.2009.140.

[21] Palachi, E.; Cohen, C.; Takashi, S., “Simulation of cyber physical models using SysML and numerical solvers,” Systems Conference (SysCon), 2013 IEEE International, vol., no., pp.671,675, 15-18 April 2013. doi: 10.1109/SysCon.2013.6549954.

[22] A. Al-Hammouri, V. Liberatore, H. Al-Omari, Z. Al-Qudah, M. S. Branicky, and D. Agrawal, “A co-simulation platform for actuator networks,” in Proc. of the 5th Int’l. Conference on Embedded Networked Sensor Systems (SenSys ’07). New York, NY, USA: ACM, 2007, pp. 383–384.

[23] A. Bakshi, V. K. Prasanna, and A. Ledeczi. 2001, “MILAN: A Model Based Integrated Simulation Framework for Design of Embedded Systems,” SIGPLAN Not. 36, 8 (August 2001), 82-93. DOI: 10.1145/384196.384210.

[24] Agrawal, A.; Ledeczi, A., “Multigranular simulation of heterogeneous embedded systems,” Engineering of Computer-Based Systems, 2003. Proceedings. 10th IEEE International Conference and Workshop on the, vol., no., pp.3,10, 7-10 April 2003. doi: 10.1109/ECBS.2003.1194776.

[25] J. Bastian, Ch. Clauß, S. Wolf, P. Schneider, “Master for Co-Simulation Using FMI,” 8th International Modelica Conference. Dresden 2011.

[26] De Filippo, F.; Stork, A.; Schmedt, H.; Bruno, F, “A modular architecture for a driving simulator based on the FDMU approach,” International Journal on Interactive Design and Manufacturing (IJIDeM) (2013): 1-12 , March 09, 2013.

[27] Lasnier, Gilles and Cardoso, Janette and Siron, Pierre and Pagetti, Claire and Derler, Patricia, “Distributed Simulation of Heterogeneous and Real-time Systems,” In 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications - IEEE/ACM DS-RT 2013, 30 October 2013 - 01 November 2013 (Delft, Netherlands).

[28] B. Wang and J. S. Baras, “HybridSim: A Modeling and Co-simulation Toolchain for Cyber-Physical Systems,” Proceedings of 17th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, pp. no. 33-40, Delft, Netherlands, October 30 - November 1, 2013.

[29] Elsheikh, A.; Awais, M.U.; Widl, E., Palensky, P., “Modelica-enabled rapid prototyping of cyber-physical energy systems via the functional mockup interface,” Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES), 2013 Workshop on, vol., no., pp.1,6, 20-20 May 2013. doi: 10.1109/MSCPES.2013.6623315.

[30] Awais, Muhammad Usman; Palensky, Peter; Mueller, Wolfgang; Widl, Edmund; Elsheikh, Atiyah, “Distributed hybrid simulation using the HLA and the Functional Mock-up Interface,” Industrial Electronics Society, IECON 2013 - 39th Annual Conference of the IEEE , vol., no., pp.7564,7569,
10-13 Nov. 2013. doi: 10.1109/IECON.2013.6700393.

[31] Awais, Muhammad Usman, Wolfgang Mueller, Atiyah Elsheikh, Peter Palensky, and Edmund Widl, “Using the HLA for Distributed Continuous Simulations,” In proceeding of: The 8th EUROSIM Congress on Modelling and Simulation. Sep. 2013.

[32] Karsai, G.; Sztipanovits, J.; Ledeczi, A.; Bapty, T., “Model-integrated development of embedded software,” Proceedings of the IEEE , vol.91, no.1, pp.145,164, Jan 2003. doi: 10.1109/JPROC.2002.805824.

[33] Gabor Karsai , Janos Sztipanovits, “Model-Integrated Development of Cyber-Physical Systems,” Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems, October 01-03, 2008, Anacarpi, Capri Island, Italy doi: 10.1007/978-3-540-87785-1_5.

[34] D. Riley, E. Eyisi, J. Bai, X. Koutsoukos, Y. Xue, and J. Sztipanovits, “Networked control system wind tunnel (NCSWT): an evaluation tool for networked multi-agent systems,” in Proceedings of the 4th International ICST Conference on Simulation Tools and Techniques (SIMUTools), 2011, pp. 9–18.

Citeringar i Crossref