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.
Origin | Files produced by the author(s) |
---|