Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

We describe INTO-CPS, a project that aims to realise the goal of integrated tool chains for the collaborative and multidisciplinary engineering of dependable Cyber-Physical Systems (CPSs). Challenges facing model-based CPS engineering are described, focussing on the semantic diversity of models, management of the large space of models and artefacts produced in CPS engineering, and the need to evaluate effectiveness in industrial settings. We outline the approach taken to each of these issues, particularly on the use of semantically integrated multi-models, links to architectural modelling, code generation and testing, and evaluation via industry-led studies. We describe progress on the development of a prototype tool chain from baseline tools, and discuss ongoing challenges and open research questions in this area.

[1]  Lauretta O. Osho,et al.  Axiomatic Basis for Computer Programming , 2013 .

[2]  I. Quadri,et al.  INTO-CPS : An integrated “ tool chain ” for comprehensive Model-Based Design of Cyber-Physical Systems , 2016 .

[3]  IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA) — Framework and Rules , 2001 .

[4]  Peter Schneider,et al.  Master for Co-Simulation Using FMI , 2011 .

[5]  Edward A. Lee,et al.  FIDE: an FMI integrated development environment , 2016, SAC.

[6]  Gordon D. Plotkin,et al.  A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..

[7]  Michael J. Butler,et al.  Co-simulating event-B and continuous models via FMI , 2014, SummerSim.

[8]  Gawthrop A tutorial introduction for control engineers , 2014 .

[9]  Claus Ballegaard Nielsen,et al.  Strengthening Collaboration, Integration and Modelling in System of Systems Engineering , 2014 .

[10]  Peter A. Fritzson,et al.  Principles of object-oriented modeling and simulation with Modelica 2.1 , 2004 .

[11]  Jan Peleska,et al.  Industrial-Strength Model-Based Testing - State of the Art and Current Challenges , 2013, MBT.

[12]  W. Marsden I and J , 2012 .

[13]  David Broman,et al.  Determinate composition of FMUs for co-simulation , 2013, 2013 Proceedings of the International Conference on Embedded Software (EMSOFT).

[14]  Matthias Jarke,et al.  Requirements tracing , 1998, CACM.

[15]  Nick Battle,et al.  The overture initiative integrating tools for VDM , 2010, ACM SIGSOFT Softw. Eng. Notes.

[16]  Patrick Mäder Rule-based maintenance of post-requirements traceability , 2010 .

[17]  John S. Baras,et al.  HybridSim: A Modeling and Co-simulation Toolchain for Cyber-physical Systems , 2013, 2013 IEEE/ACM 17th International Symposium on Distributed Simulation and Real Time Applications.

[18]  Peter Gorm Larsen,et al.  A formal approach to collaborative modelling and co-simulation for embedded systems† , 2013, Mathematical Structures in Computer Science.

[19]  Peter Gorm Larsen,et al.  Collaborative Design for Embedded Systems , 2014, Springer Berlin Heidelberg.

[20]  Pieter J. Mosterman,et al.  Cyber-physical systems challenges: a needs analysis for collaborating embedded software systems , 2016, Software & Systems Modeling.

[21]  Jim Woodcock,et al.  Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains , 2015, 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering.

[22]  Manfred Broy,et al.  Engineering Cyber-Physical Systems: Challenges and Foundations , 2012, CSDM.

[23]  Andreas Junghanns,et al.  Functional Mockup Interface 2.0: The Standard for Tool independent Exchange of Simulation Models , 2012 .

[24]  J. F. Broenink,et al.  Design support and tooling for dependable embedded control software , 2010, SERENE.

[25]  Leandro Soares Indrusiak,et al.  Handbook of Research on Embedded Systems Design , 2014 .

[26]  Edward A. Lee,et al.  Industrial Cyber-Physical Systems - iCyPhy , 2013, CSDM.

[27]  Jim Woodcock,et al.  Behavioural Models for FMI Co-simulations , 2016, ICTAC.

[28]  A. W. Roscoe,et al.  FDR3 - A Modern Refinement Checker for CSP , 2014, TACAS.

[29]  Takeo Kanade,et al.  Unifying Theories of Programming , 2010, Lecture Notes in Computer Science.

[30]  Casper Thule Verifying the Co-Simulation Orchestration Engine for INTO-CPS ⋆ , 2016 .

[31]  R. K. Ursem Multi-objective Optimization using Evolutionary Algorithms , 2009 .

[32]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[33]  Fred Kröger,et al.  Temporal Logic of Programs , 1987, EATCS Monographs on Theoretical Computer Science.

[34]  Jozef Hooman,et al.  Modeling and Validating Distributed Embedded Real-Time Systems with VDM++ , 2006, FM.