Explore projects

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 primary objective of the PandA project is to develop a usable framework that will enable the research of new ideas in the HW-SW Co-Design field. PandA is developed at Politecnico di Milano (Italy) and released under GPL3

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.