Skip to Main content Skip to Navigation
Conference papers

Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation

Joumana Lagha 1, 2 Jean-Luc Béchennec 1, 2 Sébastien Faucou 1, 2 Olivier-H Roux 1, 2
1 STR - STR
LS2N - Laboratoire des Sciences du Numérique de Nantes
Abstract : In order to study the schedulability of complex real-time systems, simulation can be used. Of course, to achieve formal validation of schedulability, simulations must be run long enough such that the schedule repeats. An upper bound on the length of the simulation that is valid for a very wide class of systems running on top of identical multiprocessor platforms is given in a previous work. It is known that this bound is pessimistic. In this paper, we derive a characterization of the exact bound for the same class of systems and describe an algorithm for its computation. We use it to quantify the pessimism of the upper bound on a set of synthesized systems. We also give some directions to explore the complexity vs. tightness trade-off for this problem.
Complete list of metadatas

Cited literature [8 references]  Display  Hide  Download

https://hal-cnrs.archives-ouvertes.fr/hal-03006791
Contributor : Sébastien Faucou <>
Submitted on : Monday, November 16, 2020 - 10:36:35 AM
Last modification on : Friday, November 20, 2020 - 3:05:58 AM

File

lagha-etl-valid2020.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-03006791, version 1

Citation

Joumana Lagha, Jean-Luc Béchennec, Sébastien Faucou, Olivier-H Roux. Toward an Exact Simulation Interval for Multiprocessor Real-Time Systems Validation. VALID 2020, The Twelfth International Conference on Advances in System Testing and Validation Lifecycle, Sep 2020, Lisbon, Portugal. ⟨hal-03006791⟩

Share

Metrics

Record views

3

Files downloads

3