A Runway Incursion Prevention System (RIPS) was tested at the Dallas - Ft. Worth International Airport in October 2000. The system integrated airborne and ground components to provide both pilots and controllers with enhanced situational awareness, supplemental guidance cues, a real-time display of traffic information, and warning of runway incursions in order to prevent runway incidents while also improving operational capability. Rockwell Collins provided and supported a prototype Automatic Dependent Surveillance - Broadcast (ADS-B) system using 1090 MHz and a prototype Differential GPS (DGPS) system onboard the NASA Boeing 757 research aircraft. This report describes the Rockwell Collins contributions to the RIPS flight test, summarizes the development process, and analyzes both ADS-B and DGPS data collected during the flight test. In addition, results are report on interoperability tests conducted between the NASA Advanced General Aviation Transport Experiments (AGATE) ADS-B flight test system and the NASA Boeing 757 ADS-B system.Timmerman, J. and Jones, Denise R. (Technical Monitor)Langley Research CenterDATA LINKS; FLIGHT TESTS; RUNWAYS; SURVEILLANCE; ACCIDENT PREVENTION; COLLISION AVOIDANCE; REAL TIME OPERATION; SITUATIONAL AWARENESS; DATA ACQUISITION; INSTALLING

NASA's Aviation Safety Program Synthetic Vision System project conducted a Runway Incursion Prevention System (RIPS) flight test at the Dallas-Fort Worth International Airport in October 2000. The RIPS research system includes advanced displays, airport surveillance system, data links, positioning system, and alerting algorithms to provide pilots with enhanced situational awareness, supplemental guidance cues, a real-time display of traffic information, and warnings of runway incursions. This report describes the aircraft and ground based runway incursion alerting systems and traffic positioning systems (Automatic Dependent Surveillance - Broadcast (ADS-B) and Traffic Information Service - Broadcast (TIS-B)). A performance analysis of these systems is also presented. Cassell, Rick and Evers, Carl and Esche, Jeff and Sleep, Benjamin and Jones, Denise R. (Technical Monitor) Langley Research Center NAS1-00108; RTOP 728-60-30-01

NASA/Langley Research Center collaborated with the Federal Aviation Administration (FAA) to test a Runway Incursion Prevention System (RIPS) at the Dallas Fort Worth International Airport (DFW) in October 2000. The RIPS combines airborne and ground sensor data with various cockpit displays to improve pilots' awareness of traffic conditions on the airport surface. The systems tested at DFW involved surface radar and data systems that gather and send surface traffic information to a research aircraft outfitted with the RIPS software, cockpit displays, and data link transceivers. The data sent to the airborne systems contained identification and GPS location of traffic. This information was compared with the own-ship location from airborne GPS receivers to generate incursion alerts. A total of 93 test tracks were flown while operating RIPS. This report compares the accuracy of the airborne GPS systems that gave the own-ship position of the research aircraft for the 93 test tracks.

NASA/Langley Research Center collaborated with the Federal Aviation Administration (FAA) to test a Runway Incursion Prevention System (RIPS) at the Dallas Fort Worth International Airport (DFW) in October 2000. The RIPS combines airborne and ground sensor data with various cockpit displays to improve pilots' awareness of traffic conditions on the airport surface. The systems tested at DFW involved surface radar and data systems that gather and send surface traffic information to a research aircraft outfitted with the RIPS software, cockpit displays, and data link transceivers. The data sent to the airborne systems contained identification and GPS location of traffic. This information was compared with the own-ship location from airborne GPS receivers to generate incursion alerts. A total of 93 test tracks were flown while operating RIPS. This report compares the accuracy of the airborne GPS systems that gave the own-ship position of the research aircraft for the 93 test tracks.Quach, Cuong C.Langley Research CenterAIRBORNE EQUIPMENT; POSITION (LOCATION); RUNWAYS; ACCIDENT PREVENTION; AEROSPACE SAFETY; FLIGHT TESTS; ACCURACY; AIRPORTS; GROUND TESTS; RADAR DATA; COCKPITS; GLOBAL POSITIONING SYSTEM; DATA ACQUISITION; DATA LINKS; DATA SYSTEMS; RESEARCH AIRCRAFT

Two-volume collection of case studies on aspects of NACA-NASA research by noted engineers, airmen, historians, museum curators, journalists, and independent scholars. Explores various aspects of how NACA-NASA research took aeronautics from the subsonic to the hypersonic era.-publisher description.

Today, formal methods are widely recognized as an essential step in the design process of industrial safety-critical systems. In its more general definition, the term formal methods encompasses all notations having a precise mathematical semantics, together with their associated analysis methods, that allow description and reasoning about the behavior of a system in a formal manner. Growing out of more than a decade of award-winning collaborative work within the European Research Consortium for Informatics and Mathematics, Formal Methods for Industrial Critical Systems: A Survey of Applications presents a number of mainstream formal methods currently used for designing industrial critical systems, with a focus on model checking. The purpose of the book is threefold: to reduce the effort required to learn formal methods, which has been a major drawback for their industrial dissemination; to help designers to adopt the formal methods which are most appropriate for their systems; and to offer a panel of state-of-the-art techniques and tools for analyzing critical systems.