The INTO-CPS Association

INtegrated TOol chain for model-based design of CPSs repositories

Pinned Repositories

aurt
AU Robotics Toolbox (AURT)
Language:Python6 6 135
Documentation
Contains documentation such as user manual, examples compendium etc.
Language:TeX25
DTaaS
:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
Language:TypeScript110 9 11855
FMI-VDM-Model
A formal model of the FMI specification in VDM
Language:HTML13 21 232
fmu-rabbitmq
RabbitMQ FMU: an fmu that subscribes and publishes data to the RabbitMQ server.
Language:C++8 21 546
into-cps-application
The front-end of the INTO-CPS tool chain
Language:TypeScript17 19 1628
maestro
Maestro a Co-Simulation Orchestration Engine
Language:Java20 16 2303
mono-camera-robot-tracking
Video Detection of area and objects marked with circles using ellipse detection
Language:Python6 4 271
training
Training material including tutorials and examples
Language:TeX3 19 90
unifmu
A universal mechanism for implementing Functional Mock-up Units (FMUs) in various languages
Language:Rust37 7 414

The INTO-CPS Association's Repositories

INTO-CPS-Association/DTaaS
:factory: :left_right_arrow: :busts_in_silhouette: Digital Twin as a Service
Language:TypeScript110 9 11855
INTO-CPS-Association/unifmu
A universal mechanism for implementing Functional Mock-up Units (FMUs) in various languages
Language:Rust37 7 414
INTO-CPS-Association/maestro
Maestro a Co-Simulation Orchestration Engine
Language:Java20 16 2303
INTO-CPS-Association/into-cps-application
The front-end of the INTO-CPS tool chain
Language:TypeScript17 19 1628
INTO-CPS-Association/FMI-VDM-Model
A formal model of the FMI specification in VDM
Language:HTML13 21 232
INTO-CPS-Association/fmu-rabbitmq
RabbitMQ FMU: an fmu that subscribes and publishes data to the RabbitMQ server.
Language:C++8 21 546
INTO-CPS-Association/aurt
AU Robotics Toolbox (AURT)
Language:Python6 6 135
INTO-CPS-Association/pyfmu
Language:Python6 9 352
INTO-CPS-Association/digital_twin_tooling
Internal low level tool for running digital twin simulations in the app
Language:Python4 5 11
INTO-CPS-Association/example_digital-twin_incubator
Language:HTML48
INTO-CPS-Association/DTaaS-examples
Examples to demonstrate the features of DTaaS software
Language:Python3 6 138
INTO-CPS-Association/fault-injection-maestro
Exploratory implementation of fault injection in maestro v2
Language:Java3 5 121
INTO-CPS-Association/RabbitMQFMU_DistributedCosimDemo
Language:Python31
INTO-CPS-Association/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.
Language:Scala2 6 2
INTO-CPS-Association/sysml-profile
Language:Java2 19 0
INTO-CPS-Association/unifmu_examples
Language:Python2 6 0
INTO-CPS-Association/fm_dt_tutorial_2021
Language:C#11
INTO-CPS-Association/java17fmitest
Language:C1 4 0
INTO-CPS-Association/maestroV2
Version 2 of Maestro - a Co-Simulation Orchestration Engine based on FMI 2.0 for Co-Simulation
1 23 9
INTO-CPS-Association/ml-workspace
🛠 All-in-one web-based IDE specialized for machine learning and data science.
Language:Jupyter Notebook1
INTO-CPS-Association/osmc
Out-of-sync Mitigation Component
Language:C++1 6 90
INTO-CPS-Association/DTEngineeringBook
Language:Ruby02
INTO-CPS-Association/into-cps-application-cloud
The Cloud version of the INTO-CPS application
Language:TypeScript0 18 00
INTO-CPS-Association/org.intocps.maestro.fmi
Native FMI library for the COE
Language:C0 17 150
INTO-CPS-Association/URDF-VDM-Model
Language:Shell00
INTO-CPS-Association/aurp
Language:Python4 0
INTO-CPS-Association/Co-Simulation-Studio-Tutorials
INTO-CPS-Association/digital_shadow_ur
INTO-CPS-Association/example-incubator
The full description of the incubator case study.
Language:Python7 32
INTO-CPS-Association/example-single_watertank
Language:Modelica20 1