모델기반 항공기 안전성평가에 관한 연구 = A Study of Model-Based Aircraft Safety Assessment

다국어 초록 (Multilingual Abstract)

Personal Air Vehicle (PAV), Cargo UAS (Cargo UAS), and existing manned and unmanned aircraft are key vehicles for urban air mobility (UAM), and should demonstrate compatibility for the design of aircraft systems. The safety assessment required by for certification to ensure safety and reliability should be systematically performed throughout the entire cycle from the beginning of the aircraft development process. However, with the increasing complexity of safety critical aviation systems and the application of state-of-the-art systems, conventional experience-based and procedural-based safety evaluation methods make ir difficult to objectively assess safety requirements and system safety. Therefore, Model-Based Safety Assessment (MBSA) using modeling and simulation techniques is actively being studied at domestic and foreign countries to address these problems. In this paper, we propose a Model-Based Safety Evaluation framework utilizing modeling and simulation-based integrated flight simulators. Our case studies on the Traffic Collision Availability System (TCAS) and Wheel Brake System (WBS) confirmed that they are practical for future safety assessments.

국문 초록 (Abstract)

도심 항공 모빌리티(Urban Air Mobility, UAM)의 핵심 이동수단인 개인 항공기(PAV) 및 화물 운송용 무인항공기(Cargo UAS)는 항공기 시스템의 설계 적합성과 안전성을 동시에 확보해야 한다. 이를 입증하여 형식 증명(인증)을 받으려면 안전성 분석 및 평가를 항공기 개발과정 초기부터 전체 주기에 걸쳐서 체계적으로 수행해야한다. 그러나 안전 필수 항공시스템의 복잡도가 증가하고 최첨단 시스템이 적용됨에 따라 기존의 경험기반, 절차기반의 안전성평가만으로는 항공기 시스템의 안전성을 객관적으로 평하기 어려워졌다. 이러한 문제를 해결하기 위해 국내외적으로 모델링 및 시뮬레이션 기술을 이용한 모델기반 안전성평가(Model-based Safety Assessment, MBSA)가 활발히 연구되고 있다. 본 논문에서는 비행 시뮬레이터와 타겟의 시뮬레이션 모델을 연동한 통합 비행 시뮬레이터를 활용한 모델기반 안전성평가 프레임워크를 제안하였다. 공중충돌방지시스템(Traffic Collision Avoidance System, TCAS) 과 휠 제동 시스템 (Wheel Brake System, WBS) 사례연구를 통해 제안된 프레임워크를 UAM 안전성평가에 적용 가능함을 확인하였다.

참고문헌 (Reference)

1 유승우, "고장 데이터의 확률 분석을 적용한 항공기 시스템 안전성 평가 수행 방안 연구" 항공우주시스템공학회 31-38, 2020

2 Seung Woo Yoo, "System safety evaluation for aircraft" (2) : 191-210, 2006

3 RTCA, "Software Considerations in Airborne Systems and Equipment DO-178C"

4 이동우, "Relex를 이용한 항공기 시스템 안전성 평가 절차 사례분석" 한국항행학회 22 (22): 179-188, 2018

5 A. Joshi, "Model-Based Safety Analysis Final NASA Techreport"

6 FAA, "Introduction to TCAS II Version"

7 SAE, "Guidelines for Development of Civil Aircraft and ARP4754A"

8 SAE, "Guidelines and Methods for Conducting the Safety Assessment Process on Civil Airborne Systems and ARP4761"

9 Peng Wang, "Formal Model Based Safety Analysis Methods and the Civil Aircraft"

10 Ju-young Kim, "Developing an Integrated Simulator for Verifying Sense and Avoid Equipment" Korea Aerospace University 2016

11 R. Leanna, "Developing Safety-Critical Software" CRC Press 2013

12 Gyeong Min Baek, "Avionics development environment using hardware-in-the-loop" Korea Aerospace University 2016

13 Hochstrasser, Markus, "Aspects of a consistent modeling environment for DO-331 design model development of flight control algorithms" 69-86, 2018

14 R. Douglas, "4.4. 2 incose systems engineering handbook v3. 2: Improving the process for se practitioners" 20 (20): 2010