M. Alloco, Computer and Software Safety Considerations in Support of System Hazard Analysis, 21 st International Safety Society Conférence, pp.1030-1038, 2003.

. Bacelli, . François, and G. Balbo, Annotated Bibliography on Stochastic Petri Nets Performance Evaluation of Parallel and Distributed Systems: Solution Methods Centrum voor Wiskunde en Informatica O, pp.25-44, 1994.

S. Behnia, Test de modèles formels en B : Cadre théorique et critères de couverture, Thèse de doctorat, 2000.

B. Christian, SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems, 23rd International. Symposium on Fault-Tolerant Computing, pp.668-673, 1993.

A. Algirdas, L. Jean-claude, R. , and B. , Basic Concepts and Taxonomy of Dependable and Secure Computing, IEEE Transactions on Dependable and Secure Computing, vol.1, issue.1, pp.11-33, 2004.

N. Leveson, Evaluating Accident Models Using Recent Aerospace Accidents, NASA Report, pp.2-18, 2001.

B. Littlewood, . Popov, . Peter, and L. Strigini, Design Diversity: an Update from Research on Reliability Modelling, Proceedings Safety-Critical Systems Symposium, 2001.
DOI : 10.1007/978-1-4471-0713-2_11

. Loi, relative à la prévention des risques technologiques et naturels et à la réparation des dommages, Chapitre 5, article 21, 2003.

M. , A. Fleming, K. N. Pickard, and G. Lowe, Procedure for treating common cause failures in safety and reliability studies :procedural framework and examples, 1988.

D. Noyes and M. Aldanondo, Dependability and Fault Tolerance Concepts for monitoring transportation systems in FMS, Advances in Information Systems Research

N. Rapport and . Csni-/-r2000, ICDE Project Report on Collection and Analysis of Common-Cause Failures of Emergency Diesel Generators ICDE Project Report on Collection and Analysis of Common-Cause Failures for Safety Valves and Relief Valves, Rapport NEA/CSNI, vol.20, p.2002, 2000.

P. Castucia and H. Glaser, Principles of Declarative Programming, 10th International Symposium, PLILP'98, 1998.

J. Perpen, R. , and M. , Raisonnement à base de cas dans une structure de capitalisation des connaissances orientée objet, 8ème Atelier de Raisonnement à Partir de Cas (RàPC'2000), 2000.

G. Point, AltaRica : Contribution à l'unification des méthodes formelles et de la sûreté de fonctionnement, Thèse de doctorat, 2000.

Y. Purwantoro and S. Benett, Hardware-Software Interaction in Dependability Modelling of Fault Tolerant System, acts of 17 th Annual UK Performance Engineering Workshop (UKPEW'01), 2001.

R. , A. Dutuit, and Y. , Exact and Truncated Computations of Prime Implicants of Coherent and non-Coherent Fault Trees within Aralia, Reliability Engineering and System Safety, vol.58, pp.127-144, 1997.

Y. Sato, . Kato, and . Eiichi, SIL Model for IEC61508, Examination of Modes of Operation, IEICE Trans. on Fundamentals of Electronics, Communications and Computer Sciences, issue.5, pp.863-865, 2000.

C. Scherrer and A. Steiniger, Dealing with dormant faults in an embedded fault-tolerant computer system, IEEE Transactions on Reliability, vol.52, issue.4, pp.512-522, 2003.
DOI : 10.1109/TR.2003.821943

R. Schoenig, Définition d'une méthodologie de conception des systèmes mécatroniques sûres de fonctionnement, Thèse de doctorat, Institut National Polytechnique de Lorraine (CRAN), 2004.

B. Sericola, Availability analysis and stationary regime detection of Markov Models IRISA (Institut de recherche en informatique et systèmes aléatoires) Rapport 2886, 17pp, 1996.

D. Smet-olivier and S. Couffin, Safe programming of PLC using formal verification methods " , actes de l'ICP'00, pp.73-78, 2000.

M. Bouissou and J. Bon, A new formalism that combines advantages of fault-trees and Markov models: Boolean logic driven Markov processes, Reliability Engineering & System Safety, vol.82, issue.2, pp.149-164, 2003.
DOI : 10.1016/S0951-8320(03)00143-1

R. Manian, C. David, S. , K. J. Bechta, and J. Dugan, Bridging the gap between systemsand dynamic fault tree models, Proc. of the 1999 Reliability and Maintainability Symposium pp 105-111, 1999.

E. Hollnagel, Cognitive Reliability and Error Analysis Model-CREAM, p.302, 1998.

I. Rapport, Formalisation du savoir et des outils dans le domaine des risques majeurs (DRA-35)-Rapport ?-7 -Outils d'analyse des risques générés par une installation industrielle " ; direction des risques accidentels, 2003.

P. Peter and L. Strigini, The reliability of Diverse Systems: A contribution using Modelling of the Fault Creation Process, acts of International Conference on Dependable Systems and Networks (DSN'01), 2001.

Y. Purwantoro and S. Benett, Hardware-Software Interaction in Dependability Modelling of Fault Tolerant System " , acts of 17 th Annual UK Performance Engineering Workshop (UKPEW'01), pp.18-19, 2001.

R. , A. Dutuit, Y. , and S. Jean-pierre, Evaluation of systems reliability by means of binary decision diagram, Proceedings of the Probabilistic Safety Assessment Conference, PSA'99, pp.521-528, 1999.

J. Rasmussen, Risk management in a dynamic society: a modelling problem, Safety Science, vol.27, issue.2-3, pp.183-213, 1997.
DOI : 10.1016/S0925-7535(97)00052-0

A. D. Swain and H. E. Guttmann, Handbook of Human Reliability Analysis with Emphasis on Nuclear Power Plant Application, U.S. Nuclear Regulatory Commission, 1983.

F. , R. M. Trivedi, and . Kishor, Modelling Failure Dependencies in Reliability using GSPN " , actes de l'European Simulation Multi-conference (ESM '97), 1997.

T. Bräuner, Introduction to Linear Logic, 1996.

C. and C. G. Stéphane, Introduction to Discrete Event Systems, 1999.

D. Frédéric and P. Pasquier, Approche générique du conflit, actes de conférence Ergo-IHM 2000 octobre, pp.3-6, 2000.

D. Hamid, . Khalfaoui, . Sarhane, . Guilhem, . Edwige et al., Critical scenarios derivation methodology for mechatronic systems, Reliability Engineering & System Safety, vol.84, pp.33-44, 2004.

H. Jean-michel, Psychologie cognitive de la planification, 1987.

S. Mellor and P. Ward, Structured Development for Real-Time Systems, p.468, 1985.

H. , D. J. Pirbhai, and A. Imtiaz, Strategies for Real-Time System Specification " ; Dorset House, 1987.

R. , A. Dutuit, Y. , and S. Jean-pierre, Evaluation of systems reliability by means of binary decision diagram, Proceedings of the Probabilistic Safety Assessment Conference, PSA'99, pp.521-528, 1999.

J. V. Bukowski, Modelling and Analyzing the Effects of Periodic Inspection on the Performance of Safety-Critical Systems, IEEE Transactions on Reliability, vol.50, issue.3, 2001.

F. Dufour and Y. Dutuit, Dynamic Reliability, a new model, pp.350-358, 2002.

E. Thales, FIDES et Ingénierie fiabilité en électronique, Actes de conférence, Lambda Mu 04, pp.12-19, 2004.

A. Helias, Agrégation/Abstraction de modèle pour l'analyse et l'organisation de réseaux de flux, Thèse de doctorat Ecole Nationale Supérieure agronomique de Montpellier, Génie des procédés, partie III-2-2, pp.45-56, 2003.

P. Peter and L. Strigini, The reliability of Diverse Systems: A contribution using Modelling of the Fault Creation Process, acts of International Conference on Dependable Systems and Networks (DSN'01), 2001.

J. L. Rouvroyes, Enhanced markov analysis as a method to assess safety in the process industry, Thèse de doctorat Technische Universiteit Eindhoven, 157p, 2001.

Y. Sato, . Zhang, . Tieling, and W. Long, Availability of systems with self-diagnostic components, applying Markov models to IEC61508-6"; Reliability Engineering and System Safety 80, pp.133-141, 2003.

R. Schoenig, Définition d'une méthodologie de conception des systèmes mécatroniques sûres de fonctionnement, Thèse de doctorat, Institut National Polytechnique de Lorraine (CRAN), 2004.

B. Sericola, Availability analysis and stationary regime detection of Markov Models IRISA (Institut de recherche en informatique et systèmes aléatoires) Rapport 2886, 17pp, 1996.

J. Sharit, Human reliability modelling " extracted from " New trends in System Reliability Evaluation, pp.369-410, 1993.

I. Snook and M. John, Physics of Failure as an Integrated Part of Design for Reliability, acts of Conference ARTS'16 (Advances in Reliability Technology Symposium)

T. Ouahiba, . Guerin, . Fabrice, and B. Dumon, Estimation de la fiabilité par les essais accélérés " ; LASQUO EA 3858, Angers, Mécanique & Industries, vol.6, pp.155-167, 2005.

F. Schiller, . Mattes, and . Teo, An efficient Method to Evaluate CRC-Polynomials for Safety-Critical Industrial CommunicationSystem Modelling Control-2005, 19.10.2005, Byczkowska-Lipinska, L. et al, pp.269-274, 2005.

C. Berenguer, D. , and L. , Comparaison et évaluation des méthodes de calcul des facteurs d'importance fiabiliste pour les systèmes dynamiques, actes du congrés Qualita, 2005.

J. V. Bukowski, Modelling and Analyzing the Effects of Periodic Inspection on the Performance of Safety-Critical Systems, IEEE Transactions on Reliability, vol.50, issue.3, 2001.

G. Florin, La tolérance aux pannes dans les systèmes répartis, cours du CNAM, 1995.

K. Hamidi, . Malasse, A. Olaf, and J. , SILKEY: A Tool for the automatic evaluation of safety and availability of multi-level Redundancies Architecture, 21 st International Safety Society Conférence, pp.1092-1102, 2003.