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.
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
The PolyORB-HI middleware - Ada version
Place to put new installation script for the toolchain
Updated scaffolding to support old (EDISOFT, GAISLER4.x) and new (OAR mainline, GAISLER5.x) RTEMS projects.
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.
Demos showing how to work with sockets, using either a distributed system or using blackbox devices
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
A small test repo to see if Docker containers spawned by gitlab-runner see the properly checked out submodules or not
Example repo demonstrating automatic spell checking.
Intelligent diff-ing of SPARC binaries for mission patching.
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
ANTLR3 Python Runtime