Habilitation À Diriger Des Recherches Year : 2021

Garantir les temps de réponse des réseaux embarqués à l’aide du calcul réseau

Abstract

The nominal behaviour of modern aircrafts relies on hundreds of computers, sensors and actuators. They are exchanging several data, and the global behaviour depends, among other things, on the latency introduced by the network. This thesis presents my works on formal methods (and especially network calculus) devoted to the computation of guaranteed upper bound on network delays.
Les aéronefs du XXIème siècle embarquent des dizaines, voir centaines de calculateurs, capteurs et actionneurs, qui assurent des tâches critiques. Pour ce faire, ils doivent communiquer entre eux, et le temps de communication doit être plus petit qu'une valeur spécifiée à la conception du système. Ce manuscrit présente mes travaux sur le sujet.
Fichier principal
Vignette du fichier
DTIS21116.1620034148.pdf (1) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

tel-03220790 , version 1 (07-05-2021)

Identifiers

  • HAL Id : tel-03220790 , version 1

Cite

Marc Boyer. Garantir les temps de réponse des réseaux embarqués à l’aide du calcul réseau. Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Toulouse, 2021. ⟨tel-03220790⟩

Collections

ONERA DTIS_ONERA
172 View
235 Download

Share

More