Opendata, web and dolomites

INTO-CPS

INtegrated TOol chain for model-based design of CPSs

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

Project "INTO-CPS" data sheet

The following table provides information about the project.

Coordinator
AARHUS UNIVERSITET 

Organization address
address: NORDRE RINGGADE 1
city: AARHUS C
postcode: 8000
website: www.au.dk

contact info
title: n.a.
name: n.a.
surname: n.a.
function: n.a.
email: n.a.
telephone: n.a.
fax: n.a.

 Coordinator Country Denmark [DK]
 Project website http://www.into-cps.au.dk
 Total cost 7˙956˙805 €
 EC max contribution 7˙956˙804 € (100%)
 Programme 1. H2020-EU.2.1.1.1. (A new generation of components and systems: Engineering of advanced embedded and energy and resource efficient components and systems)
 Code Call H2020-ICT-2014-1
 Funding Scheme RIA
 Starting year 2015
 Duration (year-month-day) from 2015-01-01   to  2017-12-31

 Partnership

Take a look of project's partnership.

# participants  country  role  EC contrib. [€] 
1    AARHUS UNIVERSITET DK (AARHUS C) coordinator 1˙103˙033.00
2    UNIVERSITY OF YORK UK (YORK NORTH YORKSHIRE) participant 951˙157.00
3    TWT GMBH SCIENCE & INNOVATION DE (STUTTGART) participant 859˙750.00
4    VERIFIED SYSTEMS INTERNATIONAL GMBH DE (BREMEN) participant 758˙711.00
5    SOFTEAM FR (PARIS) participant 738˙500.00
6    UNIVERSITY OF NEWCASTLE UPON TYNE UK (NEWCASTLE UPON TYNE) participant 717˙821.00
7    LINKOPINGS UNIVERSITET SE (LINKOPING) participant 691˙901.00
8    UNITED TECHNOLOGIES RESEARCH CENTRE IRELAND, LIMITED IE (Cork) participant 577˙501.00
9    CLEARSY SAS FR (AIX EN PROVENCE) participant 572˙250.00
10    CONTROLLAB PRODUCTS B.V. NL (ENSCHEDE) participant 567˙544.00
11    AGRO INTELLIGENCE APS DK (AARHUS N) participant 418˙635.00
12    KONGSKILDE INDUSTRIES AS DK (SORO) participant 0.00
13    SOFTEAM FR (PARIS) participant 0.00

Map

 Project objective

The aim of the 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 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. The solution will be 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 a 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. The tool chain will be tested with case studies in railways, agriculture, building and automotive. The consortium has 4 academic and 7 industrial partners. The industrial partners comprise both tool vendors and case study owners. The INTO-CPS technology will enable experimenting with design alternatives enabling radical innovation where the overall concept is right first time, even when hardware prototypes does not yet exists.

 Deliverables

List of deliverables.
Tool chain Extension Modules– Year 2 Other 2019-10-29 15:12:45
Foundations 2 Documents, reports 2019-10-08 16:55:33
Tool chain Extension Modules– Year 3 Documents, reports 2019-05-31 12:29:28
Method Guidelines 3 Documents, reports 2019-05-31 12:29:24
Examples Compendium 3 Documents, reports 2019-05-31 12:29:26
Dissemination Year 3 Websites, patent fillings, videos etc. 2019-05-31 12:29:09
Foundations 3 Documents, reports 2019-05-31 12:29:21
Periodic progress report year 3 Documents, reports 2019-05-31 12:29:26
Platform Unification and Integration Other 2019-05-31 12:29:10
Dissemination Year 1 Documents, reports 2019-04-02 15:46:17
Method Guidelines 1 Documents, reports 2019-04-02 15:46:17
Dissemination Year 2 Websites, patent fillings, videos etc. 2019-04-02 15:46:17
Platform Unification and Integration 2 Other 2019-04-02 15:46:17
Foundations 1 Documents, reports 2019-04-02 15:46:17
Method Guidelines 2 Documents, reports 2019-04-02 15:46:16
Examples Compendium 2 Documents, reports 2019-04-02 15:46:17
Platform Unification and Integration 1 Documents, reports 2019-04-02 15:46:17
Examples Compendium 1 Documents, reports 2019-04-02 15:46:17
Periodic progress report year 2 Documents, reports 2019-04-02 15:46:17
Periodic progress report year 1 Documents, reports 2019-04-02 15:46:17
Tool chain Extension Modules– Year 1 Other 2019-04-02 15:46:17

Take a look to the deliverables list in detail:  detailed list of INTO-CPS deliverables.

 Publications

year authors and title journal last update
List of publications.
2017 M. Jackson and J. Fitzgerald.
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems
published pages: , ISSN: , DOI:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems Lecture Notes in Computer Scien 2019-05-30
2015 Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
INTO-CPS: An integrated “tool chain” for comprehensive: model-based design of cyber-physical systems
published pages: , ISSN: , DOI:
ICSSEA 2015 Proceedings 2019-05-30
2017 F. Foldager, P.G. Larsen and O. Green.
Development of a Driverless Lawn Mower using Co-Simulation
published pages: , ISSN: , DOI:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems Lecture Notes in Computer Scien 2019-05-30
2016 Foster, Simon D.; Zeyda, Frank; Woodcock, Jim.
Unifying Heterogeneous State-Spaces with Lenses
published pages: , ISSN: , DOI: 10.1007/978-3-319-46750-4_17
Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science Vol. 9965 2019-05-30
2017 Luis Diogo Couto and Ken Pierce.
Modelling Network Connections in FMI with an Explicit Network Model
published pages: 31-43, ISSN: , DOI:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering CS-TR- 1513-2017 2019-05-30
2016 Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter W.V.; Lausdahl, Kenneth.
Formalising and Validating the Interface Description in the FMI Standard
published pages: , ISSN: , DOI: 10.1007/978-3-319-48989-6_21
FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science Vol. 9995 2019-05-30
2017 P. G. Larsen, J. Fitzgerald, J. Woodcock, C. Gamble, R. Payne and K. Pierce.
Features of Integrated Model-based Co-modelling and Co-simulation Technology
published pages: , ISSN: , DOI:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems Lecture Notes in Computer Scien 2019-05-30
2017 L.D. Couto, S. Basagiannis, E.H. Ridouane, A. El-Din Mady, M. Hasanagic and P.G. Larsen.
Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems
published pages: , ISSN: , DOI:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems Lecture Notes in Computer Scien 2019-05-30
2016 Jackson, Mark; Fitzgerald, John.
Resilience Profiling in the Model-Based Design of Cyber-Physical Systems
published pages: , ISSN: , DOI:
The 14th Overture Workshop: Towards Analytical Tool Chains Vol. 4, No. 28 2019-05-30
2017 Mihai Neghina, Constantin-Bala Zamfirescu, Peter Gorm Larsen, Kenneth Lausdahl, and Ken Pierce.
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems
published pages: 116-129, ISSN: , DOI:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering CS-TR- 1513-2017 2019-05-30
2017 Bernhard Thiele, Thomas Beutlich, Volker Waurich, Martin Sjölund, Tobias Bellmann.
Towards a Standard-Conform, Platform-Generic and Feature-Rich Modelica Device Drivers Library
published pages: 713-723, ISSN: , DOI:
Proceedings of the 12th International Modelica Conference 2019-05-30
2015 Quadri, Imran; Bagnato, Alessandra; Brosse, Etienne; Sadovykh, Andrey.
Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges
published pages: , ISSN: 1381-6551, DOI:
Ada User Journal 36/4 2019-05-30
2017 F. Zeyda, J. Ouy, S. Foster and A. Cavalcanti.
Formalising Cosimulation Models
published pages: , ISSN: , DOI:
CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems Lecture Notes in Computer Scien 2019-05-30
2015 Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
INTO-CPS: An integrated “tool chain” for comprehensive: model-based design of cyber-physical systems
published pages: , ISSN: 1265-1397, DOI:
Revue Génie Logiciel 113 2019-05-30
2016 C. Thule, P.G. Larsen
Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS
published pages: 139-156, ISSN: 2079-8156, DOI: 10.15514/ISPRAS-2016-28(2)-9
Proceedings of the Institute for System Programming of the RAS 28/2 2019-05-30
2016 Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
SysML for Modeling Co-Simulation Orchestration over FMI INTO-CPS Approach
published pages: , ISSN: 1381-6551, DOI:
Ada User Journal Vol. 37, No. 4 2019-05-30
2016 Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Nilsson, Rene; Gamble, Carl; Foster, Simon.
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
published pages: , ISSN: , DOI: 10.1007/978-3-319-47169-3_13
Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science Vol. 9953 2019-05-30
2016 Cavalcanti, Ana; Woodcock, Jim; Amalio, Nuno.
Behavioural Models for FMI Co-simulations
published pages: , ISSN: , DOI: 10.1007/978-3-319-46750-4_15
Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science Vol 9965 2019-05-30
2015 Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, Georgios; Lausdahl, Kenneth; Tran-Jørgensen, Peter W. V.
Towards Enabling Overture as a Platform for Formal Notation IDEs
published pages: , ISSN: , DOI:
Electronic Proceedings in Theoretical Computer Science 2019-05-30
2016 Sadovykh, Andrey; Bagnato, Alessandra; Quadri, Imran; El-Din Mady, Alie; Couto, Luis D.; Basagiannis, Stylianos; Hasanagic, Miran.
SysML as a Common Integration Platform for Co-Simulations: Example of a Cyber Physical System Design Methodology in Green Heating Ventilation and Air Conditioning Systems
published pages: , ISSN: , DOI: 10.1145/3022211.3022212
CEE-SECR \'16 Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia 2019-05-30
2017 Kenneth Lausdahl, Kim Bjerge, Tom Bokhove, Frank Groen, and Peter Gorm Larsen.
Transitioning from Crescendo to INTO-CPS
published pages: 16-30, ISSN: , DOI:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering CS-TR- 1513-2017 2019-05-30
2016 Woodcock, Jim; Foster, Simon D.; Butterfield, Andrew.
Heterogeneous Semantics and Unifying Theories
published pages: , ISSN: , DOI: 10.1007/978-3-319-47166-2_26
Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science Vol. 9952 2019-05-30
2017 Oldrich Faldik, Richard Payne, John Fitzgerald, and Barbora Buhnova.
Modelling System of Systems Interface Contract Behaviour
published pages: 1-15, ISSN: , DOI:
14th Intl Workshop on Formal Engineering approaches to Software Components and Architectures, at ETAPS, Uppsala, Sweden EPTCS 245 2019-05-30
2016 Fabbri, T.; Verhoef, Marcel; Bandur, Victor; Perrotin, M.; Tsiodras, T.; Larsen, Peter Gorm.
Towards integration of Overture into TASTE
published pages: , ISSN: , DOI:
The 14th Overture Workshop: Towards Analytical Tool Chains Vol. 4, No. 28 2019-05-30
2016 Thule, Csaper; Nilsson, Rene.
Considering Abstraction Levels on a Case Study
published pages: , ISSN: , DOI:
The 14th Overture Workshop: Towards Analytical Tool Chains Vol. 4, No. 28 2019-05-30
2016 Peter Gorm Larsen, John Fitzgerald
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA
published pages: 985-998, ISSN: 2352-2208, DOI: 10.1016/j.jlamp.2015.10.001
Journal of Logical and Algebraic Methods in Programming 85/5 2019-05-30
2015 Martin Christiansen, Peter Larsen, Rasmus Jørgensen
Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration
published pages: 398-421, ISSN: 2218-6581, DOI: 10.3390/robotics4040398
Robotics 4/4 2019-05-30
2017 Hansen Salim and John Fitzgerald.
Towards Multi-Models for Self-* Cyber-Physical Systems
published pages: 44-58, ISSN: , DOI:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering CS-TR- 1513-2017 2019-05-30
2017 K. Lausdahl, C. Thule and P.G. Larsen, J. Höll, C König, A. Klueber, M. Pfeil, V. Fässler.
The INTO-CPS Co-Simulation Orchestration Engine - Experiences with FMI 2.0 and proposed extensions
published pages: , ISSN: , DOI:
FMI User Meeting 2019-05-30
2017 Victor Bandur, Peter W. V. Tran-Jørgensen, Miran Hasanagić, and Kenneth Lausdahl.
Code-generating VDM for Embedded Devices
published pages: 1-15, ISSN: , DOI:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering CS-TR- 1513-2017 2019-05-30
2016 Thule, Casper.
Verifying the Co-Simulation Orchestration Engine for INTO-CPS
published pages: , ISSN: , DOI:
CEUR Workshop Proceedings 2019-05-30
2016 Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim.
Towards a UTP semantics for Modelica
published pages: , ISSN: , DOI: 10.1007/978-3-319-52228-9_3
Unifying Theories of Programming. UTP 2016. Lecture Notes in Computer Science. Vol. 10134 2019-05-30
2017 Alachew Mengist, Adrian Pop, Adeel Asghar and Peter Fritzson.
Traceability Support in OpenModelica Using Open Services for Lifecycle Collaboration (OSLC)
published pages: 823 - 830, ISSN: , DOI:
12th International Modelica Conference 2017 2019-05-30
2016 Amalio, Nuno; Payne, Richard; Cavalcanti, Anan L. C.; Woodcock, Jím.
Checking SysML Models for Co-Simulation
published pages: , ISSN: , DOI: 10.1007/978-3-319-47846-3_28
Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science Vol. 10009 2019-05-30
2017 John Fitzgerald, Carl Gamble, Richard Payne, Benjamin Lam
Exploring the Cyber-Physical Design Space
published pages: 371-385, ISSN: 2334-5837, DOI: 10.1002/j.2334-5837.2017.00366.x
INCOSE International Symposium 27/1 2019-05-30
2017 Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe.
Co-simulation: State of the art
published pages: , ISSN: , DOI:
Technical report 2019-05-30
2017 Sergio Feo-Arenis, Marcel Verhoef, and Peter Gorm Larsen.
The Mars-Rover Case Study Modelled Using INTO-CPS
published pages: 130-144, ISSN: , DOI:
The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering CS-TR- 1513-2017 2019-05-30
2016 Larsen, Peter Gorm; Thule, Casper; Lausdahl, Kenneth; Bandur, Victor; Gamble, Carl; Brosse, Etienne; Sadovykh, Andrey; Bagnato, Alessandra; Couto, Luis D.
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems
published pages: , ISSN: , DOI:
The 14th Overture Workshop: Towards Analytical Tool Chains Vol. 4, No. 28 2019-05-30
2016 Fitzgerald, John; Gamble, Carl; Payne, Richard; Larsen, Peter Gorm; Basagiannis, Stylianos; Mady, Ali El-Din.
Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study
published pages: 817-832, ISSN: 2334-5837, DOI: 10.1002/j.2334-5837.2016.00195
INCOSE International Symposium Vol. 26, No. 1 2019-05-30

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "INTO-CPS" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an  email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "INTO-CPS" are provided by the European Opendata Portal: CORDIS opendata.

More projects from the same programme (H2020-EU.2.1.1.1.)

Road2CPS (2015)

Strategic action for future CPS through roadmaps, impact multiplication and constituency building

Read More  

TAMS4CPS (2015)

Trans-Atlantic Modelling and Simulation For Cyber-Physical Systems

Read More  

PING (2015)

Printed Intelligent NFC Game cards and packaging

Read More