Opendata, web and dolomites
INTO-CPS
INtegrated TOol chain for model-based design of CPSs
Total Cost €
0EC-Contrib. €
0Partnership
0Views
0INTO-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.
otherwise
interface
lowering
solution
collaborative
traceability
tool
techniques
multidisciplinary
cps
industrial
static
semantic
holistic
integrate
fmi
cyber
barriers
integration
tested
analysed
sysml
model
accompanied
software
ta
experimenting
chain
comprise
entry
domains
space
alternatives
checking
right
interfaces
sil
simulation
founded
describe
trusted
hil
readiness
loop
centrally
hardware
compatible
cpss
guidelines
extensions
innovation
technologies
models
physical
tools
strength
pragmatic
railways
owners
industry
underpinned
building
stages
recognised
prototypes
automotive
dse
mockup
exists
academic
ensures
functional
vendors
realisation
exploration
standalone
generation
code
connection
co
trl
automation
foundations
create
agriculture
levels
powerful
radical
first
time
Project "INTO-CPS" data sheet
The following table provides information about the project.
| Coordinator |
AARHUS UNIVERSITET
Organization address contact info |
| 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.
| # | ||||
|---|---|---|---|---|
| 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
| 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 |
|---|---|---|---|
| 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.