T. Aven, Availability evaluation of oil/gas production and transportation systems, Reliability Engineering, vol.18, issue.1, pp.35-44, 1987.
DOI : 10.1016/0143-8174(87)90050-3

T. L. Aven and . Pedersen, On how to understand and REFERENCES Alexander A pattern language: towns, buildings, construction, C, 1997.

T. Aven, Availability evaluation of oil/gas production and transportation systems, Reliability Engineering, vol.18, issue.1, pp.35-44, 1987.
DOI : 10.1016/0143-8174(87)90050-3

M. Batteux, T. Prosvirnova, and A. Rauzy, AltaRica 3.0 language specification, AltaRica Association, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239379

M. Boiteau, Y. Dutuit, A. Rauzy, and J. Signoret, The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, pp.747-755, 2006.
DOI : 10.1016/j.ress.2004.12.004

URL : https://hal.archives-ouvertes.fr/hal-00182500

R. Bri? and K. , Stochastic Petri net approach to production availability evaluation of special test case, Proceedings of the European Safety and Reliability Conference, pp.1569-1575, 2006.

P. Fritzson, Principles of object-oriented modeling and simulation with Modelica 2, 2010.
DOI : 10.1109/9780470545669

E. Gamma, R. Helm, R. Johnson, and V. , Design patterns: elements of reusable object-oriented software, J, 1995.

B. Hamid and J. Perez, Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation, Journal of Systems and Software, vol.122, pp.239-273, 2016.
DOI : 10.1016/j.jss.2016.09.027

URL : https://hal.archives-ouvertes.fr/hal-01429691

Y. Kawauchi, R. , and M. , A new approach to production regularity assessment in the oil and chemical industries, Reliability Engineering & System Safety, vol.75, issue.3, pp.379-388, 2002.
DOI : 10.1016/S0951-8320(01)00130-2

C. Kehren, Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement " , Ecole nationale superieure de l'aeronautique et de l, 2005.

M. Khalil, A. Prieto, and F. Hölzl, A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain, Model-Based Safety and Assessment: 4th International Symposium , IMBSA 2014, pp.137-151, 2014.
DOI : 10.1007/978-3-319-12214-4_11

M. Lipaczewski, F. Ortmeier, T. Prosvirnova, A. Rauzy, and . Struck, Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica, Reliability Engineering & System Safety, vol.140, pp.191-199, 2015.
DOI : 10.1016/j.ress.2015.03.038

H. Meng, L. Kloul, and A. Rauzy, Production availability modelling of FPSO system using stochastic Petri nets, Proceedings of the European Safety and Reliability Conference, pp.2271-2279, 2015.

M. Morel, Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures, Model-Based Safety and Assessment: 4th International Symposium, pp.57-69, 2014.
DOI : 10.1007/978-3-319-12214-4_5

T. Prosvirnova, M. Batteux, P. Brameret, A. Cherfi, T. Friedlhuber et al., The AltaRica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, pp.127-132, 2013.

T. Prosvirnova, Altarica 3.0: a model-based approach for safety analyses, 2014.
DOI : 10.1201/b15938-169

URL : https://hal.archives-ouvertes.fr/tel-01119730

A. Rauzy, An experimental study on iterative methods to compute transient solutions of large Markov models, Reliability Engineering & System Safety, vol.86, issue.1, pp.105-115, 2004.
DOI : 10.1016/j.ress.2004.01.007

A. Rauzy, Guarded transition systems: A new states/events formalism for reliability studies, Proceedings of the Institution of Mechanical Engineers, pp.495-505, 2008.
DOI : 10.1016/S0951-8320(02)00042-X

K. Rosen, Discrete Mathematics and Its Applications 7th edition, 2011.

J. Signoret, SAFERELNET?Production Availability Test Case Version 1, 2000.

J. Signoret, Production availability, Safety and Reliability of Industrial Products, Systems and Structures, 2010.
DOI : 10.1201/b10572-34

URL : https://hal.archives-ouvertes.fr/hal-00182500

A. Vesteraas, Comparison of methods and software tools for availability assessment of production systems, 2008.

H. Zhang, F. Innal, F. Dufour, and D. , Piecewise Deterministic Markov Processes based approach applied to an offshore oil production system, Reliability Engineering & System Safety, vol.126, pp.126-134, 2014.
DOI : 10.1016/j.ress.2014.01.016

URL : https://hal.archives-ouvertes.fr/hal-00961512

E. Zio, P. Baraldi, and E. Patelli, Assessment of the availability of an offshore installation by Monte Carlo simulation, International Journal of Pressure Vessels and Piping, vol.83, issue.4, pp.312-320, 2006.
DOI : 10.1016/j.ijpvp.2006.02.010

M. Rausand, Reliability of Safety-Critical Systems: Theory and Applications, 2014.
DOI : 10.1002/9781118776353

M. Rausand and A. Høyland, System reliability theory: models, statistical methods, and applications, 2004.
DOI : 10.1002/9780470316900

Y. Dutuit, A. Rauzy, and J. Signoret, A snapshot of methods and tools to assess safety integrity levels of high-integrity protection systems, Proc. Inst, pp.371-379, 2008.
DOI : 10.1016/j.ress.2004.01.007

URL : https://hal.archives-ouvertes.fr/hal-00340682

C. Alexander, A pattern language: towns, buildings, construction, 1977.

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software, 1995.

E. Gamma, Design Patterns ??? Ten Years Later, Software pioneers, pp.688-700, 2002.
DOI : 10.1007/978-3-642-59412-0_39

D. Cook and W. D. Schindel, UTILIZING MBSE PATTERNS TO ACCELERATE SYSTEM VERIFICATION, INSIGHT, vol.2014, issue.1, pp.32-41, 2017.
DOI : 10.1002/inst.12142

B. Hamid and J. Perez, Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation, Journal of Systems and Software, vol.122, pp.239-273, 2016.
DOI : 10.1016/j.jss.2016.09.027

URL : https://hal.archives-ouvertes.fr/hal-01429691

A. Ruiz, G. Juez, H. Espinoza, J. L. De, X. Vara et al., Reuse of safety certification artefacts across standards and domains: A systematic approach, Reliability Engineering & System Safety, vol.158, pp.153-171, 2017.
DOI : 10.1016/j.ress.2016.08.017

N. Kajtazovic, C. Preschern, A. Höller, and C. Kreiner, Towards pattern-based reuse in safety-critical systems, Proceedings of the 19th European Conference on Pattern Languages of Programs, EuroPLoP '14, 2014.
DOI : 10.1109/MS.2011.27

T. Prosvirnova, Altarica 3.0: a model-based approach for safety analyses, Ecole Polytechnique, 2014.
DOI : 10.1201/b15938-169

URL : https://hal.archives-ouvertes.fr/tel-01119730

T. Prosvirnova, M. Batteux, P. Brameret, A. Cherfi, T. Friedlhuber et al., The AltaRica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, pp.127-132, 2013.

C. Preschern, N. Kajtazovic, A. Höller, and C. Kreiner, Pattern-based safety development methods, Proceedings of the 19th European Conference on Pattern Languages of Programs, EuroPLoP '14, 2014.
DOI : 10.1007/3-540-45416-0_18

Q. Guo, P. Xu, X. Pei, S. Wong, and D. Yao, The effect of road network patterns on pedestrian safety: A zone-based Bayesian spatial modeling approach, Accident Analysis & Prevention, vol.99, pp.114-124, 2017.
DOI : 10.1016/j.aap.2016.11.002

A. Verma, S. D. Khan, J. Maiti, and O. Krishna, Identifying patterns of safety related incidents in a steel plant using association rule mining of incident investigation reports, Safety Science, vol.70, pp.89-98, 2014.
DOI : 10.1016/j.ssci.2014.05.007

S. Hukerikar and C. Engelmann, Resilience design patterns -a structured approach to resilience at extreme scale, Oak Ridge National Laboratory, 2016.

C. Kehren, Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement Ecole nationale superieure de l'aeronautique et de l'espace, 2005.

A. Rauzy, Mode automata and their compilation into fault trees, Reliability Engineering & System Safety, vol.78, issue.1, pp.1-12, 2002.
DOI : 10.1016/S0951-8320(02)00042-X

A. Rauzy, Guarded transition systems: A new states/events formalism for reliability studies, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.222, issue.4, pp.495-505, 2008.
DOI : 10.1016/S0951-8320(02)00042-X

H. Meng, L. Kloul, and A. Rauzy, Modeling patterns for performance analyses of offshore production systems, The Proceedings of the 27th International Ocean and Polar Engineering Conference, 2017.

J. Signoret, Y. Dutuit, P. Cacheux, C. Folleau, S. Collas et al., Make your Petri nets understandable: Reliability block diagrams driven Petri nets, Reliability Engineering & System Safety, vol.113, pp.61-75, 2013.
DOI : 10.1016/j.ress.2012.12.008

B. Aupetit, M. Batteux, A. Rauzy, and J. Roussel, Improving performances of the AltaRica 3.0 stochastic simulator, ESREL, 2015.
DOI : 10.1201/b19094-236

URL : https://hal.archives-ouvertes.fr/hal-01239379

M. Batteux and A. Rauzy, Stochastic simulation of AltaRica 3.0 models, ESREL, 2013.
DOI : 10.1201/b15938-165

A. Aamodt and E. Plaza, Case-based reasoning: Foundational issues, methodological variations, and system approaches, AI communications, vol.7, issue.1, pp.39-59, 1994.

C. Alexander, A pattern language: towns, buildings, construction, 1977.

A. Arnold, G. Point, A. Griffault, and A. Rauzy, The AltaRica formalism for describing concurrent systems, Fundam. Inform, vol.34, pp.109-124, 2000.

T. Aven, Availability evaluation of oil/gas production and transportation systems, Reliability Engineering, vol.18, issue.1, pp.35-44, 1987.
DOI : 10.1016/0143-8174(87)90050-3

T. Aven, Availability evaluation of flow networks with varying throughput-demand and deferred repair, IEEE Transactions on Reliability, vol.38, issue.4, pp.499-505, 1989.
DOI : 10.1109/24.46472

T. Aven and L. M. Pedersen, On how to understand and present the uncertainties in production assurance analyses, with a case study related to a subsea production system, Reliability Engineering & System Safety, vol.124, pp.165-170, 2014.
DOI : 10.1016/j.ress.2013.12.003

J. Barabady and T. Aven, A methodology for the implementation of production assurance programmes in production plants, Proceedings of the Institution of Mechanical Engineers, pp.283-290, 2008.
DOI : 10.1016/S0925-5273(97)00051-0

J. Barabady, T. Markeset, and U. Kumar, Review and discussion of production assurance program, International Journal of Quality & Reliability Management, vol.27, issue.6, pp.702-720, 2010.
DOI : 10.1016/j.ijpvp.2006.02.010

M. Batteux, T. Prosvirnova, and A. Rauzy, AltaRica 3.0 language specification, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01239379

M. Batteux and A. Rauzy, Stochastic simulation of AltaRica 3.0 models, Proceedings of the European Safety and Reliability Conference, ESREL, pp.1093-1100, 2013.
DOI : 10.1201/b15938-165

M. Boiteau, Y. Dutuit, A. Rauzy, and J. Signoret, The AltaRica data-flow language in use: modeling of production availability of a multi-state system, Reliability Engineering & System Safety, vol.91, issue.7, pp.91747-755, 2006.
DOI : 10.1016/j.ress.2004.12.004

URL : https://hal.archives-ouvertes.fr/hal-00182500

E. Borgonovo, M. Marseguerra, and E. Zio, A Monte Carlo methodological approach to plant availability modeling with maintenance, aging and obsolescence, Reliability Engineering & System Safety, vol.67, issue.1, pp.61-73, 2000.
DOI : 10.1016/S0951-8320(99)00046-0

M. Bouissou, Automated dependability analysis of complex systems with the KB3 workbench: the experience of EDF R&D, Proceedings of the International Conference on ENERGY and ENVIRONMENT, 2005.

M. Bouissou, N. Villatte, H. Bouhadana, and M. Bannelier, Knowledge Modelling and Reliability Processing: Presentation of the Figaro Language and Associated Tools, Safety, Security, and Reliability of Computer Based Systems : Proceedings of the IFAC/IFIP/EWICS/SRE Symposium, 1991.
DOI : 10.1016/S1474-6670(17)51368-3

M. Bozzano, A. Cimatti, O. Lisagor, C. Mattarei, S. Mover et al., Safety assessment of AltaRica models via symbolic model checking, Science of Computer Programming, vol.98, pp.464-483, 2015.
DOI : 10.1016/j.scico.2014.06.003

A. M. Breipohl, F. N. Lee, and J. Chiang, Stochastic production cost simulation, Reliability Engineering & System Safety, vol.46, issue.1, pp.101-107, 1994.
DOI : 10.1016/0951-8320(94)90052-3

R. Bri? and M. Kochaní?ková, Stochastic Petri net approach to production availability evaluation of special test case. Safety and Reliability for Managing Risk, pp.1569-1575, 2006.

F. Brissaud, D. Charpentier, M. Fouladirad, A. Barros, and C. Bérenguer, Safety instrumented system reliability evaluation with influencing factors, ESREL 2008, pp.2003-2011, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00403104

F. Brissaud, D. Charpentier, M. Fouladirad, A. Barros, and C. Bérenguer, Failure rate evaluation with influencing factors, Journal of Loss Prevention in the Process Industries, pp.187-193, 2010.
DOI : 10.1016/j.jlp.2009.07.013

URL : https://hal.archives-ouvertes.fr/hal-00533561

P. Buvry, F. Brissaud, B. Declerck, and H. Varela, Comparison of two tools for production availability analyses: MAROS and GRIF/BStok, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01107346

P. Cacheux, S. Collas, Y. Dutuit, C. Folleau, J. Signoret et al., Assessment of the expected number and frequency of failures of periodically tested systems, Reliability Engineering & System Safety, vol.118, pp.61-70, 2013.
DOI : 10.1016/j.ress.2013.04.014

K. P. Chang, D. Chang, and E. Zio, Application of Monte Carlo Simulation for the Estimation of Production Availability in Offshore Installations, Simulation Methods for Reliability and Availability of Complex Systems, pp.233-252, 2010.
DOI : 10.1007/978-1-84882-213-9_11

A. Cherfi, Toward an Efficient Generation of ISO 26262 Automotive Safety Analyses, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01206016

D. Cook and W. D. Schindel, UTILIZING MBSE PATTERNS TO ACCELERATE SYSTEM VERIFICATION, INSIGHT, vol.2014, issue.1, pp.32-41, 2017.
DOI : 10.1002/inst.12142

J. Dejean, D. Averbuch, P. Maurel, M. Gainville, S. Guet et al., FAMUS I: Risk-based Design of Offshore Oil and Gas Production System?Management of Uncertainties by Integrating Flow Assurance and Reliability Aspects into a Stochastic Petri Nets Model, Proceedings of the European Safety and Reliability Conference, 2007.

Y. Dutuit, F. Innal, A. Rauzy, and J. Signoret, Probabilistic assessments in relationship with safety integrity levels by using Fault Trees, Reliability Engineering & System Safety, vol.93, issue.12, pp.931867-1876, 2008.
DOI : 10.1016/j.ress.2008.03.024

URL : https://hal.archives-ouvertes.fr/hal-00182508

Y. Dutuit, A. Rauzy, and J. Signoret, A snapshot of methods and tools to assess safety integrity levels of high-integrity protection systems, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.222, issue.3, pp.371-379, 2008.
DOI : 10.1016/j.ress.2004.01.007

URL : https://hal.archives-ouvertes.fr/hal-00340682

S. Eisinger, S. Isaksen, Ø. Johnsen, and D. Averbuch, FAMUS II: Risk-based design of offshore oil and gas production system?management of uncertainties by integrating flow assurance and reliability aspects into a RAM model, Proceedings of the European Safety and Reliability Conference, 2007.

E. A. Elsayed, Reliability engineering, 2012.

O. Fink and E. Zio, Semi-Markov processes with semi-regenerative states for the availability analysis of chemical process plants with storage units, Proceedings of the Institution of Mechanical Engineers, pp.279-289, 2013.
DOI : 10.1109/MASCOT.2004.1348178

URL : https://hal.archives-ouvertes.fr/hal-00926320

P. Fritzson, Principles of object-oriented modeling and simulation with Modelica 2.1, 2003.
DOI : 10.1109/9780470545669

E. Gamma, Design Patterns ??? Ten Years Later, Software pioneers, pp.688-700, 2002.
DOI : 10.1007/978-3-642-59412-0_39

E. Gamma, R. Helm, R. Johnson, and J. Vlissides, Design patterns: elements of reusable object-oriented software, 1995.

X. Gao, J. Barabady, and T. Markeset, An approach for prediction of petroleum production facility performance considering Arctic influence factors, Reliability Engineering & System Safety, vol.95, issue.8, pp.95837-846, 2010.
DOI : 10.1016/j.ress.2010.03.011

M. Gudemann and F. Ortmeier, A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis, 2010 IEEE 12th International Symposium on High Assurance Systems Engineering, pp.132-141, 2010.
DOI : 10.1109/HASE.2010.24

Q. Guo, P. Xu, X. Pei, S. Wong, and D. Yao, The effect of road network patterns on pedestrian safety: A zone-based Bayesian spatial modeling approach, Accident Analysis & Prevention, vol.99, pp.114-124, 2017.
DOI : 10.1016/j.aap.2016.11.002

B. Hamid and J. Perez, Supporting pattern-based dependability engineering via model-driven development: Approach, tool-support and empirical validation, Journal of Systems and Software, vol.122, pp.239-273, 2016.
DOI : 10.1016/j.jss.2016.09.027

URL : https://hal.archives-ouvertes.fr/hal-01429691

S. Hauge, P. Hokstad, S. Håbrekke, and M. A. Lundteigen, Common cause failures in safety-instrumented systems: Using field experience from the petroleum industry, Reliability Engineering & System Safety, vol.151, pp.34-45, 2016.
DOI : 10.1016/j.ress.2015.09.018

A. Hjorteland, T. Aven, and R. Østebø, Uncertainty treatment in production assurance analyses throughout the various phases of a project, Reliability Engineering & System Safety, vol.92, issue.10, pp.921315-1320, 2007.
DOI : 10.1016/j.ress.2006.08.012

P. Hokstad, Assessment of production regularity for subsea oil/gas production systems, Reliability Engineering & System Safety, vol.20, issue.2, pp.127-146, 1988.
DOI : 10.1016/0951-8320(88)90093-2

S. Hukerikar and C. Engelmann, Resilience design patterns -a structured approach to resilience at extreme scale, 2016.
DOI : 10.2172/1338552

URL : http://arxiv.org/pdf/1611.02717

F. Innal, M. Chebila, and Y. Dutuit, Uncertainty handling in safety instrumented systems according to IEC 61508 and new proposal based on coupling Monte Carlo analysis and fuzzy sets, Journal of Loss Prevention in the Process Industries, pp.503-514, 2016.
DOI : 10.1016/j.jlp.2016.07.028

H. Jahanian, Generalizing PFD formulas of IEC 61508 for KooN configurations, ISA Transactions, vol.55, pp.168-174, 2015.
DOI : 10.1016/j.isatra.2014.07.011

T. Jiang and Y. Liu, Parameter inference for non-repairable multi-state system reliability models by multi-level observation sequences, Reliability Engineering & System Safety, vol.166, pp.3-15, 2017.
DOI : 10.1016/j.ress.2016.11.019

A. A. Jigar, Y. Liu, and M. A. Lundteigen, Spurious activation analysis of safety-instrumented systems, Reliability Engineering & System Safety, vol.156, pp.15-23, 2016.
DOI : 10.1016/j.ress.2016.06.015

H. Jin, M. A. Lundteigen, R. , and M. , Uncertainty assessment of reliability estimates for safety-instrumented systems, Proceedings of the Institution of Mechanical Engineers, Part O: Journal of Risk and Reliability, vol.223, issue.6, pp.646-655, 2012.
DOI : 10.1109/RAMS.2010.5447972

H. Jin and M. Rausand, Reliability of safety-instrumented systems subject to partial testing and common-cause failures, Reliability Engineering & System Safety, vol.121, pp.146-151, 2014.
DOI : 10.1016/j.ress.2013.08.006

N. Kajtazovic, C. Preschern, A. Höller, and C. Kreiner, Towards pattern-based reuse in safety-critical systems, Proceedings of the 19th European Conference on Pattern Languages of Programs, EuroPLoP '14, 2014.
DOI : 10.1109/MS.2011.27

Y. Kawauchi and M. Rausand, A new approach to production regularity assessment in the oil and chemical industries, Reliability Engineering & System Safety, vol.75, issue.3, pp.379-388, 2002.
DOI : 10.1016/S0951-8320(01)00130-2

C. Kehren, Motifs formels d'architectures de systèmes pour la sûreté de fonctionnement Ecole nationale superieure de l'aeronautique et de l'espace, 2005.

M. Khalil, A. Prieto, and F. Hölzl, A Pattern-Based Approach towards the Guided Reuse of Safety Mechanisms in the Automotive Domain, Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014 Proceedings, pp.137-151, 2014.
DOI : 10.1007/978-3-319-12214-4_11

H. Kim and P. Kim, Reliability models for a nonrepairable system with heterogeneous components having a phase-type time-to-failure distribution, Reliability Engineering & System Safety, vol.159, pp.37-46, 2017.
DOI : 10.1016/j.ress.2016.10.019

L. Kloul, T. Prosvirnova, and A. Rauzy, Modeling systems with mobile components: a comparison between AltaRica and PEPA nets, Proceedings of the Institution of Mechanical Engineers, pp.599-613, 2013.
DOI : 10.1109/49.64901

M. Kumar, A. K. Verma, and A. Srividya, Modeling demand rate and imperfect proof-test and analysis of their effect on system safety, Reliability Engineering & System Safety, vol.93, issue.11, pp.1720-1729, 2008.
DOI : 10.1016/j.ress.2007.12.001

G. Levitin, L. Podofillini, and E. Zio, Generalised importance measures for multi-state elements based on performance level restrictions, Reliability Engineering & System Safety, vol.82, issue.3, pp.287-298, 2003.
DOI : 10.1016/S0951-8320(03)00171-6

G. Levitin, L. Xing, and Y. Dai, Minimum Mission Cost Cold-Standby Sequencing in Non-Repairable Multi-Phase Systems, IEEE Transactions on Reliability, vol.63, issue.1, pp.251-258, 2014.
DOI : 10.1109/TR.2014.2299192

M. Lipaczewski, F. Ortmeier, T. Prosvirnova, A. Rauzy, and S. Struck, Comparison of modeling formalisms for Safety Analyses: SAML and AltaRica, Reliability Engineering & System Safety, vol.140, pp.191-199, 2015.
DOI : 10.1016/j.ress.2015.03.038

Y. Liu and C. Chen, Dynamic Reliability Assessment for Nonrepairable Multistate Systems by Aggregating Multilevel Imperfect Inspection Data, IEEE Transactions on Reliability, vol.66, issue.2, pp.281-297, 2017.
DOI : 10.1109/TR.2016.2645840

Y. Liu and M. Rausand, Reliability effects of test strategies on safety-instrumented systems in different demand modes, Reliability Engineering & System Safety, vol.119, pp.235-243, 2013.
DOI : 10.1016/j.ress.2013.06.035

Y. Liu and M. Rausand, Proof-testing strategies induced by dangerous detected failures of safety-instrumented systems, Reliability Engineering & System Safety, vol.145, pp.366-372, 2016.
DOI : 10.1016/j.ress.2015.06.016

A. E. Longhi, A. A. Pessoa, . De-almada, and P. A. Garcia, Multiobjective optimization of strategies for operation and testing of low-demand safety instrumented systems using a genetic algorithm and fault trees, Reliability Engineering & System Safety, vol.142, pp.525-538, 2015.
DOI : 10.1016/j.ress.2015.06.010

M. A. Lundteigen and M. Rausand, Common cause failures in safety instrumented systems on oil and gas installations: Implementing defense measures through function testing, Journal of Loss Prevention in the process industries, pp.218-229, 2007.
DOI : 10.1016/j.jlp.2007.03.007

M. A. Lundteigen and M. Rausand, Spurious activation of safety instrumented systems in the oil and gas industry: Basic concepts and formulas, Reliability Engineering & System Safety, vol.93, issue.8, pp.1208-1217, 2008.
DOI : 10.1016/j.ress.2007.07.004

S. Mannan, Lees' Loss prevention in the process industries: Hazard identification, assessment and control, 2005.

H. Meng, L. Kloul, and A. Rauzy, Production availability modelling of FPSO system using stochastic Petri nets, Safety and Reliability of Complex Engineered Systems: ESREL 2015, pp.2271-2279, 2015.

H. Meng, L. Kloul, and A. Rauzy, Modeling patterns for performance analyses of offshore production systems, The Proceedings of the 27th International Ocean and Polar Engineering Conference. International Society of Offshore and Polar Engineers, pp.1199-1205, 2017.

H. Meng, L. Kloul, and A. Rauzy, A pattern-based methodology for reliability assessment of safety instrumented systems, 2017 IEEE International Systems Engineering Symposium (ISSE), 2017.
DOI : 10.1109/SysEng.2017.8088322

F. Mhenni, N. Nguyen, C. , and J. , SafeSysE: A Safety Analysis Integration in Systems Engineering Approach, IEEE Systems Journal, pp.1-12, 2016.
DOI : 10.1109/JSYST.2016.2547460

URL : https://hal.archives-ouvertes.fr/hal-01589519

M. Morel, Model-Based Safety Approach for Early Validation of Integrated and Modular Avionics Architectures, Model-Based Safety and Assessment: 4th International Symposium Proceedings, pp.57-69, 2014.
DOI : 10.1007/978-3-319-12214-4_5

M. Naseri, P. Baraldi, M. Compare, and E. Zio, Availability assessment of oil and gas processing plants operating under dynamic Arctic weather conditions, Reliability Engineering & System Safety, vol.152, pp.66-82, 2016.
DOI : 10.1016/j.ress.2016.03.004

L. F. Oliveira and R. N. Abramovitch, Extension of ISA TR84. 00.02 PFD equations to KooN architectures, Reliability Engineering & System Safety, issue.7, pp.95707-715, 2010.

Y. Papadopoulos and J. A. Mcdermid, Hierarchically Performed Hazard Origin and Propagation Studies, Proceedings of 18th International Conference on Computer Safety, Reliability and Security, SAFECOMP'99, pp.139-152, 1999.
DOI : 10.1007/3-540-48249-0_13

URL : http://www.dcs.hull.ac.uk/people/cssyp/publications/1999c-SAFECOMP.pdf

Y. Papadopoulos, M. Walker, D. Parker, E. Rüde, R. Hamann et al., Engineering failure analysis and design optimisation with HiP-HOPS, Engineering Failure Analysis, vol.18, issue.2, pp.590-608, 2011.
DOI : 10.1016/j.engfailanal.2010.09.025

G. Point and A. Rauzy, AltaRica: Constraint automata as a description language, Journal européen des systèmes automatisés, vol.33, pp.8-91033, 1999.

C. Preschern, N. Kajtazovic, A. Höller, and C. Kreiner, Pattern-based safety development methods, Proceedings of the 19th European Conference on Pattern Languages of Programs, EuroPLoP '14, 2014.
DOI : 10.1007/3-540-45416-0_18

C. Preschern, N. Kajtazovic, and C. Kreiner, Building a safety architecture pattern system, Proceedings of the 18th European Conference on Pattern Languages of Program, EuroPLoP '13, 2013.
DOI : 10.1109/ISME.2010.200

T. Prosvirnova, AltaRica 3.0: a Model-Based approach for Safety Analyses, 2014.
DOI : 10.1201/b15938-169

URL : https://hal.archives-ouvertes.fr/tel-01119730

T. Prosvirnova, M. Batteux, P. Brameret, A. Cherfi, T. Friedlhuber et al., The AltaRica 3.0 project for model-based safety assessment, Proceedings of 4th IFAC Workshop on Dependable Control of Discrete Systems, DCDS, pp.127-132, 2013.
DOI : 10.1201/b15938-169

M. Rahimi and M. Rausand, Monitoring human and organizational factors influencing common-cause failures of safety-instrumented system during the operational phase, Reliability Engineering & System Safety, vol.120, pp.10-17, 2013.
DOI : 10.1016/j.ress.2013.03.004

A. L. Ramos, J. V. Ferreira, and J. Barceló, Model-Based Systems Engineering: An Emerging Approach for Modern Systems, IEEE Transactions on Systems, Man, and Cybernetics, Part C (Applications and Reviews), vol.42, issue.1, pp.101-111, 2012.
DOI : 10.1109/TSMCC.2011.2106495

N. Ramzali, M. R. Lavasani, and J. Ghodousi, Safety barriers analysis of offshore drilling system by employing Fuzzy Event Tree Analysis, Safety Science, vol.78, pp.49-59, 2015.
DOI : 10.1016/j.ssci.2015.04.004

M. Rausand, Risk assessment: Theory, methods, and applications, 2011.
DOI : 10.1002/9781118281116

M. Rausand, Reliability of Safety-Critical Systems: Theory and Applications, 2014.
DOI : 10.1002/9781118776353

M. Rausand and A. Høyland, System reliability theory: models, statistical methods, and applications, 2004.
DOI : 10.1002/9780470316900

A. Rauzy, Mode automata and their compilation into fault trees, Reliability Engineering & System Safety, vol.78, issue.1, pp.1-12, 2002.
DOI : 10.1016/S0951-8320(02)00042-X

A. Rauzy, An experimental study on iterative methods to compute transient solutions of large Markov models, Reliability Engineering & System Safety, vol.86, issue.1, pp.105-115, 2004.
DOI : 10.1016/j.ress.2004.01.007

A. Rauzy, Guarded transition systems: A new states/events formalism for reliability studies, Proceedings of the Institution of Mechanical Engineers, pp.495-505, 2008.
DOI : 10.1016/S0951-8320(02)00042-X

M. Schönbeck, M. Rausand, and J. And-rouvroye, Human and organisational factors in the operational phase of safety instrumented systems: A new approach, Safety Science, vol.48, issue.3, pp.310-318, 2010.
DOI : 10.1016/j.ssci.2009.11.005

S. Sharvia and Y. Papadopoulos, Integrating model checking with HiP-HOPS in model-based safety analysis, Reliability Engineering & System Safety, vol.135, pp.64-80, 2015.
DOI : 10.1016/j.ress.2014.10.025

J. Signoret, SAFERELNET?Production Availability Test Case Version 1, Document of TOTAL?DGEP, pp.4-013, 2000.

J. Signoret, Production availability editor, Safety and Reliability of Industrial Products, Systems and Structures, 2010.

J. Signoret, Petri nets modelling and calculations for RAM and SIL analyses, Maritime Technology and Engineering, 2012.

J. Signoret, Y. Dutuit, P. Cacheux, C. Folleau, S. Collas et al., Make your Petri nets understandable: Reliability block diagrams driven Petri nets, Reliability Engineering & System Safety, vol.113, pp.61-75, 2013.
DOI : 10.1016/j.ress.2012.12.008

S. Sklet, Safety barriers: Definition, classification, and performance. Journal of loss prevention in the process industries, pp.494-506, 2006.
DOI : 10.1016/j.jlp.2005.12.004

M. Stamatelatos, W. Vesely, J. Dugan, J. Fragola, J. Minarick et al., Fault tree handbook with aerospace applications, 2002.

B. Stroustrup, Programming: principles and practice using C++, 2009.

T. Sun, Production Availability Analysis-Implications on Modelling due to Subsea Conditions, 2017.

A. Taivalsaari, J. Noble, M. , and I. , Prototype-Based Programming: Concepts, Languages, and Applications, 1999.

A. Torres-echeverria, S. Martorell, and H. Thompson, Modelling and optimization of proof testing policies for safety instrumented systems, Reliability Engineering & System Safety, vol.94, issue.4, pp.838-854, 2009.
DOI : 10.1016/j.ress.2008.09.006

A. Torres-echeverria, S. Martorell, and H. Thompson, Modeling safety instrumented systems with MooN voting architectures addressing system reconfiguration for testing, Reliability Engineering & System Safety, vol.96, issue.5, pp.545-563, 2011.
DOI : 10.1016/j.ress.2010.12.003

A. Verma, S. D. Khan, J. Maiti, K. , and O. , Identifying patterns of safety related incidents in a steel plant using association rule mining of incident investigation reports, Safety Science, vol.70, pp.89-98, 2014.
DOI : 10.1016/j.ssci.2014.05.007

W. E. Vesely, F. F. Goldberg, N. H. Roberts, and D. F. Haasl, Fault tree handbook, 1981.

A. H. Vesteraas, Comparison of methods and software tools for availability assessment of production systems, 2008.

H. Zhang, F. Innal, F. Dufour, and Y. Dutuit, Piecewise Deterministic Markov Processes based approach applied to an offshore oil production system, Reliability Engineering & System Safety, vol.126, pp.126-134, 2014.
DOI : 10.1016/j.ress.2014.01.016

URL : https://hal.archives-ouvertes.fr/hal-00961512

E. Zio, Reliability engineering: Old problems and new challenges, Reliability Engineering & System Safety, vol.94, issue.2, pp.125-141, 2009.
DOI : 10.1016/j.ress.2008.06.002

URL : https://hal.archives-ouvertes.fr/hal-00610053

E. Zio, The Monte Carlo Simulation Method for System Reliability and Risk Analysis Series in Reliability Engineering, 2013.

E. Zio, P. Baraldi, and E. Patelli, Assessment of the availability of an offshore installation by Monte Carlo simulation, International Journal of Pressure Vessels and Piping, vol.83, issue.4, pp.312-320, 2006.
DOI : 10.1016/j.ijpvp.2006.02.010

E. Zio, M. Marella, and L. Podofillini, A Monte Carlo simulation approach to the availability assessment of multi-state systems with operational dependencies, Reliability Engineering & System Safety, vol.92, issue.7, pp.871-882, 2007.
DOI : 10.1016/j.ress.2006.04.024