]. C. Adams, Data Bus Test, Avionics Magazine, Aviation Today, 2001.

. Askerdal, A control theory approach for analyzing the effects of data errors in safety-critical control systems, 2002 Pacific Rim International Symposium on Dependable Computing, 2002. Proceedings., pp.16-18, 2002.
DOI : 10.1109/PRDC.2002.1185625

. Baicheva, On the cyclic redundancy-check codes with 8-bit redundancy, Computer Communications, vol.21, issue.11, pp.1030-1033, 1988.
DOI : 10.1016/S0140-3664(98)00165-0

. Baicheva, Undetected error probability performance of cyclic redundancy-check codes of 16-bit redundancy, IEE Proceedings - Communications, vol.147, issue.5, pp.253-256, 2000.
DOI : 10.1049/ip-com:20000649

]. R. Bannatyne, Building Fault Tolerant Embedded Systems using TTP, Electronics Engineer, 1999.

. Bellare, Message Authentication using Hash Functions -The HMAC Construction, RSA Laboratories' CryptoBytes, 1996.

. Bellare, Keying Hash Functions for Message Authentication, Proc. CRYPTO'96, pp.1-15, 1996.
DOI : 10.1007/3-540-68697-5_1

]. B. Bérard, P. Coupoux, Y. Crouzet, P. David, Y. Garnier et al., Logiciel libre et sûreté de fonctionnement ? cas des systèmes critiques, David et H. Waeselynck), Hermès Science, pp.82-88, 2003.

]. A. Berlin and K. J. Gabriel, Distributed MEMS: new challenges for computation, IEEE Computational Science and Engineering, vol.4, issue.1, pp.12-16, 1997.
DOI : 10.1109/99.590851

]. S. Bhansali, <title>Probing human skin as an information-rich biological interface using MEMS-based informatics</title>, Smart Structures and Devices, p.14, 2001.
DOI : 10.1117/12.420850

]. S. Blanc and P. J. Gil, Improving the multiple errors detection coverage in distributed embedded systems, 22nd International Symposium on Reliable Distributed Systems, 2003. Proceedings., pp.6-8, 2003.
DOI : 10.1109/RELDIS.2003.1238081

&. Bohringer, ]. K. Donald, B. R. Bohringer, and . Donald, Micro Contacts and Micro Manipulation with MEMS Actuator Arrays, Workshop on Modeling Contact Analysis, and Simulation of Mechanical Systems in Robotics and Manufacturing, pp.16-20, 1998.

. Boudreau, Performance of a cyclic redundancy check and its interaction with a data scrambler, IBM Journal of Research and Development, vol.38, issue.6, pp.651-658, 1994.
DOI : 10.1147/rd.386.0651

]. D. Brière and P. Traverse, AIRBUS A320/A330/A340 electrical flight controls - A family of fault-tolerant systems, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing, pp.22-24, 1993.
DOI : 10.1109/FTCS.1993.627364

]. H. Brodtkorb, A Safety Layer for Foundation Fieldbus, 2001.

. Castagnoli, Optimum cycle redundancy-check codes with 16-bit redundancy, IEEE Transactions on Communications, vol.38, issue.1, pp.111-114, 1990.
DOI : 10.1109/26.46536

. Castagnoli, Optimization of cyclic redundancy-check codes with 24 and 32 parity bits, IEEE Transactions on Communications, vol.41, issue.6, pp.883-892, 1993.
DOI : 10.1109/26.231911

. Coccoli, Analysis of group communication protocols to assess quality of service properties, Proceedings. Fifth IEEE International Symposium on High Assurance Systems Engineering (HASE 2000), pp.15-17, 2000.
DOI : 10.1109/HASE.2000.895469

. Collet, Réflexion pour une recherche sur les grands ensembles de microsystèmes électromécaniques, 2004.

]. O. Coumar, Les systèmes électro-micromécaniques : MEMS et NEMS " , Revue de l'Électricité et de l'Électronique, septembre, pp.63-68, 2003.

&. Cui, ]. T. Zhou, Z. Y. Cui, and . Zhou, The Application of Micro Field Theory to MEMS Actuators, Proc. ASME International Mechanical Engineering Congress, pp.17-22, 1996.

C. &. , F. Curtis, and R. France, A Safety- Critical System Protocol, Time Triggered Protocol EE382C Literature Survey, pp.24-1999, 1999.

P. R. Dens and A. A. Nilsson, Performance of error control coding techniques for wireless ATM, ICC '98. 1998 IEEE International Conference on Communications. Conference Record. Affiliated with SUPERCOMM'98 (Cat. No.98CH36220), pp.7-11, 1998.
DOI : 10.1109/ICC.1998.685180

. Eccles, MEMS pressure belt with sensor interface and communication architecture, Smart Structures and Materials 2001: Smart Electronics and MEMS, pp.309-316, 2001.
DOI : 10.1117/12.436615

D. Esteve and E. Campo, L'électronique des micro/nanosystèmes : évolutions et perspectives, Revue Signaux, pp.9-16, 2004.

&. Freeman, ]. W. Miller, E. Freeman, and . Miller, An experimental analysis of cryptographic overhead in performance-critical systems, MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems, pp.348-357, 1999.
DOI : 10.1109/MASCOT.1999.805073

. Fujwara, On the Undetected Error Probability for Shortened Hamming Codes, IEEE Transactions on Communications, vol.33, issue.6, pp.570-574, 1985.
DOI : 10.1109/TCOM.1985.1096340

]. G. Funk, Determination of best shortened linear codes, IEEE Transactions on Communications, vol.44, issue.1, pp.1-6, 1996.
DOI : 10.1109/26.476086

N. Gaujal and . Navet, Fault Confinement Mechanisms of the CAN Protocol : Analysis and Improvements, p.4603, 2002.
URL : https://hal.archives-ouvertes.fr/inria-00071982

]. P. Geremia, Cyclic Redundancy Check Computation: An Implementation Using the TMS320C54x, Digital Signal Processing Solutions, Texas Instruments, 1999.

&. Gilbertson, ]. R. Busch, J. D. Gilbertson, and . Busch, A Survey of Micro-Actuator Technologies for Future Spacecraft Missions, Journal of the British Interplanetary Society, vol.49, pp.129-138, 1996.

. Goular, Caractérisation de tourbillons de sillage par triangulation lidar " , 9 ème Congrès Francophone de Vélocimétrie Laser, pp.14-17, 2004.

. Grosjean, Micro balloon actuators for aerodynamic control, Proceedings MEMS 98. IEEE. Eleventh Annual International Workshop on Micro Electro Mechanical Systems. An Investigation of Micro Structures, Sensors, Actuators, Machines and Systems (Cat. No.98CH36176), pp.25-29, 1998.
DOI : 10.1109/MEMSYS.1998.659748

. Gue, Tête d'injection et de dosage thermique, son procédé de fabrication et système de fonctionnalisation ou d'adressage la comprenant, 2000.

]. H. Hansen, Application of Mini-Trailing-Edge Devices in The Awiator Project, Airbus Deutschland, EGAG, 2003.

. Hartwich, CAN Network with Time Triggered Communication, Proc. 7 th International CAN Conference (ICC), 2000.

&. Hennebert, . Guiho-1993-]-c, G. Hennebert, and . Guiho, SACEM: A fault tolerant system for train speed control, FTCS-23 The Twenty-Third International Symposium on Fault-Tolerant Computing, pp.22-24, 1993.
DOI : 10.1109/FTCS.1993.627365

]. T. Henriksson and D. Liu, Implementation of Fast CRC Calculation, Proc. 2003 Asia South Pacific Design Automation Conference, pp.21-24, 2003.

. Ho, Control of Aerodynamic Device by Micro Actuation, Proc. GOMAC Conference, pp.211-214, 1994.

&. Ho, . M. Tai-1996-]-c, Y. C. Ho, and . Tai, REVIEW: MEMS and Its Applications for Flow Control, Journal of Fluids Engineering, vol.118, issue.3, pp.437-447, 1996.
DOI : 10.1115/1.2817778

. Ho, Unsteady aerodynamics and flow control for flapping wing flyers, Progress in Aerospace Sciences, pp.635-681, 2003.
DOI : 10.1016/j.paerosci.2003.04.001

]. A. Huang, Gryphon M3 system: Integration of MEMS for Flight Control, Proc. SPIE (Int'l Society for Optical Engineering), vol.4559, pp.85-94, 2001.

. Huang, Applications of MEMS devices to delta wing aircraft - From concept development to transonic flight test, 39th Aerospace Sciences Meeting and Exhibit, pp.8-11, 2001.
DOI : 10.2514/6.2001-124

&. Judy, ]. J. Muller, R. S. Judy, A. Muller-actuated, and . Microstructures, Magnetically actuated, addressable microstructures, Journal of Microelectromechanical Systems, vol.6, issue.3, pp.249-256, 1997.
DOI : 10.1109/84.623114

&. Judy, . W. Motta-2002-]-j, P. S. Judy, and . Motta, Introduction to Micromachining and MEMS, International Conference on Engineering Education, pp.18-21, 2002.

F. Jumel, N. Navet, and F. Simonot-lion, Influence des performances d'une architecture informatique sur la fiabilité des systèmes échantillonnés, Proc. 11 th International Conference on Real-Time and Embedded Systems (RTS'03), pp.1-3, 2003.

. Kandasamy, Time-constrained failure diagnosis in distributed embedded systems, Proceedings International Conference on Dependable Systems and Networks, pp.23-26, 2002.
DOI : 10.1109/DSN.2002.1028930

. Kasami, An approximation to the weight distribution of binary linear codes, IEEE Transactions on Information Theory, vol.31, issue.6, pp.769-779, 1985.
DOI : 10.1109/TIT.1985.1057107

]. P. Kazakov, Fast calculation of the number of minimum-weight words of CRC codes, IEEE Transactions on Information Theory, vol.47, issue.3, pp.1190-1195, 2001.
DOI : 10.1109/18.915680

. Kim, Aircraft Flight Tests and Reliability Improvements of MEMS Pressure Sensor Assembly, Journal of Surface Mount Technology, vol.141, pp.1-8, 2001.

]. P. Koopman, 32-bit cyclic redundancy codes for Internet applications, Proceedings International Conference on Dependable Systems and Networks, pp.23-26, 2002.
DOI : 10.1109/DSN.2002.1028931

&. Kopetz, H. Ochsenreitezr, W. Kopetz, and . Ochsenreitezr, Clock Synchronization in Distributed Real-Time Systems, IEEE Transactions on Computers, vol.36, issue.8, pp.933-940, 1987.
DOI : 10.1109/TC.1987.5009516

]. H. Kopetz and G. Bauer, The Time-Triggered Architecture, Proceedings of the IEEE, Special Issue on Modeling and Design of Embedded Software, pp.112-126, 2003.

. Krishnamoorthy, Self-Aligned Vertical Comb-Drive Actuators for Optical Scanning Micromirrors, Proc. 2001 IEEE/LEOS International Conference on Optical MEMS, pp.25-28, 2001.

. Kumar, MEMS Based Actuators for Boundary Layer Control, Proc. 1998 ASME Winter Meeting, pp.15-20, 1998.

. Laprie, Guide de la sûreté de fonctionnement, Cépadues Éditions, vol.324, 1995.

&. Liu, . L. Layland-1973-]-c, J. W. Liu, and . Layland, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, Journal of the ACM, vol.20, issue.1, pp.46-61, 1973.
DOI : 10.1145/321738.321743

. Liu, A Micromachined Permalloy Magnetic Actuator Array for Micro Robotics Assembly Systems, Proc. 8 th International Conference on Solid-State Sensors and Actuators (Transducers 95), pp.25-29, 1995.

]. S. Lyshevski, Electromechanical flight actuators for advanced flight vehicles, IEEE Transactions on Aerospace and Electronic Systems, vol.35, issue.2, pp.511-518, 1999.
DOI : 10.1109/7.766933

]. S. Lyshevski, Distributed control of MEMS-based smart flight surfaces, Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148), pp.25-27, 2001.
DOI : 10.1109/ACC.2001.946103

]. S. Lyshevski, Smart flight control surfaces with microelectromechanical systems, IEEE Transactions on Aerospace and Electronic Systems, vol.38, issue.2, pp.543-552, 2002.
DOI : 10.1109/TAES.2002.1008985

&. Merley, . Posner-1984-]-p, E. C. Merley, and . Posner, Optimum Cyclic Redundancy Codes for Noisy Channels, IEEE Transactions on Information Theory, vol.30, issue.6, pp.865-867, 1984.

. Miller, Failure Modes in Surface Micromachined MicroElectro- Mechanical Actuators, Proc. of 36 th IEEE International Reliability Physics Symposium (IRPS-1998), pp.31-33, 1998.

. Nathanson, The resonant gate transistor, IEEE Transactions on Electron Devices, vol.14, issue.3, pp.117-133, 1967.
DOI : 10.1109/T-ED.1967.15912

. Navet, Trends in Automotive Communications Systems, Proceedings of the IEEE, Special Issue on Industrial Communications Systems, pp.1204-1223, 2005.

. Paulitsch, Coverage and the Use of Cyclic Redundancy Codes in Ultra-Dependable Systems, 2005 International Conference on Dependable Systems and Networks (DSN'05), pp.28-29, 2005.
DOI : 10.1109/DSN.2005.31

]. W. Peterson, Error Correcting Codes, 1961.

&. Peterson, ]. W. Weldon, E. J. Peterson, and . Weldon, Error-Correcting Codes, 1972.

. Pfeifer, Formal verification for time-triggered clock synchronization, Dependable Computing for Critical Applications 7, pp.6-8, 1999.
DOI : 10.1109/DCFTS.1999.814297

. Poledna, Communication Bus for Automotive Applications, Proc. 27 th European Solid-State Circuits Conference (ESSCIRC-2001), pp.482-485, 2001.

]. D. Powell, A Generic Fault-Tolerant Architecture for Real-Time Dependable Systems, 2001.
DOI : 10.1007/978-1-4757-3353-2

&. Ramabadran, ]. T. Gaitonde, S. S. Ramabadran, and . Gaitonde, A tutorial on CRC computations, IEEE Micro, vol.8, issue.4, pp.62-75, 1988.
DOI : 10.1109/40.7773

]. C. Randell and H. Muller, Context Awareness by Analyzing Accelerometer Data, Proc. 4 th International Symposium on Wearable Computers, pp.16-17, 2000.

D. Sheinwald, J. Staran, P. Thaler, and V. Cavanna, Internet Protocol Small Computer System Interface (iSCSI) Cyclic Redundancy Check (CRC)/Checksum Considerations, RFC, vol.3385, 2002.
DOI : 10.17487/rfc3385

]. P. Rolin, Réseaux locaux, normes et protocoles, Éditions Hermès, 1990.

. Rossi, A New Generation of MEMS based Microthrusters for Microspacecraft Applications, Proc. International Conference on Micro/Nanotechnology for Space Applications (MNT-1999), pp.10-15, 1999.

]. J. Rushby, A Comparison of Bus Architectures for Safety-Critical Embedded Systems, Technical Report Computer Science Laboratory, vol.63, 2003.

&. Saxena, E. J. Saxena, and . Mcclukey, Arithmetic and galois checksums, 1989 IEEE International Conference on Computer-Aided Design. Digest of Technical Papers, pp.5-9, 1989.
DOI : 10.1109/ICCAD.1989.77015

. Sivencrona, Design Principles for Dependable Time-Triggered Control Systems, p.13, 2000.

]. T. Smith, Fault-Tolerant Clocking System, Proc. 11 th International Symposium on Fault-Tolerant Computing (FTCS-11), pp.262-264, 1981.

]. C. Spitzer, Avionics Handbook, Catalog Number, vol.8348, issue.576, 2000.

. Stone, Performance of checksums and CRCs over real data, IEEE/ACM Transactions on Networking, vol.6, issue.5, pp.529-543, 1998.
DOI : 10.1109/90.731187

]. P. Tabeling, Les Micro-Systèmes, Bulletin de la SFP, vol.4, 2001.

]. D. Tanner, Reliability of Surface Micromachined MicroElectro-Mechanical Actuators, Proc. of 22 nd International Conference on Microelectronics, pp.14-17, 2000.

&. Thielicke, ]. E. Obermeier, E. Thielicke, and . Obermeier, Microactuators and their technologies, Mechatronics, vol.10, issue.4-5, pp.431-455, 2000.
DOI : 10.1016/S0957-4158(99)00063-X

. Tindell, Analysis of hard real-time communications, Real-Time Systems, vol.6, issue.2, pp.147-171, 1995.
DOI : 10.1007/BF01088855

. Totel, Supporting multiple levels of criticality, Digest of Papers. Twenty-Eighth Annual International Symposium on Fault-Tolerant Computing (Cat. No.98CB36224), pp.25-27, 1998.
DOI : 10.1109/FTCS.1998.689456

P. Traverse, I. Lacaze, and J. Souyris, Airbus Fly-By-Wire: A Total Approach To Dependability, Proc. 18 th IFIP World Computer Congress, pp.22-27, 2004.
DOI : 10.1007/978-1-4020-8157-6_18

. Vinter, Reducing critical failures for control algorithms using executable assertions and best effort recovery, Proceedings International Conference on Dependable Systems and Networks, pp.1-4, 2001.
DOI : 10.1109/DSN.2001.941419

]. H. Weinberg, Dual Axis, Low g, Fully Integrated Accelerometers, Analog Dialogue, vol.33, issue.1, pp.23-24, 1999.

F. Song, T. Simonot-lion, and . Clément, Evaluating Quality of Service and Behavioral Reliability of Steer-by-Wire Systems, Proc. IEEE Conference on Emerging Technologies and Factory Automation (ETFA'03), pp.16-19, 2003.
URL : https://hal.archives-ouvertes.fr/inria-00107701

&. Witzke, ]. K. Leung, C. Witzke, and . Leung, A Comparison of Some Error Detecting CRC Code Standards, IEEE Transactions on Communications, vol.33, issue.9, pp.996-998, 1985.
DOI : 10.1109/TCOM.1985.1096411

K. S. Yang and . Han, Damage monitoring and impact detection using optical fiber vibration sensors, Smart Materials and Structures, vol.11, issue.3, pp.337-345, 2002.
DOI : 10.1088/0964-1726/11/3/303

. Youssef, Premier rapport d'avancement du projet, Commande de Rapport LAAS, vol.72, 2003.

. Youssef, Définition et évaluation d'une nouvelle architecture de communication pour les systèmes de commande de, Manifestation des Jeunes Chercheurs dans le domaine des Sciences et Technologies de l'Information et de la Communication (MAJESTIC-2003), pp.29-31, 2003.

Y. De-bonneval, J. J. Crouzet, P. Aubert, and . Brot, Détection d'erreurs dans les données concernant l'actionnement d'un organe de véhicule

@. Les-r-coefficients-du-polynôme-générateur, G. , and =. Décalé-À-droite-d-'un, le bit en entrée pour chaque cycle de calcul ? ^ : Opération Ou Exclusive (XOR) ? << n : Décalage à gauche de n bits A.1.2 Algorithme 1-Initialisation de R à 0 2-Boucler pour tout bit en entrée i 2-1 Si