原文传递 Creating Formal Characterizations of Routine Contingency Management in Commercial Aviation.
题名: Creating Formal Characterizations of Routine Contingency Management in Commercial Aviation.
作者: Natasha Neogi ##Jon Holbrook ## Daniel Greissler## Sid Bhattacharyya
摘要: The identification, modelling, and analysis of root causes of accidents and incidents dominate conventional safety management approaches. However, the effect of humans’ safety-producing behavior on the overall resilience of the system is often neglected. Additionally, emerging aviation markets are giving rise to concepts of operation, such as urban air mobility and optionally piloted air cargo operations, that are leading to a shift in locus of control between humans and automation. Without an understanding of the human contribution to safety, it is difficult to assess the effects of these novel role allocations on overall system safety. In this work, safety-producing behaviors are identified and abstracted into resilient performance strategies. Production rules that encapsulate these strategies are then generated and classified in the Soar cognitive architecture. The strategies are then applied to a remotely-operated air cargo example to demonstrate how safe learning is facilitated. The learned rules and strategies are then formally verified.
总页数: 9
报告类型: 科技报告
发布日期: 2020
检索历史
应用推荐