PRETzel

easy-rte

Toolchain to automatically generate and verify HW or SW runtime enforcers from text-based framework

ForeC

Tools developed for the ForeC synchronous parallel language

goFB

An IEC61499 Function Block toolchain written in the Go programming language

drone-attack-enforcers

Drone simulation with attacker modelling using runtime enforcers

modular-code-generation

Modular Code Generation from Hybrid Automata

easy-rv

Toolchain to automatically generate and verify SW runtime monitors (in C) from text-based FSM

ccpe-covid19

Compositional Epidemiology of COVID-19

GES

PihaBenchmarks

The benchmark models that are publicly available

PRETgroup.github.io

rsa-pacemaker

sann_Safe-DNN_reproduce

Reproduce of sann benchmarks from the paper Synchronous neural networks for cyber-physical systems

stcompilerlib

timeme

Function block examples used in the Model-Driven Design Using IEC 61499 book

bittide_sim_wip

ceu_bittide

A WIP implementation of the bittide protocol in the synchronous language Ceu

easy-rte-incremental

Toolchain to automatically generate and verify incrementally composed C runtime enforcers from text-based framework

HeartModelPub

NTRTsim

The NASA Tensegrity Robotics Toolkit Simulator, a physics based simulator to research the design and control of tensegrity robots.

sann

ssann