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

Efe, Orhun
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.


Implementation and evaluation of the dependability plane for the dynamic distributed dependable real time industrial protocol ((D₃RIP))
Sezer, Ömer Berat; Schmidt, Şenan Ece; Schmidt, Kalus Werner; Department of Electrical and Electronics Engineering (2013)
Dynamic Distributed Dependable Real Time Ethernet Industrial Protocol (D3RIP) is a real time industrial communication protocol that runs over shared-medium Ethernet with COTS hardware. The protocol consists of an interface layer that enables time slotted communication and a coordination layer that guarantees collision avoidance and timely delivery of real time messages generated by the control application. At the current development stage, these two layers of the protocol are fully implemented and tested. T...
Implementation and evaluation of the dynamic distributed real time industrial protocol (D²RIP)
Kaya, Adem; Eyüboğlu, Behçet Murat; Department of Electrical and Electronics Engineering (2013)
The contemporary large-scale and complex industrial control systems such as manufacturing systems, power plants or chemical processes are realized as distributed systems. Since different controller nodes are usually physically distributed, their coordination and information exchange is commonly realized via industrial communication networks (ICNs). In the last decade, there is an ongoing research effort in both academic and industrial fields to employ Ethernet for industrial communications due to its wide a...
Implementation and evaluation of a synchronous time-slotted medium access protocol for networked industrial embedded systems
Gözcü, Ahmet Korhan; Schmidt, Şenan Ece; Department of Electrical and Electronics Engineering (2011)
Dynamic Distributed Dependable Real-time Industrial communication Protocol family (D3RIP), has been proposed in the literature considering the periodic or event-based traffic characteristics of the industrial communication networks. D3RIP framework consists of two protocol families: Interface Layer (IL) protocol family, which is responsible for providing the accurate time-division multiple access (TDMA) on top of a shared-medium broadcast channel, and Coordination Layer (CL), which is defined to fulfill the...
SUBASI, A; GURAN, H (1994-04-14)
The presented work is a study of performance of delta switching interconnection networks (INS). Delta networks are used for interconnecting processors to memory modules in multiprocessor systems. Buffered delta networks have buffers to store the incoming packets. In this work, a new model for the multibuffered delta networks, Which may be called as dynamic buffered delta networks, are proposed and esamined. The buffered delta networks were proposed before may be called as static buffered delta networks. A s...
Switch fabric schedulers with intelligent multi-class support: design, implementation and evaluation on FPGA /
Akpınar, Murat; Schmidt, Şenan Ece; Department of Electrical and Electronics Engineering (2014)
The applications in the contemporary computer networks require end-to-end Quality of Service (QoS). Moreover, diff erent applications have di fferent QoS requirements. Thus, it is important to support QoS in the network layer routers which can be achieved by scheduling the output queues in output queued routers. However, pure output queued routers are not easy to build. Hence, it is important to equip the fabric schedulers of input queued switches with QoS support. Thus, it is an important research problem ...
Citation Formats
O. Efe, “Tool support for worst case end to end delay analysis of AFDX networks,” M.S. - Master of Science, Middle East Technical University, 2016.