GitLab

Data Modelling Technologies

The TASTE Model Checker.

Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.

Python version of Buildsupport (under development, early prototype)

Place to put new installation script for the toolchain

Test

Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.

Test area for the VDM integration in taste

FSharp parser for SDL / OpenGEODE

MSC compiler written by Ivan Sinkarenko

This is a utility that converts ROS datatypes to ASN.1 datatypes.

ANTLR3 Python Runtime

This processes the .log files generated by EDISOFT's testsuite and creates a .csv file for Excel importing.