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
Citation Style Language JSON Export
{
"publisher": "Zenodo",
"DOI": "10.5281/zenodo.5042059",
"container_title": "Fundamentica Informaticae",
"title": "Data for paper \"Parametric schedulability analysis of a launcher flight control system under reactivity constraints\"",
"issued": {
"date-parts": [
[
2021,
2,
8
]
]
},
"abstract": "<p>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.</p>",
"author": [
{
"family": "Andr\u00e9, \u00c9tienne"
},
{
"family": "Coquard, Emmanuel"
},
{
"family": "Fribourg, Laurent"
},
{
"family": "Jerray, Jawher"
},
{
"family": "Lesens, David"
}
],
"type": "dataset",
"id": "5042059"
}
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