Planned intervention: On Wednesday April 3rd 05:30 UTC Zenodo will be unavailable for up to 2-10 minutes to perform a storage cluster upgrade.
Published February 8, 2021 | Version v1
Dataset Open

Data for paper "Parametric schedulability analysis of a launcher flight control system under reactivity constraints"

  • 1. LORIA, Université de Lorraine, Inria, CNRS
  • 2. ArianeGroup SAS, Les Mureaux, France
  • 3. Université Paris-Saclay, LSV, CNRS, ENS Paris-Saclay, France
  • 4. Université Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France

Contributors

  • 1. LORIA, Université de Lorraine, Inria, CNRS
  • 2. Université Sorbonne Paris-Nord, LIPN, CNRS, UMR 7030, F-93430, Villetaneuse, France

Description

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

Files (2.3 MB)

Name Size Download all
md5:cc63b5d842bafb807657399496dd8bfe
2.3 MB Download

Additional details

Related works

Is identical to
Dataset: https://www.imitator.fr/static/FI2021/ (URL)

Funding

PACS – Parametric Analysis of Concurrent Systems ANR-14-CE28-0002
Agence Nationale de la Recherche

References

  • É. André, E. Coquard, L. Fribourg, J. Jerray and D. Lesens (2021). Parametric schedulability analysis of a launcher flight control system under reactivity constraints.