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 subdocuments some of which are updated versions of subdocuments defined in D61a 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 TWTb A report providing an overview of all the KPIs 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 yearTWTc 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 IFGs interests are assessed A report containing the outcomes of webinars and the remaining activities will also be delivered TWTd A report documenting the results of INTOCPS in a more general context will be produced and presented to members of industry and the RD community developing ICTProjects It will include a roadmap for the research planned in the remaining half of INTOCPS AUe A report will be delivered recording the status of the implementation of the INTOCPS 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 LIUf 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 D61 Dissemination Year 1 m12 This deliverable will contain a number of subdocumentsa A report about the initial engagement with the IFG Members as well as the additional input into the project requirements gathered during that period TWTb A report giving an overview of all the Key Performance Indicators KPIs used to measure the dissemination success of the project This will include the public downloads of the INTOCPS 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 TWTc A report detailing the structure and access levels to be implemented for the INTOCPS 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 LIUd 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 D34 Examples Compendium 1 m12 This deliverable contains example and pilot study model descriptions demonstrating baseline INTOCPS technology It lays out a roadmap for the next 12 months of case study and example development to test and demonstrate upcoming INTOCPS technologies

Method Guidelines 1

Deliverable D31 Method Guidelines 1 m12 This deliverable comprises of two parts The first part is aimed at and written for developers intending to use the INTOCPS technologyThis initial deliverable will contain a description of the overall design flow for INTOCPS and initial guidance on building comodels 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 StateoftheArt

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 D41 Platform Unification and Integration Year 1 m12 This deliverable will contain a number of subdeliverablesa 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 cosimulation AUb Integration of OpenModelica Overture and 20sim on the COE using existing FMI LIUc Initial support for constructing contracts for the COE from SysML STd A report with the design documentation of the COE and FMI extensions AU

Periodic progress report year 1

Deliverable D72 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 D31 expanding to cover guidelines for using the model management and Design Space Exploration DSE features of the INTOCPS technologies along with an update of the progress report

Foundations 1

Deliverable D21 Foundations 1 m12 This deliverable will contain a number of subdocumentsa Initial report on foundations for the SysML profile for CPS modelling including transformation rules from SysML to FMI UYb Initial version of the semantics for VDMRT 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 UYc Mechanised UTP theory of differential equations as a prelude to the continuoustime semantics UYd Initial report on foundations for FMI comodelling 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 INTOCPS 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 INTOCPS 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 D51 Tool chain Extension Modules Year 1 m12 This deliverable consists of a document and tool baseline that contains the following subdeliverablesa A basic integration of existing tools for DSE including an extension to OpenModelica and test automation with the COE UNEWb A distributed testing and simulation network enabling distributed execution of cosimulation and test automation components VSIc A report describing the necessary techniques to abstract from a concrete CT model into a finite DE model while preserving all safety relevant features VSId 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 subdeliverables some of which are updated versions of subdeliverables defined in Deliverable D41a 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 cosimulation AUb Updated integration of OpenModelica Overture and 20sim on the COE using extended FMI CLPc Support for constructing contracts for the COE from SysML STd Design of the traceability and model management tools providing provenance for developments carried out in INTOCPS 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, ISBN 978-3-319-51046-0
Publisher: Springer International Publishing
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, ISBN 978-3-319-67425-4
Publisher: Springer International Publishing
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, Lecture Notes in Computer Science, Vol. 9399, 2015, Page(s) 505-523, ISBN 978-3-319-25150-9
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-25150-9_29

Collaborative Modeling and Simulation for Cyber-Physical Systems

Author(s): Larsen, Peter Gorm; Fitzgerald, John; Woodcock, Jim; Lecomte, Thierry.
Published in: Trustworthy Cyber-Physical Systems Engineering, 2016, ISBN 978-1-4987-4248-1
Publisher: CRC Press, Taylor & Francis Group
DOI: 10.1201/9781315369105

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, ISBN 978-989-758-265-3
Publisher: SCITEPRESS - Science and Technology Publications
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, EPTCS 245, 2017, Page(s) 1-15
Publisher: Open Publishing Association

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, Lecture Notes in Computer Science, Vol. 10729, 2017
Publisher: Springer

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
Publisher: Linköping University Electronic Press

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, Lecture Notes in Computer Science, Vol 10729, 2017
Publisher: Springer

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, Lecture Notes in Computer Science, Vol. 10729, 2017
Publisher: Springer

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, Lecture Notes in Computer Science, Vol. 10729, 2017
Publisher: Springer

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, Lecture Notes in Computer Science Vol 10729, 2017
Publisher: Springer

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, CS-TR- 1513-2017, 2017, Page(s) 31-43
Publisher: Newcastle University, Computing Science

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, CS-TR- 1513-2017, 2017, Page(s) 44-58
Publisher: Newcastle University, Computing Science

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, CS-TR- 1513-2017, 2017, Page(s) 130-144
Publisher: Newcastle University, Computing Science

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, CS-TR- 1513-2017, 2017, Page(s) 1-15
Publisher: Newcastle University, Computing Science

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, CS-TR- 1513-2017, 2017, Page(s) 116-129
Publisher: Newcastle University, Computing Science

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, CS-TR- 1513-2017, 2017, Page(s) 16-30
Publisher: Newcastle University, Computing Science

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
Publisher: Linköping University Electronic Press

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
Publisher: FMI

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
Publisher: Corner University Library

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, ISBN 978-1-4673-7043-1
Publisher: IEEE
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
Publisher: ICSSEA

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, ISBN 978-1-5090-1154-4
Publisher: IEEE
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, Vol. 9953, 2016
Publisher: Springer
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, Vol. 26, No. 1, 2016, Page(s) 817-832, ISSN 2334-5837
Publisher: Wiley
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, Vol. 10009, 2016
Publisher: Springer
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
Publisher: ACM Digital Library
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, Vol. 9965, 2016
Publisher: Springer
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., Vol. 10134, 2016
Publisher: Springer
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, Vol 9965, 2016
Publisher: Springer
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, Vol. 9952, 2016
Publisher: Springer
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, Vol. 4, No. 28, 2016
Publisher: Aarhus University, Department of Engineering

Verifying the Co-Simulation Orchestration Engine for INTO-CPS

Author(s): Thule, Casper.
Published in: CEUR Workshop Proceedings, 2016
Publisher: FM 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, Vol. 4, No. 28, 2016
Publisher: Aarhus University, Department of Engineering

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, Vol. 4, No. 28, 2016
Publisher: Aarhus University, Department of Engineering

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, Vol. 4, No. 28, 2016
Publisher: Aarhus University, Department of Engineering

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, Vol. 9995, 2016
Publisher: Springer
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, 27/1, 2017, Page(s) 371-385, ISSN 2334-5837
Publisher: Wiley
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, 36/4, 2015, ISSN 1381-6551
Publisher: Ada Language UK Ltd.

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

Author(s): Martin Christiansen, Peter Larsen, Rasmus Jørgensen
Published in: Robotics, 4/4, 2015, Page(s) 398-421, ISSN 2218-6581
Publisher: MDPI
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, 85/5, 2016, Page(s) 985-998, ISSN 2352-2208
Publisher: Elsevier
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, 113, 2015, ISSN 1265-1397
Publisher: Génie Logiciel

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, 28/2, 2016, Page(s) 139-156, ISSN 2079-8156
Publisher: Institute for System Programming of the Russian Academy of Sciences (ISPRAS)
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, Vol. 37, No. 4, 2016, ISSN 1381-6551
Publisher: Ada Language UK Ltd.

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
Publisher: Cornell University Library