Next Article in Journal
Design of a Parallel Sampling Encoder for Analog to Information (A2I) Converters: Theory, Architecture and CMOS Implementation
Previous Article in Journal
Handbook of RF, Microwave, and Millimeter-Wave Components. Edited by Leonid A. Belov, Sergey M. Smolskiy and Victor N. Kochemasov, Artech House, 2012; 504 pages. Price: £119.00, ISBN 978-1-60807-209-5
Electronics 2013, 2(1), 41-56; doi:10.3390/electronics2010041
Technical Note

Fault Tree Analysis for Safety/Security Verification in Aviation Software

*  and
Received: 27 September 2012; in revised form: 15 January 2013 / Accepted: 21 January 2013 / Published: 31 January 2013
View Full-Text   |   Download PDF [452 KB, uploaded 31 January 2013]   |   Browse Figures
Abstract: The Next Generation Air Traffic Management system (NextGen) is a blueprint of the future National Airspace System. Supporting NextGen is a nation-wide Aviation Simulation Network (ASN), which allows integration of a variety of real-time simulations to facilitate development and validation of the NextGen software by simulating a wide range of operational scenarios. The ASN system is an environment, including both simulated and human-in-the-loop real-life components (pilots and air traffic controllers). Real Time Distributed Simulation (RTDS) developed at Embry Riddle Aeronautical University, a suite of applications providing low and medium fidelity en-route simulation capabilities, is one of the simulations contributing to the ASN. To support the interconnectivity with the ASN, we designed and implemented a dedicated gateway acting as an intermediary, providing logic for two-way communication and transfer messages between RTDS and ASN and storage for the exchanged data. It has been necessary to develop and analyze safety/security requirements for the gateway software based on analysis of system assets, hazards, threats and attacks related to ultimate real-life future implementation. Due to the nature of the system, the focus was placed on communication security and the related safety of the impacted aircraft in the simulation scenario. To support development of safety/security requirements, a well-established fault tree analysis technique was used. This fault tree model-based analysis, supported by a commercial tool, was a foundation to propose mitigations assuring the gateway system safety and security. 
Keywords: national airspace system; simulation; safety; security; fault tree national airspace system; simulation; safety; security; fault tree
This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.

Export to BibTeX |
EndNote


MDPI and ACS Style

Kornecki, A.J.; Liu, M. Fault Tree Analysis for Safety/Security Verification in Aviation Software. Electronics 2013, 2, 41-56.

AMA Style

Kornecki AJ, Liu M. Fault Tree Analysis for Safety/Security Verification in Aviation Software. Electronics. 2013; 2(1):41-56.

Chicago/Turabian Style

Kornecki, Andrew J.; Liu, Mingye. 2013. "Fault Tree Analysis for Safety/Security Verification in Aviation Software." Electronics 2, no. 1: 41-56.


Electronics EISSN 2079-9292 Published by MDPI AG, Basel, Switzerland RSS E-Mail Table of Contents Alert