Explore projects

Data Modelling Technologies

The TASTE Model Checker.

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

Intelligent diff-ing of SPARC binaries for mission patching.

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

TASTE Case Studies for PUS Services

Python API for handling Message Sequence Charts (MSC)

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.