Modeling Methodologies for Cyber-Physical Systems : Research Field Study on Inherent and Future Challenges

This paper presents a field study about the inherent challenges involved in the design of Cyber-Physical Systems and how Model-Based Design (MBD) is currently being utilized in various research directions in order to help in the design and development of these complex systems. The paper then presents the first future directions and challenges deemed to be tackled by H2020 INTOCPS project. The aim of INTO-CPS project is to create an integrated “tool chain” for comprehensive Model-Based Design of Cyber-Physical Systems (CPSs). The tool chain will support the multidisciplinary, collaborative modeling of CPSs from requirements, through design, down to hardware and software implementation. This will enable traceability at all stages of the development process. The paper aims at analyzing the current State-of-the-Art related to CPSs and be a basis to future extensions of the SysML standard to support CPS modeling within the INTO-CPS project.

[1]  Peter Gorm Larsen,et al.  Collaborative Modelling and Co-simulation in the Development of Dependable Embedded Systems , 2010, IFM.

[2]  P. Baker,et al.  Early UML Model Testing using TTCN-3 and the UML Testing Profile , 2007, Testing: Academic and Industrial Conference Practice and Research Techniques - MUTATION (TAICPART-MUTATION 2007).

[3]  Raja Sengupta,et al.  The C3UV testbed for collaborative control and information acquisition using UAVs , 2013, 2013 American Control Conference.

[4]  Ana Sokolova,et al.  Information-Acquisition-as-a-Service for Cyber-Physical Cloud Computing , 2010, HotCloud.

[5]  Iakovos Michailidis,et al.  A “plug-n-play” computationally efficient approach for control design of large-scale nonlinear systems using co-simulation , 2013, 52nd IEEE Conference on Decision and Control.

[6]  Ina Schieferdecker,et al.  From U2TP Models to Executable Tests with TTCN-3 - An Approach to Model Driven Testing , 2005, TestCom.

[7]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[8]  Eugenio Villar,et al.  System synthesis from UML/MARTE models: The PHARAON approach , 2013, Proceedings of the 2013 Electronic System Level Synthesis Conference (ESLsyn).

[9]  Iakovos Michailidis,et al.  Multi-Linear State Space Model Identification for Large Scale Building Systems , 2013 .

[10]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[11]  Alberto L. Sangiovanni-Vincentelli,et al.  Languages and Tools for Hybrid Systems Design , 2006, Found. Trends Electron. Des. Autom..

[12]  Stephan Pietsch,et al.  Model-based testing with UTP and TTCN-3 and its application to HL7 , 2008 .