Search results for "AFDX"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
129	Indranil Saha, Suman Roy 0001	A Finite State Modeling of AFDX Frame Management Using Spin.	FMICS/PDMC	2006	DBLP DOI BibTeX RDF	ARINC, AFDX frame management design, fault tolerance, verification, LTL, Industrial case study, Spin model checker, finite state modeling
123	Madhukar Anand, Steve Vestal, Samar Dajani-Brown, Insup Lee 0001	Formal Modeling and Analysis of the AFDX Frame Management Design.	ISORC	2006	DBLP DOI BibTeX RDF
104	Jan Täubrich, Reinhard von Hanxleden	Formal Specification and Analysis of AFDX Redundancy Management Algorithms.	SAFECOMP	2007	DBLP DOI BibTeX RDF	Redundancy Management, AFDX, Model Checking, Case Study, TLA
49	Frédéric Ridouard, Jean-Luc Scharbarg, Christian Fraboul	Probabilistic upper bounds for heterogeneous flows using a static priority queueing on an AFDX network.	ETFA	2008	DBLP DOI BibTeX RDF
49	Hussein Charara, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul	Methods for bounding end-to-end delays on an AFDX network.	ECRTS	2006	DBLP DOI BibTeX RDF
48	Jérôme Ermont, Sandrine Mouysset, Jean-Luc Scharbarg, Christian Fraboul	Message scheduling to reduce AFDX jitter in a mixed NoC/AFDX architecture.	RTNS	2018	DBLP DOI BibTeX RDF
48	Laure Abdallah, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul	Reducing AFDX jitter in a mixed NoC/AFDX architecture.	WFCS	2018	DBLP DOI BibTeX RDF
48	Yohan Baga	Analyse de Flux de Trames AFDX en Réception et Méthode d'Optimisation Mémoire. (AFDX Frame Flow Analysis in Reception and Memory Optimization Method).		2018	RDF
48	Bafing Sambou, Fabrice Peyrard, Christian Fraboul	AFDX Wireless Scheduler and free bandwidth managing in 802.11e(HCCA)/AFDX network.	IWCMC	2011	DBLP DOI BibTeX RDF
31	Wilfried Steiner, Günther Bauer 0001, Brendan Hall, Michael Paulitsch, Srivatsan Varadarajan	TTEthernet Dataflow Concept.	NCA	2009	DBLP DOI BibTeX RDF	mixed-criticality systems, cross-industry application, Avionics Full-Duplex Switched Ethernet (AFDX), Time-Triggered Protocol (TTP), TTEthernet, Ethernet
25	Hussein Charara, Christian Fraboul	Modelling and Simulation of an Avionics Full Duplex Switched Ethernet.	AICT/SAPIR/ELETE	2005	DBLP DOI BibTeX RDF
24	Pablo Vera-Soto, Javier Villegas, Sergio Fortes 0001, José Pulido, Vicente Escaño, Rafael Ortiz, Raquel Barco	An event-driven link-level simulator for validation of AFDX and Ethernet avionics networks.	CoRR	2023	DBLP DOI BibTeX RDF
24	Javier Villegas, Sergio Fortes 0001, Vicente Escaño, Carlos Baena, Benjamín Colomer, Raquel Barco	Verification and Validation Framework for AFDX Avionics Networks.	IEEE Access	2022	DBLP DOI BibTeX RDF
24	Manel Takrouni, Rim Bouhouch, Salem Hasnaoui	Simulink Implementation of the Data Distribution Service for Vehicular Controllers on Top of GBE and AFDX.	Comput. J.	2021	DBLP DOI BibTeX RDF
24	Yan Wang, Haolin Ma, Meng Yue, Zhijun Wu 0001	Optimization of Airborne AFDX Transmission Delay Based on Revised RSP Method.	ICCCS	2021	DBLP DOI BibTeX RDF
24	Boyang Zhou, Liang Cheng 0001	A Reality-Conforming Approach for QoS Performance Analysis of AFDX in Cyber-Physical Avionics Systems.	IWQoS	2021	DBLP DOI BibTeX RDF
24	Anaïs Finzi, Ahlem Mifdaoui	Worst-Case Timing Analysis of AFDX Networks With Multiple TSN/BLS Shapers.	IEEE Access	2020	DBLP DOI BibTeX RDF
24	Aakash Soni 0001, Jean-Luc Scharbarg, Jérôme Ermont	Efficient configuration of a QoS-aware AFDX network with Deficit Round Robin.	INDIN	2020	DBLP DOI BibTeX RDF
24	Xueqian Tang, Qiao Li 0005, Guangshan Lu, Huagang Xiong	A Revised Trajectory Approach for the Worst-Case Delay Analysis of an AFDX Network.	IEEE Access	2019	DBLP DOI BibTeX RDF
24	Anaïs Finzi, Ahlem Mifdaoui, Fabrice Frances, Emmanuel Lochin	Performance enhancement of extended AFDX via bandwidth reservation for TSN/BLS shapers.	SIGBED Rev.	2019	DBLP DOI BibTeX RDF
24	Anaïs Finzi, Ahlem Mifdaoui, Fabrice Frances, Emmanuel Lochin	Network Calculus-based Timing Analysis of AFDX networks incorporating multiple TSN/BLS traffic classes.	CoRR	2019	DBLP BibTeX RDF
24	Aakash Soni 0001, Jean-Luc Scharbarg, Jérôme Ermont	Quantum assignment for QoS-aware AFDX network with deficit round robin.	RTNS	2019	DBLP DOI BibTeX RDF
24	Sandrine Mouysset, Jérôme Ermont, Jean-Luc Scharbarg	Limiting over sampling to improve transmission schedulability in a mixed NoC/AFDX architecture.	ETFA	2019	DBLP DOI BibTeX RDF
24	Oana Hotescu, Katia Jaffrès-Runser, Jean-Luc Scharbarg, Christian Fraboul	Multiplexing Avionics and additional flows on a QoS-aware AFDX network.	ETFA	2019	DBLP DOI BibTeX RDF
24	Nassima Benammar, Frédéric Ridouard, Henri Bauer, Pascal Richard	Forward End-to-End Delay for AFDX Networks.	IEEE Trans. Ind. Informatics	2018	DBLP DOI BibTeX RDF
24	Yuanyuan Xu, Hongjuan Ge, Jingzhong Yang	Research on the scheduling method of AFDX terminal system based on time triggered and event triggered.	J. Comput. Sci.	2018	DBLP DOI BibTeX RDF
24	Ranjani Krishnan, V. R. Lalithambika	A Comparison of AFDX and 1553B Protocols Using Formal Verification.	ICACCI	2018	DBLP DOI BibTeX RDF
24	Anaïs Finzi, Ahlem Mifdaoui, Fabrice Frances, Emmanuel Lochin	Incorporating TSN/BLS in AFDX for mixed-criticality applications: Model and timing analysis.	WFCS	2018	DBLP DOI BibTeX RDF
24	Venesa Watson, Mahlet Bejiga	Dependability Analysis of the AFDX Frame Management Design.	SAFECOMP	2018	DBLP DOI BibTeX RDF
24	Azer Hasnaoui, Manel Takrouni, Ikbel Mejri, Tahar Ezzeddine, Salem Hasnaoui	Performance Evaluation of GBE and GBit AFDX Networks for Automotive Control Systems.	IINTEC	2018	DBLP DOI BibTeX RDF
24	Anaïs Finzi, Ahlem Mifdaoui, Fabrice Frances, Emmanuel Lochin	Network Calculus-based Timing Analysis of AFDX networks with Strict Priority and TSN/BLS Shapers.	SIES	2018	DBLP DOI BibTeX RDF
24	Wang Shi-Kui, Li Wen	Technical Research and Platform Implementation of the Protocol Conformance Test of AFDX Network Switch.	NaNA	2018	DBLP DOI BibTeX RDF
24	Meng Li 0003, Guchuan Zhu, Yvon Savaria, Michaël Lauer	Reliability Enhancement of Redundancy Management in AFDX Networks.	IEEE Trans. Ind. Informatics	2017	DBLP DOI BibTeX RDF
24	P. M. Vdovin, Valery A. Kostenko	Organizing message transmission in AFDX networks.	Program. Comput. Softw.	2017	DBLP DOI BibTeX RDF
24	Anaïs Finzi, Ahlem Mifdaoui, Fabrice Frances, Emmanuel Lochin	Incorporating TSN/BLS in AFDX for Mixed-Criticality Avionics Applications: Specification and Analysis.	CoRR	2017	DBLP BibTeX RDF
24	Feng He, Lin Zhao 0008, Ershuai Li	Impact Analysis of Flow Shaping in Ethernet-AVB/TSN and AFDX from Network Calculus and Simulation Perspective.	Sensors	2017	DBLP DOI BibTeX RDF
24	Laure Abdallah, Jérôme Ermont, Jean-Luc Scharbarg, Christian Fraboul	Towards a mixed NoC/AFDX architecture for avionics applications.	WFCS	2017	DBLP DOI BibTeX RDF
24	Rodrigo Coelho, Gerhard Fohler, Jean-Luc Scharbarg	Upper bound computation for buffer backlog on AFDX networks with multiple priority virtual links.	SAC	2017	DBLP DOI BibTeX RDF
24	Aakash Soni 0001, Xiaoting Li 0002, Jean-Luc Scharbarg, Christian Fraboul	Work in progress paper: pessimism analysis of network calculus approach on AFDX networks.	SIES	2017	DBLP DOI BibTeX RDF
24	Yohan Baga, Morgane Richaud, Fakhreddine Ghaffari, Etienne Zante, David Declercq, Michael Nahmiyace	Probabilistic model of AFDX frames reception for end system backlog assessment.	SIES	2017	DBLP DOI BibTeX RDF
24	Nassima Benammar, Frédéric Ridouard, Henri Bauer, Pascal Richard	Forward end-to-end delay analysis extension for FP/FIFO policy in AFDX networks.	ETFA	2017	DBLP DOI BibTeX RDF
24	Armin Zimmermann, Paulo R. M. Maciel	Dependability Evaluation of AFDX Real-Time Avionic Communication Networks.	PRDC	2017	DBLP DOI BibTeX RDF
24	Chakkaphong Suthaputchakun, Zhili Sun, Christoforos Kavadias, Philippe Ricco	Performance analysis of AFDX switch for space onboard data networks.	IEEE Trans. Aerosp. Electron. Syst.	2016	DBLP DOI BibTeX RDF
24	Nassima Benammar, Henri Bauer, Frédéric Ridouard, Pascal Richard	Tighter buffer dimensioning in AFDX networks.	SIGBED Rev.	2016	DBLP DOI BibTeX RDF
24	Lina Sun, Ning Huang, Shuo Zhang	基于动态故障树的AFDX网络性能可靠性分析 (Performance Reliability Analysis of AFDX Network Based on Dynamic Fault Tree).	计算机科学	2016	DBLP DOI BibTeX RDF
24	Renato Mancuso 0001, Andrew V. Louis, Marco Caccamo	Using traffic phase shifting to improve AFDX link utilization.	EMSOFT	2015	DBLP DOI BibTeX RDF
24	Luis Miguel Parrilla Casquet, Enrique Sanchez Blanco, Maria Angeles Martin Prats, Jose Maria Caballero Bejar, German Soriano Rull	Design, implementation and validation of a software data loading application for avionics equipment in AFDX network using COTS Ethernet.	ICIT	2015	DBLP DOI BibTeX RDF
24	Georges Kemayo, Nassima Benammar, Frédéric Ridouard, Henri Bauer, Pascal Richard	Improving AFDX end-to-end delays analysis.	ETFA	2015	DBLP DOI BibTeX RDF
24	Jesús Fernández 0001, Héctor Pérez 0001, J. Javier Gutiérrez, Michael González Harbour	AFDX Emulator for an ARINC-Based Training Platform.	Ada-Europe	2015	DBLP DOI BibTeX RDF
24	J. Javier Gutiérrez, J. Carlos Palencia, Michael González Harbour	Holistic schedulability analysis for multipacket messages in AFDX networks.	Real Time Syst.	2014	DBLP DOI BibTeX RDF
24	Meng Li 0003, Michaël Lauer, Guchuan Zhu, Yvon Savaria	Determinism Enhancement of AFDX Networks via Frame Insertion and Sub-Virtual Link Aggregation.	IEEE Trans. Ind. Informatics	2014	DBLP DOI BibTeX RDF
24	Rubén Trillo Flores, Marc Boyer	Performance analysis of the Disrupted Static Priority scheduling for AFDX.	MEMOCODE	2014	DBLP DOI BibTeX RDF
24	Tasnim Hamza, Jean-Luc Scharbarg, Christian Fraboul	Priority assignment on an avionics switched Ethernet Network (QoS AFDX).	WFCS	2014	DBLP DOI BibTeX RDF
24	Hamid Ayed, Ahlem Mifdaoui, Christian Fraboul	Hierarchical traffic shaping and frame packing to reduce bandwidth utilization in the AFDX.	SIES	2014	DBLP DOI BibTeX RDF
24	Xiaoting Li 0002, Olivier Cros, Laurent George 0001	The Trajectory approach for AFDX FIFO networks revisited and corrected.	RTCSA	2014	DBLP DOI BibTeX RDF
24	Augustin Jouy, Jianguo Yao, Guchuan Zhu	Optimal bandwidth allocation with dynamic multi-path routing for non-critical traffic in AFDX networks.	ICPADS	2014	DBLP DOI BibTeX RDF
24	YoungJun Cha, Ki-Il Kim	Heuristic algorithm for virtual link configuration in AFDX networks.	REACTION	2014	DBLP BibTeX RDF
24	Ahmad Al Sheikh, Olivier Brun, Maxime Chéramy, Pierre-Emmanuel Hladik	Optimal design of virtual links in AFDX networks.	Real Time Syst.	2013	DBLP DOI BibTeX RDF
24	Magnus Jonsson, Kristina Kunert, Anders Kallerdahl	Analysing AFDX Networks Using End-to-end Response Time Analysis.	J. Interconnect. Networks	2013	DBLP DOI BibTeX RDF
24	Dongha An, Kyong Hoon Kim, Ki-Il Kim	A Feasible Configuration of AFDX Networks for Real-Time Flows in Avionics Systems.	REACTION	2013	DBLP BibTeX RDF
24	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Applying Trajectory approach with static priority queuing for improving the use of available AFDX resources.	Real Time Syst.	2012	DBLP DOI BibTeX RDF
24	Xueyuan Zhang, Yonggang Wang	Research of AFDX network delay based on modified network calculus.	IC-NIDC	2012	DBLP DOI BibTeX RDF
24	Leonardo Malta, Romulo da Silva Oliveira	A Model to Calculate Exact End-to-End Delay of Sporadic Flows on AFDX Network Using Mathematical Programming.	SBESC	2012	DBLP DOI BibTeX RDF
24	Peng-yu Zhang, Yan Zhou, Xiaosheng Liu, JI-wei Pang, Zhen-feng Zhao	A novel fast and deterministic substation communication network architecture based on AFDX.	IECON	2012	DBLP DOI BibTeX RDF
24	Lei Rao, Qixin Wang, Xue Liu 0001, Yufei Wang 0004	Analysis of TDMA crossbar real-time switch design for AFDX networks.	INFOCOM	2012	DBLP DOI BibTeX RDF
24	Romain Nishi, Guchuan Zhu, Yvon Savaria	Optimal scheduling policy for AFDX End-Systems with virtual links of identical bandwidth allocation gap size.	CCECE	2012	DBLP DOI BibTeX RDF
24	Muhammad Adnan 0007, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul	An improved timed automata approach for computing exact worst-case delays of AFDX sporadic flows.	ETFA	2012	DBLP DOI BibTeX RDF
24	Jian Li 0021, Haibing Guan, Jianguo Yao, Guchuan Zhu, Xue Liu 0001	Performance Enhancement and Optimized Analysis of the Worst Case End-to-End Delay for AFDX Networks.	GreenCom	2012	DBLP DOI BibTeX RDF
24	Ahmed Ben Achballah, Slim Ben Saoud	Investigating the use of the AFDX protocol as a Network-On-Chip.	DTIS	2012	DBLP DOI BibTeX RDF
24	Kang Wang, Shaoping Wang, Jian Shi	Integrated reliability theory and evaluation methodology of AFDX.	INDIN	2012	DBLP DOI BibTeX RDF
24	Xiaoting Li 0002, Jean-Luc Scharbarg, Frédéric Ridouard, Christian Fraboul	Existing offset assignments are near optimal for an industrial AFDX network.	SIGBED Rev.	2011	DBLP DOI BibTeX RDF
24	Bafing Sambou, Fabrice Peyrard, Christian Fraboul	Scheduling avionics flows on an IEEE 802.11e HCCA and AFDX hybrid network.	ISCC	2011	DBLP DOI BibTeX RDF
24	Muhammad Adnan 0007, Jean-Luc Scharbarg, Christian Fraboul	Minimizing the search space for computing exact worst-case delays of AFDX periodic flows.	SIES	2011	DBLP DOI BibTeX RDF
24	Xiaoqiang Ji, Jian Li 0021, Huanzhong Li, Hairui Zhou, Fei Hu	Analysis of Deterministic End-to-end Delay in Multi-hop AFDX Avionics Network System.	PECCS	2011	DBLP BibTeX RDF
24	Muhammad Adnan 0007, Jérôme Scharbarg, Jean-Luc Ermont, Christian Fraboul	An improved timed automata model for computing exact worst-case delays of AFDX periodic flows.	ETFA	2011	DBLP DOI BibTeX RDF
24	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach.	IEEE Trans. Ind. Informatics	2010	DBLP DOI BibTeX RDF
24	Du-juan Li, Jian-dong Zhang, Bin Liu	Periodic message-based modeling and performance analysis of AFDX.	WCNIS	2010	DBLP DOI BibTeX RDF
24	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Worst-case end-to-end delay analysis of an avionics AFDX network.	DATE	2010	DBLP DOI BibTeX RDF
24	Ananda Basu, Saddek Bensalem, Marius Bozga, Benoît Delahaye, Axel Legay, Emmanuel Sifakis	Verification of an AFDX Infrastructure Using Simulations and Probabilities.	RV	2010	DBLP DOI BibTeX RDF
24	Bafing Sambou, Fabrice Peyrard, Christian Fraboul	Optimized HCCA schedulers for an IEEE 802.11e/AFDX hybrid network.	Q2SWinet	2010	DBLP DOI BibTeX RDF
24	Muhammad Adnan 0007, Jean-Luc Scharbarg, Jérôme Ermont, Christian Fraboul	Model for worst case delay analysis of an AFDX network using timed automata.	ETFA	2010	DBLP DOI BibTeX RDF
24	Xiaoting Li 0002, Jean-Luc Scharbarg, Christian Fraboul	Improving end-to-end delay upper bounds on an AFDX network by integrating offsets in worst-case analysis.	ETFA	2010	DBLP DOI BibTeX RDF
24	Jian Li, Long Zheng, Jianguo Yao	AFDX based avionic data bus architecture design and analysis.	ISADS	2009	DBLP DOI BibTeX RDF
24	Henri Bauer, Jean-Luc Scharbarg, Christian Fraboul	Applying and Optimizing Trajectory Approach for Performance Evaluation of AFDX Avionics Network.	ETFA	2009	DBLP DOI BibTeX RDF
24	Hussein Charara, Jean-Luc Scharbarg, Christian Fraboul	Analysing end-to-end delays on an AFDX network by simulation.	Communication Systems and Networks	2006	DBLP BibTeX RDF