ERD

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Sound Simulation and Co-simulation for Robotics

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Transitioning from Crescendo to INTO-CPS

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Towards Enabling Overture as a Platform for Formal Notation IDEs

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Modelling Network Connections in FMI with an Explicit Network Model

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Code-generating VDM for Embedded Devices

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

The Mars-Rover Case Study Modelled Using INTO-CPS

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Development of a Driverless Lawn Mower using Co-Simulation

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

CSP and Kripke Structures

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Co-simulation: State of the art

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Exploring the Cyber-Physical Design Space

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Modelling System of Systems Interface Contract Behaviour

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Platform Unification and Integration 2

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Tool chain Extension Modules– Year 1

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Platform Unification and Integration 1

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Method Guidelines 1

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Periodic progress report year 2

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

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

Project: INTO-CPS

Updated at: 29-04-2024

Show more information

Project acronym INTO-CPS

Resources

Selected filters:

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

Sound Simulation and Co-simulation for Robotics

Transitioning from Crescendo to INTO-CPS

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

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

Towards Enabling Overture as a Platform for Formal Notation IDEs

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

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

Modelling Network Connections in FMI with an Explicit Network Model

Code-generating VDM for Embedded Devices

The Mars-Rover Case Study Modelled Using INTO-CPS

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

Development of a Driverless Lawn Mower using Co-Simulation

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

CSP and Kripke Structures

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

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

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

Co-simulation: State of the art

Exploring the Cyber-Physical Design Space

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

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

Modelling System of Systems Interface Contract Behaviour

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

Platform Unification and Integration 2

Tool chain Extension Modules– Year 1

Platform Unification and Integration 1

Method Guidelines 1

Periodic progress report year 2

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