About Aarhus University
Integrated Tool Chain for Model-based Design of Cyber-Physical Systems
Project: Research
- Larsen, Peter Gorm (Participant)
- Hallerstede, Stefan (Participant)
- Tran-Jørgensen, Peter Würtz Vinther (Participant)
- Lausdahl, Kenneth (Participant)
- Couto, Luis Diogo (Participant)
- Thule, Casper (Participant)
- Hasanagic, Miran (Participant)
Description
| Acronym | INTO-CPS |
|---|---|
| Status | Finished |
| Effective start/end date | 01/01/2015 → 31/12/2017 |
| Links | http://into-cps.org |
Links
Research outputs
INTO-CPS: An integrated “tool chain” for comprehensive: model-based design of cyber-physical systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research
The evolution of VDM tools from the 1990s to 2015 and the influence of CAMILA
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Cyber-Physical Systems Design: Formal Foundations, Methods and Integrated Tool Chains
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Robotic Design Choice Overview using Co-simulation and Design Space Exploration
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Integrated tool chain for model-based design of Cyber-Physical Systems: The INTO-CPS project
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Modeling methodologies for Cyber-Physical Systems: Research field study on inherent and future challenges
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Formalising and Validating the Interface Description in the FMI standard
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Verifying the Co-Simulation Orchestration Engine for INTO-CPS
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review
Co-simulation: State of the art: Technical Report
Research output: Book/anthology/dissertation/report › Report › Research › peer-review
Considering Abstraction Levels on a Case Study
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
SysML as a Common Integration Platform for CoSimulations: Example of a Cyber Physical System Design Methodology in Green Heating Ventilation and Air Conditioning Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Collaborative Modeling and Simulation for Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
Towards Enabling Overture as a Platform for Formal Notation IDEs
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Integrated Tool Chain for Model-Based Design of Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Resilience Profiling in the Model-Based Design of Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Integrated Tool Chain for Model-based Design of Cyber-Physical Systems
Research output: Contribution to conference › Poster › Research
INTO-CPS: An integrated “tool chain” for comprehensive: model-based design of cyber-physical systems
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Collaborative Model-based Systems Engineering for Cyber-Physical Systems, with a Building Automation Case Study
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Investigating Concurrency in the Co-Simulation Orchestration Engine for INTO-CPS
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Towards a UTP semantics for Modelica
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Towards integration of Overture into TASTE
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Towards Verification of Cyber-Physical Systems with UTP and Isabelle/HOL
Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
Modelling System of Systems Interface Contract Behaviour
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Exploring the Cyber-Physical Design Space
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Conference article › Research › peer-review
Distributed Co-Simulation of Embedded Control Software with Exhaust Gas Recirculation Water Handling System using INTO-CPS
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Traceability Support in OpenModelica using Open Services for Lifecycle collaboration (OSLC)
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Development of a Driverless Lawn Mower using Co-Simulation
Research output: Contribution to conference › Paper › Research › peer-review
Transitioning from Crescendo to INTO-CPS
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Modelling Network Connections in FMI with an Explicit Network Model
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
A Discrete Event-first Approach to Collaborative Modelling of Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
The Mars-Rover Case Study Modelled Using INTO-CPS
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Traceability and impact analysis in requirement verification
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
The INTO-CPS Co-Simulation Orchestration Engine – Experiences with FMI 2.0 and proposed extensions
Research output: Contribution to conference › Conference abstract for conference › Research › peer-review
Injecting Formal Verification in FMI-based Co-Simulations of Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Towards Resilience-Explicit Modelling and Co-simulation of Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Code-generating VDM for Embedded Devices
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Towards a Standard-Conform, Platform-Generic and Feature-Rich Modelica Device Drivers Library
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Sound Simulation and Co-simulation for Robotics
Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review
Features of Integrated Model-based Co-modelling and Co-simulation Technology
Research output: Contribution to conference › Paper › Research › peer-review
Formalising Cosimulation Models
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Towards Multi-Models for Self-* Cyber-Physical Systems
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
ID: 129015752