Data Modelling Technologies
The TASTE Model Checker.
Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.
Buildsupport - Tool to generate function skeletons and glue code.
ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
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
The PolyORB-HI Middleware - C Version
This processes the .log files generated by EDISOFT's testsuite and creates a .csv file for Excel importing.
Original TASTE MSC Editor
This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.
The PolyORB-HI middleware - Ada version
Updated scaffolding to support old (EDISOFT, GAISLER4.x) and new (OAR mainline, GAISLER5.x) RTEMS projects.