The Trajectory approach for AFDX FIFO networks revisited and corrected

Xiaoting Li 1 Olivier Cros 2, 3 Laurent George 3
1 ECE / LACSC
LACSC - Laboratoire d'Analyse et Contrôle des Systèmes Complexes [Paris]
2 ECE / LACSC
LIGM - Laboratoire d'Informatique Gaspard-Monge
Abstract : We consider the problem of dimensioning realtime AFDX FIFO networks with a worst-case end-to-end delay analysis. The state-of-the-art has considered several approaches to compute these worst-case end-to-end delays. Among them, the Trajectory approach has received more attention as it has been shown to provide tight end-to-end delay upper bounds. Recently, it has been proved that current Trajectory analysis can be optimistic for some corner cases, leading in its current form, to certification issues. In this paper, we first characterize the source of optimism in the Trajectory approach on detailed examples. Then, we provide a correction to the identified problems. Two problems are solved: the first one is on the definition of the time interval to consider for the worst-case end-to-end response time computation of flows at their source nodes. The second one is on the way that serialized frames are taken into account in the worst-case delay analysis.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal-upec-upem.archives-ouvertes.fr/hal-00975730
Contributor : Laurent George <>
Submitted on : Wednesday, April 9, 2014 - 8:57:20 AM
Last modification on : Wednesday, July 4, 2018 - 4:38:04 PM
Long-term archiving on : Wednesday, July 9, 2014 - 11:20:48 AM

File

RTCSA2014_TrajOptimism.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00975730, version 1

Citation

Xiaoting Li, Olivier Cros, Laurent George. The Trajectory approach for AFDX FIFO networks revisited and corrected. The 20th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, IEEE, Aug 2014, Chongqing, China. ⟨hal-00975730⟩

Share

Metrics

Record views

388

Files downloads

580