Portable Wireless LAN Device and Two-Way Radio Threat Assessment for Aircraft VHF Communication Radio Band
Author: National Aeronautics and Space Administration (NASA)
Publisher: Createspace Independent Publishing Platform
Published: 2018-06-03
Total Pages: 94
ISBN-13: 9781720663874
DOWNLOAD EBOOK →This document summarizes the safety analysis performed on a Flight Guidance System (FGS) requirements model. In particular, the safety properties desired of the FGS model are identified and the presence of the safety properties in the model is formally verified. Chapter 1 provides an introduction to the entire project, while Chapter 2 gives a brief overview of the problem domain, the nature of accidents, model based development, and the four-variable model. Chapter 3 outlines the approach. Chapter 4 presents the results of the traditional safety analysis techniques and illustrates how the hazardous conditions associated with the system trace into specific safety properties. Chapter 5 presents the results of the formal methods analysis technique model checking that was used to verify the presence of the safety properties in the requirements model. Finally, Chapter 6 summarizes the main conclusions of the study, first and foremost that model checking is a very effective verification technique to use on discrete models with reasonable state spaces. Additional supporting details are provided in the appendices.Nguyen, Truong X. and Koppen, Sandra V. and Ely, Jay J. and Williams, Reuben A. and Smith, Laura J. and Salud, Maria Theresa P.Langley Research CenterLOCAL AREA NETWORKS; VERY HIGH FREQUENCIES; WIRELESS COMMUNICATION; PORTABLE EQUIPMENT; RADIO COMMUNICATION; AVIONICS; AIRCRAFT COMMUNICATION; THREAT EVALUATION; REVERBERATION CHAMBERS; FREQUENCIES; COLLISION AVOIDANCE; SAFETY; ELECTROMAGNETIC INTERFERENCE; DATA REDUCTION