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 PolyORB-HI Middleware - C Version
This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
The PolyORB-HI middleware - Ada version
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
The GMV-created Hypervisor.
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view