IMITATOR

IMITATOR: Experiments Data for Fundamenta Informatica 2021

Models, sources and results related to "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"

We refer here to the case study first considered in [ACFJL19] and then in [ACFJL21].

Description of the system:

The case study is a flight control system of a space launcher that is composed of 3 threads, 4 processings and 3 reactivities constraints.
The system is analyzed in two settings:
  1. Without time switch (here an example of scheduling chronogram fig)
  2. With time switch (here an example of scheduling chronogram fig).

Models:

Experimental raw data

Version of IMITATOR

The version of IMITATOR used to run the experiments is IMITATOR v2.10.4 "Butter Jellyfish".

Download

Calling IMITATOR

The exact command used can be seen in the .log files. For most analyses, the following command was used:

> ./imitator [case_study.imi] -mode EF -merge -incl -output-result

For selected analyses, we also used the -no-inclusion-test-in-EF option.

Experimental environment

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

Data

  1. Without switch time:

  2. With switch time:

References

[ACFJL19]
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray and David Lesens. Parametric schedulability analysis of a launcher flight control system under reactivity constraints. In Jörg Keller and Wojciech Penczek (eds.), ACSD’19, IEEE, pages 13–22, June 2019. DOI: 10.1109/ACSD.2019.00006 (English) [PDF (author version) | BibTeX | data]🌐
[ACFJL21]
Étienne André, Emmanuel Coquard, Laurent Fribourg, Jawher Jerray and David Lesens. Parametric schedulability analysis of a launcher flight control system under reactivity constraints. Fundamenta Informatica. 2021. To appear.

Contact

Étienne André