Dataset Open Access
Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"
André, Étienne;
Coquard, Emmanuel;
Fribourg, Laurent;
Jerray, Jawher;
Lesens, David
Researcher(s)
André, Étienne;
Jerray, Jawher
This is the data set (models, sources and results) for the paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints" published in Informatica Fundamentae in 2021.
Files
(2.3 MB)
| Name | Size | |
|---|---|---|
|
parametric-schedulability-analysis-FI2021.tar.gz
md5:cc63b5d842bafb807657399496dd8bfe |
2.3 MB | Download |
É. André, E. Coquard, L. Fribourg, J. Jerray and D. Lesens (2021). Parametric schedulability analysis of a launcher flight control system under reactivity constraints.
45
2
views
downloads
| All versions | This version | |
|---|---|---|
| Views | 45 | 45 |
| Downloads | 2 | 2 |
| Data volume | 4.7 MB | 4.7 MB |
| Unique views | 36 | 36 |
| Unique downloads | 2 | 2 |
Indexed in
- Publication date:
- February 8, 2021
- DOI:
-
- Keyword(s):
- model checking verification parameter synthesis schedulability analysis real-time systems parametric timed automata IMITATOR
- Published in:
- Fundamentica Informaticae:.
- Grants:
-
Agence Nationale de la Recherche:
- PACS - Parametric Analysis of Concurrent Systems (ANR-14-CE28-0002)
- Related identifiers:
- Identical to
- https://www.imitator.fr/static/FI2021/ (Dataset)
- License (for files):
- Creative Commons Attribution 4.0 International