Traffic Collision Avoidance Systems (TCAS) are safety-critical, unauthenticated, ranging systems required in commercial aircraft. Previous work has proposed TCAS vulnerabilities to attacks from malicious actors with low cost software defined radios (SDR) and inexpensive open-source software (GNU radio) where spoofing TCAS radio signals in now possible. This paper outlines a proposed threat model for several TCAS vulnerabilities from an adversarial perspective. Periodic and aperiodic attack models are explored as possible low latency solutions to spoof TCAS range estimation. A TCAS test bed is established with commercial avionics to demonstrate the efficacy of proposed vulnerabilities. SDRs and Vector Waveform Generators (VWGs) are used to achieve desired latency. Sensor inputs to the TCAS system are spoofed with micro-controllers. These include Radar Altimeter, Barometric Altimeter, and Air Data Computer (ADC) heading and attitude information transmitted by Aeronautical Radio INC (ARINC) 429 encoding protocol. TCAS spoofing is attempted against the test bed and analysis conducted on the timing results and test bed performance indicators. The threat model is analyzed qualitatively and quantitatively. / Master of Science / Traffic Collision Avoidance Systems (TCAS), or Airborne Collision Avoidance Systems ACAS), are safety-critical systems required by the Federal Aviation Administration (FAA) in commercial aircraft. They work by sending queries to surrounding aircraft in the form of radio transmission. Aircraft in the who receive these transmissions send replies. Information in these replies allow the TCAS system to determine if a nearby aircraft may travel too close to itself. TCAS can then determine help both pilots avoid a mid-air collision. Information in the messages can be faked by a malicious actor. To explore these vulnerabilities a test bed is built with commercial grade TCAS equipment. Several types of attacks are evaluated.

<p>Aircraft developers like other development and manufacturing companies, are experiencing increasing complexity in their products and growing competition in the global market. One way to confront the challenges is to make the development process more efficient and to shorten time to market for new products/variants by using design and development methods based on models. Model Based Systems Engineering (MBSE) is introduced to, in a structured way, support engineers with aids and rules in order to engineer systems in a new way.</p><p>In this thesis, model based strategies for aircraft and avionics development are studied. A background to avionics architectures and in particular Integrated Modular Avionics is described. The integrating discipline Systems Engineering, MBSE and applicable standards are also described. A survey on available and emerging modeling techniques and tools, such as Hosted Simulation, is presented and Modeling Domains are defined in order to analyze the engineering environment with all its vital parts to support an MBSE approach.</p><p>Time and money may be saved by using modeling techniques that enable understanding of the engineering problem, state-of-the-art analysis and team communication, with preserved or increased quality and sense of control. Dynamic simulation is an activity increasingly used in aerospace, for several reasons; to prove the product concept, to validate stated requirements, and to verify the final implementation. Simulation is also used for end-user training, with specialized training simulators, but with the same underlying models. As models grow in complexity, and the set of simulation platforms is expanded, new needs for specification, model building and configuration support arise, which requires a modeling framework to be efficient.</p>

Thesis (M.S.)--Baylor University, 2005. / Includes bibliographical references (p. 98).

Thesis (M.S. in Computer Science)--Naval Postgraduate School, June 2003. / Thesis advisor(s): Cynthia Irvine, Timothy Levin. Includes bibliographical references (p. 91-92). Also available online.

No description available.

Thesis (M.S.)--Ohio University, November, 1992. / Title from PDF t.p.

Thesis (M.S.)--Ohio University, June, 2004. / Includes bibliographical references (p. 67-70).

Thesis (M.S. in Aeronautical Engineering)--Naval Postgraduate School, December 2002. / Thesis advisor(s): Russell W. Duren, Hersch Loomis. Includes bibliographical references (p. 199). Also available online.

Thesis (M.S.)--Ohio University, June, 2004. / Title from PDF t.p. Includes bibliographical references (p. 67-70)

No description available.