. De-plus and . Le-système-considéré-Était-multi, La modélisation GBDMP a également permis de prendre en compte la perte des stratégies de reconguration due aux défaillances de l'architecture opérationnelle de CC. Les capacités de modélisation des GBDMP ont ainsi permis de qualier et de quantier la SdF du système bouclé, c'est à dire en prenant en compte dans l'étude non seulement la partie procédé mais aussi la partie CC

. Bibliographie and . Iee, IEEE Standard Glossary of Software Engineering Terminology, IEEE Std, vol.610, pp.12-1990, 1990.

C. Abadi, M. Abadi, and L. Cardelli, A theory of objects, 1996.
DOI : 10.1007/978-1-4419-8598-9

[. Marsan, Modelling with Generalized Stochastic Petri Nets, ACM SIGMETRICS Performance Evaluation Review, vol.26, issue.2, 1994.
DOI : 10.1145/288197.581193

. Alcaraz-mejia, Fault recovery of manufacturing systems based on controller reconguration, Proc. IEEE/SMC International Conference on System of Systems Engineering, 2006.

M. Andrews, J. Andrews, and T. Moss, reliability and Risk Assessment, 1993.

. Batteux, The AltaRica 3.0 project for model-based safety assessment, 2013 11th IEEE International Conference on Industrial Informatics (INDIN), pp.741-746, 2013.
DOI : 10.1109/INDIN.2013.6622976
URL : https://hal.archives-ouvertes.fr/hal-01239379

. Benazouz, . Faure, M. Benazouz, and J. Faure, Safety-Level Aware Bin-Packing Approach for Control Functions Assignment, The 15th IFAC Symposium on Information Control Problems, 2015.
DOI : 10.1016/j.ifacol.2015.06.132
URL : https://hal.archives-ouvertes.fr/hal-01155164

C. Berge, Graphs et Hypergraphs, 1973.

. Birnbaum, Multicomponent systems and structures and their reliability, Technometrics, vol.3, issue.1, p.5577, 1961.

. Blodget, A lightweight approach for embedded reconguration of FPGAs, Proc. Design, Automation and Test in Europe Conference and Exhibition (DATE'2003), p.399400, 2003.

R. Bobbio, A. Bobbio, and D. Raiteri, Parametric fault trees with dynamic gates and repair boxes, Annual Symposium Reliability and Maintainability, 2004, RAMS, p.459465, 2004.
DOI : 10.1109/RAMS.2004.1285491

. Bon, J. Collet-]-bon, and J. Collet, An algorithm in order to implement reliability exponential approximations, Reliability Engineering & System Safety, vol.43, issue.3, p.43263268, 1994.
DOI : 10.1016/0951-8320(94)90030-2

. Boudali, . Dugan, H. Boudali, and J. Dugan, A discrete-time Bayesian network reliability modeling and analysis framework, Reliability Engineering & System Safety, vol.87, issue.3, p.337349, 2005.
DOI : 10.1016/j.ress.2004.06.004

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, p.149163, 2003.
DOI : 10.1016/S0951-8320(03)00143-1

. Bouissou, Knowledge modelling and reliability processing : Presentation of the FIGARO language and associated tools, Proc. 10th International Conference on Computer Safety, Reliability and Security (SafeComp'91), p.6975, 1991.

D. Bouissou and Y. Dutuit, Reliability analysis of a dynamic phased mission system, Proc. Mathematical Methods in Reliability, 2004.

L. Bouissou and Y. Lefebvre, A pathbased algorithm to evaluate asymptotic unavailability for large markov models, Proc. Reliability and Maintainability Symposium, p.3239, 2002.

P. Brameret, Assessment of reliability indicators from automatically generated partial Markov chains, 2015.
URL : https://hal.archives-ouvertes.fr/tel-01230869

. Brameret, Automated generation of partial Markov chain from high level descriptions, Reliability Engineering & System Safety, p.179187, 2015.
DOI : 10.1016/j.ress.2015.02.009
URL : https://hal.archives-ouvertes.fr/hal-01238630

R. Bryant, Graph-Based Algorithms for Boolean Function Manipulation, IEEE Transactions on Computers, vol.35, issue.8, p.677691, 1986.
DOI : 10.1109/TC.1986.1676819

. Burdick, Phased Mission Analysis: A Review of New Developments and An Application, IEEE Transactions on Reliability, vol.26, issue.1, p.4349, 1977.
DOI : 10.1109/TR.1977.5215072

. Cancila, SOPHIA : a modeling language for model-based safety engineering, Proc. Model-based Architecting of Cyber-Physical and Embedded Systems (ACES-MB 2009), p.1125, 2009.

. Carer, A new method for reliability assessment of electrical power supplies with standby redundancies, Proc. 7th International Conference on Probabilistic Methods Applied to Power Systems (PMAPS), 2002.

P. Chaux, Formalisation de la cohérence et calcul des Séquences de Coupe Minimales pour les systèmes binaires dynamiques réparables, 2013.

. Chaux, Systematic extraction of minimal cut sequences from a BDMP model, Proc. 21th European Safety & Reliability Conference (ESREL'12), Helsinki (Finland). session 16B, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00782735

. Chaux, Qualitative analysis of a bdmp by nite automaton, Proc. 20th European Safety & Reliability Conference (ESREL'11), p.20552057, 2011.

. Chaux, Towards an unied denition of minimal cut sequences, Proc. 4th International Workshop on Dependable Control of Discrete Systems, 2013.

D. Codetta-raiteri-]-codetta-raiteri, The Conversion of Dynamic Fault Trees to Stochastic Petri Nets, as a case of Graph Transformation, Electronic Notes in Theoretical Computer Science, vol.127, issue.2, p.4560, 2005.
DOI : 10.1016/j.entcs.2005.02.005

L. Crow, Reliability Analysis for Complex, Repairable Systems, 1975.

. David, Reliability study of complex physical systems using SysML, Reliability Engineering & System Safety, vol.95, issue.4, p.431450, 2010.
DOI : 10.1016/j.ress.2009.11.015
URL : https://hal.archives-ouvertes.fr/hal-00528802

E. Dijkstra, A note on two problems in connexion with graphs, Numerische Mathematik, vol.4, issue.1, p.269271, 1959.
DOI : 10.1007/BF01386390

L. Distefano, S. Distefano, and X. Liudong, A new approach to modeling the system reliability: dynamic reliability block diagrams, RAMS '06. Annual Reliability and Maintainability Symposium, 2006., p.189195, 2006.
DOI : 10.1109/RAMS.2006.1677373

. Dugan, Dynamic fault-tree models for fault-tolerant computer systems, IEEE Transactions on Reliability, vol.41, issue.3, p.41363377, 1992.
DOI : 10.1109/24.159800

. Dugan, Fault trees and Markov models for reliability analysis of fault-tolerant digital systems, Reliability Engineering & System Safety, vol.39, issue.3, p.291307, 1993.
DOI : 10.1016/0951-8320(93)90005-J

. Dugan, Fault trees and sequence dependencies, Annual Proceedings on Reliability and Maintainability Symposium, p.286293, 1990.
DOI : 10.1109/ARMS.1990.67971

[. Rao, Dynamic Fault Tree analysis using, 2009.

. Faraut, Control law synthesis and reconguration using SCT, Proc. Conference on Control and Fault- Tolerant Systems, p.576581, 2010.

R. Feiler, P. Feiler, and A. Rugina, Dependability modeling with the Architecture Analysis & Design Language (AADL), 2007.

. Fourneau, Censoring Markov Chains and Stochastic Bounds, Formal Methods and Stochastic Models for Performance Evaluation, p.213227, 2007.
DOI : 10.1007/978-3-540-75211-0_16

M. Fukuda, Reliability and degradation of semiconductor lasers and LEDs, 1991.

J. Fussell, Fault Tree Analysis ??? Concepts and Techniques, Generic Techniques In Systems Reliability Assessment, p.133162, 1976.
DOI : 10.1007/978-94-010-1553-0_13

. Gansner, . North, E. Gansner, and S. North, An open graph visualization system and its applications to software engineering. Software -Practice and Experience, p.3012031233, 2000.

. Garrett, The Dynamic Flowgraph Methodology for assessing the dependability of embedded software systems, IEEE Transactions on Systems, Man and Cybernetics, vol.25, issue.5, p.824840, 1995.

[. Berlanga, A contribution to the validation of operating mode switching: application to satellite, Proc. 17th IFAC World Congress, pp.6566-6571, 2008.
DOI : 10.3182/20080706-5-KR-1001.01107
URL : https://hal.archives-ouvertes.fr/hal-00375932

F. Ortmeier, A Framework for Qualitative and Quantitative Formal Model-Based Safety Analysis, Proc. IEEE 12th International Symposium on High-Assurance Systems Engineering, p.132141, 2010.

. Joshi, Automatic generation of Fault Trees from AADL models, Proc. Dependable Systems Networks : Workshop on Architecting Dependable Systems (DSN-WADS 2007), 2007.

. Joshi, Model-Based Safety Analysis, 2006.

T. Lemattre, Allocation de fonctions de commande de systèmes critiques par recherche d'atteignabilité dans un réseau d'automates communicants, 2013.

. Lisnianski, . Levitin, A. Lisnianski, and G. Levitin, Multi-state system reliability : assessment, optimization and applications, World Scientic, vol.6, 2003.
DOI : 10.1142/5221

. Liu, Quantication of cut sequence set for fault tree analysis, High performance computing and communications, p.755765, 2007.

A. Markov, Extension of the limit theorems of probability theory to a sum of variables connected in a chain, Dynamic Probabilistic Systems (Volume I : Markov Models), p.552577, 1971.

. Marseguerra, A concept paper on dynamic reliability via Monte Carlo simulation, Mathematics and Computers in Simulation, vol.47, issue.2-5, pp.2-5371382, 1998.
DOI : 10.1016/S0378-4754(98)00112-8

A. Meduna, Automata and languages : theory and applications, 2012.
DOI : 10.1007/978-1-4471-0501-5

. Meister, . Persoz, E. Meister, and M. Persoz, Contribution de la mécanique probabiliste à l'intégrité des cuves des réacteurs nucléaires, Revue Française de Mécanique (RFM), vol.4, p.247252, 2000.

. Merle, Algebraic determination of the structure function of Dynamic Fault Trees, Reliability Engineering & System Safety, vol.96, issue.2, p.267277, 2011.
DOI : 10.1016/j.ress.2010.10.001
URL : https://hal.archives-ouvertes.fr/hal-00536000

. Meshkat, Dependability analysis of systems with on-demand and active failure modes, using dynamic fault trees, IEEE Transactions on Reliability, vol.51, issue.2, p.240251, 2002.
DOI : 10.1109/TR.2002.1011531

M. Molloy, Performance Analysis Using Stochastic Petri Nets, IEEE Transactions on Computers, vol.31, issue.9, p.913917, 1982.
DOI : 10.1109/TC.1982.1676110

E. Moore, Gedanken-Experiments on Sequential Machines, Annals of Mathematical Studies, vol.34, p.129153, 1956.
DOI : 10.1515/9781400882618-006

S. Moore, E. Moore, and C. Shannon, Reliable circuits using less reliable relays, Journal of the Franklin Institute, vol.262, issue.4, p.281297, 1956.

. Muntz, Bounding availability of repairable computer systems, IEEE Transactions on Computers, issue.12, p.3817141723, 1989.

T. Murata, Petri nets: Properties, analysis and applications, Proceedings of the IEEE, p.541580, 1989.
DOI : 10.1109/5.24143

. Nasri, An integer coded genetic algorithm based on a replacement procedure for designing operational control architectures of critical systems, 2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA), 2015.
DOI : 10.1109/ETFA.2015.7301428
URL : https://hal.archives-ouvertes.fr/hal-01271944

. Nke, Y. Lunze-]-nke, and J. Lunze, Online control reconguration for a faulty manufacturing process, Proc. 3rd International Workshop on Dependable Control of Discrete Systems, p.1924, 2011.

. Noble, Prototype-Based Programming : Concepts, Languages and Applications, 1999.

. Paoli, Active fault tolerant control of discrete event systems using online diagnostics, Automatica, vol.47, issue.4, pp.47639-649, 2011.
DOI : 10.1016/j.automatica.2011.01.007

. Papadopoulos, Engineering failure analysis and design optimisation with HiP-HOPS, Engineering Failure Analysis, vol.18, issue.2, p.590608, 2011.
DOI : 10.1016/j.engfailanal.2010.09.025

L. Pietre-cambacedes and M. Bouissou, Attack and Defense Modeling with BDMP, Computer Network Security, p.86101, 2010.
DOI : 10.1007/978-3-642-14706-7_7

. Pietre-cambacedes, Security Modeling with BDMP: From Theory to Implementation, 2011 Conference on Network and Information Systems Security, 2011.
DOI : 10.1109/SAR-SSI.2011.5931382

. Piriou, A metamodel to support the integration of dependability concerns into Systems Engineering processes : an example from power production, IEEE Systems Journal, issue.99, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01059913

. Piriou, Modeling standby redundancies in repairable systems as guarded preemption mechanisms, Proc. 5th International Workshop on Dependable Control of Discrete Systems, p.147153, 2015.
DOI : 10.1016/j.ifacol.2015.06.486
URL : https://hal.archives-ouvertes.fr/hal-01160824

T. Prosvirnova, AltaRica 3.0 : une approche orientée modèles pour la Sûreté de Fonctionnement, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01119730

. Prosvirnova, GraphXica, Proc. 22th European Safety & Reliability Conference (ESREL'13), 2013.
DOI : 10.1201/b15938-171

M. Puterman, Markov Decision Processes : discrete stochastic dynamic programming, 2014.
DOI : 10.1002/9780470316887

A. Rauzy, Mathematical foundations of minimal cutsets, IEEE Transactions on Reliability, vol.50, issue.4, p.389396, 2001.
DOI : 10.1109/24.983400

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, p.495505, 2008.
DOI : 10.1243/1748006XJRR177

A. Rauzy, Sequence Algebra, Sequence Decision Diagrams and Dynamic Fault Trees, Reliability Engineering & System Safety, vol.96, issue.7, p.785792, 2011.
DOI : 10.1016/j.ress.2011.02.005

M. Ridoux, AMDEC -moyen, Techniques de l'Ingénieur, 1999.

S. Ruijters, E. Ruijters, and M. Stoelinga, Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools, Computer Science Review, vol.15, issue.16, 2014.
DOI : 10.1016/j.cosrev.2015.03.001

K. Schmidt, Computation of supervisors for recongurable machine tools. Discrete Event Dynamic Systems, p.125158, 2015.

W. Stewart, Introduction to the numerical solution of Markov chains, 1994.

D. Tang, Z. Tang, and J. Dugan, Minimal Cut Set/Sequence generation for Dynamic Fault Trees, Proc. Reliability and Maintainability Symposium, p.207213, 2004.

Y. Papadopoulos, Qualitative temporal analysis : Towards a full implementation of the Fault Tree Handbook, Control Engineering Practice, vol.17, issue.10, p.11151125, 2009.

. Xiang, Automatic Synthesis of Static Fault Trees from System Models, 2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, p.127136, 2011.
DOI : 10.1109/SSIRI.2011.32