The aim of INTO-CPS project is to create an integrated “tool chain” for comprehensive Model-Based Design (MBD) of Cyber-Physical Systems (CPSs). The tool chain will support the multidisciplinary, collaborative modelling of CPSs from requirements, through design, down to realisation in hardware and software. This will enable traceability at all stages of the development.
INTO-CPS will support the holistic modelling of CPSs, allowing system models to be built and analysed that would otherwise not be possible using standalone tools. We will integrate existing industry-strength tools with high Technology Readiness Levels (TRL 6–9) in their application domains, based centrally around Functional Mockup Interface (FMI)-compatible co-simulation. The project focuses on the pragmatic integration of these tools, making extensions in areas where a need has been recognised. The tool chain will be underpinned by well-founded semantic foundations that ensures the results of analysis can be trusted.
The tool chain will provide powerful analysis techniques for CPSs, including connection to SysML; generation and static checking of FMI interfaces; model checking; Hardware-in-the-Loop (HiL) and Software-in-the-Loop (SiL) simulation, supported by code generation. The tool chain will allow for both Test Automation (TA) and Design Space Exploration (DSE) of CPSs. The INTO-CPS technologies will be accompanied by a comprehensive set of method guidelines that describe how to adopt the INTO-CPS approach, lowering entry barriers for CPS development.
2015.08.12 | Knowledge exchange
Source: EU Information, number 3, July 2015 (Danish), p. 6
2015.05.31 | Knowledge exchange
Source: FormaliSE: FME Workshop on Formal Methods in Software Engineering, May 2015 (English), Italy.
2015.05.05 | Knowledge exchange
Source: The HiPEAC Network of Excellence #42 Newsletter, May 2015 (English), page 4.
2017.04.26 | Knowledge exchange
Click to read more about or sign up for the CPS Summer School at the "Lucian Blaga", University of Sibiu, Romania, from 3-7 July 2017.
2017.04.18 | Knowledge exchange
Beumer Group, Denmark, has joined the INTO-CPS industry follower group.
2017.03.21 | Knowledge exchange
INTO-CPS has released a new video on YouTube: "Line follower robot co-simulation". Click on the heading to see the video.
If you are an INTO-CPS partner, you can access the project intranet by clicking on the link below.
In the project handbook, the rules and guidelines for the project are described. Project partners can access the handbook on the project SVN in the folder T7.1 under WP7.