Analysing the Safety of Collision Avoidance Protocols in Aviation

分析航空防撞协议的安全性

• 批准号: 2072057
• 金额: --
• 依托单位: University of Oxford
• 依托单位国家: 英国
• 项目类别: Studentship
• 财政年份: 2018
• 资助国家: 英国
• 起止时间: 2018 至 无数据
• 项目状态: 已结题
• 来源: https://gtr.ukri.org/projects?ref=studentship-2072057
• 关键词: Analysing; Safety; Collision; Avoidance; Protocols

Collision avoidance protocols for autonomous and semi-autonomous vehicles form the backbone of a safe and reliable global transportation system. In the case of aviation, the Traffic Alert and Collision Avoidance System (TCAS) is responsible for ensuring the safety of aircraft and reducing the chances of mid-air collisions. However the safety and efficacy of TCAS is yet to be analysed from a security perspective-especially given the current and ever-increasing levels of air-traffic with regard to a protocol conceived nearly two decades ago.This research project aims to model and analyse the constraints specified by TCAS that are required for safe operation. The goal is to determine whether TCAS still meets its operational goals with regard to collision avoidance, and further investigate whether it is vulnerable to malicious attack. The novelty of our research methodology is that we use real-world data (aircraft transponder messages) for our analysis of TCAS's safety, rather than relying on simulations or statistical testing. This allows us to glean accurate and up-to-date information regarding the usage of TCAS around the world. Based on our results, we are then in a unique position to understand the potential risks posed by TCAS, the consequences posed by them, and most importantly - possible methods of remedying them. This project falls within the EPSRC "Global Uncertainties" research area, and more specifically within the "Cyber-Security" core research theme under this category.

自主和半自治车辆的碰撞避免方案构成了安全可靠的全球运输系统的骨干。就航空而言，交通警报和避免碰撞系统（TCA）负责确保飞机的安全性并减少空中碰撞的机会。但是，TCA的安全性和功效尚待从安全角度进行分析，特别是考虑到近二十年前构想的协议的当前和不断增加的空气交通水平。此研究项目旨在对安全操作所需的TCA进行建模和分析。目的是确定TCA是否仍然达到避免碰撞的操作目标，并进一步研究它是否容易受到恶意攻击的影响。我们的研究方法的新颖性是，我们使用现实世界数据（飞机应答器消息）来分析TCAS的安全性，而不是依靠模拟或统计测试。这使我们能够收集有关TCA在世界范围内使用的准确和最新信息。根据我们的结果，我们处于一个独特的位置，以了解TCA所带来的潜在风险，它们带来的后果，最重要的是 - 纠正它们的可能方法。该项目属于EPSRC“全球不确定性”研究领域，更具体地说是在此类别下的“网络安全”核心研究主题中。