Digital Library[ Search Result ]
Safety Requirement Elicitation for Small Aircraft Collision Avoidance Software using STPA, FTA and FMEA
Jongwon Lee, Uicheon Lee, Taehwan Kim, Seonah Lee
http://doi.org/10.5626/JOK.2024.51.8.706
With the growing trend of urban air traffic, aircraft are becoming smaller and more reliant on software. As a result, safety analysis techniques and standards, which have traditionally focused on ARP4761, the aircraft safety evaluation process, must evolve to incorporate a software-centered approach. In this paper, we propose how to link STPA method to FTA and FMEA for safety analysis in air mobility, which is a software-intensive system. To assess the feasibility and effectiveness of this approach, we conducted a safety analysis case study focusing on the collision avoidance software of a small aircraft. The results of the study confirmed the effectiveness of linking STPA, FTA, and FMEA methods and enabled the derivation of safety requirements.
A Traceability Analysis for Integrated Relationship Analysis of Development/Safety Artifacts of Cyber Physical Systems
Sejin Jung, Eui-Sub Kim, Junbeom Yoo
http://doi.org/10.5626/JOK.2021.48.1.107
A cyber-physical system (CPS), that is to be used a safety important system, needs to analyze the traceability of development artifacts. The traceability analysis of the CPS should be performed integrating development artifacts and safety/hazard analysis elements because CPS has several features such as heterogeneity, dynamic reconfiguration, and interoperability. However, there is a limitation in terms of expressing all traceability relationships by identically connecting and analyzing the traceability between development artifacts and safety analysis elements. This paper proposes an analysis method and relationships of traceability for CPS. The proposed method uses an abstract model for development artifacts and safety analysis elements that are defined in this paper. The traceability relationships define the relations between elements of the model. The proposed method makes it possible to analyze integrated relationships from development artifacts and safety/hazard analysis elements. The case study shows integrated relationships according to each element of several artifacts.
Identifying Causes of an Accident in STPA Using the Scenario Table
http://doi.org/10.5626/JOK.2019.46.8.787
In recent years, the complexity of safety-critical systems has increased, along with the importance of the software. The software, which has become the control center of the safety system, generates control actions to control the system and then repeats the interaction of controls that re-enters the feedback generated. STPA (System Theoretic Process Analysis) is one of the hazard analysis techniques, and it analyzes the system from the perspective of the interaction of control then uses accident scenarios to identify and analyze the cause of unsafe control actions to derive safe requirements. In order to minimize omissions in the identification stage of STPA accident scenarios associated with safety requirements, in this paper we describe how to incorporate commonalities and complement vulnerabilities in the approaches described in previous studies. To do this, we propose the detailed procedure for identifying accident scenarios and the scenario table to assist them. The ultimately proposed scenario table is identified by applying it to the hazard analysis of the railway diorama system.
Semantic Relationship between Safety Analysis Techniques to Support Traceability in Developing multiple CPSs
Seungwoo Nam, Horn Daneth, Jang-Eui Hong
http://doi.org/10.5626/JOK.2019.46.1.50
Many systems based on convergence IT are being developed in the form of CPS(Cyber Physical System), in which sensors and actuators interwork in aviation, medical, and industrial manufacturing. It is necessary to analyze and prepare for possible hazards from interaction and environmental factors before system operation in real environment, because the collaboration and common functions may appear to achieve the given mission. This paper proposes three extensions of existing safety analysis techniques, for multiple CPSs in relation to analysis activities of IEC 61508 standard. We also identify and define semantic relationships between our extended techniques, to provide the traceability of functional safety in CPSs, and show the usefulness of relationships, by applying to AIDS(Automatic Incident Detection System) of autonomous vehicles.
Search
Journal of KIISE
- ISSN : 2383-630X(Print)
- ISSN : 2383-6296(Electronic)
- KCI Accredited Journal
Editorial Office
- Tel. +82-2-588-9240
- Fax. +82-2-521-1352
- E-mail. chwoo@kiise.or.kr