Data Modelling Technologies
The TASTE Model Checker.
Meta-project including all git submodules necessary to make a taste installation
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
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.
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
The TASTE Orchestrator is the main script used to build TASTE applications
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component
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