The INTO-CPS Association

DTaaS

:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service

unifmu

A universal mechanism for implementing Functional Mock-up Units (FMUs) in various languages

maestro

Maestro a Co-Simulation Orchestration Engine

into-cps-application

The front-end of the INTO-CPS tool chain

FMI-VDM-Model

A formal model of the FMI specification in VDM

fmu-rabbitmq

RabbitMQ FMU: an fmu that subscribes and publishes data to the RabbitMQ server.

pyfmu

aurt

AU Robotics Toolbox (AURT)

digital_twin_tooling

Internal low level tool for running digital twin simulations in the app

example_digital-twin_incubator

DTaaS-examples

Examples to demonstrate the features of DTaaS software

fault-injection-maestro

Exploratory implementation of fault injection in maestro v2

RabbitMQFMU_DistributedCosimDemo

Scenario-Verifier

This repository contains the verifier used in the paper: "Verification of Co-Simulation Algorithms". The Verifer lets the user specify a scenario in an easy and readable way. The tool is able to parse the scenario and algortihm and runs in against the Uppaal model from the previously mentioned paper.

sysml-profile

unifmu_examples

fm_dt_tutorial_2021

maestroV2

Version 2 of Maestro - a Co-Simulation Orchestration Engine based on FMI 2.0 for Co-Simulation

ml-workspace

🛠 All-in-one web-based IDE specialized for machine learning and data science.

osmc

Out-of-sync Mitigation Component

DTEngineeringBook

into-cps-application-cloud

The Cloud version of the INTO-CPS application

org.intocps.maestro.fmi

Native FMI library for the COE

URDF-VDM-Model

aurp

Co-Simulation-Studio-Tutorials

digital_shadow_ur

example-incubator

The full description of the incubator case study.

example-single_watertank

ThreeD-glb-viewer