Tool support for worst case end to end delay analysis of AFDX networks

---

Tezin Türü: Yüksek Lisans

Tezin Yürütüldüğü Kurum: Orta Doğu Teknik Üniversitesi, Mühendislik Fakültesi, Elektrik ve Elektronik Mühendisliği Bölümü, Türkiye

Tezin Onay Tarihi: 2016

Öğrenci: ORHUN EFE

Danışman: CÜNEYT FEHMİ BAZLAMAÇCI

Özet:

Avionics Full Duplex Switched Ethernet (AFDX) is among the major technological components used in avionics systems. Since its publication, AFDX has spread out rapidly and has been deployed in major aircrafts such as Airbus A400M, Boeing 787, Bombardier C Series, etc. In AFDX networks, data is exchanged between end systems by utilizing tunnels. For certification purposes, finding a safe upper bound is required in transmission process. UPPAAL is already shown to be useful for performing such a delay analysis but it is tedious to create the state machines required. In the present thesis work, a software tool is developed to generate the state machines of a given AFDX network to enable users to find out the worst case end-to-end delay of a specified virtual link through using the analysis tool UPPAAL. In addition, the performance comparison of methods that are utilized for calculation of worst case end-to-end delay is done over specified network topologies. Furthermore, AFDX switch service disciplines, namely first-in-first-out (FIFO) and round-robin (RR), are compared in the above setting. This thesis work and the tool developed eliminate the need for finding out all of the candidate scenarios that are necessary to calculate the worst case end-to-end (E2E) delay. The delay value of an AFDX network can now be calculated with less user effort and time.