Checking validity of the min-plus operations involved in the analysis of a real-time embedded network - Archive ouverte HAL
Conference Papers Year : 2022

Checking validity of the min-plus operations involved in the analysis of a real-time embedded network

Abstract

The network calculus theory is widely used to check that a network satisfies its real-time requirements. Such checking involves a lot of computations in the min-plus dioid. This paper shows how such computations can be formally checked using the Coq proof assistant in a realistic industrial context.
Fichier principal
Vignette du fichier
dtis22019.pdf (759.73 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03693417 , version 1 (10-06-2022)

Identifiers

  • HAL Id : hal-03693417 , version 1

Cite

Marc Boyer, Pierre Roux, Hugo Daigmorte. Checking validity of the min-plus operations involved in the analysis of a real-time embedded network. ERTS 2022- 11th European Congress Embedded Real Time System, Jun 2022, Toulouse, France. ⟨hal-03693417⟩
89 View
417 Download

Share

More