Data Modelling Technologies
The TASTE Model Checker.
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.
The PolyORB-HI Middleware - C Version
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.
The PolyORB-HI middleware - Ada version
Iterator functions in Ada for generating all combinations of values for ASN.1 datatypes.
TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component
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