GitLab

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

kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view

The TASTE Model Checker.

The PolyORB-HI Middleware - C Version

The GMV-created Hypervisor.

This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.

Data Modelling Technologies

TASTE speedometer widget - used in the TASTE guis and in the PeekPoke component

ASN1 Value Editor - Code of the auto-generated GUIs and ASN.1 Standalone value editor

Release directory for the GUI front-ends from Ellidiss (V2)

This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.

Python API for handling Message Sequence Charts (MSC)

New version of the MSC editor created by Viking SW

Buildsupport - Tool to generate function skeletons and glue code.