#	Pagina
attuale pagina	/open-h2020/projects/194142/index.html

Opendata, web and dolomites

INTO-CPS

INtegrated TOol chain for model-based design of CPSs

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

INTO-CPS project word cloud

Explore the words cloud of the INTO-CPS project. It provides you a very rough idea of what is the project "INTO-CPS" about.

software cpss building chain agriculture physical integration dse entry interfaces loop centrally vendors accompanied ensures traceability comprise models multidisciplinary first cps founded guidelines generation tool compatible experimenting automation model underpinned mockup extensions cyber create sil simulation radical standalone strength realisation readiness domains static railways interface trusted lowering time describe fmi foundations stages functional solution hardware checking industrial pragmatic tested space sysml integrate right collaborative ta techniques alternatives exploration industry levels automotive exists co tools barriers innovation powerful academic code connection otherwise holistic owners technologies recognised prototypes semantic trl hil analysed

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 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.	DK (AARHUS C)	coordinator	1˙103˙033.00
2	UNIVERSITY OF YORK UNIVERSITY OF YORK Organization address address: HESLINGTON city: YORK NORTH YORKSHIRE postcode: YO10 5DD website: http://www.york.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (YORK NORTH YORKSHIRE)	participant	951˙157.00
3	TWT GMBH SCIENCE & INNOVATION TWT GMBH SCIENCE & INNOVATION Organization address address: ERNSTHALDENSTRASSE 17 city: STUTTGART postcode: 70565 website: www.twt-gmbh.de contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (STUTTGART)	participant	859˙750.00
4	VERIFIED SYSTEMS INTERNATIONAL GMBH VERIFIED SYSTEMS INTERNATIONAL GMBH Organization address address: AM FALLTURM 1 city: BREMEN postcode: 28359 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DE (BREMEN)	participant	758˙711.00
5	SOFTEAM SOFTEAM Organization address address: 21 AVENUE VICTOR HUGO city: PARIS postcode: 75016 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (PARIS)	participant	738˙500.00
6	UNIVERSITY OF NEWCASTLE UPON TYNE UNIVERSITY OF NEWCASTLE UPON TYNE Organization address address: KINGS GATE city: NEWCASTLE UPON TYNE postcode: NE1 7RU website: http://www.ncl.ac.uk/ contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (NEWCASTLE UPON TYNE)	participant	717˙821.00
7	LINKOPINGS UNIVERSITET LINKOPINGS UNIVERSITET Organization address address: CAMPUS VALLA city: LINKOPING postcode: 581 83 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	SE (LINKOPING)	participant	691˙901.00
8	UNITED TECHNOLOGIES RESEARCH CENTRE IRELAND, LIMITED UNITED TECHNOLOGIES RESEARCH CENTRE IRELAND, LIMITED Organization address address: PENROSE QUAY PENROSE WHARF PENROSE BUSINESS CENTRE FOURTH FLOOR city: Cork postcode: T23 website: www.utrc.utc.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IE (Cork)	participant	577˙501.00
9	CLEARSY SAS CLEARSY SAS Organization address address: AVENUE ARCHIMEDE, ZAC DE LA DURANNE, LES PLEIADES III A 320 city: AIX EN PROVENCE postcode: 13857 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (AIX EN PROVENCE)	participant	572˙250.00
10	CONTROLLAB PRODUCTS B.V. CONTROLLAB PRODUCTS B.V. Organization address address: HENGELOSESTRAAT 500 city: ENSCHEDE postcode: 7521 AN website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	NL (ENSCHEDE)	participant	567˙544.00
11	AGRO INTELLIGENCE APS AGRO INTELLIGENCE APS Organization address address: AGRO FOOD PARK 13 city: AARHUS N postcode: 8200 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DK (AARHUS N)	participant	418˙635.00
12	KONGSKILDE INDUSTRIES AS KONGSKILDE INDUSTRIES AS Organization address address: SKAELSKORVEJ 64 city: SORO postcode: 4180 website: www.kongskilde.com contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	DK (SORO)	participant	0.00
13	SOFTEAM SOFTEAM Organization address address: Avenue Victor Hugo 21 city: PARIS postcode: 75016 website: www.softeam.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	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

List of publications.
year	authors and title	journal	last update
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.