Explore projects

Data Modelling Technologies

The TASTE Model Checker.

Buildsupport - Tool to generate function skeletons and glue code.

OPUS2 OPUS is a toolset supporting the deployment of PUS C standard via automatic code generation

Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.

The PolyORB-HI Middleware - C Version

ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor

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

Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.

TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component

kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view