P. David, V. Idasiak, and F. Kratz, Reliability Study of Complex Physical Systems Using SysML. Reliability Engineering and System Safety, vol.95, pp.431-450, 2010.
URL : https://hal.archives-ouvertes.fr/hal-00528802

. Verein-deutscher-ingenieure, Design Methodology for Mechatronic Systems, 2004.

M. Bozzano and A. Villafiorita, Integrating Fault Tree Analysis with Event Ordering Information, Safety and Reliability: Proceedings of the ESREL 2003 Conference, pp.15-18, 2003.

J. Meinadier, Ingénierie et Intégration des Systèmes, Editions Hermès, 1998.

N. Leveson, O. Hammami, and J. Voirin, Complex Systems Design and Management, Proceeding of the Second International Conference on Complex Systems Design and Management CSDM 2011, pp.27-39, 2011.

, Society of Automotive Engineers International. Guidelines for Development of Civil Aircraft and Systems, 2010.

R. Guillerm, Intégration de la Sûreté de Fonctionnement dans les Processus de l'Ingénierie Système, 2011.

J. Schlager, Systems Engineering: Key to Modern Development, IRE Transaction on Engineering Management, 1956.

A. Hall, A Methodology for Systems Engineering, 1962.

A. Sage, Systems Engineering, 1992.
URL : https://hal.archives-ouvertes.fr/hal-01704863

, Electronic Industries Alliance. EIA-632 -Processes for Engineering a System, 1999.

. Incose-resp-group, Genesis of INCOSE, 2004.

H. Eisner, Essentials of Project and Systems Engineering Management, 2002.

K. Forsberg and H. Mooz, Visualizing Project Management: Models and Frameworks for Mastering Complex Systems. Proceeding of the 1991 INCOSE Symposium

K. Forsberg and H. Mooz, Proceedings of the 9th Annual International Symposium of the INCOSE 1998, pp.1-8, 1998.

J. Estefan, Survey of Model-Based Systems Engineering Methodologies, Rev. B. INCOSE MBSE Initiative, 2008.

, Les 3 Grandes Familles de Processus: Management

, Association Française d'Ingénierie Système, AFIS

F. Schneider and B. Berenbach, A Literature Survey on International Standards for Systems Requirements Engineering, Procedia Computer Science, vol.16, issue.0, pp.796-805, 2013.

F. Mhenni, Safety Analysis Integration in a Systems Engineering Approach for Mechatronic Systems Design, 2014.
URL : https://hal.archives-ouvertes.fr/tel-01132906

, Standard for Application and Management of the Systems Engineering Process, IEEE Computer Society, 1999.

, Electronic Industries Alliance. Processes for Engineering a System, p.632, 1998.

. Incose and . Incose, Systems Engineering Handbook: A Guide for System Life Cycle Processes and Activities. International Council of Systems Engineering, 2006.

D. Buede, The Engineering Design of Systems: Models and Methods, 2009.

, Object Management Group, Systems Modeling Language (SysML)

M. Héon, J. Basque, and G. Paquette, Validation de la Sémantique d'un Modèle Semi-Formel de Connaissances avec Onto Case, 21èmes Journées Francophones d'Ingénierie des Connaissances, 2010.

N. Belloir, J. Bruel, N. Hoang, and C. Pham, Utilisation de SysML pour la Modélisation des Réseaux de Capteurs, Actes de la Conférence Langages et Modèles à Objets (LMO 08), 2008.

E. Adrianarison and J. Piques, SysML for Embedded Automotive Systems: A Practical Approach, Embedded Real Time Software and Systems ERTS 2010, 2010.

D. Chapon and G. Bouchez, On the Link between Architectural Description Models and Modelica Analyses Models, Proceedings 7th Modelica Conference, 2009.

C. A. Ericson and I. I. , Hazard Analysis Techniques for System Safety, pp.1-528, 2005.

E. Balz and J. Goll, Use Case-Based Fault Tree Analysis of Safety Related Embedded Systems, Proceedings Software Engineering and Applications, 2005.

N. Xiao, H. Huang, Y. He, and T. Jin, Multiple Failure Modes Analysis and Weighted Risk Priority Number Evaluation in FMEA, Engineering Failure Analysis, vol.18, pp.1162-1170, 2011.

B. Bertsche, Reliability in Automotive and Mechanical Engineering, 2008.

C. Pagetti, Sûreté de Fonctionnement, 2012.

E. Ruijtersy and M. Stoelinga, Fault Tree Analysis: A survey of the State-of-the-Art in Modeling, Computer Science Review, pp.29-62, 2015.

A. Talon, D. Boissier, and L. Peyras, Analyse de Risques : Identification et Estimation: Démarches d'Analyse de Risques -Méthodes Qualitatives d'Analyse de Risques, 2009.

H. Xu, L. Xing, and R. Robidoux, Dynamic Reliability Block Diagrams for System Reliability Modeling, International Journal of Computers and Applications, vol.31, p.202, 2009.

M. Rausand and A. Hoyland, System Reliability Theory-Models, Statistical Methods, and Applications, 2008.

, Society of Automotive Engineers International. Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and Equipment, 1996.

, The International Electrotechnical Commission. Functional Safety of Electrical/Electronic/Programmable Electronic Safety-Related systems

P. Helle, Automatic SysML-based Safety Analysis, Proceedings of the 5th International Workshop on Model Based Architecting and Construction of Embedded Systems, 2012.

M. Bozzano, A. Cavallo, M. Cifaldi, L. Valacca, and A. Villafiorita, Improving Safety Assessment of Complex Systems: An Industrial Case Study, Proceedings of Formal Methods, pp.208-222, 2003.

M. Bozzano and A. Villafiorita, Integrating Fault Tree Analysis with Event Ordering Information, Proceedings of ESREL 2003, pp.15-18, 2003.

M. Bozzano and A. Villafiorita, Improving System Reliability via Model Checking: the FSAP / NuSMV-SA Safety Analysis Platform, Proceedings of SAFECOMP 2003, pp.23-26, 2003.

. Fsap/nusmv-sa,

J. Bechta, B. Dugan, K. Sullivan, and D. Coppit, Developing a High-Quality Software Tool for Fault Tree Analysis, Proceedings of the International Symposium on Software Reliability Engineering, pp.1-4, 1999.

K. Sullivan, J. Dugan, and D. Coppit, The Galileo Fault Tree Analysis Tool, Proceedings of the 29th Annual International Symposium on Fault-Tolerant Computing, pp.15-18, 1999.

J. Bechta, B. Dugan, B. Venkataraman, and R. Gulati, DIFTree: A Software Package for the Analysis of Dynamic Fault Tree Models, Annual Reliability and Maintainability Symposium, pp.13-16, 1997.

Y. Papadopoulos and J. Mcdermid, HiP -HOPS: Hierarchically Performed Hazard Origin and Propagation Studies, SAFECOMP '99, Toulouse, vol.1698, pp.139-152, 1999.

G. Point, Alta-Rica: Contribution à l'Unification des Méthodes Formelles et de la Sûreté de Fonctionnement, 2000.

A. Arnold, A. Griffault, G. Point, and A. Rauzy, The AltaRica Language and Its Semantics, Fundamenta Informaticae, vol.34, pp.109-124, 2000.

P. Bieber, C. Castel, and C. Seguin, Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System, Proceedings Fourth European Dependable Computing Conference (EDCC4), pp.19-31, 2002.

A. Garro and A. Tundis, Enhancing the RAMSAS Method for System Reliability Analysis: An Exploitation in the Automotive Domain, Proceedings of the 2 nd International Conference on Simulation and Modeling Methodologies, Technologies and Applications, pp.28-31, 2012.

A. Garro and A. Tundis, Modeling and Simulation for System Reliability Analysis: The RAMSAS Method, Proceedings of the 7th IEEE International Conference on System of Systems Engineering, pp.16-19, 2012.

A. Garro, J. Groß, M. -r.-gen, A. Richter, and . Tundis, Experimenting the RAMSAS Method in the Reliability Analysis of an Attitude Determination and Control System (ADCS), Proceedings of the Int. Workshop on Applied Modeling and Simulation (WAMS 2012), jointly held with the NATO CAX FORUM, pp.24-27, 2012.

A. Garro, J. Groß, M. Gen, A. Richter, and . Tundis, Reliability Analysis of an Attitude Determination and Control System (ADCS) through the RAMSAS method, Journal of Computational Science, vol.5, issue.3, pp.439-449, 2014.

A. Garro and A. Tundis, Enhancing the RAMSAS Method for Systems Reliability Analysis through Modelica, Proceedings of the 7th Workshop on Model-Based Product Development (MODPROD 2013), pp.5-6, 2013.

A. Garro and A. Tundis, RAMSAS4Modelica: a Simulation-driven Method for System Dependability Analysis Centered on the Modelica Language and Related Tools, Proceedings of the Symposium On Theory of Modeling and Simulation (TMS) at SpringSim, pp.13-16, 2014.

A. Garro and A. Tundis, On the Reliability Analysis of Systems and SoS: the RAMSAS Method and Related Extensions, IEEE Systems Journal (IJS), vol.9, issue.1, pp.232-241, 2015.

P. David, Contribution à l'Analyse de Sûreté de Fonctionnement des Systèmes Complexes en Phase de Conception: Application à l'Evaluation des Missions d'un Réseau de Capteurs de Présence Humaine, 2009.

F. Mhenni, N. Nguyen, and J. Choley, SafeSysE: A Safety Analysis Integration in Systems Engineering Approach, IEEE Systems Journal, vol.12, pp.161-172, 2018.
URL : https://hal.archives-ouvertes.fr/hal-02019808

M. Hecht, C. Vogl, and A. Lam, Application of the Architectural Analysis and Design Language (AADL) for Qualitative System Reliability and Availability Modeling, 2009.

M. Batteux, T. Prosvirnova, and A. Rauzy, System Structure Modeling Language (s2ml), HAL, 2015.

A. Rauzy, Model-Based Safety Assessment with Altarica 3.0, European Safety and RELiability conference, 2017.

F. Mhenni, J. Choley, and N. Nguyen, An Integrated Design Methodology for Safety Critical Systems, Annual IEEE Systems Conference (SysCon), pp.1-6, 2016.
URL : https://hal.archives-ouvertes.fr/hal-01589515

N. Yakymets, H. Jaber, and A. Lanusse, Model-Based System Engineering for Fault Tree Generation and Analysis, Proceedings of the 1 st International Conference on Model-Driven Engineering and Software Development (MODELSWARD 2013), pp.210-214, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01810061

Z. Zhao and P. Dorina, UML Model to Fault Tree Model Transformation for Dependability Analysis, Proceedings of the International Conference on Computer and Information Science and Technology, 2015.

A. Joshi, S. Vestal, and P. Binns, Automatic Generation of Static Fault Trees from AADL Models, DSN Workshop on Architecting Dependable Systems, Edinburgh International Conference Centre, 2007.

Y. Papadopoulos and M. Maruhn, Model-Based Synthesis of Fault Trees from Matlab-Simulink Models, Proceedings of the International Conference on Dependable Systems and Networks, pp.77-82, 2001.

B. Kaiser, P. Liggesmeyer, and O. Mackel, A New Component Concept for Fault Trees, Proceedings of the 8th Australian workshop on Safety critical systems and software, vol.33, pp.37-46, 2003.

K. Hofig, M. Zeller, and R. Heilmann, ALFRED: A Methodology to Enable Component Fault Trees for Layered Architectures, Proceedings-41st Euromicro Conference on Software Engineering and Advanced Applications, pp.167-176, 2015.

S. Li and X. Li, Study on Generation of Fault Trees from Altarica Models, 3rd International Symposium on Aircraft Airworthiness, 2013.

A. Rauzy, Mode Automata and Their Compilation into Fault Trees, Reliability Engineering and System Safety, vol.78, issue.1, pp.1-12, 2002.

G. Pai and J. Dugan, Automatic Synthesis of Dynamic Fault Trees from UML System Models, 13th International Symposium on Software Reliability Engineering, pp.243-254, 2002.

J. Dehlinger and J. Dugan, Analyzing Dynamic Fault Trees Derived from Model-Based System Architectures, Nuclear Engineering and Technology, vol.40, issue.5, pp.365-374, 2008.

F. Tajarrod and G. Latif-shabgahi, A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model, World Academy of Science, Engineering and Technology, vol.17, issue.5, pp.1256-1262, 2008.

J. Castet, M. Bareh, J. Nunes, S. Okon, L. Garner et al., Failure Analysis and Products in a Model-Based Environment, IEEE Aerospace Conference, 2018.

A. Brameret, P. Rauzy, and M. Roussel, Automated Generation of Partial Markov Chain from High Level Descriptions, Reliability Engineering and Systems Safety, 2015.

F. Brooks, No silver bullet: Essence and Accidents of Software Engineering, IEEE Comput, vol.20, issue.4, pp.10-19, 1987.

J. Laprie, Dependable Computing and Fault Tolerance: Concepts and Terminology, Proceedings of 15th International Symposium on Fault-Tolerant Computing (FTSC-15), pp.2-11, 1985.

V. Neumann, Probabilistic Logics and Synthesis of Reliable Organisms from Unreliable Components, Automata Studies, pp.43-98, 1956.

A. Avi?ienis, Fault-Tolerant Systems, IEEE Trans. Comput, vol.25, issue.12, pp.1304-1312, 1976.

E. Dubrova, Fault-Tolerant Design, 2013.

E. Moore and C. Shannon, Reliable Circuits Using Less Reliable Relays. Inst, vol.262, issue.3, pp.191-208, 1956.

J. Losq, Influence of Fault-Detection and Switching Mechanisms on the Reliability of Standby Systems, Digest 5th International Symposium on Fault-Tolerant Computing, pp.81-86, 1975.

L. Ferrara, Summary Description of the AAP Apollo Telescope Mount, 1968.

, Procedure for Performing a Failure Mode, Effects and Criticality Analysis, 1980.

R. Banach and M. Bozzano, Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems, Computer Safety, Reliability, and Security. Proceeding of the 25th International Conference, vol.4166, pp.127-141, 2006.

M. Walker, L. Bottaci, and Y. Papadopoulos, Compositional Temporal Fault Tree Analysis, Proceedings of the 26th International Conference on Computer Safety, Reliability and Security (SAFECOMP'07), pp.106-119, 2007.

J. Dugan, S. Bavuso, and M. Boyd, Dynamic Fault Tree Models for Fault Tolerant Computer Systems, IEEE Transactions on Reliability, vol.41, issue.3, pp.363-377, 1992.

. Pragmadev,

. Openfta,

N. Nguyen, F. Mhenni, and J. Choley, Redundancy Handling with Model-Based Systems Engineering, 26th European Safety and Reliability Conference, 2016.

. Openaltariaca,

, ALD, Fault Tree Analyzer, web-based version

F. Arnold, A. Belinfante, F. Berg, D. Guck, and M. Stoelinga, DFTCalc: A Tool For Efficient Fault Tree Analysis

M. Delic, S. Ilic, J. Glisovic, and D. Catic, Dynamic Fault Tree Analysis of Lawnmower, 9th International Quality Conference, 2015.

. Item-toolkit,

I. Faulttree+,

K. Ding, A. Morozov, and K. Janschek, Classification of Hierarchical Fault-Tolerant Design Patterns, IEEE 15th Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, 2017.

M. Abouei-ardakan and A. Hamadani, Reliability Optimization of Series-Parallel Systems with Mixed Redundancy Strategy in Subsystems, Reliability Engineering and System Safety, vol.130, pp.132-139, 2014.

, Cameo Systems Modeler, USER GUIDE 18, 2015.

S. Epstein and A. Rauzy, Open-PSA Model Exchange Format, 2008.

A. Rauzy, XFTA: An Open-PSA Fault Tree Engine, 2015.

D. Mami, Définition, Conception et Expérimentation de Structures d'Actionneurs Electromécaniques Innovants Incluant par Conception des Fonctionnalités de Sûreté et de Sécurité de Fonctionnement, 2010.

. Wikipédia,

S. Kabir, M. Walker, and Y. Papadopoulos, Dynamic System Safety Analysis in HiP-HOPS with Petri Nets and Bayesian Networks, analyses qualitatives et quantitatives. Cet outil supporte différentes plates-formes telles que Microsoft Windows, vol.105, pp.55-70, 2000.

, Open FTA propose une variété de portes logiques statiques tel que les portes «AND

«. Or», «. Nor», «. Voting-(k-/-n)», «. Nand»-;-«exponentielle, and ». , On a utilisé OpenFTA pour créer un arbre de défaillances pour un moteur électromécanique (EMA), vol.100

, La structure interne de l'EMA est illustrée dans la Figure 2

, Il contient deux microcontrôleurs intégrés EMC1 et EMC2 et deux moteurs M1 et M2. Chaque moteur est constitué de deux enroulements séparés W1 et W2 recevant des signaux d'entrés respectivement de EMC1 et EMC2. Chaque moteur a également un rotor qui est lié aux deux enroulements. Une transmission mécanique fournit alors le

. L'arbre-de-défaillances-de-l'ema, construit en utilisant l'outil OpenFTA, est présenté dans la Figure A.6. Cet arbre de défaillances statique peut également être généré automatiquement à partir du modèle SysML

. Cet-arbre-est-composé-d'événements and . De-portes-logiques«-or-»-et-«-and-».-les, La simulation d'OpenFTA permet d'avoir un rapport qui contient l'analyse qualitative et quantitative du système. Il existe 13 ensembles de coupes minimales avec des ordres allant de 1 à 4. Certaines mesures de probabilité sont calculées, telles que la probabilité de défaillances de l'évènement redouté, le temps moyen avant défaillance (en anglais : Mean Time To Failure (MTTF)), le temps moyen entre les défaillances (en anglais : Mean Time Between Failure (MTBF)) et le temps moyen de réparation

, OpenAltaRica La plate-forme OpenAltaRica [101] est basée sur le langage de modélisation AltaRica

, ARC est un outil open source qui vérifie la conformité des modèles AltaRica à l'aide des algorithmes de vérification des modèles. AltaRica Studio est un petit outil graphique utilisé avec ARC qui vise à valider les modèles AltaRica et à offrir un accès rapide aux principaux calculs proposés, Cette plate-forme offre des outils open-source tels qu'ARC et AltaRica Studio

, Pour générer un arbre de défaillance à partir du modèle AltaRica [79], il faut passer par plusieurs étapes. Le modèle AltaRica doit être traduit en logique de défaillance

, puis l'arbre de défaillance doit être généré par une analyse de la logique de défaillance

. Finalement, une comparaison entre le code AltaRica et l'arbre de défaillance généré à partir de la même logique de défaillance doit être faite comme illustré à la Figure A, vol.7