Explore projects

Data Modelling Technologies

The TASTE Model Checker.

Meta-project including all git submodules necessary to make a taste installation

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

The TASTE Orchestrator is the main script used to build TASTE applications

This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.

Python API for handling Message Sequence Charts (MSC)

ANTLR3 Python Runtime

Original TASTE MSC Editor

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

The GMV-created Hypervisor.

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

TASTE Case Studies for PUS Services

This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.

Buildsupport - Tool to generate function skeletons and glue code.

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