Availability of ARINC 629 Avionic Data Bus

Alban Gabillon (1) , Laurent Gallon (2)

1 GePaSUD - Géopôle du Pacifique Sud
2 LIUPPA - Laboratoire Informatique de l'Université de Pau et des Pays de l'Adour

The three traditional objectives of computer security are confidentiality, integrity and availability [8]. Availability can be defined as the prevention of denial of service. Confidentiality and integrity have been addressed in several theoretical works whereas the concept of availability has not been much investigated by the scientific community. This paper is an attempt to define through a case study the concept of availability. We first define a set of availability constraints that avionic data bus protocols should enforce. Then, we consider the ARINC 629 Basic Protocol (BP) and the ARINC Combined Protocol (CP) [2] which were implemented on the Boeing 777. We check whether these protocols respect our availability constraints or not.

Mots clés: availability; first-order logic

Domaines: Cryptographie et sécurité [cs.CR]; Réseaux et télécommunications [cs.NI]; Logique en informatique [cs.LO]

Alban Gabillon, Laurent Gallon. Availability of ARINC 629 Avionic Data Bus. Journal of Networks, 2006, 1 (6). ⟨hal-00994697⟩