Skip to main content

INtegrated TOol chain for model-based design of CPSs

Deliverables

Dissemination Year 3

Dissemination Year 3 (m36) This deliverable will report on a number of sub-documents, some of which are updated versions of sub-documents defined in D6.2: a) Report on the delivery of the Summer School including a list of participants and the training course material. (UNEW) b) A report providing an overview of all the KPIs used to measure progress in dissemination. This will include the public downloads of the project tools, the members of the IFG, the number of challenge problems modelled from the IFG and a full list of the publications produced and exploitation activities carried out during the year. This will also contain an overview of the ICT projects collaborated with. (TWT) c) Promotional activities, and a concise report thereof. The report states the audience addressed and an analysis of the expected impact. (TWT) d) A report of the final workshop with the interested members of the IFG where the status of the project and the possibilities of implementation of the project tools within the IFG will be assessed. (TWT) e) A report will be delivered recording the final status of the INTO-CPS Association, including available tool chain and interested and signed up members. (LIU) f) A report describing the final status of the exploitation activities within the consortium as well as the final exploitation plan. (TWT)

Dissemination Year 2

Dissemination Year 2 (m24) This deliverable will contain a number of sub-documents, some of which are updated versions of sub-documents defined in D6.1: a) Promotional activities, as well as a concise report thereof. The report states the audience addressed and an analysis of the reception, such that future promotional activities can be adapted as necessary. (TWT) b) A report providing an overview of all the KPI’s used to measure the dissemination success of the project. This will include the public downloads of the project tools, the members of the IFG, the number of challenge problems modelled from the IFG and a full list of the publications produced and exploitation activities carried out during the year.(TWT) c) A report on the workshop with the interested members of the IFG, where the current status of the project and the alignment of the development with the IFG’s interests are assessed. A report containing the outcomes of webinars and the remaining activities will also be delivered. (TWT) d) A report documenting the results of INTO-CPS in a more general context will be produced and presented to members of industry and the R&D community developing ICT Projects. It will include a roadmap for the research planned in the remaining half of INTO-CPS. (AU) e) A report will be delivered recording the status of the implementation of the INTO-CPS Association, including available tool chain and interested or signed up members. This will include the status of the implementation of the Association, including available software tools. A list of interested parties or signed up members will be included. Furthermore a roadmap for the continuation of the Association will be produced. (LIU) f) A report that describes the results of the repeated survey conducted to elicit the potential for expoitation of the projects tool chain and methods. This also describes the status of the exploitation activities as well as the current exploitation plan. (TWT)

Dissemination Year 1

Deliverable D6.1: Dissemination Year 1 (m12) This deliverable will contain a number of sub-documents: a) A report about the initial engagement with the IFG Members, as well as the additional input into the project requirements gathered during that period. (TWT) b) A report giving an overview of all the Key Performance Indicators (KPI’s) used to measure the dissemination success of the project. This will include the public downloads of the INTO-CPS tools, the members of the IFG, the number of challenge problems modelled from the IFG and a full list of the produced publications and exploitation activities carried out during the year. (TWT) c) A report detailing the structure and access levels to be implemented for the INTO-CPS Association. It will also detail the formal criteria and licensing schemes to be available for members of the Association. Furthermore it will include an invitation to be distributed to interested parties. (LIU) d) A report on commercialisation preparation that will describe the results of the first survey conducted to elicit the potential for exploitation of the projects tool chain and methods. This includes the status of the exploitation activities within the consortium as well as the current exploitation plan. (TWT)

Foundations 2

This deliverable will contain several sub-documents, some of which are updated versions of sub-documents defined in Deliverable D2.1. a) Updated version of SysML foundations and SysML to FMI transformation rules. (UY) b) Final version of the semantics for VDM-RT, including Time and Interruption. Operational semantics will be provided, and described in a standard format such as the Ott language.(UY) c) Initial version of the semantics for continuous-time modelling, using the existing operational semantics of Modelica to formulate a denotational model. (UY) d) Initial semantics for FMI, in the form of a static semantics, which will allow consistency checking, and a partial dynamic semantics which we will give in the form of a structural operational semantics. (TWT)

Examples Compendium 3

Examples Compendium 3 (m36) This deliverable contains example and pilot study model descriptions demonstrating the final INTO-CPS technology developed inside the project.

Examples Compendium 1

Deliverable D3.4: Examples Compendium 1 (m12) This deliverable contains example and pilot study model descriptions demonstrating baseline INTO-CPS technology. It lays out a roadmap for the next 12 months of case study and example development to test and demonstrate upcoming INTO-CPS technologies.

Method Guidelines 1

Deliverable D3.1: Method Guidelines 1 (m12) This deliverable comprises of two parts. The first part is aimed at (and written for) developers intending to use the INTO-CPS technology. This initial deliverable will contain a description of the overall design flow for INTO-CPS and initial guidance on building co-models that contain multiple DE and CT models. The second part is a progress report on the state of the methods work, in particular including a survey of the State-of-the-Art.

Periodic progress report year 2

Periodic progress report year 2 (m24) This periodic progress report will include a description of the activities done and achievements obtained, progress towards the project objectives, deviations from the description of work, explanation of the use of resources, and how the recommendations of the previous review have been addressed.

Platform Unification and Integration 1

Deliverable D4.1: Platform Unification and Integration Year 1 (m12) This deliverable will contain a number of sub-deliverables: a) A realisation of the executable COE support, supporting fixed time steps using existing FMI. This also includes user manual documentation on how to connect simulated models into a co-simulation. (AU) b) Integration of OpenModelica, Overture and 20-sim on the COE using existing FMI. (LIU) c) Initial support for constructing contracts for the COE from SysML. (ST) d) A report with the design documentation of the COE and FMI extensions. (AU)

Periodic progress report year 1

Deliverable D7.2: Periodic progress report year 1 (m12) This periodic progress report will include a description of the activities carried out and achievements obtained, progress towards the project objectives, deviations from the description of work, explanation of the use of resources.

Periodic progress report year 3

Periodic progress report year 3 (m36) This periodic progress report will include a description of the activities done and achievements obtained, progress towards the project objectives, deviations from the description of work, explanation of the use of resources, and how the recommendations of the previous review have been addressed.

Method Guidelines 2

This deliverable is an updated version of D3.1, expanding to cover guidelines for using the model management and Design Space Exploration (DSE) features of the INTO-CPS technologies, along with an update of the progress report.

Foundations 1

Deliverable D2.1: Foundations 1 (m12) This deliverable will contain a number of sub-documents: a) Initial report on foundations for the SysML profile for CPS modelling, including transformation rules from SysML to FMI. (UY) b) Initial version of the semantics for VDM-RT, including a reference semantics for object orientation. Operational semantics will be provided, and described in a standard format such as the Ott language, to aid the tool chain implementers [63]. (UY) c) Mechanised UTP theory of differential equations, as a prelude to the continuous-time semantics. (UY) d) Initial report on foundations for FMI co-modelling. (TWT)

Tool chain Extension Modules– Year 3

Tool chain Extension Modules– Year 3 (m36) This deliverable consists of a document and tool baseline that contains the following sub-deliverables: a) Full integration of existing tools for DSE, test automation, and code generation into COE (UNEW) b) Demonstration of integrated co-simulation/testing as part of one use-case, where test procedures generated from a test model will be executed against co-simulated models and HiL components. (CLP) c) An implementation of a model-checking component which enables global model-checking for an abstracted CT model. (VSI) d) The code generators and resource constraint targets are fully integrated into the COE. (AU) e) Comprehensive DSE support including adaptive ACA with techniques that can optimise the experiment space based on simulation results (e.g. simulated annealing), as well fea- tures for visualisation of results and generation of analysis reports appropriate to the case studies. (UNEW)

Method Guidelines 3

Method Guidelines 3 (m36) This deliverable contains the final set of guidelines for the mature INTO-CPS technologies, updated from D3.2. This will be the final set of guidelines covering the top-to-bottom design flow of INTO-CPS. A final progress report is included, that includes a roadmap for the future of collaborative methods with co-simulation.

Examples Compendium 2

Examples Compendium 2 (m24) This deliverable contains example and pilot study model descriptions demonstrating INTO-CPS technology available during the first 24 months. It lays out a roadmap for the final 12 months of case study and example development to test and demonstrate upcoming INTO-CPS technologies.

Foundations 3

Foundations 3 (m36) This deliverable will contain a number of sub-documents, some of which are updated versions of sub-documents defined in Deliverable D2.2. a) Final version of SysML foundations and transformation rules from SysML to FMI. (UY) b) Final version of semantics for continuous-time modelling. (UY) c) Final version of semantics for FMI. (UY) d) Report on linking Modelica and VDM-RT components in an FMI co-model. (UY)

Tool chain Extension Modules– Year 1

Deliverable D5.1: Tool chain Extension Modules– Year 1 (m12) This deliverable consists of a document and tool baseline that contains the following sub-deliverables: a) A basic integration of existing tools for DSE (including an extension to OpenModelica) and test automation with the COE. (UNEW) b) A distributed testing and simulation network, enabling distributed execution of co-simulation and test automation components. (VSI) c) A report describing the necessary techniques to abstract from a concrete CT model into a finite DE model while preserving all safety relevant features. (VSI) d) A report describing the design principles for the code generator. (AU)

Platform Unification and Integration 2

Platform Unification and Integration Year 2 (m24) This deliverable will contain a number of sub-deliverables, some of which are updated versions of sub-deliverables defined in Deliverable D4.1. a) An updated realisation of the executable COE support, supporting both fixed and variable time steps using extended FMI. This also includes updated user manual documentation on how to connect simulated models into a co-simulation. (AU) b) Updated integration of OpenModelica, Overture and 20-sim on the COE using extended FMI. (CLP) c) Support for constructing contracts for the COE from SysML. (ST) d) Design of the traceability and model management tools providing provenance for developments carried out in INTO-CPS. (TWT)

Tool chain Extension Modules– Year 2

Tool chain Extension Modules– Year 2 (m24) This deliverable consists of a document and tool baseline that contains the following sub-deliverables: a) An implementation of a traceability module, which allows tracing of requirement artifacts from co-simulation models to test automation tools. (LIU) b) An implementation of a model-checking component which enables bounded model-checking for an abstracted CT model. (VSI) c) First release of the code generator. (AU) d) Extended DSE support that includes features to help optimise the experiment space (reducing the number of simulation runs) and support for objective functions to rank results ppropriate to the case studies. (UNEW)

Platform Unification and Integration

Platform Unification and Integration Year 3 (m36) This deliverable will contain a number of sub-deliverables, all of which are updated versions of sub-deliverables defined in Deliverable D4.2. a) Final realisation of the executable COE support, supporting all features of the extended FMI. This also includes final versions of user manual documentation on how to connect simulated models into a co-simulation. (CLP) b) Final integration of OpenModelica, Overture and 20-sim on the COE using all features of the extended FMI. (AU) c) Final support for constructing contracts for the COE from SysML. (ST) d) Realisation of the traceability and model management tools providing provenance for developments carried out in INTO-CPS. (TWT)

Searching for OpenAIRE data...

Publications

Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL

Author(s): Simon Foster, Jim Woodcock
Published in: Concurrency, Security, and Puzzles, 2017, Page(s) 39-64
DOI: 10.1007/978-3-319-51046-0_3

Sound Simulation and Co-simulation for Robotics

Author(s): Ana Cavalcanti, Alvaro Miyazawa, Richard Payne, Jim Woodcock
Published in: Present and Ulterior Software Engineering, 2017, Page(s) 173-194
DOI: 10.1007/978-3-319-67425-4_11

CSP and Kripke Structures

Author(s): Ana Cavalcanti, Wen-ling Huang, Jan Peleska, Jim Woodcock
Published in: Theoretical Aspects of Computing - ICTAC 2015, Issue Lecture Notes in Computer Science, Vol. 9399, 2015, Page(s) 505-523
DOI: 10.1007/978-3-319-25150-9_29

Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS

Author(s): Nicolai Pedersen, Kenneth Lausdahl, Enrique Vidal Sanchez, Peter Gorm Larsen, Jan Madsen
Published in: Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, 2017, Page(s) 73-82
DOI: 10.5220/0006412700730082

Modelling System of Systems Interface Contract Behaviour

Author(s): Oldrich Faldik, Richard Payne, John Fitzgerald, and Barbora Buhnova.
Published in: 14th Intl Workshop on Formal Engineering approaches to Software Components and Architectures, at ETAPS, Uppsala, Sweden, Issue EPTCS 245, 2017, Page(s) 1-15

Features of Integrated Model-based Co-modelling and Co-simulation Technology

Author(s): P. G. Larsen, J. Fitzgerald, J. Woodcock, C. Gamble, R. Payne and K. Pierce.
Published in: CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol. 10729, 2017

Traceability Support in OpenModelica Using Open Services for Lifecycle Collaboration (OSLC)

Author(s): Alachew Mengist, Adrian Pop, Adeel Asghar and Peter Fritzson.
Published in: 12th International Modelica Conference 2017, 2017, Page(s) 823 - 830

Formalising Cosimulation Models

Author(s): F. Zeyda, J. Ouy, S. Foster and A. Cavalcanti.
Published in: CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol 10729, 2017

Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems

Author(s): L.D. Couto, S. Basagiannis, E.H. Ridouane, A. El-Din Mady, M. Hasanagic and P.G. Larsen.
Published in: CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol. 10729, 2017

Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems

Author(s): M. Jackson and J. Fitzgerald.
Published in: CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science, Vol. 10729, 2017

Development of a Driverless Lawn Mower using Co-Simulation

Author(s): F. Foldager, P.G. Larsen and O. Green.
Published in: CoSim-CPS: 1st Workshop on Formal Co-Simulation of Cyber-Physical Systems, Issue Lecture Notes in Computer Science Vol 10729, 2017

Modelling Network Connections in FMI with an Explicit Network Model

Author(s): Luis Diogo Couto and Ken Pierce.
Published in: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 31-43

Towards Multi-Models for Self-* Cyber-Physical Systems

Author(s): Hansen Salim and John Fitzgerald.
Published in: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 44-58

The Mars-Rover Case Study Modelled Using INTO-CPS

Author(s): Sergio Feo-Arenis, Marcel Verhoef, and Peter Gorm Larsen.
Published in: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 130-144

Code-generating VDM for Embedded Devices

Author(s): Victor Bandur, Peter W. V. Tran-Jørgensen, Miran Hasanagić, and Kenneth Lausdahl.
Published in: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 1-15

A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems

Author(s): Mihai Neghina, Constantin-Bala Zamfirescu, Peter Gorm Larsen, Kenneth Lausdahl, and Ken Pierce.
Published in: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 116-129

Transitioning from Crescendo to INTO-CPS

Author(s): Kenneth Lausdahl, Kim Bjerge, Tom Bokhove, Frank Groen, and Peter Gorm Larsen.
Published in: The 15th Overture Workshop: New Capabilities and Applications for Model-based Systems Engineering, Issue CS-TR- 1513-2017, 2017, Page(s) 16-30

Towards a Standard-Conform, Platform-Generic and Feature-Rich Modelica Device Drivers Library

Author(s): Bernhard Thiele, Thomas Beutlich, Volker Waurich, Martin Sjölund, Tobias Bellmann.
Published in: Proceedings of the 12th International Modelica Conference, 2017, Page(s) 713-723

The INTO-CPS Co-Simulation Orchestration Engine - Experiences with FMI 2.0 and proposed extensions

Author(s): K. Lausdahl, C. Thule and P.G. Larsen, J. Höll, C König, A. Klueber, M. Pfeil, V. Fässler.
Published in: FMI User Meeting, 2017

Towards Enabling Overture as a Platform for Formal Notation IDEs

Author(s): Couto, Luis Diogo; Larsen, Peter Gorm; Hasanagic, Miran; Kanakis, Georgios; Lausdahl, Kenneth; Tran-Jørgensen, Peter W. V.
Published in: Electronic Proceedings in Theoretical Computer Science, 2015

Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains

Author(s): John Fitzgerald, Carl Gamble, Peter Gorm Larsen, Kenneth Pierce, Jim Woodcock
Published in: 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering, 2015, Page(s) 40-46
DOI: 10.1109/FormaliSE.2015.14

INTO-CPS: An integrated “tool chain” for comprehensive: model-based design of cyber-physical systems

Author(s): Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Published in: ICSSEA 2015 Proceedings, 2015

Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project

Author(s): Peter Gorm Larsen, John Fitzgerald, Jim Woodcock, Peter Fritzson, Jorg Brauer, Christian Kleijn, Thierry Lecomte, Markus Pfeil, Ole Green, Stylianos Basagiannis, Andrey Sadovykh
Published in: 2016 2nd International Workshop on Modelling, Analysis, and Control of Complex CPS (CPS Data), 2016, Page(s) 1-6
DOI: 10.1109/CPSData.2016.7496424

Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design

Author(s): Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Nilsson, Rene; Gamble, Carl; Foster, Simon.
Published in: Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016. Lecture Notes in Computer Science, Issue Vol. 9953, 2016
DOI: 10.1007/978-3-319-47169-3_13

Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study

Author(s): Fitzgerald, John; Gamble, Carl; Payne, Richard; Larsen, Peter Gorm; Basagiannis, Stylianos; Mady, Ali El-Din.
Published in: INCOSE International Symposium, Issue Vol. 26, No. 1, 2016, Page(s) 817-832, ISSN 2334-5837
DOI: 10.1002/j.2334-5837.2016.00195

Checking SysML Models for Co-Simulation

Author(s): Amalio, Nuno; Payne, Richard; Cavalcanti, Anan L. C.; Woodcock, Jím.
Published in: Formal Methods and Software Engineering. ICFEM 2016. Lecture Notes in Computer Science, Issue Vol. 10009, 2016
DOI: 10.1007/978-3-319-47846-3_28

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

Author(s): Sadovykh, Andrey; Bagnato, Alessandra; Quadri, Imran; El-Din Mady, Alie; Couto, Luis D.; Basagiannis, Stylianos; Hasanagic, Miran.
Published in: CEE-SECR '16 Proceedings of the 12th Central and Eastern European Software Engineering Conference in Russia, 2016
DOI: 10.1145/3022211.3022212

Unifying Heterogeneous State-Spaces with Lenses

Author(s): Foster, Simon D.; Zeyda, Frank; Woodcock, Jim.
Published in: Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science, Issue Vol. 9965, 2016
DOI: 10.1007/978-3-319-46750-4_17

Towards a UTP semantics for Modelica

Author(s): Foster, Simon; Thiele, Bernhard; Cavalcanti, Ana; Woodcock, Jim.
Published in: Unifying Theories of Programming. UTP 2016. Lecture Notes in Computer Science., Issue Vol. 10134, 2016
DOI: 10.1007/978-3-319-52228-9_3

Behavioural Models for FMI Co-simulations

Author(s): Cavalcanti, Ana; Woodcock, Jim; Amalio, Nuno.
Published in: Theoretical Aspects of Computing – ICTAC 2016. ICTAC 2016. Lecture Notes in Computer Science, Issue Vol 9965, 2016
DOI: 10.1007/978-3-319-46750-4_15

Heterogeneous Semantics and Unifying Theories

Author(s): Woodcock, Jim; Foster, Simon D.; Butterfield, Andrew.
Published in: Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques. ISoLA 2016. Lecture Notes in Computer Science, Issue Vol. 9952, 2016
DOI: 10.1007/978-3-319-47166-2_26

Considering Abstraction Levels on a Case Study

Author(s): Thule, Csaper; Nilsson, Rene.
Published in: The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016

Verifying the Co-Simulation Orchestration Engine for INTO-CPS

Author(s): Thule, Casper.
Published in: CEUR Workshop Proceedings, 2016

Resilience Profiling in the Model-Based Design of Cyber-Physical Systems

Author(s): Jackson, Mark; Fitzgerald, John.
Published in: The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016

Towards integration of Overture into TASTE

Author(s): Fabbri, T.; Verhoef, Marcel; Bandur, Victor; Perrotin, M.; Tsiodras, T.; Larsen, Peter Gorm.
Published in: The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016

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

Author(s): Larsen, Peter Gorm; Thule, Casper; Lausdahl, Kenneth; Bandur, Victor; Gamble, Carl; Brosse, Etienne; Sadovykh, Andrey; Bagnato, Alessandra; Couto, Luis D.
Published in: The 14th Overture Workshop: Towards Analytical Tool Chains, Issue Vol. 4, No. 28, 2016

Formalising and Validating the Interface Description in the FMI Standard

Author(s): Hasanagic, Miran; Larsen, Peter Gorm; Tran-Jørgensen, Peter W.V.; Lausdahl, Kenneth.
Published in: FM 2016: Formal Methods. FM 2016. Lecture Notes in Computer Science, Issue Vol. 9995, 2016
DOI: 10.1007/978-3-319-48989-6_21

Exploring the Cyber-Physical Design Space

Author(s): John Fitzgerald, Carl Gamble, Richard Payne, Benjamin Lam
Published in: INCOSE International Symposium, Issue 27/1, 2017, Page(s) 371-385, ISSN 2334-5837
DOI: 10.1002/j.2334-5837.2017.00366.x

Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges

Author(s): Quadri, Imran; Bagnato, Alessandra; Brosse, Etienne; Sadovykh, Andrey.
Published in: Ada User Journal, Issue 36/4, 2015, ISSN 1381-6551

Robotic Design Choice Overview Using Co-Simulation and Design Space Exploration

Author(s): Martin Christiansen, Peter Larsen, Rasmus Jørgensen
Published in: Robotics, Issue 4/4, 2015, Page(s) 398-421, ISSN 2218-6581
DOI: 10.3390/robotics4040398

The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA

Author(s): Peter Gorm Larsen, John Fitzgerald
Published in: Journal of Logical and Algebraic Methods in Programming, Issue 85/5, 2016, Page(s) 985-998, ISSN 2352-2208
DOI: 10.1016/j.jlamp.2015.10.001

INTO-CPS: An integrated “tool chain” for comprehensive: model-based design of cyber-physical systems

Author(s): Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Published in: Revue Génie Logiciel, Issue 113, 2015, ISSN 1265-1397

Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS

Author(s): C. Thule, P.G. Larsen
Published in: Proceedings of the Institute for System Programming of the RAS, Issue 28/2, 2016, Page(s) 139-156, ISSN 2079-8156
DOI: 10.15514/ISPRAS-2016-28(2)-9

SysML for Modeling Co-Simulation Orchestration over FMI INTO-CPS Approach

Author(s): Bagnato, Alessandra; Brosse, Etienne; Quadri, Imran; Sadovykh, Andrey.
Published in: Ada User Journal, Issue Vol. 37, No. 4, 2016, ISSN 1381-6551

Co-simulation: State of the art

Author(s): Cláudio Gomes, Casper Thule, David Broman, Peter Gorm Larsen, Hans Vangheluwe.
Published in: Technical report, 2017