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.