Explore projects

Data Modelling Technologies

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

The TASTE Model Checker.

Convert s2k files to binaries (this allows comparisons with binaries generated from objcopy)

Python API for handling Message Sequence Charts (MSC)

TASTE Case Studies for PUS Services

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.

ANTLR3 Python Runtime

This processes the .log files generated by EDISOFT's testsuite and creates a .csv file for Excel importing.

clone of https://bitbucket.org/ambv/singledispatch

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.