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

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

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

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.

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

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

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

New version of the MSC editor created by Viking SW

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

Python version of Buildsupport (under development, early prototype)

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.