Performance Analysis on Transmission Estimation for Avionics Real-Time System Using Optimized Network Calculus

Xu, Qingfei; Yang, Xinyu

doi:10.1007/s42405-018-00140-7

Cited by 13 publications

(22 citation statements)

References 10 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The upper boundary of the transmission delay for a packet flow passing through a given switch is obtained by measuring the maximum horizontal distance between the traffic envelope of the packet flow and the service curve of the given switch. 23,24) The difference between the best and worst transmission delays at a switch is used as the input jitter at the next switch along the transmission path. The calculation propagates from the ingress point to the egress point, and the worst-case end-to-end transmission delay can be computed; thus, the network transmission performance can be evaluated.…”

Section: Related Workmentioning

confidence: 99%

Performance Evaluation on Packet Transmission for Distributed Real-time Avionics Networks Using Forward End-to-End Delay Analysis

Yang

2021

Trans. Japan Soc. Aero. S Sci.

Self Cite

View full text Add to dashboard Cite

Section: Related Workmentioning

confidence: 99%

Performance Evaluation on Packet Transmission for Distributed Real-time Avionics Networks Using Forward End-to-End Delay Analysis

Yang

2021

Trans. Japan Soc. Aero. S Sci.

Self Cite

View full text Add to dashboard Cite

“…Traffic envelopes of different packet flows sharing the same physical link can be summed as an aggregated envelope for this common physical link. An upper bound of the transmission delay for a packet flow passing through a given switch is obtained by measuring the maximum horizontal distance between the traffic envelope of the packet flow and the service curve of the given switch (25,26) . The difference between the best and the worst transmission delay at a switch is used as the input jitter at the next switch along its transmission path.…”

Section: Related Workmentioning

confidence: 99%

“…In fact, the obtained upper bound is pessimistic (overestimated) because not all the local worst-case scenarios can occur in the global worst-case scenario. The pessimism can be reduced by taking into account the serialisation effect (25,27) , and this type of optimisation has been transposed to some other approaches.…”

Section: Related Workmentioning

confidence: 99%

“…It can compute a tighter upper bound of the end-to-end transmission delays than the Network Calculus approach for most scenarios. This computation can also be optimised by considering the serialisation effect (25,27) . Whereas, some recent researches find that for some corner cases the Trajectory Approach will provide an optimistic (underestimated) upper bound when considering the serialisation effect (33,34) and it cannot be used for certifications.…”

Section: Related Workmentioning

confidence: 99%

“…For the periodic part, we introduce the concept of busy period (25,32) . The backlog is included in a busy period.…”

Section: Stop Conditionmentioning

confidence: 99%

See 2 more Smart Citations

Analysis of forward approach for upper bounding end-to-end transmission delays over distributed real-time avionics networks

Yang

2020

Aeronaut. j.

Self Cite

View full text Add to dashboard Cite

Distributed real-time avionics networks have been subjected to a great evolution in terms of functionality and complexity. A direct consequence of this evolution is a continual growth of data exchange. AFDX standardised as ARINC 664 is chosen as the backbone network for those distributed real-time avionics networks as it offers high throughput and does not require global clock synchronisation. For certification reasons and engineering research, a deterministic upper bound of the end-to-end transmission delay for packets of each flow should be guaranteed. The Forward Approach (FA) is proposed for the computation of the worst-case end-to-end transmission delay. This approach iteratively estimates the maximum backlog (amount of the pending packets) in each visited switch along the transmission path, and the worst-case end-to-end transmission delay can be computed. Although it is pessimistic (overestimated), the Forward Approach can provide a tighter upper bound of the end-to-end transmission delay while considering the serialisation effect. Recently, our research finds the computation of the serialisation effect might induce an optimistic (underestimated) upper bound. In this paper, we analyse the pessimism in the Forward Approach and the optimism induced by the computation of the serialisation effect, and then we provide a new computation of the serialisation effect. We compare this new computation with the original one, the experiments show that the new computation reduces the optimism and the upper bound of the end-to-end transmission delay can be computed more accurately.

show abstract

Verifying Resource Adequacy of Networked IMA Systems at Concept Level

Moraes

Nadjm‐Tehrani

2020

Communications in Computer and Information Science

View full text Add to dashboard Cite

Complex cyber-physical systems can be difficult to analyze for resource adequacy at the concept development stage since relevant models are hard to create. During this period, details about the functions to be executed or the platforms in the architecture are partially unknown. This is especially true for Integrated Modular Avionics (IMA) Systems, for which life-cycles span over several decades, with potential changes to functionality in the future. To support the engineers evaluating conceptual designs there is a need for tools that model resources of interest in an abstract manner and allow analyses of changing architectures in a modular and scalable way. This work presents a generic timed automatabased model of a networked IMA system abstracting complex networking and computational elements of an architecture, but representing the communication needs of each application function using UPPAAL templates. The proposed model is flexible and can be modified/extended to represent different types of network topologies and communication patterns. More specifically, the different components of the IMA network, Core Processing Modules, Network End-Systems, and Switches, are represented by different templates. The templates are then instantiated to represent a conceptual design, and fed into a model checker to verify that a given platform instance supports the desired system functions in terms of network bandwidth and buffer size adequacy -in particular, whether messages can reach their final destination on time. The work identifies the limits of the tool used for this evaluation, but the conceptual model can be carried over to other tools for further studies.

show abstract

Performance Analysis on Transmission Estimation for Avionics Real-Time System Using Optimized Network Calculus

Cited by 13 publications

References 10 publications

Performance Evaluation on Packet Transmission for Distributed Real-time Avionics Networks Using Forward End-to-End Delay Analysis

Performance Evaluation on Packet Transmission for Distributed Real-time Avionics Networks Using Forward End-to-End Delay Analysis

Analysis of forward approach for upper bounding end-to-end transmission delays over distributed real-time avionics networks

Verifying Resource Adequacy of Networked IMA Systems at Concept Level

Contact Info

Product

Resources

About