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.
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
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
Avionics Full-Duplex Switched Ethernet (AFDX) network. s.l, vol.7, 2005. ,
Sûreté de fonctionnement et systèmes multicoeurs pour l'avionique doivent s'apprivoiser. L'EMBARQUÉ. Novembre, pp.28-30, 2013. ,
site Web lesnumeriques, vol.26, 2016. ,
, , 2010.
MicroBlaze Processor Reference Guide, 2010. ,
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. ,
, , pp.8-11
Deterministic Execution Model on COTS Hardware, International Conference on Architecture of Computing Systems (ARCS), 2012. ,
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. ,
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. ,
Incremental functional certification for avionic functions reuse amp; evolution, Digital Avionics Systems Conference (DASC), 2012 IEEE/AIAA 31st, pp.7-12, 2005. ,
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. ,
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. ,
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. ,
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. ,
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. ,
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. ,
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.
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. ,
, 12th Workshop on Real-time Networks (RTN'13) in conjuction with 25th Euromicro International Conference on Real-time Systems (ECRTS'13), 2013.
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. ,
Toulouse : s.n, SAE Aerotech, 2011. ,
Recherche sur la probabilité de jugements en matière criminelle et en matière civile, 1837. ,
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. ,
Essai philosophique sur les Probabilités, 1840. ,
LZ4m: A fast compression algorithm for in-memory data, IEEE International Conference on Consumer Electronics (ICCE), vol.29, pp.399-401, 1958. ,
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.
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.
A Lossless Data Compression and Decompression Algorithm and Its Hardware Architecture, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, pp.925-936, 2006. ,
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. ,
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. ,
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. ,
, IEEE/OSA Journal of Optical Communications and Networking, vol.11, pp.16-22, 2015.
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. ,
, Proceedings of the IEEE 124, pp.112-126, 2003.
ARINC600 : Avionics Packaging Standard for the Integrated ModularAvionics (IMA). s.l, 2003. ,
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. ,