Safety analysis integration in a systems engineering approach for mechatronic systems design

Modern systems are getting more complex due to the integration of several interacting components with different technologies in order to offer more functionality to the final user. The increasing complexity in these multi-disciplinary systems, called mechatronic systems, requires new appropriate processes, tools and methodologies for their design, analysis and validation whilst remaining competitive with regards to cost and time-to-market constraints.The main objective of this thesis is to contribute to the integration of safety analysis in a SysML-based systems engineering approach in order to make it more efficient and faster. To achieve this purpose, we tackled the following axes: formalizing a SysML-based design methodology that will be the support for safety analyses; providing an extension of SysML in order to enable the integration of specific needs for mechatronic systems modeling as well as safety concepts in the system model; allowing the automated exploration of the SysML models in order to extract necessary information to elaborate safety artefacts (such as FMEA and FTA) and the semi-automated generation of the latters. We have also integrated formal verification to verify if the system behaviors satisfy some safety requirements.The proposed methodology named SafeSysE was applied to case studies from the aeronautics domain: EMA (Electro Mechanical Actuator) and WBS (Wheel Brake System).

[1]  Dennis M. Buede,et al.  The Engineering Design of Systems: Models and Methods , 1999 .

[2]  B.M. Aucoin,et al.  Engineering Management , 1997, IEEE Potentials.

[3]  Delphine Mami.  Définition, conception et expérimentation de structures d’actionneurs électromécaniques innovants incluant par conception des fonctionnalités de sûreté et de sécurité de fonctionnement , 2010 .

[4]  Lionel C. Briand,et al.  Experiences of applying UML/MARTE on three industrial projects , 2012, MODELS'12.

[5]  Sarah A. Sheard,et al.  2.5.1 Systems Engineering Standards and Models Compared , 1998 .

[6]  Frank Ortmeier,et al.  On Efficiently Specifying Models for Model Checking , 2014, IMBSA.

[7]  A. Joshi.  Automatic Generation of Static Fault Trees from AADL Models , 2007 .

[8]  Marco Bozzano,et al.  Retrenchment, and the Generation of Fault Trees for Static, Dynamic and Cyclic Systems , 2006, SAFECOMP.

[9]  Jean-Yves Choley,et al.  Towards the Integration of Safety Analysis in a Model-Based System Engineering Approach with SysML , 2013 .

[10]  Pierre David,et al.  Reliability study of complex physical systems using SysML , 2010, Reliab. Eng. Syst. Saf..

[11]  Pierre David,et al.  Contribution à l'analyse de sûreté de fonctionnement des systèmes complexes en phase de conception : application à l'évaluation des missions d'un réseau de capteurs de présence humaine , 2009 .

[12]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[13]  Philipp Helle,et al.  Automatic SysML-based safety analysis , 2012, ACES-MB '12.

[14]  S. Charlotte,et al.  Vérication des EFFBDs : Model checking en Ingénierie Système , 2009 .

[15]  Donald Firesmith,et al.  Common Requirements Problems, Their Negative Consequences, and the Industry Best Practices to Help Solve Them , 2007, J. Object Technol..

[16]  Ivar Jacobson,et al.  The unified modeling language reference manual , 2010 .

[17]  Robert E. Voros.  Small Airplane Considerations for the Guidelines for Development of Civil Aircraft and Systems , 2013 .

[18]  Brian Berenbach,et al.  A Literature Survey on International Standards for Systems Requirements Engineering , 2013, CSER.

[19]  Clifton A. Ericson,et al.  Hazard Analysis Techniques for System Safety , 2005 .

[20]  Valentin Goranko,et al.  Logic in Computer Science: Modelling and Reasoning About Systems , 2007, J. Log. Lang. Inf..

[21]  Sheng‐Hsien Teng,et al.  Failure mode and effects analysis: An integrated approach for product design and process control , 1996 .

[22]  C.J.H. Mann,et al.  A Practical Guide to SysML: The Systems Modeling Language , 2009 .

[23]  O. Penas,et al.  About metrics for integrated mechatronic system design , 2012, 2012 9th France-Japan & 7th Europe-Asia Congress on Mechatronics (MECATRONICS) / 13th Int'l Workshop on Research and Education in Mechatronics (REM).

[24]  Makis Stamatelatos,et al.  Fault tree handbook with aerospace applications , 2002 .

[25]  M. Bozzano,et al.  Integrating Fault Tree Analysis with Event Ordering Information ∗ , 2003 .

[26]  Septavera Sharvia,et al.  Integrated application of compositional and behavioural safety analysis , 2011 .

[27]  Ephraim Balz.  USE CASE-BASED FAULT TREE ANALYSIS OF SAFETY-RELATED EMBEDDED SYSTEMS , 2005 .

[28]  Pierre Bieber,et al.  Combination of Fault Tree Analysis and Model Checking for Safety Assessment of Complex System , 2002, EDCC.

[29]  John A. McDermid,et al.  Hierarchically Performed Hazard Origin and Propagation Studies , 1999, SAFECOMP.

[30]  Wilhelm Schäfer,et al.  Model-Driven Development with Mechatronic UML , 2010, Graph Transformations and Model-Driven Engineering.

[31]  Jean-Michel Bruel,et al.  Utilisation de SysML pour la modélisation des réseaux de capteurs , 2008, LMO.

[32]  Damien Chapon,et al.  On the link between Architectural Description Models and Modelica Analyses Models , 2009 .

[33]  Liudong Xing,et al.  Drbd: Dynamic Reliability Block Diagrams for System Reliability Modelling , 2009 .

[34]  Gérard Morel,et al.  Combining SysML and formal methods for safety requirements verification , 2010 .

[35]  Marco Bozzano,et al.  The FSAP/NuSMV-SA Safety Analysis Platform , 2007, International Journal on Software Tools for Technology Transfer.

[36]  Nataliya Yakymets,et al.  Model-based System Engineering for Fault Tree Generation and Analysis , 2016, MODELSWARD.

[37]  William B. Rouse,et al.  Engineering complex systems: implications for research in systems engineering , 2003, IEEE Trans. Syst. Man Cybern. Part C.

[38]  G. Latif-Shabgahi,et al.  A Novel Methodology for Synthesis of Fault Trees from MATLAB-Simulink Model , 2008 .

[39]  Tim Weilkiens,et al.  Systems engineering with SysML / UML - modeling, analysis, design , 2007 .

[40]  Pierre David,et al.  Apports de SysML à la modélisation des systèmes complexes , 2009 .

[41]  Ian Moir,et al.  Aircraft Systems: Mechanical, Electrical, and Avionics Subsystems Integration , 2008 .

[42]  Marco Bozzano,et al.  Improving System Reliability via Model Checking: The FSAP/NuSMV-SA Safety Analysis Platform , 2003, SAFECOMP.

[43]  Nancy G. Leveson,et al.  Complexity and Safety , 2011, CSDM.

[44]  Frédéric Kratz,et al.  Prise en compte des analyses de sûreté de fonctionnement dans l'ingénierie de système dirigée par les modèles SysML , 2011 .

[45]  Hubert Dubois.  Gestion des exigences de sûreté de fonctionnement dans une approche IDM , 2008 .

[46]  Jean-Yves Choley,et al.  Extended mechatronic systems architecture modeling with SysML for enhanced safety analysis , 2014, 2014 IEEE International Systems Conference Proceedings.

[47]  Antonio Puliafito,et al.  Dynamic reliability block diagrams: Overview of a methodology , 2007 .

[48]  Nga Nguyen,et al.  SysML and safety analysis for mechatronic systems , 2012, 2012 9th France-Japan & 7th Europe-Asia Congress on Mechatronics (MECATRONICS) / 13th Int'l Workshop on Research and Education in Mechatronics (REM).

[49]  IEEE Std 1220-2005 IEEE Standard for Application and Management of the Systems Engineering Process , 2007 .

[50]  Adedeji Badiru,et al.  Essentials of Project and Systems Engineering Management , 1997 .

[51]  Duane Kritzinger.  Aircraft System Safety: Military and Civil Aeronautical Applications , 2006 .

[52]  Lionel C. Briand,et al.  Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems , 2011, Software & Systems Modeling.

[53]  Eric R. Ziegel,et al.  System Reliability Theory: Models, Statistical Methods, and Applications , 2004, Technometrics.

[54]  Nancy G. Leveson,et al.  Engineering a Safer World: Systems Thinking Applied to Safety , 2012 .

[55]  Simon Perry,et al.  SysML for Systems Engineering , 2008 .

[56]  Yue Cao,et al.  SysML-based uniform behavior modeling and automated mapping of design and simulation model for complex mechatronics , 2013, Comput. Aided Des..

[57]  Matthias Tichy,et al.  Component-based timed hazard analysis of self-healing systems , 2011, ASAS '11.

[58]  David D. Walden,et al.  Systems engineering handbook : a guide for system life cycle processes and activities , 2015 .

[59]  Jean-Yves Choley,et al.  Safety analysis integration in a SysML-based complex system design process , 2013, 2013 IEEE International Systems Conference (SysCon).

[60]  Christiaan J. J. Paredis,et al.  Modeling Continuous System Dynamics in SysML , 2007 .

[61]  Andrea Tundis,et al.  Enhancing the RAMSAS Method for System Reliability Analysis - An Exploitation in the Automotive Domain , 2012, SIMULTECH.

[62]  Olivia Penas,et al.  A SysML-based methodology for mechatronic systems architectural design , 2014, Adv. Eng. Informatics.

[63]  Fabien Belmonte,et al.  A Model Based Approach for Safety Analysis , 2012, SAFECOMP Workshops.

[65]  Josianne Basque,et al.  Validation de la sémantique d'un modèle semi-formel de connaissances avec OntoCASE , 2010, IC.

[66]  Tongdan Jin,et al.  MULTIPLE FAILURE MODES ANALYSIS AND WEIGHTED RISK PRIORITY NUMBER EVALUATION IN FMEA , 2011 .

[67]  Stephan Merz,et al.  Model Checking , 2000 .

[68]  An introduction to Functional Safety and IEC 61508 , 2002 .

[69]  E. Andrianarison,et al.  SysML for embedded automotive Systems : a practical approach , 2010 .

[70]  Jean-Yves Choley,et al.  Automatic fault tree generation from SysML system models , 2014, 2014 IEEE/ASME International Conference on Advanced Intelligent Mechatronics.