This report summarizes the software products and system architectures developed by Lockheed Martin in support of the Low Visibility Landing and Surface Operations (LVLASO) program at NASA Langley Research Center. It presents an overview of the technical aspects, capabilities, and system integration issues associated with an integrated display system (IDS) that collects, processes and presents information to an aircraft flight crew during all phases of landing, roll-out, turn-off, inbound taxi, outbound taxi and takeoff. Communications hardware, drivers, and software provide continuous real-time data at varying rates and from many different sources to the display programs for presentation on a head-down display (HDD) and/or a head-up display (HUD). An electronic moving map of the airport surface is implemented on the HDD which includes the taxi route assigned by air traffic control, a text messaging system, and surface traffic and runway status information. Typical HUD symbology for navigation and control of the aircraft is augmented to provide aircraft deceleration guidance after touchdown to a pilot selected exit and taxi guidance along the route assigned by ATC. HUD displays include scene-linked symbolic runways, runway exits and taxiways that are conformal with the actual locations on the airport surface. Display formats, system architectures, and the various IDS programs are discussed. Beskenis, Sharon Otero and Green, David F., Jr. and Hyer, Paul V. and Johnson, Edward J., Jr. Langley Research Center...

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.

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.

A concept of operations (CONOPS) for the Commercial and Business (CaB) aircraft synthetic vision systems (SVS) is described. The CaB SVS is expected to provide increased safety and operational benefits in normal and low visibility conditions. Providing operational benefits will promote SVS implementation in the fleet, improve aviation safety, and assist in meeting the national aviation safety goal. SVS will enhance safety and enable consistent gate-to-gate aircraft operations in normal and low visibility conditions. The goal for developing SVS is to support operational minima as low as Category IIIb in a variety of environments. For departure and ground operations, the SVS goal is to enable operations with a runway visual range of 300 feet. The system is an integrated display concept that provides a virtual visual environment. The SVS virtual visual environment is composed of three components: an enhanced intuitive view of the flight environment, hazard and obstacle detection and display.

A perennial bestseller, the Digital Avionics Handbook offers a comprehensive view of avionics. Complete with case studies of avionics architectures as well as examples of modern systems flying on current military and civil aircraft, this Third Edition includes: Ten brand-new chapters covering new topics and emerging trends Significant restructuring to deliver a more coherent and cohesive story Updates to all existing chapters to reflect the latest software and technologies Featuring discussions of new data bus and display concepts involving retina scanning, speech interaction, and synthetic vision, the Digital Avionics Handbook, Third Edition provides practicing and aspiring electrical, aerospace, avionics, and control systems engineers with a pragmatic look at the present state of the art of avionics.

A perennial bestseller, the Digital Avionics Handbook offers a comprehensive view of avionics. Complete with case studies of avionics architectures as well as examples of modern systems flying on current military and civil aircraft, this Third Edition includes: Ten brand-new chapters covering new topics and emerging trends Significant restructuring to deliver a more coherent and cohesive story Updates to all existing chapters to reflect the latest software and technologies Featuring discussions of new data bus and display concepts involving retina scanning, speech interaction, and synthetic vision, the Digital Avionics Handbook, Third Edition provides practicing and aspiring electrical, aerospace, avionics, and control systems engineers with a pragmatic look at the present state of the art of avionics.