Safety is an emergent property: Illustrating functional resonance in Air Traffic Management with formal verification

详细信息    查看全文

• 作者：Qibo Yang ; Jin Tian ; ^{tianjin@buaa.edu.cn} ; Tingdi Zhao
• 关键词：Functional Resonance Analysis Method (FRAM) ; System safety ; Air Traffic Management ; Formal verification ; Socio-technical system
• 刊名：Safety Science
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：93
• 期：Complete
• 页码：162-177
• 全文大小：2532 K
• 卷排序：93

文摘

Extension to Functional Resonance Analysis Method with formal verification tool SPIN. Approach of automatically demonstrating functional resonance by generating emergent instantiations. Countermeasure development to damp the undesired resonance, and check of mitigation effectiveness. Application to a developing Minimum-Safe-Altitude-Warning-in-Air-Traffic-Management (MSAW-in-ATM) system.