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.？
References
[1]
Tassey, G. The Economic Impacts of Inadequate Infrastructure for Software Testing; Technical Report for RTI Project (Number 7007.011): Gaithersburg, MD, USA, 2002.
[2]
Next Generation Implementation Plan, 2011. Federal Aviation Administration Web site, Available online: http://www.faa.gov/nextgen/media/ng2011_implementation_plan.pdf (accessed on 16 April 2012).
[3]
What is SESAR. Single European Sky Air Traffic Management Research (SESAR) Web site, Available online: http://www.eurocontrol.int/sesar/public/standard_page/overview.html (accessed on 12 March 2012).
[4]
Perret, M. HLA Gateway Between RTDS and AviationSimNet, SRS_ASN Gateway, version 0.6; SDD_ASN Gateway, version 0.7, Graduate Research Project, Embry Riddle Aeronautical University, Daytona Beach, FL, USA, 2011.
[5]
Firesmith, D.G. Common Concepts Underlying Safety, Security, and Survivability Engineering; Carnegie Mellon Software Engineering Institute, Carnegie Mellon University: Pittsburgh, PA, USA, 2003.
[6]
Stephans, R.A. System Safety for the 21st Century; John Wiley & Sons, Inc.: Hoboken, NJ, USA, 2004.
[7]
Ericson, C.A., II. Fault Tree Analysis—A History. In Proceedings of the 17th International System Safety Conference, Orlando, FL, USA, 1999.
[8]
Vesely, W.E.; Goldberg, F.F.; Roberts, N.H.; Haasl, D.F. Fault Tree Handbook; NUREG-0492; U.S. Nuclear Regulatory Commission: Washington, DC, USA, 1981.
[9]
Towhidnejad, M.; Wallace, D.R.; Gallo, A.M. Fault Tree Analysis for Software Design. In Proceedings of the 27th the Annual NASA Goddard/IEEE Software Engineering Workshop, Greenbelt, MD, USA, 2002.
[10]
Smith, C. SAPHIRE Risk and Reliability Assessment Software. Idaho National Engineering and Environmental Laboratory Web site, Available online: https://saphire.inl.gov/pdf/SAPHIRE_overview.pdf (accessed on 8 November 2011).
[11]
Reliability Workbench Technical Specification, version 10.3. Isograph Reliability Software Web site, Available online: http://www.isograph-software.com/_techspecs/rwb103techspec.pdf (accessed on 25 January 2013).
[12]
OpenFTA, version 1.0; OpenFTA User Manual. Formal Software Construction Limited Web site, Available online: http://www.openfta.com/ (accessed on 7 November 2011).
[13]
BlockSim, version 7; BlockSim7 Online Help. ReliaSoft Corporation Web site, Available online: http://www.reliasoft.com/BlockSim/ (accessed on 5 March 2012).
[14]
Liu, M. Verification and Validation in Early Phases of Software Development. Graduate Research Project, Embry Riddle Aeronautical University: Daytona Beach, FL, USA, 2012.
