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

Larsen, Peter Gorm; Fitzgerald, JS; Woodcock, Jim; Fritzson, Peter; Brauer, Jörg; Kleijn, Christian; Lecomte, Thierry; Pfeil, Markus; Green, Ole; Basagiannis, Stylianos; Sadovykh, Andrey

doi:10.1109/cpsdata.2016.7496424

Cited by 99 publications

(59 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…In the INTO-CPS project we start from the view that disciplines such as software, mechatronics and control engineering have evolved with notations and theories that are tailored to their engineering needs, and that it is undesirable to suppress this diversity by enforcing uniform general-purpose models [3,4,10,11,12]. Our goal is to achieve a practical integration of diverse formalisms at the semantic level, and to realise the benefits in integrated tool chains.…”

Section: The Into-cps Technologymentioning

confidence: 99%

Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems

Neghina¹,

Zamfirescu²,

Larsen³

et al. 2018

STUD INFORM CONTROL

Self Cite

View full text Add to dashboard Cite

Abstract:In the modelling of Cyber-Physical Systems (CPSs), there are different possible routes that can be followed to gradually achieve a collection of constituent models that can be co-simulated with a high level of accuracy. This paper demonstrates a methodology which initially develops all constituent models at a high level of abstraction with discreteevent models expressed using the Vienna Development Method (VDM). Subsequently, a number of these are refined (without changing the interfaces) by more detailed models expressed in different formalisms, and using tools that can export Functional Mock-up Units (FMUs) for co-simulation through the Functional Mock-up Interface (FMI) standard. The development team of each of these more detailed models can then experiment with the interactions with all the other constituent models, using the high-level discrete-event versions until higher-fidelity alternatives are ready. The results reported in this paper were obtained in an innovation experiment within the EU CPSE Labs research project, part of Smart Anything Everywhere initiative.

show abstract

Section: The Into-cps Technologymentioning

confidence: 99%

Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems

Neghina¹,

Zamfirescu²,

Larsen³

et al. 2018

STUD INFORM CONTROL

Self Cite

View full text Add to dashboard Cite

show abstract

“…INTO-CPS [15] is an integrated tool-chain to support model-based development of CPSs using co-simulation according to the FMI standard. The top-level component of the tool-chain is the INTO-CPS application, a graphical user interface for the management of co-simulation projects.…”

Section: The Into-cps Frameworkmentioning

confidence: 99%

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator

Bernardeschi

Domenici

Palmieri

2018

Software Technologies: Applications and Foundations

View full text Add to dashboard Cite

The advantage of co-simulation with respect to traditional singleparadigm simulation lies mainly in the modeling flexibility it affords in composing large models out of submodels, each expressed in the most appropriate formalism. One aspect of this flexibility is the modularity of the co-simulation framework, which allows developers to replace each sub-model with a new version, possibly based on a different formalism or a different simulator, without changing the rest of the co-simulation. This paper reports on the replacement of a sub-model in a co-simulation built on the INTO-CPS framework. Namely, an existing co-simulation of a water tank, available in the INTO-CPS distribution, has been modified by replacing the tank sub-model with a sub-model built as a Stochastic Activity Network simulated on Möbius, a tool used to perform statistical analyses of systems with stochastic behavior. This work discusses aspects of this redesign, including the necessary modifications to the Möbius submodel. In this still preliminary work, the Stochastic Activity Network features related to stochastic models have not been used, but a simple deterministic model has proved useful in indicating an approach to the integration of Stochastic Activity Networks into a co-simulation framework.

show abstract

“…However, unlike our twin model, their model composition strategy does not support asynchrony which is desirable for scalability. Tools such as Ptolemy II [7], and INTO-CPS [8] are more focused on the simulation of cyber-physical systems (CPS) using different levels of formal models of computation (MoC). Yet, their focus have been on the offline simulation of cyber-physical systems, whereas the digital twin evolves with the system in real-time.…”

Section: Introductionmentioning

confidence: 99%

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems

Park

Easwaran

Andalam³

2019

2019 IEEE 37th International Conference on Computer Design (ICCD)

View full text Add to dashboard Cite

Digital twin is a virtual replica of a real-world object that lives simultaneously with its physical counterpart. Since its first introduction in 2003 by Grieves, digital twin has gained momentum in a wide range of applications such as industrial manufacturing, automotive and artificial intelligence. However, many digital-twin-related approaches, found in industries as well as literature, mainly focus on modelling individual physical things with high-fidelity methods with limited scalability. In this paper, we introduce a digital-twin architecture called TiLA (Twin-in-the-Loop Architecture). TiLA employs heterogeneous models and online data to create a digital twin, which follows a Globally Asynchronous Locally Synchronous (GALS) model of computation. It facilitates the creation of a scalable digital twin with different levels of modelling abstraction as well as giving GALS formalism for execution strategy. Furthermore, TiLA provides facilities to develop applications around the twin as well as an interface to synchronise the twin with the physical system through an industrial communication protocol. A digital twin for a manufacturing line has been developed as a case study using TiLA. It demonstrates the use of digital twin models together with online data for monitoring and analysing failures in the physical system.

show abstract

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

Cited by 99 publications

References 21 publications

Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems

Multi-Paradigm Discrete-Event Modelling and Co-simulation of Cyber-Physical Systems

Towards Stochastic FMI Co-Simulations: Implementation of an FMU for a Stochastic Activity Networks Simulator

TiLA: Twin-in-the-Loop Architecture for Cyber-Physical Production Systems

Contact Info

Product

Resources

About