INTO-CPS-Association/FMI-VDM-Model

Stars
12
Rank 1,597,372 (Top 32 %)
Language
HTML
License
Other
Created over 5 years ago
Updated 6 months ago

INTO-CPS-Association/FMI-VDM-Model

INTO-CPS-Association

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

A formal model of the FMI specification in VDM

DTaaS

🏭 ↔️ 👥 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

fmu-rabbitmq

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

pyfmu

aurt

AU Robotics Toolbox (AURT)

mono-camera-robot-tracking

Video Detection of area and objects marked with circles using ellipse detection

fmu-builder

Web service for cross-compilation of FMUs at http://sweng.au.dk/fmubuilder

example_digital-twin_incubator

digital_twin_tooling

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

RabbitMQFMU_DistributedCosimDemo

training

Training material including tutorials and examples

hybrid-cosim

A DSL for creating semantic adaptations of FMUs

fault-injection-maestro

Exploratory implementation of fault injection in maestro v2

DTaaS-examples

Examples to demonstrate the features of DTaaS software

sysml-profile

delayfmu

A native fmus with a parameterized delay

fmu-examples

Documentation

Contains documentation such as user manual, examples compendium etc.

unifmu_examples

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.

osmc

Out-of-sync Mitigation Component

example-mass_spring_damper

maestro-test-fmus

Collection of FMUs used to test Maestro

maestroV2

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

dse_scripts

Design space exploration scripts

fmi_utilities

fm_dt_tutorial_2021

example-DT-line_following_robot

This example demonstrates transmission of data from a deployed line following robot, a correlated detection of its postion on a track via a camera and image recognition, and making it available in a co-simulation with its digital twin.

java17fmitest

rabbitmq-fmu-documentation

A configurable FMU capable of subscribing to a rabbitMQ queue and outputting data from the queue via FMU outputs.

into-cps-dtp

Repository for the digital twin platform experiments

example-single_watertank_rabbitmq

This example demonstrates how RabbitMQ FMU acts as an External Data Broker in context of a Single Water Tank Digital Twin.