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.