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.

P. Berger, R. Jean-marc, and . Michel, Dynamic Reliability and Availability Evaluation and Validation of distributed Control Systems " 19th IEEE Instrumentation and Measurement Technology Conference, Anchorage (Alaska, United States), pp.21-23, 2002.

V. Bier, Illusions of Safety, Nuclear Safety-Engineering

. Borell-marie and . Karama, Dependability of Fault-Tolerant Systems ? explicit modelling of interactions between HW and SW components, IEEE Transactions on Reliability, vol.49, pp.363-376, 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

J. Braband and B. Brehmke, Application of Why-Because Analysis Graphs to Railway Near-Misses " , Workshops on Investigation and Reporting of Incidents and Accidents, pp.26-32, 2002.

C. Fitermann, Bases et orientations des politiques de risque Rapport Conseil Economique et Social, section activités productives de la recherche et de la technologie, Annexe 2, mars 2003

E. , M. H. Blom, and H. A. , Piecewise Deterministic Markov Processes represented by Dynamically Coloured Petri Nets, 2000.

F. , J. , E. Jean-marc, and C. Benoît, Les études d'évaluation des termes sources sur les REP " IRSN, Rapport scientifique et technique, p.13, 2002.

G. , J. Liggesmeyer, and P. , Eine Erweiterung der Unified Modeling Language zur Verfolgung von Software-Anforderungen in sicherheitskritischen Systemen, Informatik Forschung und Entwickung, vol.17, issue.2, pp.60-67

G. , W. M. Brombacher-aarnoutac-), and J. V. Bukowski, Using Stress- Strength Simulations to Characterize Common Cause, Probability Safety Assessment and Management, issue.09, pp.399-448, 1998.

. Gondran, . Michel, and A. Pages, Fiabilité des systèmes " , livre, édition Eyrolles, 1980.

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.

G. Holger, Safety Critical Computer Systems, Cours, 2002.

H. Erik, Anticipating Failures: What Should Predictions Be About? The Human Factor in System Reliability ?Is Human Performance Predictable? " - RTO-MP-032, RTO Meeting Proceeding, 2001.

J. C. Vallee-a, Analyse des risques et prévention des accidents majeurs, synthèse des attente vis-à-vis des études de dangers

D. Jongh and J. F. , Share Scheduling in Distributed Systems, Thèse de doctorat, 2002.

A. Kaufmann, G. , G. Cruon, and R. Masson, Modèles mathématiques pour l'étude de la fiabilité des systèmes, 1975.

L. , P. Etienne, and C. Smidts, Dynamic Reliability, Toward an integrated platform for probability risk assessment, Reliability Engineering and System Safety, issue.68, pp.219-254, 2000.

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, 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), BIBLIOGRAPHIQUES, pp.18-19, 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, BIBLIOGRAPHIQUES, pp.73-78, 2000.

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

. Villemeur-;-alain, Sûreté de fonctionnement des systèmes industriels " , édition Eyrolles, pp.61-102, 1997.

A. Norme and Z. , Norme vocabulaire Qualité Logicielle Association Francaise de Normalisation, 1995.

C. Zanne, Contribution à la conception des dispositifs de commande pour les systèmes dynamiques hybrides " , Rapport pour l'habilitation à diriger les recherches, 1995.

G. Zwingelstein, Diagnostic des défaillances -Théorie et pratique pour les systèmes industriels, Traité des Nouvelles Technologies, série Diagnostic et Maintenance, 1995.

A. Patric and . Olaf, Glass furnaces, simplified modelling for control and real-time simulation, International Symposium on Industrial Electronics, 2004.

. Borell-marie and . Karama, Dependability of Fault-Tolerant Systems ? explicit modelling of interactions between HW and SW components, IEEE Transactions on Reliability, REFERENCES BIBLIOGRAPHIQUES

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.

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.

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.

A. B. L1={ds-), bf(e2) d(x12,0) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,S) d(x1,0)d(x2,0)d(x7,0) d(x3,0) d(x5,0) bf(e1) d(x12,S) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,D) d(x1,0)d(x2,0)d(x7,0) d(x3,S) d(x5,0) bf(e1) d(x12,S) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,S) d(x1,0)d(x2,0)d(x7,0) d(x3,D) d(x5,0) d(x12,S) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,D) d(x1,0)d(x2,0)d(x7,0) d(x3,0) d(x5,0).d(x12,S) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,S) d(x1,0)d(x2,0)d(x7,0) d(x3,0) d(x5,0) d(x12,D) bf(e8) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,D) d(x1,0)d(x2,0)d(x7,0) d(x3,S) d(x5,0) d(x12,D) bf(e8) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,S) d(x1,0)d(x2,0)d(x7,0) d(x3,D) d(x5,0)bf(e2) d(x12,D) bf(e8) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,D) d(x1,0)d(x2,0)d(x7,0) d(x3,0) d(x5,0)bf(e2) d(x12,D) bf(e8) d(x8,0) d(x10,0) d(x7,0) d(x15,0), d(xo,S) d(x1,0)d(x2,0)d(x7,0) d(x3,0) d(x5,0) bf(e1) d(x12,0) d(x8,0) d(x10,S) d(x7,0) d(x15, pp.1-1, 2000.