Dependability Evaluation of AFDX Real-Time Avionic Communication Networks

This short paper presents ongoing work towards the model-based evaluation of AFDX avionic networks. The required reliability of this type of network depends on timely packet delivery, which must be analyzed during design. We extend previous work by colored stochastic Petri net models of AFDX modules, which reduces several restrictions of the earlier Petri net models. Rare-event simulation for such models allows to efficiently compute small probabilities of long (potentially safetycritical) transmission delays. This has been implemented in the software tool TimeNET previously, and the simulation results validate the proposed model.