Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
Data Modelling Technologies
-
-
-
Demo-Sat is a CubeSat mock based on MSP430FR5969 LaunchPad Development Kit. The complete software of Demo-Sat was created using TASTE toolchain.
-
The TASTE Model Checker.
-
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
buildsupport aadl sdl+ 2 more -
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
-
Original TASTE MSC Editor
-
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
-
Example repo demonstrating automatic spell checking.
-
The GMV-created Hypervisor.
-
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
-
-
Demos showing how to work with sockets, using either a distributed system or using blackbox devices
-
Python version of Buildsupport (under development, early prototype)
-
New version of the MSC editor created by Viking SW
-
An example program, demonstrating how to automatically patch a binary, in order to access "hidden" static data inside a function - that you are not allowed to modify due to legacy reasons.