Explore projects

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