Loading [a11y]/accessibility-menu.js
Optimistic problems in the trajectory approach in FIFO context | IEEE Conference Publication | IEEE Xplore

Optimistic problems in the trajectory approach in FIFO context


Abstract:

AFDX (Avionics Full Duplex Switched Ethernet) is a network designed for safety-critical applications in avionics systems. The flow analysis is mandatory for the certifica...Show More

Abstract:

AFDX (Avionics Full Duplex Switched Ethernet) is a network designed for safety-critical applications in avionics systems. The flow analysis is mandatory for the certification. The end-to-end (ETE) delay upper bound has to be computed and hence guaranteed. Different approaches have been proposed to compute ETE delay upper bound such as the Network Calculus and the trajectory method. Both methods are deemed to introduce some pessimism in the computations. We only focus next on the trajectory approach. This paper shows that the original trajectory approach is flawed and can compute an optimistic ETE. We present a counter-example and discuss the sources of optimism that must be considered to revise the trajectory method.
Date of Conference: 10-13 September 2013
Date Added to IEEE Xplore: 28 October 2013
ISBN Information:

ISSN Information:

Conference Location: Cagliari, Italy

Contact IEEE to Subscribe

References

References is not available for this document.