Search NASA⌕ Search

SEARCH · Search NASA

Results for “Rapid Process Design”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Discovering Digital Engineering Needs Through Human-Centered Approaches

Digital engineering has the power to transform organizations in profound ways, but digitizing legacy workflows and infusing new technologies into existing practices may not yield the intended results or address the underlying problems or bottlenecks. This paper describes the human-centered approaches used to understand stakeholder challenges and identify digital engineering needs during the design-build-test portion of the systems development lifecycle. Through a series of interactive stakeholder workshops and need-finding activities, key stakeholder needs were identified to help guide the integration of digital engineering technologies. The overarching need was for downstream system development steps to be considered further upstream in the project lifecycle in a manner that allows for proactive and interactive co-constructive idea exploration, problem resolution, and requirements considerations in a collective engagement with engineers and technicians from multiple disciplines to increase efficiency and reduce risks while offering opportunities to improve the final engineered system. Supporting this need was a wide-ranging desire from stakeholders for digital and non-digital support structures for efficient rapid iteration during system development. This work yielded several improvements for system development processes and for digital engineering infusion.

Design Science↗
NASA NTRS2000

Simulating the Composite Propellant Manufacturing Process

There is a strategic interest in understanding how the propellant manufacturing process contributes to military capabilities outside the United States. The paper will discuss how system dynamics (SD) has been applied to rapidly assess the capabilities and vulnerabilities of a specific composite propellant production complex. These facilities produce a commonly used solid propellant with military applications. The authors will explain how an SD model can be configured to match a specific production facility followed by a series of scenarios designed to analyze operational vulnerabilities. By using the simulation model to rapidly analyze operational risks, the analyst gains a better understanding of production complexities. There are several benefits of developing SD models to simulate chemical production. SD is an effective tool for characterizing complex problems, especially the production process where the cascading effect of outages quickly taxes common understanding. By programming expert knowledge into an SD application, these tools are transformed into a knowledge management resource that facilitates rapid learning without requiring years of experience in production operations. It also permits the analyst to rapidly respond to crisis situations and other time-sensitive missions. Most importantly, the quantitative understanding gained from applying the SD model lends itself to strategic analysis and planning.

Williamson, Suzanne↗
NASA NTRS2005

On Automating Failure Mode Analysis and Enforcing its Integrity

This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics systems. Our objective is to transform DFS practice from an ad-hoc, inefficient, error-prone approach to a stringent engineering process such that DFS can keep up with the rapidly growing complexity of avionics systems. In particular, RAME is built upon an information infrastructure that comprises a fault model, a knowledge base, and a failure reporting/tracking system. This infrastructure permits systematic learning from prior projects and enables the automation of failure modes, effects and criticality analysis (FMECA). Among other unique features, the most important advantage of RAME is its capability of directly accepting design source code in hardware description languages (HDLs) for automated failure mode analysis, which enables RAME to be compatible and to evolve with most electronic-computer-aided-design systems. Through an initial experimental evaluation of the RAME prototype, we show that our approach to FMECA automation improves failure mode analysis turn-around-time, completeness, and accuracy.

design for safety↗
NASA NTRS1991

Ada and the rapid development lifecycle

JPL is under contract, through NASA, with the US Army to develop a state-of-the-art Command Center System for the US European Command (USEUCOM). The Command Center System will receive, process, and integrate force status information from various sources and provide this integrated information to staff officers and decision makers in a format designed to enhance user comprehension and utility. The system is based on distributed workstation class microcomputers, VAX- and SUN-based data servers, and interfaces to existing military mainframe systems and communication networks. JPL is developing the Command Center System utilizing an incremental delivery methodology called the Rapid Development Methodology with adherence to government and industry standards including the UNIX operating system, X Windows, OSF/Motif, and the Ada programming language. Through a combination of software engineering techniques specific to the Ada programming language and the Rapid Development Approach, JPL was able to deliver capability to the military user incrementally, with comparable quality and improved economies of projects developed under more traditional software intensive system implementation methodologies.

Deforrest, Lloyd↗
NASA NTRS1972

Solid rocket motor cost model

A systematic and standardized procedure for estimating life cycle costs of solid rocket motor booster configurations. The model consists of clearly defined cost categories and appropriate cost equations in which cost is related to program and hardware parameters. Cost estimating relationships are generally based on analogous experience. In this model the experience drawn on is from estimates prepared by the study contractors. Contractors' estimates are derived by means of engineering estimates for some predetermined level of detail of the SRM hardware and program functions of the system life cycle. This method is frequently referred to as bottom-up. A parametric cost analysis is a useful technique when rapid estimates are required. This is particularly true during the planning stages of a system when hardware designs and program definition are conceptual and constantly changing as the selection process, which includes cost comparisons or trade-offs, is performed. The use of cost estimating relationships also facilitates the performance of cost sensitivity studies in which relative and comparable cost comparisons are significant.

Harney, A. G.↗
NASA NTRS1993

An architecture and model for cognitive engineering simulation analysis - Application to advanced aviation automation

The process of designing crew stations for large-scale, complex automated systems is made difficult because of the flexibility of roles that the crew can assume, and by the rapid rate at which system designs become fixed. Modern cockpit automation frequently involves multiple layers of control and display technology in which human operators must exercise equipment in augmented, supervisory, and fully automated control modes. In this context, we maintain that effective human-centered design is dependent on adequate models of human/system performance in which representations of the equipment, the human operator(s), and the mission tasks are available to designers for manipulation and modification. The joint Army-NASA Aircrew/Aircraft Integration (A3I) Program, with its attendant Man-machine Integration Design and Analysis System (MIDAS), was initiated to meet this challenge. MIDAS provides designers with a test bed for analyzing human-system integration in an environment in which both cognitive human function and 'intelligent' machine function are described in similar terms. This distributed object-oriented simulation system, its architecture and assumptions, and our experiences from its application in advanced aviation crew stations are described.

Corker, Kevin M.↗
NASA NTRS2020

Pterodactyl: The Development and Performance of Guidance Algorithms for a Mechanically Deployed Entry Vehicle

Pterodactyl is a NASA Space Technology Mission Directorate (STMD) project focused on developing a design capability for optimal, scalable, Guidance and Control (G&C) solutions that enable precision targeting for Deployable Entry Vehicles (DEVs). This feasibility study is unique in that it focuses on the rapid integration of targeting performance analysis with structural & packaging analysis, which is especially challenging for new vehicle and mission designs. This paper will detail the guidance development and trajectory design process for a lunar return mission, selected to stress the vehicle designs and encourage future scalability. For the five G&C configurations considered, the Fully Numerical Predictor-Corrector Entry Guidance (FNPEG) was selected for configurations requiring bank angle guidance and FNPEG with Uncoupled Range Control (URC) was developed for configurations requiring angle of attack and sideslip angle guidance. Successful G&C configurations are defined as those that can deliver payloads to the intended descent and landing initiation point, while abiding by trajectory constraints for nominal and dispersed trajectories.

Johnson, Breanna J.↗
NASA NTRS2021

Generation-based Evolutionary Tool for the Optimization of Constellations (GenETOC)

With the rapid growth in the capabilities of smaller satellites, satellite architectures that replace a single, extremely capable spacecraft with multiple, cheaper ones are gaining in popularity. Unfortunately, the orbit design process for constellations can be significantly more involved, especiallywhen the relative placement of the individual spacecraft within the constellation is not constrained by mission and/or science objectives. Optimizing a satellite constellation in the presence of multiple, competing objectives is a highly complex problem to which many traditional mathematical optimization methods cannot be applied and few tools exist to help mission designers search for promising candidate mission designs. The Generation-based Evolutionary Tool for the Optimization of Constellations (GenETOC) has been created to search for near-optimal constellation design options. GenETOC combines a modified version of the Non-dominated Sorting Genetic Algorithm II (NSGA II) with STK Components libraries (a 3rdparty .NET package created by Analytical Graphics Inc.) to create a framework that enables a mission designer to generate a simulation that models the design problem and obtain a family of potential, near-optimal solutions that can be investigated more in detail.

mission design↗
NASA NTRS2021

Generation-based Evolutionary Tool for the Optimization of Constellations (GenETOC)

With the rapid growth in the capabilities of smaller satellites, satellite architectures that replace a single, extremely capable spacecraft with multiple, cheaper ones are gaining in popularity. Unfortunately, the orbit design process for constellations can be significantly more involved, especiallywhen the relative placement of the individual spacecraft within the constellation is not constrained by mission and/or science objectives. Optimizing a satellite constellation in the presence of multiple, competing objectives is a highly complex problem to which many traditional mathematical optimization methods cannot be applied and few tools exist to help mission designers search for promising candidate mission designs. The Generation-based Evolutionary Tool for the Optimization of Constellations (GenETOC) has been created to search for near-optimal constellation design options. GenETOC combines a modified version of the Non-dominated Sorting Genetic Algorithm II (NSGA II) with STK Components libraries (a 3rdparty .NET package created by Analytical Graphics Inc.) to create a framework that enables a mission designer to generate a simulation that models the design problem and obtain a family of potential, near-optimal solutions that can be investigated more in detail. GenETOC was developed in C# using the .NET framework with Windows Presentation Foundation (WPF) serving as the framework from which to create the graphical user interface (GUI). GenETOC user inputs can be categorized into three major data components: definition of the problem (areas of interest, satellite decision parameters, and sensor configurations), definition of performance objectives, and specification of the genetic algorithm (GA) parameters. In the problem definition component, the user is prompted to define the areas of interest against which the performance metrics will be computed, define the sensor parameters and attach them to specific spacecraft, select which satellite orbital parameters will be added to the decision space of the GA, and specify the range of desired values for each optimization parameter. For performance objectives, the user is presented with a list of available coverage and revisit performance based calculation options from which two metrics are chosen to serve as the objective functions that the GA will use to evaluate solutions during the optimization process. Finally, the definition of the GA parameters provides user control over the number of generations (number of optimization iterations), the population size (number of candidate constellations created in each generation), and the adaptive mutation and crossover threshold values (control parameters for how frequently each process occurs during the optimization). GenETOC has been extensively tested to verify the individual components of the optimization process. The GA has been tested against a suite of GA test problems to confirm convergence to the known two and three-dimensional Pareto fronts. The coverage and revisit performance metrics obtained in GenETOC are compared with STK desktop scenarios, confirming the constellations are being appropriately modeled within GenETOC simulations. A walkthrough of a simple, example problem is provided to illustrate the workings of GenETOC and to demonstrate the output available to the mission designer.

mission design↗
NASA NTRS2000

Numerical Propulsion System Simulation: An Overview

The cost of implementing new technology in aerospace propulsion systems is becoming prohibitively expensive and time consuming. One of the main contributors to the high cost and lengthy time is the need to perform many large-scale hardware tests and the inability to integrate all appropriate subsystems early in the design process. The NASA Glenn Research Center is developing the technologies required to enable simulations of full aerospace propulsion systems in sufficient detail to resolve critical design issues early in the design process before hardware is built. This concept, called the Numerical Propulsion System Simulation (NPSS), is focused on the integration of multiple disciplines such as aerodynamics, structures and heat transfer with computing and communication technologies to capture complex physical processes in a timely and cost-effective manner. The vision for NPSS, as illustrated, is to be a "numerical test cell" that enables full engine simulation overnight on cost-effective computing platforms. There are several key elements within NPSS that are required to achieve this capability: 1) clear data interfaces through the development and/or use of data exchange standards, 2) modular and flexible program construction through the use of object-oriented programming, 3) integrated multiple fidelity analysis (zooming) techniques that capture the appropriate physics at the appropriate fidelity for the engine systems, 4) multidisciplinary coupling techniques and finally 5) high performance parallel and distributed computing. The current state of development in these five area focuses on air breathing gas turbine engines and is reported in this paper. However, many of the technologies are generic and can be readily applied to rocket based systems and combined cycles currently being considered for low-cost access-to-space applications. Recent accomplishments include: (1) the development of an industry-standard engine cycle analysis program and plug 'n play architecture, called NPSS Version 1, (2) A full engine simulation that combines a 3D low-pressure subsystem with a 0D high pressure core simulation. This demonstrates the ability to integrate analyses at different levels of detail and to aerodynamically couple components, the fan/booster and low-pressure turbine, through a 3D computational fluid dynamics simulation. (3) Simulation of all of the turbomachinery in a modern turbofan engine on parallel computing platform for rapid and cost-effective execution. This capability can also be used to generate full compressor map, requiring both design and off-design simulation. (4) Three levels of coupling characterize the multidisciplinary analysis under NPSS: loosely coupled, process coupled and tightly coupled. The loosely coupled and process coupled approaches require a common geometry definition to link CAD to analysis tools. The tightly coupled approach is currently validating the use of arbitrary Lagrangian/Eulerian formulation for rotating turbomachinery. The validation includes both centrifugal and axial compression systems. The results of the validation will be reported in the paper. (5) The demonstration of significant computing cost/performance reduction for turbine engine applications using PC clusters. The NPSS Project is supported under the NASA High Performance Computing and Communications Program.

Lytle, John K.↗
NASA NTRS2004

Rapid Airplane Parametric Input Design(RAPID)

An efficient methodology is presented for defining a class of airplane configurations. Inclusive in this definition are surface grids, volume grids, and grid sensitivity. A small set of design parameters and grid control parameters govern the process. The general airplane configuration has wing, fuselage, vertical tail, horizontal tail, and canard components. The wing, tail, and canard components are manifested by solving a fourth-order partial differential equation subject to Dirichlet and Neumann boundary conditions. The design variables are incorporated into the boundary conditions, and the solution is expressed as a Fourier series. The fuselage has circular cross section, and the radius is an algebraic function of four design parameters and an independent computational variable. Volume grids are obtained through an application of the Control Point Form method. Grid sensitivity is obtained by applying the automatic differentiation precompiler ADIFOR to software for the grid generation. The computed surface grids, volume grids, and sensitivity derivatives are suitable for a wide range of Computational Fluid Dynamics simulation and configuration optimizations.

Smith, Robert E.↗
NASA NTRS2017

A PCR Based Microbial Monitoring Alternative Method of Detection and Identification of Microbes Aboard ISS

Previous research has shown that microorganisms and potential human pathogens have been detected on the International Space Station (ISS) with additional introduction of new microflora occurring with every exchange of crew or addition of equipment and supplies. These microbes are readily transferred between crew and subsystems (i.e. ECLSS, environmental control and life support systems). As this can be detrimental to astronaut health and optimal performance of ISS systems, monitoring of systems such as ECLSS to include identification of microbial contaminants could prevent adverse effects on human health and life support systems. Current monitoring on ISS is laborious and utilizes culture based methods followed by sample return to Earth for complete analysis. Future, long-distance spaceflight missions will require real-time monitoring capabilities that enable efficient and rapid assessments of the microbial environment allowing for expedited decisions and more targeted response to cope with anomalies. Polymerase chain reaction (PCR), a molecular microbial monitoring method was chosen and numerous PCR instruments investigated for their potential to perform in microgravity conditions. Using ISS as a test bed for PCR verification in microgravity will enable NASA to assess whether molecular based microbiological sensors may be components of reliable, closed-loop life support and habitation systems in spacecraft, enhancing infrastructure capabilities through increased efficiency, reliability, and time savings by enabling sample analysis on orbit. NASA selected the Water Monitoring Suite as one of the rapid spaceflight hardware demonstration activities utilizing a streamlined process to minimize the time required to fly experimental flight hardware. The RAZOR EX (BioFire Defense, Salt Lake City, UT) system was part of the water monitoring suite and is a commercial off-the-shelf (COTS) real-time PCR instrument designed for field work. The RAZOR EX was originally designed for Department of Defense (DoD) under a small business innovative research (SBIR) grant and is ruggedized, compact and provides a rapid, sample to answer in less than an hour. PCR assays using a fluorescent probe were optimized and spiked with known concentrations of DNA (Pseudomonas aeruginosa) ranging from 0.002 to 20 ng. PCR reagents were lyophilized and configured in customized pouches and tested for flight readiness. Three types of water were used to rehydrate the reagents and demonstrate the fidelity of the PCR reaction in microgravity. Molecular grade deionized water served as a control while filtered and unfiltered ISS potable water served to test for chemical or biological inhibitors. All three types were compared to parallel ground test results. Nine tests were run on ISS (3 of each water type) and the critical threshold cycle (Ct) was compared to parallel ground tests completed at Kennedy Space Center, FL and Johnson Space Center, TX. All concentrations of Pseudomonas aeruginosa DNA were detected. A comparison of the Ct produced in real time PCR indicated similarity between flight and ground samples. There appeared to be no significant difference between flight or ground PCR reactions or between any of the three water types. This testing demonstrated the ability to perform molecular testing during spaceflight operations with similar sensitivity. It will allow for future ground development of molecular protocols and minimize the need for spaceflight testing. Future testing will include development of additional targets including environmental and health related organisms.

Christina Khodadad↗
NASA NTRS2017

Precision Pointing for the Wide-Field Infrared Survey Telescope (WFIRST)

The Wide-Field Infrared Survey Telescope (WFIRST) mission, scheduled for a mid-2020's launch, is currently in its definition phase. The mission is designed to investigate essential questions in the areas of dark energy, exoplanets, and infrared astrophysics. WFIRST will use a 2.4-meter primary telescope (same size as the Hubble Space Telescope's primary mirror) and two instruments: the Wide Field Instrument (WFI) and the Coronagraph Instrument (CGI). In order to ad-dress the critical science requirements, the WFIRST mission will conduct large-scale surveys of the infrared sky, requiring both agility and precision pointing (11.6 milli-arcsec stability, 14 milli-arcsec jitter). This paper describes some of the challenges this mission profile presents to the GNC subsystem, and some of the design elements chosen to accommodate those challenges. The high-galactic-latitude survey is characterized by 3-minute observations separated by slews ranging from 0.025 deg to 0.8 deg. The need for observation efficiency drives the slew and settle process to be as rapid as possible. A description of the shaped slew profile chosen to minimize excitation of structural oscillation, and the handoff from star tracker-gyro control to fine guidance sensor control is detailed. Also presented is the fine guidance sensor (FGS), which is integral with the primary instrument (WFI). The FGS is capable of tracking up to 18 guide stars, enabling robust FGS acquisition and precision pointing. To avoid excitation of observatory structural jitter, reaction wheel speeds are operationally maintained within set limits. In addition, the wheel balance law is designed to maintain 1-Hz separation between the wheel speeds to avoid reinforcing jitter excitation at any particular frequency. The wheel balance law and operational implications are described. Finally, the candidate GNC hardware suite needed to meet the requirements of the mission is presented.

Stoneking, Eric↗
NASA NTRS2017

Precision Pointing for the Wide-Field Infrared Survey Telescope(WFIRST)

The Wide-Field Infrared Survey Telescope (WFIRST) mission, scheduled for a mid-2020's launch, is currently in its definition phase. The mission is designed to investigate essential questions in the areas of dark energy, exoplanets, and infrared astrophysics. WFIRST will use a 2.4-meter primary telescope (same size as the Hubble Space Telescope's primary mirror) and two instruments: the Wide Field Instrument (WFI) and the Coronagraph Instrument (CGI). In order to address the critical science requirements, the WFIRST mission will conduct large-scale surveys of the infrared sky, requiring both agility and precision pointing (11.6 milli-arcsec stability, 14 milli-arcsec jitter). This paper describes some of the challenges this mission profile presents to the Guidance, Navigation, and Control (GNC) subsystem, and some of the design elements chosen to accommodate those challenges. The high-galactic-latitude survey is characterized by 3-minute observations separated by slews ranging from 0.025 deg to 0.8 deg. The need for observation efficiency drives the slew and settle process to be as rapid as possible. A description of the shaped slew profile chosen to minimize excitation of structural oscillation, and the handoff from star tracker-gyro control to fine guidance sensor control is detailed. Also presented is the fine guidance sensor (FGS), which is integral with the primary instrument (WFI). The FGS is capable of tracking up to 18 guide stars, enabling robust FGS acquisition and precision pointing. To avoid excitation of observatory structural jitter, reaction wheel speeds are operationally maintained within set limits. In addition, the wheel balance law is designed to maintain 1-Hz separation between the wheel speeds to avoid reinforcing jitter excitation at any particular frequency. The wheel balance law and operational implications are described. Finally, the candidate GNC hardware suite needed to meet the requirements of the mission is presented.

Stoneking, Eric T.↗
NASA NTRS1989

Rapidly solidified titanium alloys by melt overflow

A pilot plant scale furnace was designed and constructed for casting titanium alloy strips. The furnace combines plasma arc skull melting techniques with melt overflow rapid solidification technology. A mathematical model of the melting and casting process was developed. The furnace cast strip of a suitable length and width for use with honeycomb structures. Titanium alloys Ti-6Al-4V and Ti-14Al-21 Nb were successfully cast into strips. The strips were evaluated by optical metallography, microhardness measurements, chemical analysis, and cold rolling.

Gaspar, Thomas A.↗
NASA NTRS2004

An Introduction to Flight Software Development: FSW Today, FSW 2010

Experience and knowledge gained from ongoing maintenance of Space Shuttle Flight Software and new development projects including Cockpit Avionics Upgrade are applied to projected needs of the National Space Exploration Vision through Spiral 2. Lessons learned from these current activities are applied to create a sustainable, reliable model for development of critical software to support Project Constellation. This presentation introduces the technologies, methodologies, and infrastructure needed to produce and sustain high quality software. It will propose what is needed to support a Vision for Space Exploration that places demands on the innovation and productivity needed to support future space exploration. The technologies in use today within FSW development include tools that provide requirements tracking, integrated change management, modeling and simulation software. Specific challenges that have been met include the introduction and integration of Commercial Off the Shelf (COTS) Real Time Operating System for critical functions. Though technology prediction has proved to be imprecise, Project Constellation requirements will need continued integration of new technology with evolving methodologies and changing project infrastructure. Targets for continued technology investment are integrated health monitoring and management, self healing software, standard payload interfaces, autonomous operation, and improvements in training. Emulation of the target hardware will also allow significant streamlining of development and testing. The methodologies in use today for FSW development are object oriented UML design, iterative development using independent components, as well as rapid prototyping . In addition, Lean Six Sigma and CMMI play a critical role in the quality and efficiency of the workforce processes. Over the next six years, we expect these methodologies to merge with other improvements into a consolidated office culture with all processes being guided by automated office assistants. The infrastructure in use today includes strict software development and configuration management procedures, including strong control of resource management and critical skills coverage. This will evolve to a fully integrated staff organization with efficient and effective communication throughout all levels guided by a Mission-Systems Architecture framework with focus on risk management and attention toward inevitable product obsolescence. This infrastructure of computing equipment, software and processes will itself be subject to technological change and need for management of change and improvement,

Gouvela, John↗
NASA NTRS1994

Reengineering the Project Design Process

In response to NASA's goal of working faster, better and cheaper, JPL has developed extensive plans to minimize cost, maximize customer and employee satisfaction, and implement small- and moderate-size missions. These plans include improved management structures and processes, enhanced technical design processes, the incorporation of new technology, and the development of more economical space- and ground-system designs. The Laboratory's new Flight Projects Implementation Office has been chartered to oversee these innovations and the reengineering of JPL's project design process, including establishment of the Project Design Center and the Flight System Testbed. Reengineering at JPL implies a cultural change whereby the character of its design process will change from sequential to concurrent and from hierarchical to parallel. The Project Design Center will support missions offering high science return, design to cost, demonstrations of new technology, and rapid development. Its computer-supported environment will foster high-fidelity project life-cycle development and cost estimating.

Jet Propulsion Laboratory JPL project design concu↗
NASA NTRS2011

Automated Test Case Generation for an Autopilot Requirement Prototype

Designing safety-critical automation with robust human interaction is a difficult task that is susceptible to a number of known Human-Automation Interaction (HAI) vulnerabilities. It is therefore essential to develop automated tools that provide support both in the design and rapid evaluation of such automation. The Automation Design and Evaluation Prototyping Toolset (ADEPT) enables the rapid development of an executable specification for automation behavior and user interaction. ADEPT supports a number of analysis capabilities, thus enabling the detection of HAI vulnerabilities early in the design process, when modifications are less costly. In this paper, we advocate the introduction of a new capability to model-based prototyping tools such as ADEPT. The new capability is based on symbolic execution that allows us to automatically generate quality test suites based on the system design. Symbolic execution is used to generate both user input and test oracles user input drives the testing of the system implementation, and test oracles ensure that the system behaves as designed. We present early results in the context of a component in the Autopilot system modeled in ADEPT, and discuss the challenges of test case generation in the HAI domain.

Giannakopoulou, Dimitra↗