Export Citations
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
- research-articleJanuary 2025
Computation of tight bounds for the worst-case end-to-end delay on Avionics Full-Duplex Switched Ethernet
Journal of Systems Architecture: the EUROMICRO Journal (JOSA), Volume 156, Issue Chttps://doi.org/10.1016/j.sysarc.2024.103278AbstractAvionics Full-Duplex Switched Ethernet (AFDX) is a fault-tolerant real-time communication bus for safety–critical applications in aircraft. AFDX configures communication channels, denoted as virtual links (VLs), ensuring bounded message delays ...
- research-articleJuly 2024
Time-triggered scheduling of mixed-critical flows at end-system in asynchronous AFDX avionic network
Computer Networks: The International Journal of Computer and Telecommunications Networking (CNTW), Volume 246, Issue Chttps://doi.org/10.1016/j.comnet.2024.110427AbstractAvionics Full-DupleX (AFDX) is a switched Ethernet-based network used in modern commercial airplanes for the transmission of command and control avionics flows. These critical flows require deterministic guarantees leading to a lightly loaded ...
- research-articleApril 2022
Interface control document modeling with Citrus (avionics systems interfaces)
International Journal on Software Tools for Technology Transfer (STTT) (STTT), Volume 24, Issue 2Pages 225–245https://doi.org/10.1007/s10009-022-00645-3AbstractAvionics systems integration based on interfaces control documents (ICDs) may be well handled when leveraging the strength of the model based-engineering. Indeed, avionics systems and their internal hardware and software components interfaces, ...
- research-articleNovember 2019
Quantum assignment for QoS-aware AFDX network with deficit round robin
RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and SystemsPages 70–79https://doi.org/10.1145/3356401.3356421Avionics Full Duplex switched Ethernet (AFDX) is the de facto standard for the transmission of critical avionics flows. It is a specific switched Ethernet solution based on First-in First-out (FIFO) scheduling. Timing constraints have to be guaranteed ...
- research-articleNovember 2019
Breaking vs. solving: analysis and routing of real-time networks with cyclic dependencies using network calculus
RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and SystemsPages 101–111https://doi.org/10.1145/3356401.3356418Distributed real-time systems in the aerospace domain require worst-case end-to-end latency analysis methods to provide certification evidence of the correct temporal behavior of critical traffic classes. One such analysis method is the Network Calculus ...
- posterApril 2019
Impact of source scheduling on end-to-end latencies in a QoS-aware avionics network
SAC '19: Proceedings of the 34th ACM/SIGAPP Symposium on Applied ComputingPages 643–646https://doi.org/10.1145/3297280.3297553This paper investigates the impact of a novel source scheduling framework tailored to introduce Quality of Service (QoS) in legacy embedded avionics networks. The protocol of interest is the Avionics Full Duplex Switched Ethernet (AFDX) deployed in ...
- research-articleOctober 2018
WCTT analysis of avionics Switched Ethernet Network with WRR Scheduling
RTNS '18: Proceedings of the 26th International Conference on Real-Time Networks and SystemsPages 213–222https://doi.org/10.1145/3273905.3273925Nowadays, a real-time embedded system often has to cope with flows with different criticality levels. Such a situation is forecasted for next generation avionics networks, in order to better use communication resources. Indeed, the present situation, ...
- research-articleNovember 2016
Tighter buffer dimensioning in AFDX networks
The AFDX (Avionics Full DupleX Switched Ethernet) is the backbone network of most recent avionic communication systems. These systems require deterministic buffer dimensioning for certification reasons. As in such systems, static design is often ...
- articleMarch 2014
Holistic schedulability analysis for multipacket messages in AFDX networks
The ARINC-664, Part 7 (AFDX) standard defines a communication network based on Ethernet and the UDP/IP protocols. Contrary to general-purpose Ethernet, the timing behavior in AFDX is deterministic due to the use of special network switches and end ...
- articleMay 2013
Optimal design of virtual links in AFDX networks
The Avionics Full Duplex Switched Ethernet (AFDX) backbone constitutes one of the major technological breakthroughs in modern avionic architectures. This network is based on routing Ethernet frames through isolated data tunnels referred to as Virtual ...
- ArticleNovember 2012
A Model to Calculate Exact End-to-End Delay of Sporadic Flows on AFDX Network Using Mathematical Programming
SBESC '12: Proceedings of the 2012 Brazilian Symposium on Computing System EngineeringPages 87–92https://doi.org/10.1109/SBESC.2012.25Avionics Full DupleX (AFDX) Switched Ethernet technology provides a deterministic network to avionics context. Guarantees on worst-case end-to-end (ETE) communication delays are required for certification purposes. This paper identifies the worst-case ...
- ArticleJuly 2012
Worst-Case Backlog Evaluation of Avionics Switched Ethernet Networks with the Trajectory Approach
ECRTS '12: Proceedings of the 2012 24th Euromicro Conference on Real-Time SystemsPages 78–87https://doi.org/10.1109/ECRTS.2012.12Worst case backlog evaluation is a key issue to avoid under or over sizing of output port buffers for store-and-forward switches. Typically, the dimensioning of switches in the context of avionics is at least as important as the upper bounding of the ...
- articleJanuary 2012
Applying Trajectory approach with static priority queuing for improving the use of available AFDX resources
AFDX (Avionics Full Duplex Switched Ethernet) standardized as ARINC 664 is a major upgrade for avionics systems. The mandatory certification implies a worst-case delay analysis of all the flows transmitted on the AFDX network. Up to now, this analysis ...
- ArticleJune 2009
A Software Implemetation of AFDX End System
NISS '09: Proceedings of the 2009 International Conference on New Trends in Information and Service SciencePages 558–563https://doi.org/10.1109/NISS.2009.56With the rapid development of advanced data transmission technologies in avionics fields, AFDX (Avionics Full Duplex Switched Ethernet) shows great potential in on-board avionics system because of its high bandwidth and real-time property. In this paper,...
- ArticleSeptember 2008
Fast transmission mechanism of emergency data in AFDX network systems
Avionics Full Duplex Switched Ethernet(AFDX) network system deployed in modern aircraft offers higher bandwidth and capability for aircraft data network. AFDX network system adopted IEEE 802.3 Ethernet technology and added some special features to ...
- ArticleSeptember 2007
Formal specification and analysis of AFDX redundancy management algorithms
SAFECOMP'07: Proceedings of the 26th international conference on Computer Safety, Reliability, and SecurityPages 436–450Reliable communication among avionic applications is a crucial prerequisite for today's all-electronic fly-by-wire aircraft technology. The AFDX switched Ethernet has been developed as a scalable, cost-effective network, based upon IEEE 802.3 Ethernet. ...