Y. Baga, F. Ghaffari, E. Zante, M. Nahmiyace, and D. Declercq, Worst Frame Backlog Estimation in an Avionics Full-Duplex switched Ethernet End-System, p.2016
URL : https://hal.archives-ouvertes.fr/hal-01742748

, IEEE/AIAA 35th Digital Avionics Systems Conference (DASC), pp.1-10, 2016.

Y. Baga, F. Ghaffari, D. Declercq, E. Zante, and M. Nahmiyace, Probabilistic Model of AFDX Frames Reception for End-System Backlog Assessment, 2017 IEEE 12th International Symposium on Industrial Embedded Systems (SIES), 2017.
URL : https://hal.archives-ouvertes.fr/hal-01742754

Y. Baga, F. Ghaffari, D. Declercq, E. Zante, M. Nahmiyace et al., Reduction of Frames Storage Size in AFDX Reception End-System using a Lossless Compression Algorithm, AERONAUTICAL RADIO, INC., 2005. 2. ARINC429: Mark 33 Digital Information Transfer System (DITS), 1995.
URL : https://hal.archives-ouvertes.fr/hal-01742756

A. E. and C. , Avionics Full-Duplex Switched Ethernet (AFDX) network. s.l, vol.7, 2005.

A. Wilson, Sûreté de fonctionnement et systèmes multicoeurs pour l'avionique doivent s'apprivoiser. L'EMBARQUÉ. Novembre, pp.28-30, 2013.

R. Jehl and . Lesnumeriques, site Web lesnumeriques, vol.26, 2016.

C. Gaisler, A. B. Product, and . Sheet, , 2010.

X. Inc, MicroBlaze Processor Reference Guide, 2010.

A. Corp, ;. Hung, A. Bishop, W. Kennings, and A. ;. , Managing cache partitioning in multicore processors for certifiable, safety-critical avionics software applications, An Efficient and Low-Cost Design Methodology to Improve SRAM-Based FPGA Robustness in Space and Avionics Applications. Lanuzza, vol.1, pp.74-84, 2005.

. Ieee/aiaa-33rd, , pp.8-11

F. Boniol, Deterministic Execution Model on COTS Hardware, International Conference on Architecture of Computing Systems (ARCS), 2012.

J. Kim, Integrated Modular Avionics (IMA) Partition Scheduling with Conflict-Free I/O for Multicore Avionics Systems, Computer Software and Applications Conference (COMPSAC), pp.321-331, 2014.

H. Agrou, DASC '07. IEEE/AIAA 26th, pp. 2.A.1-1-2.A.1-10. 16. Integrated modular avionics. Prisaznuk, P. J. May 1992, Electronics and Aerospace Conference NAECON 1992, Mastering the behavior of multi-core systems to match avionics requirements, vol.15, pp.39-45, 2007.

S. Gatti, Incremental functional certification for avionic functions reuse amp; evolution, Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp.7-12, 2005.

A. E. Commitee-;-assurance, J. Rushby, M. M. Wilding, D. S. Hardin, and D. A. Greve, Invariant performance: a statement of task isolation useful for embedded application integration, Avionics Application Software Standard Interface, part 1 -Required Services. s.l. : Aeronautical Radio Inc., 2005. 21. Partitioning in Avionics Architectures: Requirements, Mechanisms, and, vol.653, pp.7-12, 1999.

J. ;. Krodel, Application of Network Calculus to Guaranteed Service Networks. Le Boudec, Federal Aviation Administration final report DOT/FAA/AR-03/77. 24. Predictability Considerations in the Design of Multi-Core Embedded Systems. Cullmann, vol.26, pp.1220-1224, 1995.

G. Kemayo, The Trajectory approach for AFDX FIFO networks revisited and corrected, IEEE 20th International Conference on Embedded and Real-Time Computing Systems and Applications, vol.37, pp.1-10, 1991.

J. Grieu, F. Ridouard, J. L. Scharbarg, C. Fraboul, and M. Adnan, Probabilistic upper bounds for heterogeneous flows using a static priority queueing on an AFDX network, Analyse et évaluation de techniques de commutation Ethernet pour l'interconnexion des systèmes avioniques. s.l. : Institut National Polytechnique de Toulouse, vol.34, 2004.

H. Charara, C. Fraboul, H. Bauer, J. L. Scharbarg, C. Fraboul et al., advanced industrial conference on telecommunications/service assurance with partial and intermittent resources conference/e-learning on telecommunications workshop. aict/sapir/elete 2005. proceedings, Modelling and Simulation of an Avionics Full Duplex Switched Ethernet, vol.37, pp.1-8, 2005.

G. Kemayo, Impact of End System scheduling policies on AFDX performance in avionic on-board data network, Recent Advances and Innovations in Engineering (ICRAIE), pp. 1-4. 42. Priority assignment on an avionics switched Ethernet Network (QoS AFDX, vol.40, pp.1-8, 2013.

L. Ding, Network topology optimization for distributed integrated modular avionics, Proceedings 2011 International Conference on Transportation, Mechanical, and Electrical Engineering (TMEE), vol.44, pp.4-5, 2010.

, Institute of Electrical and Electronics Engineers, 1983.

N. Group and W. Working-;-zhitao, RFC791: Internet protocol darpa internet program protocol specification. 1981. 49. -. RFC 1071: Computing the Internet Checksum. 1988. 50. The buffer size assignment of AFDX based on network calculus, Reliability, Maintainability and Safety, 2011.

N. R. Garikiparthi, G. Fohler, and R. Coelho, 12th Workshop on Real-time Networks (RTN'13) in conjuction with 25th Euromicro International Conference on Real-time Systems (ECRTS'13), 2013.

R. Coelho, G. Fohler, J. L. Scharbarg, M. Boyer, N. Navet et al., Experimental assessment of timing verification techniques for AFDX, Proceedings of the 6th European Congress on Embedded Real Time Software and Systems. 54. Integrating end-system frame scheduling for more accurate AFDX timing analysis. Boyer, vol.56, 2012.

M. Boyer, J. Migge, and M. Fumet, Toulouse : s.n, SAE Aerotech, 2011.

S. Poisson and . Denis, Recherche sur la probabilité de jugements en matière criminelle et en matière civile, 1837.

M. Sadeghi, M. Barati, and K. Atefi, Traffic behavior of Local Area Network based on M/M/1 queuing model using poisson and exponential distribution, 2017 IEEE International Conference on Computational Science and Engineering (CSE) and IEEE International Conference on Embedded and Ubiquitous Computing (EUC). Zhang, vol.59, pp.28-31, 2012.

S. De-laplace, Essai philosophique sur les Probabilités, 1840.

G. E. Box, M. E. Muller, . Kwon, and . Se-jun, LZ4m: A fast compression algorithm for in-memory data, IEEE International Conference on Consumer Electronics (ICCE), vol.29, pp.399-401, 1958.

R. F. Rice and J. R. Plaunt, The interplanetary Network Progress. 67. A method for the construction of minimum-redundancy codes, Adaptive Variable-Length Coding for Efficient Compression of Spacecraft Television Data, vol.6, pp.1098-1102, 1952.

, Compression of Black-White Images with Arithmetic Coding, IBM Journal of Research and Development, vol.28, issue.2, pp.858-867, 1981.

, Results of a prototype Television Bandwidth Compression Scheme, IEEE Transactions on Information Theory, Vols. IT-21, vol.72, pp.356-364, 1961.

M. Burrows and D. J. Wheeler, Digital Equipment Corporation. 75. Ultrafast and memory-efficient alignment of short DNA sequences, A Block-sorting Lossless Data Compression Algorithm, vol.10, pp.337-343, 1977.

, A Technique for High-Performance Data Compression, Computer, pp.8-19, 1984.

M. B. Lin, J. Lee, and G. E. Jan, A Lossless Data Compression and Decompression Algorithm and Its Hardware Architecture, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, pp.925-936, 2006.

. Bd-lzw-picture and J. Zhan, A Parallel VLSI Architecture For The LZW Data Compression Algorithm. Lin, Ming-Bo, Proceedings of Technical Papers. International Symposium on VLSI Technology, Systems, and Applications, vol.80, pp.98-101, 1997.

Z. Ce and X. Hui, Design and implementation of lossless compression encoding for high-speed data acquisition and storage, 12th IEEE International Conference on Electronic Measurement \& Instruments (ICEMI), pp.502-506, 2015.

. Workflows, M. Levy, L. Richardson, G. Rouvroy, and R. R. Osorio, Transaction level and RTL modeling of an architecture for network data compression within ethernet switches in large file transfer scenarios, SMPTE 2015 Annual Technical Conference and Exhibition, vol.83, pp.1-6, 2015.

N. Shibata, IEEE/OSA Journal of Optical Communications and Networking, vol.11, pp.16-22, 2015.

. Ttethernet-dataflow-concept and W. Steiner, Performance Impact of the Interactions between time-triggered and rate-constrained Transmissions in TTEthernet, Eighth IEEE International Symposium on Network Computing and Applications. 86. (SAE), vol.4754, pp.7-8, 1996.

H. Kopetz and G. Bauer, Proceedings of the IEEE 124, pp.112-126, 2003.

A. E. and C. , ARINC600 : Avionics Packaging Standard for the Integrated ModularAvionics (IMA). s.l, 2003.

J. L. Scharbarg, F. Ridouard, and C. Fraboul, A simple and efficient class of functions to model arrival curve of packetised flows, First International Workshop on Worst-case Traversal Time, vol.96, pp.38-49, 2009.