You are here: into-cps.au.dk

Integrated Tool Chain for Model-based Design of Cyber-Physical Systems

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.

Press clippings

2015.08.12 | Knowledge exchange

På forkant med udviklingen

Source: EU Information, number 3, July 2015 (Danish), p. 6

2015.05.31 | Knowledge exchange

Presentation of INTO-CPS article at workshop

Source: FormaliSE: FME Workshop on Formal Methods in Software Engineering, May 2015 (English), Italy.

2015.05.05 | Knowledge exchange

Book: Handbook of Research on Embedded Systems Design

Source: The HiPEAC Network of Excellence #42 Newsletter, May 2015 (English), page 4.

News

2016.04.29 | Knowledge exchange

New member of the INTO-CPS industry follower group

In April Fortiss GmbH in Germany has joined the INTO-CPS Industry Follower Group. Click to read more about Fortiss GmbH.

2016.01.26 | Knowledge exchange

New member of the INTO-CPS industry follower group

In January Bosch in Germany has joined the INTO-CPS Industry Follower Group. Click to read more about Bosch.

2015.10.26 | Awards

EU Innovation Prize: Runner-up trophy awarded to Verified Systems International

Verified Systems International has been awarded the runner-up trophy in the "Innovation Radar" at the ICT 2015 in Lisbon.

Showing results 1 to 3 of 13

1 2 3 4 5 Next

Events

No articles found in this list

Project intranet and handbook

Intranet
If you are an INTO-CPS partner, you can access the project intranet by clicking on the link below.

Handbook
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.

Comments on content: 
Revised 2016.05.26