This article is
- freely available
Fault Tree Analysis for Safety/Security Verification in Aviation Software
ECSSE, Embry Riddle Aeronautical University, Daytona Beach, FL 32114, USA
* Author to whom correspondence should be addressed.
Received: 27 September 2012; in revised form: 15 January 2013 / Accepted: 21 January 2013 / Published: 31 January 2013
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
Article StatisticsClick here to load and display the download statistics.
Notes: Multiple requests from the same IP address are counted as one view.
Cite This Article
MDPI and ACS Style
Kornecki, A.J.; Liu, M. Fault Tree Analysis for Safety/Security Verification in Aviation Software. Electronics 2013, 2, 41-56.
Kornecki AJ, Liu M. Fault Tree Analysis for Safety/Security Verification in Aviation Software. Electronics. 2013; 2(1):41-56.
Kornecki, Andrew J.; Liu, Mingye. 2013. "Fault Tree Analysis for Safety/Security Verification in Aviation Software." Electronics 2, no. 1: 41-56.