Explore GitLab
Discover projects, groups and snippets. Share your projects with others
-
-
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.
-
kazoo is the replacement tool for buildsupport for future versions of TASTE. It generates code skeletons and concurrency view
buildsupport aadl sdl+ 2 more -
Meta-project including all git submodules necessary to make a taste installation
-
The TASTE Orchestrator is the main script used to build TASTE applications
-
The PolyORB-HI middleware - Ada version
-
-
-
opus (previously known as pus-c-gen) is a toolchain for tailoring the PUS standard and generating documentation and ASN.1 Data models for embedded targets
-
This repository contains the tests executed to make sure existing functionality hasn't been broken by any changes.
-
The PolyORB-HI Middleware - C Version
-
This is a mirror of the Leon port that Damien George works on - will be used for automated nightly static analysis runs.
-
Original TASTE MSC Editor
-
Updated scaffolding to support old (EDISOFT, GAISLER4.x) and new (OAR mainline, GAISLER5.x) RTEMS projects.
-
-
Python library handling the specification and compilation of properties that have to be verified on a system. Uses opengeode API.
