Abstract
Co-simulation has grown from point-to-point between simulation tools for specific purposes to complex tool-chains which often require additional functionalities, e.g., process management, data management and tool integration. With these additional functionalities, the related design activities could be controlled and implemented by unified platforms to improve efficiency and effectiveness. Due to increasing complexity and size of co-simulation tool-chains, a systematic approach is needed to formalize their evolution in order to analyze functionalities and evaluate their structures before development. In this paper, we extend a proposed domain specific language, - named Tool Integration Language (TIL) - to describe co-simulation tool-chain architectures on a high abstraction level aiming to promote the efficiency and effectiveness of co-simulation tool-chain development by the use of Model-based System Engineering (MBSE). We introduce how the extended TIL formalizes structures and present two industrial cases of co-simulation tool-chain from previous experiences and describe them using the TIL. Finally, we conclude this paper and introduce future work - a further extension of TIL supporting MBSE tool-chain development.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
IEEE 1471 is the predecessor of ISO/IEC 42010 [30]. We use IEEE 1471 in this paper, because IEEE 1471 is light weight and its overview of architecture description is sufficient to describe co-simulation tool-chain development.
- 2.
We make use of MetaEdit+ to proof the concept of TIL and one of the further work to select a tool to support TIL.
References
Al-Hammouri, A.T.: A comprehensive co-simulation platform for cyber-physical systems. Comput. Commun. 36(1), 8–19 (2012)
Mengist, A., Pop, A., Fritzson, P.: Traceability support in openmodelica using open services for lifecycle collaboration (OSLC). In: Modelica 2017: Proceedings of 12th International Modelica Conference, 15th and 16th May. Citeseer (2017)
Baier, T., Neuwirth, E.: Excel \({:}{:}\) COM \({:}{:}\;{\sf R}\). Comput. Stat. 22(1), 91–108 (2007)
Becker, D., Singh, R.K., Tell, S.G.: An engineering environment for hardware/software co-simulation. In: Proceedings of 29th ACM/IEEE Design Automation Conference, pp. 129–134. IEEE (1992)
Biehl, M., El-Khoury, J., Loiret, F., Törngren, M.: A domain specific language for generating tool integration solutions. In: 4th Workshop on Model-Driven Tool & Process Integration (MDTPI2011) at the European Conference on Modelling Foundations and Applications (ECMFA 2011), 6 June 2011 (2011)
Biehl, M., Sjöstedt, C.J., Törngren, M.: A modular tool integration approach: experiences from two case studies (2010)
Chen, X., Wei, Z.: A new modeling and simulation platform-MWorks for electrical machine based on Modelica. In: International Conference on Electrical Machines and Systems, ICEMS 2008, pp. 4065–4067. IEEE (2008)
Chwirka, S.: Using the powerful saber simulator for simulation, modeling, and analysis of power systems, circuits, and devices. In: The 7th Workshop on Computers in Power Electronics, COMPEL 2000, pp. 172–176. IEEE (2000)
Dietz, S., Hippmann, G., Schupp, G.: Interaction of vehicles and flexible tracks by co-simulation of multibody vehicle systems and finite element track models. Veh. Syst. Dyn. 37(Suppl. 1), 372–384 (2002)
Eker, J., Janneck, J.W., Lee, E.A., Liu, J., Liu, X., Ludvig, J., Neuendorffer, S., Sachs, S., Xiong, Y.: Taming heterogeneity-the ptolemy approach. Proc. IEEE 91(1), 127–144 (2003)
Fitzgerald, J., Larsen, P.G., Pierce, K., Verhoef, M., Wolff, S.: Collaborative modelling and co-simulation in the development of dependable embedded systems. In: Méry, D., Merz, S. (eds.) IFM 2010. LNCS, vol. 6396, pp. 12–26. Springer, Heidelberg (2010). https://doi.org/10.1007/978-3-642-16265-7_2
Fitzgerald, J., Larsen, P.G., Verhoef, M.: From embedded to cyber-physical systems: challenges and future directions. In: Fitzgerald, J., Larsen, P.G., Verhoef, M. (eds.) Collab. Des. Embed. Syst., pp. 293–303. Springer, Heidelberg (2014). https://doi.org/10.1007/978-3-642-54118-6_14
Gomes, C., Thule, C., Broman, D., Larsen, P.G., Vangheluwe, H.: Co-simulation: State of the art, February 2017. arXiv:1702.00686
Hoffman, A., Kogel, T., Meyr, H.: A framework for fast hardware-software co-simulation. In: Proceedings of the Conference on Design, Automation and Test in Europe, pp. 760–765. IEEE Press (2001)
ISO/IEC: Systems and software engineering - Recommended practice for architectural description of software-intensive systems, vol. 2007 (2007)
Lu, J., Chen, D.-J., Gürdür, D., Törngren, M.: An investigation of functionalities of future tool-chain for aerospace industry. In: INCOSE International Symposium. Wiley Online Library (2017, in press)
Kelly, S., Lyytinen, K., Rossi, M.: MetaEdit+ a fully configurable multi-user and multi-tool CASE and CAME environment. In: Constantopoulos, P., Mylopoulos, J., Vassiliou, Y. (eds.) CAiSE 1996. LNCS, vol. 1080, pp. 1–21. Springer, Heidelberg (1996). https://doi.org/10.1007/3-540-61292-0_1
Li, S., He, L.: Co-simulation study of vehicle ESP system based on ADAMS and MATLAB. J. Softw. 6(5), 866–872 (2011)
Li, W., Joós, G., Bélanger, J.: Real-time simulation of a wind turbine generator coupled with a battery supercapacitor energy storage system. IEEE Trans. Industr. Electron. 57(4), 1137–1145 (2010)
Lu, J.: Co-simulation for heterogeneous simulation system and application for aerospace. Master dissertation, Huazhong University of Science and Technology, Wuhan, China (2013)
Lu, J., Ding, J., Zhou, F., Gong, X.: Research of tool-coupling based electro-hydraulic system development method. In: Qi, E. (ed.) Proceedings of the 6th International Asia Conference on Industrial Engineering and Management Innovation, pp. 213–224. Atlantis Press, Paris (2016). https://doi.org/10.2991/978-94-6239-148-2_21
Lu, J., Chen, D., Törngren, M., Loiret, F.: A model-driven and tool-integration framework for whole vehicle co-simulation environments. In: 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016) (2016)
Lynn, A., Smid, E., Eshraghi, M., Caldwell, N., Woody, D.: Modeling hydraulic regenerative hybrid vehicles using AMESIM and MATLAB/Simulink. In: Defense and Security, pp. 24–40. International Society for Optics and Photonics (2005)
Mierlo, S.V., Tendeloo, Y.V., Meyers, B., Vangheluwe, H.: The Handbook of Formal Methods in Human-Computer Interaction. Human-Computer Interaction Series. Springer International Publishing, Cham (2017). https://doi.org/10.1007/978-3-319-51838-1
Modelica Association Project “FMI”: Functional Mock-up Interface for Model Exchange and Co-Simulation (07006), pp. 1–120 (2013)
Ong, C.M.: Dynamic Simulation of Electric Machinery: Using MATLAB/SIMULINK. Prentice Hall, Upper Saddle River (1998)
Ong, E.P., Spann, M.: Robust multiresolution computation of optical flow. In: 1996 IEEE International Conference on Acoustics, Speech, and Signal Processing, ICASSP-1996. Conference Proceedings, vol. 4, pp. 1938–1941. IEEE (1996)
Qamar, A.: Model and dependency management in mechatronic design. Ph.D. thesis, KTH Royal Institute of Technology (2013)
Rowson, J.A.: Hardware/software co-simulation. In: 31st Conference on Design Automation, pp. 439–440. IEEE (1994)
International Standard: INTERNATIONAL STANDARD ISO/IEC/IEEE Systems and Software Engineering - Engineering 2011 (2011)
Thomas, I., Nejmeh, B.A.: Definitions of tool integration for environments. IEEE Softw. 9(2), 29–35 (1992)
Trappey, C.V., Trappey, A.J., Huang, C.J., Ku, C.: The design of a JADE-based autonomous workflow management system for collaborative SoC design. Expert Syst. Appl. 36(2), 2659–2669 (2009)
Trčka, M., Hensen, J.L., Wetter, M.: Co-simulation for performance prediction of integrated building and HVAC systems–an analysis of solution characteristics using a two-body system. Simul. Model. Pract. Theory 18(7), 957–970 (2010)
Tu, Y., Lin, G.: Dynamic simulation of aircraft environmental control system based on flowmaster. J. Aircr. 48(6), 2031–2041 (2011)
Tu, Z., Zacharewicz, G., Chen, D.: Developing a web-enabled HLA federate based on portico RTI. In: Proceedings of the 2011 Winter Simulation Conference (WSC), pp. 2289–2301. IEEE (2011)
Van Rompaey, K., Bolsens, I., De Man, H., Verkest, D.: Coware-a design environment for heterogenous hardware/software systems. In: Proceedings of Conference on European Design Automation, pp. 252–257. IEEE Computer Society Press (1996)
Wang, B., Baras, J.S.: Hybridsim: a modeling and co-simulation toolchain for cyber-physical systems. In: Proceedings of 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications, pp. 33–40. IEEE Computer Society (2013)
Wasserman, A.I.: Tool integration in software engineering environments. In: Long, F. (ed.) Software Engineering Environments. LNCS, vol. 467, pp. 137–149. Springer, Heidelberg (1990). https://doi.org/10.1007/3-540-53452-0_38
Wetter, M.: Co-simulation of building energy and control systems with the building controls virtual test bed. J. Build. Perform. Simul. 4(3), 185–203 (2011)
You-Guan, Y., Guo-fang, G., Guo-Liang, H.: Simulation technique of AMESim and its application in hydraulic system. Hydraul. Pneum. Seals 3, 28–31 (2005)
Zitney, S.E.: Process/equipment co-simulation for design and analysis of advanced energy systems. Comput. Chem. Eng. 34(9), 1532–1542 (2010)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG
About this paper
Cite this paper
Lu, J., Törngren, M., Chen, DJ., Wang, J. (2018). A Tool Integration Language to Formalize Co-simulation Tool-Chains for Cyber-Physical System (CPS). In: Cerone, A., Roveri, M. (eds) Software Engineering and Formal Methods. SEFM 2017. Lecture Notes in Computer Science(), vol 10729. Springer, Cham. https://doi.org/10.1007/978-3-319-74781-1_27
Download citation
DOI: https://doi.org/10.1007/978-3-319-74781-1_27
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-74780-4
Online ISBN: 978-3-319-74781-1
eBook Packages: Computer ScienceComputer Science (R0)