Explore projects

Scripts to compile a patched x86_64 realtime kernel for Ubuntu 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.

Original NatSpec from DevBoost

Quality-based Software-Selection and Hardware-Mapping as Model Transformation Problem

This repo represents a container for the solution of the Exercise 3 of the CBSE exercise.

Sample applications for the panda simulation.

development version of erdal's repos. stripped down.

Distributed Petri Nets to ROS Toolchain

Contains everything from the ModelJoin syntax for our role projects.

Docker image for artefact of "Continuous model validation using reference attribute grammars" (https://dl.acm.org/doi/10.1145/3276604.3276616)

Supplementary material for "How to improve the understanding of roles in modeling"

Transforms a global Petri net to local Petri nets

A workspace to automatically deploy a panda simulation.

Generates ROS-Java Packages for DiNeROS

development version of erdal's repos. stripped down.