Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*
From MaRDI portal
Publication:5025034
DOI10.3233/FI-2021-2065MaRDI QIDQ5025034
Étienne André, Emmanuel Coquard, Jawher Jerray, David Lesens, Laurent Fribourg
Publication date: 1 February 2022
Published in: Fundamenta Informaticae (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/2112.07548
Related Items (2)
\textsf{IMITATOR} 3: synthesis of timing parameters beyond decidability ⋮ Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Measuring the performance of schedulability tests
- Timed verification of the generic architecture of a memory circuit using parametric timed automata
- Decision problems for lower/upper bound parametric timed automata
- A theory of timed automata
- The power of reachability testing for timed automata
- TCTL model checking lower/upper-bound parametric timed automata without invariants
- Schedulability analysis of timed regular tasks by under-approximation on WCET
- Analysis and verification of real-time systems using quantitative symbolic algorithms
- Uppaal in a nutshell
- Linear parametric model checking of timed automata
- Verification of an industrial asynchronous leader election algorithm using abstractions and parametric model checking
- Scheduling with timed automata
- Task automata: Schedulability, decidability and undecidability
- Interrupt Timed Automata with Auxiliary Clocks and Parameters*
- Language Emptiness of Continuous-Time Parametric Timed Automata
- AN INVERSE METHOD FOR PARAMETRIC TIMED AUTOMATA
- Parametric real-time reasoning
- Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
This page was built for publication: Parametric Schedulability Analysis of a Launcher Flight Control System under Reactivity Constraints*