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
Download articlehttp://dx.doi.org/10.3384/ecp14096235Published in: Proceedings of the 10th International Modelica Conference; March 10-12; 2014; Lund; Sweden
Linköping Electronic Conference Proceedings 96:24, p. 235-245
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.
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
[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.