Explore projects

opus (previously known as pus-c-gen) is a toolchain for tailoring the PUS standard and generating documentation and ASN.1 Data models for embedded targets

Data Modelling Technologies

Meta-project including all git submodules necessary to make a taste installation

Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.

The TASTE Model Checker.

kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view

Example repo demonstrating automatic spell checking.

The GMV-created Hypervisor.

TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component

Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.

Testing Java Static Analysers (for Ground Segment work...)

Python version of Buildsupport (under development, early prototype)

Demos showing how to work with sockets, using either a distributed system or using blackbox devices

An example program, demonstrating how to automatically patch a binary, in order to access "hidden" static data inside a function - that you are not allowed to modify due to legacy reasons.