[論文レビュー] Safety Analysis Methods for Complex Systems in Aviation

Ítalo Romani de Oliveira, Jose Alexandre Tavares Guerreiro Fregnani+3 more|arXiv (Cornell University)|Aug 3, 2022

Safety Systems Engineering in Autonomy被引用数 6

ひとこと要約

本論文は、UAS や GBAS などの高度に自動化され相互接続された航空システムの安全性を評価するため、現在の業界基準（ARP4754 など）を上回る高度な安全分析手法を提案する。システム的思考、形式的技法、モデルベース安全分析を統合することで、著者たちは、破壊的技術の開発段階における早期安全検証が、開発コストと事故リスクを低減できることを示している。

ABSTRACT

Each new concept of operation and equipment generation in aviation becomes more automated, integrated and interconnected. In the case of Unmanned Aircraft Systems (UAS), this evolution allows drastically decreasing aircraft weight and operational cost, but these benefits are also realized in highly automated manned aircraft and ground Air Traffic Control (ATC) systems. The downside of these advances is overwhelmingly more complex software and hardware, making it harder to identify potential failure paths. Although there are mandatory certification processes based on broadly accepted standards, such as ARP4754 and its family, ESARR 4 and others, these standards do not allow proof or disproof of safety of disruptive technology changes, such as GBAS Precision Approaches, Autonomous UAS, aircraft self-separation and others. In order to leverage the introduction of such concepts, it is necessary to develop solid knowledge on the foundations of safety in complex systems and use this knowledge to elaborate sound demonstrations of either safety or unsafety of new system designs. These demonstrations at early design stages will help reducing costs both on development of new technology as well as reducing the risk of such technology causing accidents when in use. This paper presents some safety analysis methods which are not in the industry standards but which we identify as having benefits for analyzing safety of advanced technological concepts in aviation.

研究の動機と目的

• 無人航空機や地上空中交通管制システムを含む、自動化および相互接続された航空システムの複雑さの増大に対応する。
• ARP4754 や ESARR 4 などの既存の認証基準には、破壊的技術の安全性を明確に証明または反証できないという限界を特定する。
• 次世代航空概念のための厳密な、初期段階での安全証明を支援する基盤的である安全分析技法を開発し、提唱する。
• 高度なシステムの初期設計段階で堅牢な安全検証を可能にすることで、開発コストと事故リスクを低減する。
• 体系的な手法的フレームワークを通じて、理論的な安全原則と実際の応用の間のギャップを埋め、新興航空技術における実用的応用を促進する。

提案手法

• 複雑な航空システムにおけるハードウェア、ソフトウェア、運用分野の相互作用をモデル化するため、システム的思考を統合する。
• 失敗経路の系統的同定と安全特性の検証のため、形式的技法およびモデルベース安全分析（MBSA）を適用する。
• システムの統合的モデル化を組み合わせた確率論的リスクアセスメント（PRA）および故障木分析（FTA）を用いて、包括的な安全評価を実施する。
• 自律型 UAS や航空機の自己分離といった新しい運用概念における安全性を評価するため、シナリオベース分析を組み込む。
• 質的および定量的技法を統合し、初期設計段階における安全証明と不安全要因の検出を両立させる。
• 航空運用および認証実務からのドメイン固有の知識を活用し、安全分析を現実の制約に根ざしたものにする。

実験結果

リサーチクエスチョン

• RQ1 ARP4754 や ESARR 4 を超えて、破壊的航空技術を検証するための安全分析手法をどのように拡張できるか？
• RQ2 高度に統合され自動化された航空システムにおける失敗経路を特定するための体系的なアプローチは何か？
• RQ3 初期段階での安全証明が、高度な航空システムの開発コストと事故リスクをどのように低減できるか？
• RQ4 形式的およびモデルベース手法は、複雑なシステムにおける安全検証の厳密さとトレーサビリティをどのように向上させるか？
• RQ5 シナリオベース分析およびシステムの統合的モデル化は、自律型 UAS や GBAS などの新興概念の安全性評価において果たす役割は何か？

主な発見

• 提案された安全分析手法は、現在の基準のみに依存する場合よりも、複雑で自動化された航空システムにおける安全性評価のより厳密な基盤を提供する。
• モデルベース安全分析により、失敗経路の早期検出が可能になり、後段階での設計変更に伴うコストとリスクが低減される。
• 形式的技法は、特に高度に統合されたソフトウェアおよびハードウェアシステムにおいて、安全主張のトレーサビリティと検証可能性を向上させる。
• シナリオベース分析は、自律型 UAS や自己分離といった新規概念における運用の複雑さとレアケースを効果的に捉えることができる。
• 安全分析にシステム的思考を統合することで、システム部品間の発現的行動や相互依存性の特定が向上する。
• これらの手法を用いた初期段階での安全検証により、開発コストと運用導入段階での事故リスクの両方が低減される。