Docker image for artefact of "Continuous model validation using reference attribute grammars" (https://dl.acm.org/doi/10.1145/3276604.3276616)
Fork of https://bitbucket.org/extendj/ragdoc-builder/
Fork of https://bitbucket.org/extendj/ragdoc-view
The RelRAG and RSYNC implementations of the 2019 TTC case
Contains everything from the ModelJoin syntax for our role projects.
Combination of RSUM and RSYNC including the query by-example approach.
Model refactoring with relational Reference Attribute Grammars
Scripts to compile a patched x86_64 realtime kernel for Ubuntu 20.04 (Focal Fossa) and 18.04 (Bionic Beaver). Debian packages available as CI artifacts. This kernel is required to control a Panda robot.
development version of erdal's repos. stripped down.
A grammar and reader for Petri nets in the PNML format.
MPM4CPS Paper - Codename ‘Ros2Rag’
Sample applications for the panda simulation.
A workspace to automatically deploy a panda simulation.
An extensible relast source-to-source compiler