Determinism Enhancement and Reliability Assessment in Safety Critical AFDX Networks
Meng Li
2016-01-01
Abstract:RESUME AFDX est une technologie basee sur Ethernet, qui a ete developpee pour repondre aux defis qui decoulent du nombre croissant d’applications qui transmettent des donnees de criticite variable dans les systemes modernes d’avionique modulaire integree (Integrated Modular Avionics). Cette technologie de securite critique a ete notamment normalisee dans la partie 7 de la norme ARINC 664, dont le but est de definir un reseau deterministe fournissant des garanties de performance previsibles. En particulier, AFDX est compose de deux reseaux redondants, qui fournissent la haute fiabilite requise pour assurer son determinisme. Le determinisme de AFDX est principalement realise par le concept de liens virtuels (Virtual Links), qui definit une connexion unidirectionnelle logique entre les points terminaux (End Systems). Pour les liens virtuels, les limites superieures des delais de bout en bout peuvent etre obtenues en utilisant des approches comme calcul reseau, mieux connu sous l’appellation Network Calculus. Cependant, il a ete prouve que ces limites superieures sont pessimistes dans de nombreux cas, ce qui peut conduire a une utilisation inefficace des ressources et augmenter la complexite de la conception du reseau. En outre, en raison de l’asynchronisme de leur fonctionnement, il existe plusieurs sources de non-determinisme dans les reseaux AFDX. Ceci introduit un probleme en lien avec la detection des defauts en temps reel. En outre, meme si un mecanisme de gestion de la redondance est utilise pour ameliorer la fiabilite des reseaux AFDX, il y a un risque potentiel souligne dans la partie 7 de la norme ARINC 664. La situation citee peut causer une panne en depit des transmissions redondantes dans certains cas particuliers. Par consequent, l’objectif de cette these est d’ameliorer la performance et la fiabilite des reseaux AFDX. Tout d’abord, un mecanisme fonde sur l’insertion de trames est propose pour renforcer le determinisme de l’arrivee des trames au sein des reseaux AFDX. Parce que la charge du reseau et la bande passante moyenne utilisee augmente due a l’insertion de trames, une strategie d’agregation des Sub-Virtual Links est introduite et formulee comme un probleme d’optimisation multi-objectif. En outre, trois algorithmes ont ete developpes pour resoudre le probleme d’optimisation multi-objectif correspondant. Ensuite, une approche est introduite pour incorporer l’analyse de la performance dans l’evaluation de la fiabilite en considerant les violations des delais comme des pannes.----------ABSTRACT AFDX is an Ethernet-based technology that has been developed to meet the challenges due to the growing number of data-intensive applications in modern Integrated Modular Avionics systems. This safety critical technology has been standardized in ARINC 664 Part 7, whose purpose is to define a deterministic network by providing predictable performance guarantees. In particular, AFDX is composed of two redundant networks, which provide the determinism required to obtain the desired high reliability. The determinism of AFDX is mainly achieved by the concept of Virtual Link, which defines a logical unidirectional connection from one source End System to one or more destination End Systems. For Virtual Links, the end-to-end delay upper bounds can be obtained by using the Network Calculus. However, it has been proved that such upper bounds are pessimistic in many cases, which may lead to an inefficient use of resources and aggravate network design complexity. Besides, due to asynchronism, there exists a source of non-determinism in AFDX networks, namely frame arrival uncertainty in a destination End System. This issue introduces a problem in terms of real-time fault detection. Furthermore, although a redundancy management mechanism is employed to enhance the reliability of AFDX networks, there still exist potential risks as pointed out in ARINC 664 Part 7, which may fail redundant transmissions in some special cases. Therefore, the purpose of this thesis is to improve the performance and the reliability of AFDX networks. First, a mechanism based on frame insertion is proposed to enhance the determinism of frame arrival within AFDX networks. As the network load and the average bandwidth used by a Virtual Link increase due to frame insertion, a Sub-Virtual Link aggregation strategy, formulated as a multi-objective optimization problem, is introduced. In addition, three algorithms have been developed to solve the corresponding multi-objective optimization problem. Next, an approach is introduced to incorporate performance analysis into reliability assessment by considering delay violations as failures. This allowed deriving tighter probabilistic upper bounds for Virtual Links that could be applied in AFDX network certification. In order to conduct the necessary reliability analysis, the well-known Fault-Tree Analysis technique is employed and Stochastic Network Calculus is applied to compute the upper bounds with various probability limits.