Real-Time Systems Lab

iflye

Incremental Fast Lightweight (y) virtual network Embedding framework

gips

Graph-Based ILP Problem Specification Tool

SimSG

A simulation framework build around the eMoflon-Tool, based on the concept of stochastic graph transformations.

Thesis_FG_ES

Template for student theses

emfViz

gips-examples

Examples for the GIPS framework.

gips-website-hugo

Hugo-based website for the GIPS framework project.

able

A framework for prototyping applications consisting of Android devices, Bluetooth LE communication, and Embedded hardware

gips-eclipse-build

CI and build scripts for GIPS framework Eclipse installations.

gips-gcm-2023-artifact-vm

Setup to provision the GIPS GCM 2023 artifact VM

gips-gcm-2023-example

GIPS GCM 2023 example

gips-tests

Test projects for the GIPS framework.

gips-updatesite

Eclipse updatesite for the GIPS framework plug-in.

gips-vm

CI and build scripts for the GIPS framework VM based on Ubuntu.

Re.actionFramework

Framework for the Re.action language

Re.actionFramework-tests

Demos and Unit-Tests for the Re.action Framework

SimSG-Example

Contians example use cases for the SimSG framework. E.g.: biochemical simulations, network simulations, etc.

slide-templates

Templates for student presentations

tud-cppp-server

Holds the resources of the Central Server-App for the Wide-Sensor-Network Task of the CPPP

echtzeitkiosk-backend

echtzeitkiosk-frontend

cardygan-ilp

cardygan-mvn

Temporary repository for providing maven releases of cardygan.

cmake-cortex-m4

esp_wifi_repeater

A full functional WiFi Repeater (correctly: a WiFi NAT Router)

fm4_eclipse_template

fm4_qemu

A fork of xPack QEMU ARM project, used to simulate the S6E2CC microcontroller

SimSG-tests

Demos and Unit-Tests for the SimSG simulation tool.

STTT-SC-Eval

tchecker

TChecker is an open-source verification tool for timed automata