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.