A Forward end-to-end delays Analysis for packet switched networks

Kemayo, Georges; Ridouard, Frédéric; Bauer, Henri; Richard, Pascal

doi:10.1145/2659787.2659801

Cited by 18 publications

(40 citation statements)

References 9 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, a formal proof for the fix proposed in [31] is still required. Recently, another approach, namely the forward endto-end delays analysis (FA), has been proposed to obtain the delay upper bounds [32]. Similar to the trajectory approach, this method focuses on one frame and analyzes iteratively the components (ES and Switches) through which the frame passed.…”

Section: Related Workmentioning

confidence: 99%

Reliability Enhancement of Redundancy Management in AFDX Networks

Zhu

Savaria

et al. 2017

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Reliability Enhancement of Redundancy Management in AFDX Networks

Zhu

Savaria

et al. 2017

IEEE Trans. Ind. Inf.

View full text Add to dashboard Cite

“…This problem was addressed by [9]. Most recently, [7] presented the forward end-to-end delay approach (FA) which computes an upper bound for the end-to-end delay for AFDX networks based on the maximum backlog of single priority traffic. As an intermediate result of the end-to-end delay, FA computes the largest buffer backlog for each output port.…”

Section: Related Workmentioning

confidence: 99%

Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links

Coelho

Fohler

Scharbarg

2017

Proceedings of the Symposium on Applied Computing

View full text Add to dashboard Cite

In recent avionics systems, AFDX (Avionics Full Duplex Switched Ethernet) is the network used to replace the previously deployed point-to-point networks. In AFDX networks, nodes are not synchronized and therefore data contention repeatedly occurs at the switches output ports. AFDX switches implement output buffers on each output port to address the data contention issue. Considering the safety critical application of AFDX networks, overflow of these buffers must be avoided at all cost to prevent data loss. In this paper we consider AFDX networks that allow for the classification of traffic into more than two priority levels. We present a novel method to compute an upper bound for the backlog of each priority buffer of each output port on a AFDX network with multiple priority traffic.

show abstract

“…It has been applied in the AFDX context where it can lead to tighter bounds than NC (Bauer et al, 2010). However, TA cannot compute bounds for some types of configurations (high load on several nodes among a given path) and it has been proved (Kemayo et al, 2014) that in some corner cases, the bounds computed with TA can be underestimated and thus cannot be used for certification purpose. The forward end-to-end delays analysis (FA) (Kemayo et al, 2014) overcomes the drawbacks of TA while keeping tighter bounds than NC.…”

Section: Afdx In Imamentioning

confidence: 99%

“…B h is a sufficient bound on t, computed with a fixed-point algorithm on the utilisation factor ( Ci Ti ) which can be found in Kemayo et al (2014).…”

Section: Response Time Analysismentioning

confidence: 99%

A model-based process for the modelling and the analysis of avionic architectures

Richard

Ridouard

et al. 2017

IJIIDS

Self Cite

View full text Add to dashboard Cite

To design and analyse integrated modular avionics (IMA) architectures, this paper presents a model-based process with separation of concerns going from the business view to the scheduling analysis view. A pivot meta-model dedicated to schedulability analysis has been extended to support recent and new systems architectures as well as new analysis methods. This pivot meta-model represents the front-end of a design framework filling the gap between the system architect and the schedulability analysis expert. This is presented in this paper by showing how the design framework is used to handle IMA architecture, and how simple plugins were developed and connected to the framework. The plugins propose hierarchical schedulability analysis, as well as end-to-end response-time analysis for network architecture. This research is illustrated by discussing a case study. (2017) 'A model-based process for the modelling and the analysis of avionic architectures', Int. is an AssociateProfessor at ISAE-ENSMA. He received his PhD in 2011. His research focuses on real-time analysis of avionic networks. Frédéric Ridouard is an Associate Professor at the University of Poitiers. His research focuses on real-time scheduling of distributed systems. Pascal Richard is a Full Professor of Poitiers University. His research interests include the design of uniprocessor architectures as well as multiprocessor architectures, the algorithm's complexity and combinatory optimisation. Michaël Richard is an Associate Professor. His research interests are focused on the design and the schedulability analysis of real-time systems.This paper is a revised and expanded version of a paper entitled 'Extension and utilization of a design framework to model integrated modular avionic architecture' presented at 5th International Conference of Model and Data Engineering, Rhodes, Greece, 26-28 September 2015.

show abstract

A Forward end-to-end delays Analysis for packet switched networks

Cited by 18 publications

References 9 publications

Reliability Enhancement of Redundancy Management in AFDX Networks

Reliability Enhancement of Redundancy Management in AFDX Networks

Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links

A model-based process for the modelling and the analysis of avionic architectures

Contact Info

Product

Resources

About