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.

自动和半自动车辆的防撞协议构成了安全可靠的全球运输系统的支柱。就航空而言，交通警报和防撞系统（TCAS）负责确保飞机的安全并减少空中相撞的机会。然而，TCAS 的安全性和有效性还有待从安全角度进行分析，特别是考虑到当前空中交通量与近二十年前构思的协议相比不断增加。本研究项目旨在对 TCAS 的安全性和有效性进行建模和分析。 TCAS 指定的安全运行所需的约束。目标是确定 TCAS 是否仍能满足其在防撞方面的操作目标，并进一步调查其是否容易受到恶意攻击。我们研究方法的新颖之处在于，我们使用真实数据（飞机转发器消息）来分析 TCAS 的安全性，而不是依赖模拟或统计测试。这使我们能够收集有关全球 TCAS 使用情况的准确和最新信息。根据我们的结果，我们处于独特的地位，可以了解 TCAS 带来的潜在风险、其造成的后果，以及最重要的是 - 可能的补救方法。该项目属于 EPSRC“全球不确定性”研究领域，更具体地说，属于该类别下的“网络安全”核心研究主题。