scholarly journals Improved Safety Analysis Integration in a Systems Engineering Approach

2019 ◽  
Vol 9 (6) ◽  
pp. 1246 ◽  
Author(s):  
Anis Baklouti ◽  
Nga Nguyen ◽  
Faïda Mhenni ◽  
Jean-Yves Choley ◽  
Abdelfattah Mlika
Keyword(s):  
System Design ◽  
Systems Engineering ◽  
System Development ◽  
Block Diagram ◽  
Fault Tree ◽  
Safety Analysis ◽  
State Machine ◽  
System Structure ◽  
Engineering Approach ◽  
Dynamic Fault Tree

The goal of the paper is the integration of safety analysis in a model-based systems engineering approach to ensure consistency between system design and safety artifacts. This integration permits the continuous improvement of the structure and behavior of the system. It also reduces system development time and prevents late detection of errors. To reach this purpose, the SafeSysE methodology is extended. In SafeSysE, a preliminary Failure Mode and Effects Analysis (FMEA) is automatically generated from a SysML model, and this FMEA is then completed by the safety expert but no further development was proposed. The contribution of this paper is to suggest recommendations based on the FMEA analysis in order to enhance the system design and make it comply with safety requirements. First, an updated system structure that may contain redundancy is proposed. Then, a redundancy profile is used to enrich the system model with redundancy information, which will allow the generation of a dynamic fault tree considering the system behavior. Finally, the generated dynamic fault tree should be analyzed in order to create a state machine diagram that describes the behavior of the system. The created state machine with an internal block diagram will help the system designers to better understand the system dysfunctions by simulating the system. The proposed methodology is applied to an Electro-Mechanical Actuator system which is used in the aeronautics domain.

Dynamic Fault Tree Generation for Safety-Critical Systems Within a Systems Engineering Approach

2020 ◽  
Vol 14 (1) ◽  
pp. 1512-1522 ◽  
Author(s):  
Anis Baklouti ◽  
Nga Nguyen ◽  
Faida Mhenni ◽  
Jean-Yves Choley ◽  
Abdelfattah Mlika
Keyword(s):  
Systems Engineering ◽  
Fault Tree ◽  
Critical Systems ◽  
Safety Critical ◽  
Engineering Approach ◽  
Dynamic Fault Tree ◽  
Tree Generation ◽  
Safety Critical Systems

Improved Systemic Hazard Analysis Integrating with Systems Engineering Approach for Vehicle Autonomous Emergency Braking System

2021 ◽  
Author(s):  
Jianyu Duan
Keyword(s):  
System Design ◽  
Systems Theory ◽  
Systems Engineering ◽  
System Development ◽  
Process Analysis ◽  
Hazard Analysis ◽  
Safety Analysis ◽  
Critical System ◽  
Emergency Braking ◽  
Braking System

Abstract Safety analysis is a significant step for the safety-critical system development. Compared with traditional vehicles, the system interactions for autonomous vehicles are more abundant and complex. Traditional hazard analysis methods, such as Failure Mode and Effects Analysis (FMEA) and Fault Tree Analysis (FTA) which are on the basis of the component failure and reliability theory, can not identify the system hazards related to system interactions. An emerging hazard analysis method based on systems theory, Systems Theory Process Analysis (STPA) mainly focuses on identifying the control system hazards caused by system interactions. In this study, STPA method is used to identify the potential hazards and casual factors for autonomous emergency braking system by concentrating on system interactions. To improve the consistency between system design and safety analysis, the workflow combining model-based systems engineering (MBSE) and STPA is proposed. The systems modeling language (SysML) is used to describe control structure and system interaction relationships. According to the identified casual factors, the certain constraints and requirements can be derived, which can provide the guidance for system development with respect to system design. Furthermore, the quantitative analysis of the certain unsafe control action is conducted by simulation, which shows effectiveness and feasibility of the proposed method in safety analysis and system design.

SafeSysE: A Safety Analysis Integration in Systems Engineering Approach

2018 ◽  
Vol 12 (1) ◽  
pp. 161-172 ◽  
Author(s):  
Faida Mhenni ◽  
Nga Nguyen ◽  
Jean-Yves Choley
Keyword(s):  
Systems Engineering ◽  
Safety Analysis ◽  
Engineering Approach

Developing an Efficient Approach for Unmanned Aerial Vehicle Reliability Analysis

2020 ◽  
Author(s):  
Ahmad Khayyati ◽  
Mohammad Pourgol-Mohammad
Keyword(s):  
Reliability Analysis ◽  
Block Diagram ◽  
Fault Tree ◽  
Fault Tree Analysis ◽  
Dynamic Fault Tree ◽  
Safety And Reliability ◽  
Time Dependencies ◽  
Aerial Vehicle ◽  
Redundant Component ◽  
High Level

Abstract Unmanned Aerial Vehicles (UAV) are increasingly get popularity in many applications. Their operation requires high level of safety and reliability to accomplish successful missions. In this study, the reliability was comparatively analyzed by different available approaches to select the efficient method. First, failure model of the system is developed. Then, three different scenarios are considered to study the effect of redundancies on the system reliability results. In the first scenario, there is no redundancy where in the second scenario there is only one redundant component and in the third scenario, there are three redundant components. Static reliability analysis such as Fault Tree Analysis (FTA), Reliability Block Diagram (RBD), Markov Chain (MC), and Bayesian Networks (BN) are applied on proposed scenarios and results are obtained. Regarding to time dependencies between redundant components, a dynamic-based methodology is also developed in this study through applying Dynamic Fault Tree (DFT) analysis. Proposed static and dynamic approaches are applied on an UAV as a case study and results are discussed. Finally, characteristics of each methodology and related conditions are clarified for selecting the efficient reliability analysis approach.

scholarly journals Method Based on SEFT-to-Petri for Safety Analysis of Software

2018 ◽  
Vol 179 ◽  
pp. 03030
Author(s):  
Xu Sai-sai ◽  
Chen Jing ◽  
Sun Yu-ning ◽  
Gao Xin-rui ◽  
Wang Bo-han ◽  
...  
Keyword(s):  
Systems Engineering ◽  
Petri Net ◽  
Functional Model ◽  
Logic Gates ◽  
Safety Analysis ◽  
State Machine ◽  
System Software ◽  
Model Based ◽  
Model Based Systems Engineering

System safety is a vital non-functional requirement whose satisfaction is essential for system software. However, modern aerospace system software is more and more complicated, which results in a high complexity of analyzing system faults. With the increased acceptance of Model-based Systems Engineering as a new method for systems engineering, Model-based Safety Analysis is also proposed to formalize the task of safety analysis and automate the safety calculations. Our work is grounded on State/Event Fault Tree to analyze system faults and build functional model. Firstly, we can translate SEFT to state machine based on SysML with fault syntactic messages and match elements together with translating logic gates; after which, transforming state machine into Petri Net model by means of rigorous semantic relations to extract preliminary analytical model is deduced theoretically in this paper; finally, we can derive analyses of causes and results of faults from Petri Net model by adopting a set of mathematical and statistical analysis. Practically, we have also validated our work by a case study of an aeronautic control system to support this paper.

Sign in / Sign up

Export Citation Format

Share Document