Experimental assessment of timing verification techniques for AFDX - Proceeding of the 6th European Congress on Embedded Real Time Software and Systems Access content directly
Conference Papers Year : 2012

Experimental assessment of timing verification techniques for AFDX

Abstract

Avionics systems distributed on AFDX networks are subject to stringent real-time constraints that require the system designer to employ techniques and tools to guarantee the worst case traversal time of the network (WCTT) and thus ensure a correct global real-time behavior of the distributed functions. The Network Calculus (NC) is an active research area based on the (min,+) algebra, that has been developed to compute such guaranteed bounds, and has been for instance successfully used to certify the Airbus A380 AFDX backbone. Over the years, a number of traffic models and verification algorithms have been developed and integrated into the NC theory, and there are now many possibilities to choose from in the NC framework, each offering a specific trade-off with regard to accuracy (tightness of the bounds), computation time (e.g., linear or exponential complexity) and complexity of the code. Different techniques are often best suited at the different phases of the development cycle: research on NC theory, preliminary feasibility assessment, design space exploration, certification, etc. The objective of the paper is to provide an experimental assessment of the performances of different verification techniques on hundreds of realistic networks randomly generated, where in previous studies comparisons were done only on few examples. The software toolset used in this study is the freely available AFDX benchmark generator NETAIRBENCH and the RTaW-Pegase timing verification software.
Fichier principal
Vignette du fichier
ERTSS2012_MBNNMF_full.pdf (588.29 Ko) Télécharger le fichier
Origin : Publisher files allowed on an open archive
Loading...

Dates and versions

hal-01345472 , version 1 (13-07-2016)

Identifiers

  • HAL Id : hal-01345472 , version 1

Cite

Marc Boyer, Nicolas Navet, Marc Fumey. Experimental assessment of timing verification techniques for AFDX. ERTS 2012 - 6th European Congress on Embedded Real Time Software and Systems, Feb 2012, Toulouse, France. ⟨hal-01345472⟩
492 View
260 Download

Share

Gmail Facebook X LinkedIn More