## Case Studies Related to a launcher flight control system under reactivity constraints

## IMITATOR

The version of IMITATOR used to run the experiments is **IMITATOR v2.10.4**.

### Download

- Source code from GitHub
- Binary (Ubuntu-like, Debian-like 64 bits); this binary is standalone and can hence be executed without any external library

## Models

- Some models using IMITATOR:
- The model of processing Control:
fig
- The model of threadT1:
fig
- The model of super scheduler:
fig
- The model of reactivityNC:
fig

- Some models using Uppaal:
- The model of processing Control:
fig
- The model of threadT2:
fig
- The model of super scheduler:
fig
- The model of reactivityNM:
fig

## Experimental raw data

- Model with no reactivities :
- Model with reactivity NC:
- Model with reactivity NM:
- Model with reactivity NGC:
- Model with the 3 reactivities at the same time:

We conducted the experiments on a ASUS X411UN i7-8550U running Linux Mint 19 64bits with 8GiB memory.