Skip to Main content Skip to Navigation
Conference papers

Verification of an AFDX infrastructure using simulation and probabilities

Ananda Basu 1 Saddek Bensalem 1 Marius Bozga 1 Benoît Delahaye 2 Axel Legay 2 Emmanuel Sifakis 1 
2 S4 - System synthesis and supervision, scenarios
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Abstract : Until recently, there was not a strong need for networking inside aircrafts. Indeed, the communications were mainly cabled and handled by etherned protocols. The evolution of avionics embedded systems and the number of integrated functions in civilian aircrafts has changed the situation. Indeed, those functionalities implies a huge increase in the quantity of data exchanged and thus in the number of connections between functions. Among the available mechanisms provided to handle this new complexity, one find Avionics Full Duplex Switched Ethernet (AFDX), a protocol that allows to simulate a point-to-point network between a source and one or more destinations. The core idea in AFDX is the one of Virtual Links (VL) that are used to simulate point-to-point communication between devices. One of the main challenge is to show that the total delivery time for packets on VL is bounded by some predefined value. This is a difficult problem that also requires to provide a formal, but quite evolutive, model of the AFDX network. In this paper, we propose to use a component-based design methodology to describe the behavior of the model. We then propose a stochastic abstraction that allows not only to simplify the complexity of the verification process but also to provide quantitative information on the protocol.
Document type :
Conference papers
Complete list of metadata

Cited literature [20 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00557717
Contributor : Marius Bozga Connect in order to contact the contributor
Submitted on : Wednesday, January 19, 2011 - 6:46:30 PM
Last modification on : Friday, February 4, 2022 - 3:12:09 AM
Long-term archiving on: : Thursday, June 30, 2011 - 1:13:35 PM

File

main.pdf
Files produced by the author(s)

Identifiers

Citation

Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, et al.. Verification of an AFDX infrastructure using simulation and probabilities. Runtime Verification - First International Conference, RV 2010, Nov 2010, St. Julians, Malta. pp.330-344, ⟨10.1007/978-3-642-16612-9⟩. ⟨hal-00557717⟩

Share

Metrics

Record views

457

Files downloads

812