Engineering Papers⌕ Search

Engineering topics

Johnson, Sally C.

Publications and source records attributed to Johnson, Sally C..

At least 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2017

An Advanced Trajectory-Based Operations Prototype Tool and Focus Group Evaluation

Trajectory-based operations (TBO) is a key concept in the Next Generation Air Transportation System transformation of the National Airspace System (NAS) that will increase the predictability and stability of traffic flows, support a common operational picture through the use of digital data sharing, facilitate more effective collaborative decision making between airspace users and air navigation service providers, and enable increased levels of integrated automation across the NAS. The National Aeronautics and Space Administration (NASA) has been developing trajectory-based systems to improve the efficiency of the NAS during specific phases of flight and is now also exploring Advanced 4-Dimensional Trajectory (4DT) operational concepts that will integrate these technologies and incorporate new technology where needed to create both automation and procedures to support gate-to-gate TBO. A TBO Prototype simulation toolkit has been developed that demonstrates initial functionality that may reside in an Advanced 4DT TBO concept. Pilot and controller subject matter experts (SMEs) were brought to the Air Traffic Operations Laboratory at NASA Langley Research Center for discussions on an Advanced 4DT operational concept and were provided an interactive demonstration of the TBO Prototype using four example scenarios. The SMEs provided feedback on potential operational, technological, and procedural opportunities and concerns. After viewing the interactive demonstration scenarios, the SMEs felt the operational capabilities demonstrated would be useful for performing TBO while maintaining situation awareness and low mental workload. The TBO concept demonstrated produced defined routings around weather which resulted in a more organized, consistent flow of traffic where it was clear to both the controller and pilot what route the aircraft was to follow. In general, the controller SMEs felt that traffic flow management should be responsible for generating and negotiating the operational constraints demonstrated, in cooperation with the Air Traffic Control System Command Center, while air traffic control should be responsible for the implementation of those constraints. The SMEs also indicated that digital data communications would be very beneficial for TBO operations and would result in less workload due to reduced communications, would eliminate issues due to language barriers and frequency problems, and would make receiving, loading, accepting, and executing clearances easier, less ambiguous, and more expeditious. This paper describes an Advanced 4DT operational concept, the TBO Prototype, the demonstration scenarios and methods used, and the feedback obtained from the pilot and controller SMEs in this focus group evaluation.

Guerreiro, Nelson M.↗
NASA NTRS2016

NextGen Far-Term Concept Exploration for Integrated Gate-to-Gate Trajectory-Based Operations

NASA is currently conducting concept exploration studies toward the definition of a far-term, gate-to-gate concept for Trajectory-Based Operations. This paper presents a basic architectural framework for the far-term concept and discusses some observations about implementation of trajectory-based operations in the National Airspace System. Within the concept, operators and service providers collaboratively negotiate aircraft trajectories, providing agile, optimized, aircraft-specific routing to meet service provider gate-to-gate flow-management constraints and increasing capacity by smoothly and effectively combining flight-deck-based and ground-based metering, merging, and spacing in a mixed-equipage environment. The far-term TBO concept is intended to influence the direction of mid-term TBO research and to inform the definition of stable requirements and standards for TBO communications infrastructure and user equipage.

Johnson, Sally C.↗
NASA NTRS2014

Exploration of the Trade Space Between Unmanned Aircraft Systems Descent Maneuver Performance and Sense-and-Avoid System Performance Requirements

A need exists to safely integrate Unmanned Aircraft Systems (UAS) into the United States' National Airspace System. Replacing manned aircraft's see-and-avoid capability in the absence of an onboard pilot is one of the key challenges associated with safe integration. Sense-and-avoid (SAA) systems will have to achieve yet-to-be-determined required separation distances for a wide range of encounters. They will also need to account for the maneuver performance of the UAS they are paired with. The work described in this paper is aimed at developing an understanding of the trade space between UAS maneuver performance and SAA system performance requirements, focusing on a descent avoidance maneuver. An assessment of current manned and unmanned aircraft performance was used to establish potential UAS performance test matrix bounds. Then, near-term UAS integration work was used to narrow down the scope. A simulator was developed with sufficient fidelity to assess SAA system performance requirements. The simulator generates closest-point-of-approach (CPA) data from the wide range of UAS performance models maneuvering against a single intruder with various encounter geometries. Initial attempts to model the results made it clear that developing maneuver performance groups is required. Discussion of the performance groups developed and how to know in which group an aircraft belongs for a given flight condition and encounter is included. The groups are airplane, flight condition, and encounter specific, rather than airplane-only specific. Results and methodology for developing UAS maneuver performance requirements are presented for a descent avoidance maneuver. Results for the descent maneuver indicate that a minimum specific excess power magnitude can assure a minimum CPA for a given time-to-go prediction. However, smaller amounts of specific excess power may achieve or exceed the same CPA if the UAS has sufficient speed to trade for altitude. The results of this study will support UAS maneuver performance requirements development for integrating UAS in the NAS. The methods described are being used to help RTCA Special Committee 228 develop requirements.

Jack, Devin P.↗
NASA NTRS2014

Evaluation of the Trade Space Between UAS Maneuver Performance and SAA System Performance Requirements

A need exists to safely integrate Unmanned Aircraft Systems (UAS) into the National Airspace System. Replacing manned aircraft's see-and-avoid capability in the absence of an onboard pilot is one of the key challenges associated with safe integration. Sense-and-avoid (SAA) systems will have to achieve yet-to-be-determined required separation distances for a wide range of encounters. They will also need to account for the maneuver performance of the UAS they are paired with. The work described in this paper is aimed at developing an understanding of the trade space between UAS maneuver performance and SAA system performance requirements. An assessment of current manned and unmanned aircraft performance was used to establish potential UAS performance test matrix bounds. Then, nearterm UAS integration work was used to narrow down the scope. A simulator was developed with sufficient fidelity to assess SAA system performance requirements for a wide range of encounters. The simulator generates closest-point-of-approach (CPA) data from the wide range of UAS performance models maneuvering against a single intruder with various encounter geometries. The simulator is described herein and has both a graphical user interface and batch interface to support detailed analysis of individual UAS encounters and macro analysis of a very large set of UAS and encounter models, respectively. Results from the simulator using approximate performance data from a well-known manned aircraft is presented to provide insight into the problem and as verification and validation of the simulator. Analysis of climb, descent, and level turn maneuvers to avoid a collision is presented. Noting the diversity of backgrounds in the UAS community, a description of the UAS aerodynamic and propulsive design and performance parameters is included. Initial attempts to model the results made it clear that developing maneuver performance groups is required. Discussion of the performance groups developed and how to know in which group an aircraft belongs for a given flight condition and encounter is included. The groups are specific to airplane, flight condition, and encounter, rather than airplane-only specific. Results and methodology for developing UAS maneuver performance requirements are presented for each maneuver as well. Results for the vertical maneuver indicate that a minimum specific excess power value can assure a minimum CPA for a given time-to-go prediction. However, smaller values of specific excess power may achieve or exceed the same CPA if the UAS has sufficient speed to trade for altitude. Level turn results are less impacted by specific excess power and are presented as a function of turn rate. The effect of altitude is also discussed for the turns. Next steps and future work are discussed. Future studies will lead to better quantification of the preliminary results and cover the remainder of the proposed test matrix. It is anticipated that this will be done in conjunction with RTCA SC-228 over the next few months.

Jack, Devin P.↗
NASA NTRS2013

Simplified Aircraft-Based Paired Approach: Concept Definition and Initial Analysis

Simplified Aircraft-based Parallel Approach (SAPA) is an advanced concept proposed by the Federal Aviation Administration (FAA) to support dependent parallel approach operations to runways with lateral spacing closer than 2500 ft. At the request of the FAA, NASA performed an initial assessment of the potential performance and feasibility of the SAPA concept, including developing and assessing an operational implementation of the concept and conducting a Monte Carlo wake simulation study to examine the longitudinal spacing requirements. The SAPA concept was shown to have significant operational advantages in supporting the pairing of aircraft with dissimilar final approach speeds. The wake simulation study showed that support for dissimilar final approach speeds could be significantly enhanced through the use of a two-phased altitudebased longitudinal positioning requirement, with larger longitudinal positioning allowed for higher altitudes out of ground effect and tighter longitudinal positioning defined for altitudes near and in ground effect. While this assessment is preliminary and there are a number of operational issues still to be examined, it has shown the basic SAPA concept to be technically and operationally feasible.

Johnson, Sally C.↗
NASA NTRS2010

Characterizing a Wake-Free Safe Zone for the Simplified Aircraft-Based Paired Approach Concept

The Federal Aviation Administration (FAA) has proposed a concept of operations geared towards achieving increased arrival throughput at U.S. Airports, known as the Simplified Aircraft-based Paired Approach (SAPA) concept. In this study, a preliminary characterization of a wake-free safe zone (WFSZ) for the SAPA concept has been performed. The experiment employed Monte-Carlo simulations of varying approach profiles by aircraft pairs to closely-spaced parallel runways. Three different runway lateral spacings were investigated (750 ft, 1000 ft and 1400 ft), along with no stagger and 1500 ft stagger between runway thresholds. The paired aircraft were flown in a leader/trailer configuration with potential wake encounters detected using a wake detection surface translating with the trailing aircraft. The WFSZ is characterized in terms of the smallest observed initial in-trail distance leading to a wake encounter anywhere along the approach path of the aircraft. The results suggest that the WFSZ can be characterized in terms of two primary altitude regions, in ground-effect (IGE) and out of ground-effect (OGE), with the IGE region being the limiting case with a significantly smaller WFSZ. Runway stagger was observed to only modestly reduce the WFSZ size, predominantly in the OGE region.

Guerreiro, Nelson M.↗
NASA NTRS2005

Overview of the Small Aircraft Transportation System Project Four Enabling Operating Capabilities

It has become evident that our commercial air transportation system is reaching its peak in terms of capacity, with numerous delays in the system and the demand still steadily increasing. NASA, FAA, and the National Consortium for Aviation Mobility (NCAM) have partnered to aid in increasing the mobility throughout the United States through the Small Aircraft Transportation System (SATS) project. The SATS project has been a five-year effort to provide the technical and economic basis for further national investment and policy decisions to support a small aircraft transportation system. The SATS vision is to enable people and goods to have the convenience of on-demand point-to-point travel, anywhere, anytime for both personal and business travel. This vision can be obtained by expanding near all-weather access to more than 3,400 small community airports that are currently under-utilized throughout the United States. SATS has focused its efforts on four key operating capabilities that have addressed new emerging technologies, procedures, and concepts to pave the way for small aircraft to operate in nearly all weather conditions at virtually any runway in the United States. These four key operating capabilities are: Higher Volume Operations at Non-Towered/Non-Radar Airports, En Route Procedures and Systems for Integrated Fleet Operations, Lower Landing Minimums at Minimally Equipped Landing Facilities, and Increased Single Pilot Performance. The SATS project culminated with the 2005 SATS Public Demonstration in Danville, Virginia on June 5th-7th, by showcasing the accomplishments achieved throughout the project and demonstrating that a small aircraft transportation system could be viable. The technologies, procedures, and concepts were successfully demonstrated to show that they were safe, effective, and affordable for small aircraft in near all weather conditions. The focus of this paper is to provide an overview of the technical and operational feasibility of the four operating capabilities, and explain how they can enable a small aircraft transportation system.

Viken, Sally A.↗
NASA NTRS2005

Overview of the Small Aircraft Transportation System Project Four Enabling Operating Capabilities

It has become evident that our commercial air transportation system is reaching its peak in terms of capacity, with numerous delays in the system and the demand still steadily increasing. NASA, FAA, and the National Consortium for Aviation Mobility (NCAM) have partnered to aid in increasing the mobility throughout the United States through the Small Aircraft Transportation System (SATS) project. The SATS project has been a five-year effort to provide the technical and economic basis for further national investment and policy decisions to support a small aircraft transportation system. The SATS vision is to enable people and goods to have the convenience of on-demand point-to-point travel, anywhere, anytime for both personal and business travel. This vision can be obtained by expanding near all-weather access to more than 3,400 small community airports that are currently under-utilized throughout the United States. SATS has focused its efforts on four key operating capabilities that have addressed new emerging technologies, procedures, and concepts to pave the way for small aircraft to operate in nearly all weather conditions at virtually any runway in the United States. These four key operating capabilities are: Higher Volume Operations at Non-Towered/Non-Radar Airports, En Route Procedures and Systems for Integrated Fleet Operations, Lower Landing Minimums at Minimally Equipped Landing Facilities, and Increased Single Pilot Performance. The SATS project culminated with the 2005 SATS Public Demonstration in Danville, Virginia on June 5th-7th, by showcasing the accomplishments achieved throughout the project and demonstrating that a small aircraft transportation system could be viable. The technologies, procedures, and concepts were successfully demonstrated to show that they were safe, effective, and affordable for small aircraft in near all weather conditions. The focus of this paper is to provide an overview of the technical and operational feasibility of the four operating capabilities, and explain how they can enable a small aircraft transportation system.

Viken, Sally A.↗
NASA NTRS1998

A Note About HARP's State Trimming Method

This short note provides some additional insight into how the HARP program works. In some cases, it is possible for HARP to tdm away too many states and obtain an optimistic result. The HARP Version 7.0 manual warns the user that 'Unlike the ALL model, the SAME model can automatically drop failure modes for certain system models. The user is cautioned to insure that no important failure modes are dropped; otherwise, a non-conservative result can be given.' This note provides an example of where this occurs and a pointer to further documentation that gives a means of bounding the error associated with trimming these states.

Butler, Ricky W.↗
NASA NTRS1996

Reduction of Weather-Related Terminal Area Delays in the Free-Flight Era

While much of the emphasis of the free-flight movement has been concentrated on reducing en-route delays, airport capacity is a major bottleneck in the current airspace system, particularly during bad weather. According to the Air Transport Association (ATA) Air Carrier Delay Reports, ground delays (gate-hold, taxi-in, and taxi-out) comprise 75 percent of total delays. It is likely that the projected steady growth in traffic will only exacerbate these losses. Preliminary analyses show that implementation of the terminal area technologies and procedures under development in NASA s Terminal Area Productivity program can potentially save the airlines at least $350M annually in weather-related delays by the year 2005 at Boston Logan and Detroit airports alone. This paper briefly describes the Terminal Area Productivity program, outlines the costhenefit analyses that are being conducted in support of the program, and presents some preliminary analysis results.

Johnson, Sally C.↗
NASA NTRS1995

Techniques for modeling the reliability of fault-tolerant systems with the Markov state-space approach

This paper presents a step-by-step tutorial of the methods and the tools that were used for the reliability analysis of fault-tolerant systems. The approach used in this paper is the Markov (or semi-Markov) state-space method. The paper is intended for design engineers with a basic understanding of computer architecture and fault tolerance, but little knowledge of reliability modeling. The representation of architectural features in mathematical models is emphasized. This paper does not present details of the mathematical solution of complex reliability models. Instead, it describes the use of several recently developed computer programs SURE, ASSIST, STEM, and PAWS that automate the generation and the solution of these models.

Butler, Ricky W.↗
NASA NTRS1995

ASSIST user manual

Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all the states and transitions in a complex system model can be devastatingly tedious and error prone. The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) computer program allows the user to describe the semi-Markov model in a high-level language. Instead of listing the individual model states, the user specifies the rules governing the behavior of the system, and these are used to generate the model automatically. A few statements in the abstract language can describe a very large, complex model. Because no assumptions are made about the system being modeled, ASSIST can be used to generate models describing the behavior of any system. The ASSIST program and its input language are described and illustrated by examples.

Johnson, Sally C.↗
NASA NTRS1994

ASSIST internals reference manual

The Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST) program was developed at NASA LaRC in order to analyze the reliability of virtually any fault-tolerant system. A user manual was developed to detail its use. Certain technical specifics are of no concern to the end user, yet are of importance to those who must maintain and/or verify the correctness of the tool. This document takes a detailed look into these technical issues.

Johnson, Sally C.↗
NASA NTRS1994

TOTAL user manual

Semi-Markov models can be used to analyze the reliability of virtually any fault-tolerant system. However, the process of delineating all of the states and transitions in the model of a complex system can be devastatingly tedious and error-prone. Even with tools such as the Abstract Semi-Markov Specification Interface to the SURE Tool (ASSIST), the user must describe a system by specifying the rules governing the behavior of the system in order to generate the model. With the Table Oriented Translator to the ASSIST Language (TOTAL), the user can specify the components of a typical system and their attributes in the form of a table. The conditions that lead to system failure are also listed in a tabular form. The user can also abstractly specify dependencies with causes and effects. The level of information required is appropriate for system designers with little or no background in the details of reliability calculations. A menu-driven interface guides the user through the system description process, and the program updates the tables as new information is entered. The TOTAL program automatically generates an ASSIST input description to match the system description.

Johnson, Sally C.↗
NASA NTRS1993

Interface To The SURE Program

Abstract Semi-Markov Specification Interface to SURE Tool (ASSIST) computer program is interface program enabling reliability engineers to design large semi-Markov mathematical models accurately. Language enables efficient description of large, complicated systems. Also offers, as part of bundled package with SURE and PAWS/STEM, two other reliable analysis programs developed by Systems Validation Methods group at Langley Research Center.

Johnson, Sally C.↗
NASA NTRS1993

Formal methods for life-critical software

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Butler, Ricky W.↗
NASA NTRS1993

Formal Methods for Life-Critical Software

The use of computer software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical verification procedures. This paper demonstrates how to apply formal methods to the development and verification of software by leading the reader step-by-step through requirements analysis, design, implementation, and verification of an electronic phone book application. The current maturity and limitations of formal methods tools and techniques are then discussed, and a number of examples of the successful use of formal methods by industry are cited.

Butler, Ricky W.↗
NASA NTRS1992

The Second NASA Formal Methods Workshop 1992

The primary goal of the workshop was to bring together formal methods researchers and aerospace industry engineers to investigate new opportunities for applying formal methods to aerospace problems. The first part of the workshop was tutorial in nature. The second part of the workshop explored the potential of formal methods to address current aerospace design and verification problems. The third part of the workshop involved on-line demonstrations of state-of-the-art formal verification tools. Also, a detailed survey was filled in by the attendees; the results of the survey are compiled.

Johnson, Sally C.↗