SEARCH · Engineering Papers

Results for “Prototype tool”

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.

SourceResearch connectionFrom yearThrough year

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

At least 919 records · Page 51

All sources NASA NTRS DOE OSTI

NASA NTRS2004

Mixed-Initiative Planning and Scheduling for Science Missions

The objective of this joint NASA Ames/JPL/SRI project was to develop mixed-initiative planning and scheduling technology that would enable more effective and efficient planning of science missions. The original intent behind the project was to have all three organizations work closely on the overall research and technology development objectives. Shortly after the project began, however, the Ames and JPL project members made a commitment to develop and field an operational mixed-initiative planning and scheduling tool called MAPGEN for the 2003 Mars Exploration Rover (MER) mission [Ai-Chang et al. 2003]. Because of the tremendous amounts of time and effort that went into making that tool a success, the Ames and JPL personnel were mostly unavailable for collaboration on the joint objectives of the original proposal. Until November of 2002, SRI postponed work on the project in the hope that the Ames and JPL personnel would be able to find time for the planned collaborative research. During discussions between Dr. Karen Myers (the SRI institutional PI) and Dr. John Bresina (the project PI) during November of 2002, it was mutually agreed that SRI should work independently to achieve some of the research objectives for the project. In particular, Dr. Bresina identified explanation of plans and planner behavior as a critical area for research, based on feedback from demonstrating an initial prototype of MAPGEN to the operational community. For that reason, our focus from November of 2002 through the end of the project was on designing explanation methods to address this need.

Myers, Karen L.↗

NASA NTRSDate not supplied

A Verification Framework for Runtime Assurance of Autonomous UAS

Runtime Assurance (RTA) is a design-time architecture for safety-critical systems where an internal monitor acts upon detecting a violation of a property. The simplex architecture is an instance of RTA, where the action taken is to hand control of the overall system to a trusted controller when an untrusted one violates a safety property. Simplex RTA is emerging as a method for allowing AI/ML and other unverified software to be integrated into safety-critical applications like aircraft. To this end, the American Society for Testing and Materials (ASTM) and NASA have each published guidelines on the use of RTA in such systems. In the simplex RTA framework, a system has an advanced controller (AC) and a reversionary controller (RC). The system is allowed to operate with the AC until a runtime monitor detects that some property has been violated and then the RC takes over. Assuming that the sample rate of the monitor will detect improper functioning with enough time for the RC to correct the impending problem, and that the RC is trusted, the system will operate as intended. This use of the simplex RTA framework can allow for the integration of untrusted, but possibly more performant, controllers in a safe way. This paper presents a formalization of a simplex RTA framework in the Prototype Verification System (PVS) theorem prover using an embedding of differential dynamic logic (DDL) called Plaidypvs. A novel feature of this framework is that it can be instantiated at different levels of abstraction. This feature allows for the formal verification of a system with an untrusted black box component, such as an AI/ML controller. This paper does not address the many difficulties in deploying RTA in an industrial-level system. Instead, the focus is on the formal verification of the simplex RTA framework in the language of hybrid programs. Hybrid programs are programs that include both discrete and continuous dynamics and can be used to model complex cyber-physical systems. Plaidypvs is a tool that enables formalization of hybrid programs in the PVS theorem prover. Plaidypvs enables the verification of the general simplex RTA framework and then, by specializing some components of the hybrid program, verifying instances of the framework while treating the untrusted component as a black box. A selection of Unmanned Aircraft Systems (UAS) operations are shown as instances of the general RTA framework in PVS. This offers the benefit of design time verification of relevant safety properties to the system, and it also gives requirements on the sample rate of sensors that determine the time interval in which the ‘switch’ property of the RTA framework is checked.

PVS↗

NASA NTRS2012

Enhancing Cassini Operations & Science Planning Tools

The Cassini team uses a variety of software utilities as they manage and coordinate their mission to Saturn. Most of these tools have been unchanged for many years, and although stability is a virtue for long-lived space missions, there are some less-fragile tools that could greatly benefit from modern improvements. This report shall describe three such upgrades, including their architectural differences and their overall impact. Emphasis is placed on the motivation and rationale behind architectural choices rather than the final product, so as to illuminate the lessons learned and discoveries made.These three enhancements included developing a strategy for migrating Science Planning utilities to a new execution model, rewriting the team's internal portal for ease of use and maintenance, and developing a web-based agenda application for tracking the sequence of files being transmitted to the Cassini spacecraft. Of this set, the first two have been fully completed, while the agenda application is currently in the early prototype stage.

science planning↗

NASA NTRS1990

A knowledge-based system design/information tool

The objective of this effort was to develop a Knowledge Capture System (KCS) for the Integrated Test Facility (ITF) at the Dryden Flight Research Facility (DFRF). The DFRF is a NASA Ames Research Center (ARC) facility. This system was used to capture the design and implementation information for NASA's high angle-of-attack research vehicle (HARV), a modified F/A-18A. In particular, the KCS was used to capture specific characteristics of the design of the HARV fly-by-wire (FBW) flight control system (FCS). The KCS utilizes artificial intelligence (AI) knowledge-based system (KBS) technology. The KCS enables the user to capture the following characteristics of automated systems: the system design; the hardware (H/W) design and implementation; the software (S/W) design and implementation; and the utilities (electrical and hydraulic) design and implementation. A generic version of the KCS was developed which can be used to capture the design information for any automated system. The deliverable items for this project consist of the prototype generic KCS and an application, which captures selected design characteristics of the HARV FCS.

Allen, James G.↗

NASA NTRS2001

A Rover Deployed Ground Penetrating Radar on Mars

Radar is a fundamental tool capable of addressing a variety of geological problems on Mars via collection of data suitable for interpreting variations in surface morphology and reflectivity. Surface-deployed ground penetrating radar (GPR) can help further constrain the geology and structure of the near surface of Mars by directly measuring the range and character of in situ radar properties. In recognition of this potential, a miniaturized, easily modified GPR is being developed for possible deployment on a future Mars rover and will enable definition of radar stratigraphy at high spatial resolution to depths of 10-20 meters. Ongoing development of a Mars impulse GPR with industry partners at Geophysical Survey Systems, Inc., focuses on design and testing of a prototype transducer array (with both high frequency bistatic and low frequency monostatic components) in parallel with fabrication of a low power, mass, and volume control unit. The operational depth of 10-20 meters is geared towards definition of stratigraphy, subsurface blocks, and structure at the decimeter to meter scale that is critical for establishing the geologic setting of the rover. GPR data can also be used to infer the degree of any post-depositional pedogenic alteration or weathering that has subsequently taken place, thereby enabling assessment of pristine versus secondary morphology at the landing site. As is the case for most remote sensing instruments, a GPR may not detect water unambiguously. Nevertheless, any local, near-surface occurrence of liquid water will lead to large, easily detected dielectric contrasts. Moreover, definition of stratigraphy and setting will help in evaluating the history of aqueous activity and where any water might occur and be accessible. Most importantly perhaps, GPR can provide critical context for other rover and orbital instruments/data sets. Hence, GPR deployment along well positioned transects in the vicinity of a lander should enable 3-D mapping of stratigraphy and could serve to guide direct subsurface sampling. Additional information is contained in the original extended abstract.

Grant, J. A.↗

NASA NTRS1985

Integrated risk/cost planning models for the US Air Traffic system

A prototype network planning model for the U.S. Air Traffic control system is described. The model encompasses the dual objectives of managing collision risks and transportation costs where traffic flows can be related to these objectives. The underlying structure is a network graph with nonseparable convex costs; the model is solved efficiently by capitalizing on its intrinsic characteristics. Two specialized algorithms for solving the resulting problems are described: (1) truncated Newton, and (2) simplicial decomposition. The feasibility of the approach is demonstrated using data collected from a control center in the Midwest. Computational results with different computer systems are presented, including a vector supercomputer (CRAY-XMP). The risk/cost model has two primary uses: (1) as a strategic planning tool using aggregate flight information, and (2) as an integrated operational system for forecasting congestion and monitoring (controlling) flow throughout the U.S. In the latter case, access to a supercomputer is required due to the model's enormous size.

Mulvey, J. M.↗

NASA NTRS2023

Trades, Architecture, and Design of the Joint Augmented Reality Visual Informatics System (Joint AR) Product

Future expeditions will enable exploration and study of the planetary surfaces of the Moon and Mars by performing extravehicular activity (EVA) operations. Present-day International Space Station (ISS) EVA operations require an intricate choreography of crew, space suits, tools, systems, and flight teams to plan, train, and execute with limited advanced informatics. In this paper, the Joint Augmented Reality Visual Informatics System (Joint AR) project team at NASA Johnson Space Center (JSC) characterizes the design space for developing a modular augmented reality (AR) device for a spacesuit form factor that can support crew decision-making for EVA. The Joint AR product was defined via trade studies and market analysis of previous EVA display efforts, various AR components such as optics, commercial AR systems, light engines, data interfaces, and graphics engine software. This paper outlines the defining architectural design decisions, including safety criticality considerations, interfaces, and computer architectures. The outcomes of these studies result in a prototype design which is defined here as the Joint AR product. This work aims to enable a community-wide discussion toward realizing necessary suit-compatible AR features and capabilities for future missions.

Paromita Mitra↗

NASA NTRS2023

Trades, Architecture, and Design of the Joint Augmented Reality Visual Informatics System (Joint AR) Product

Paromita Mitra↗

NASA NTRS2010

A Machine-Checked Proof of A State-Space Construction Algorithm

This paper presents the correctness proof of Saturation, an algorithm for generating state spaces of concurrent systems, implemented in the SMART tool. Unlike the Breadth First Search exploration algorithm, which is easy to understand and formalise, Saturation is a complex algorithm, employing a mutually-recursive pair of procedures that compute a series of non-trivial, nested local fixed points, corresponding to a chaotic fixed point strategy. A pencil-and-paper proof of Saturation exists, but a machine checked proof had never been attempted. The key element of the proof is the characterisation theorem of saturated nodes in decision diagrams, stating that a saturated node represents a set of states encoding a local fixed-point with respect to firing all events affecting only the node s level and levels below. For our purpose, we have employed the Prototype Verification System (PVS) for formalising the Saturation algorithm, its data structures, and for conducting the proofs.

Catano, Nestor↗

NASA NTRS2017

Developing Model Benchtop Systems for Microbial Experimental Evolution

Understanding how microbes impact an ecosystem has improved through advances of molecular and genetic tools, but creating complex systems that emulate natural biology goes beyond current technology. In fact, many chemical, biological, and metabolic pathways of even model organisms are still poorly characterized. Even then, standard laboratory techniques for testing microbial impact on environmental change can have many drawbacks; they are time-consuming, labor intensive, and are at risk of contamination. By having an automated process, many of these problems can be reduced or even eliminated. We are developing a benchtop system that can run for long periods of time without the need for human intervention, involve multiple environmental stressors at once, perform real-time adjustments of stressor exposure based on current state of the population, and minimize contamination risks. Our prototype device allows operators to generate an analogue of real world micro-scale ecosystems that can be used to model the effects of disruptive environmental change on microbial ecosystems. It comprises of electronics, mechatronics, and fluidics based systems to control, measure, and evaluate the before and after state of microbial cultures from exposure to environmental stressors. Currently, it uses four parallel growth chambers to perform tests on liquid cultures. To measure the population state, optical sensors (LED/photodiode) are used. Its primary selection pressure is UV-C radiation, a well-studied stressor known for its cell- and DNA-damaging effects and as a mutagen. Future work will involve improving the current growth chambers, as well as implementing additional sensors and environmental stressors into the system. Full integration of multiple culture testing will allow inter-culture comparisons. Besides the temperature and OD sensors, other types of sensors can be integrated such as conductivity, biomass, pH, and dissolved gasses such as CO and O. Additional environmental stressor systems like temperature (extreme heat or cold), metal toxicity, and other forms of radiation will increase the scale and testing range.

Developing↗

NASA NTRS1984

An all-reflective wide-angle flat-field telescope for space

An all-reflective wide-angle flat-field telescope (WAFFT) designed and built at Goddard Space Flight Center demonstrates the markedly improved wide-angle imaging capability which can be achieved with a design based on a recently announced class of unobscured 3-mirror optical systems. Astronomy and earth observation missions in space dictate the necessity or preference for wide-angle all-reflective systems which can provide UV through IR wavelength coverage and tolerate the space environment. An initial prototype unit has been designed to meet imaging requirements suitable for monitoring the ultraviolet sky from space. The unobscured f/4, 36 mm efl system achieves a full 20 x 30 deg field of view with resolution over a flat focal surface that is well matched for use with advanced ultraviolet image array detectors. Aspects of the design and fabrication approach, which have especially important bearing on the system solution, are reviewed; and test results are compared with the analytic performance predictions. Other possible applications of the WAFFT class of imaging system are briefly discussed. The exceptional wide-angle, high quality resolution, and very wide spectral coverage of the WAFFT-type optical system could make it a very important tool for future space research.

Hallam, K. L.↗

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 NTRS2007

Collaborative Resource Allocation

Collaborative Resource Allocation Networking Environment (CRANE) Version 0.5 is a prototype created to prove the newest concept of using a distributed environment to schedule Deep Space Network (DSN) antenna times in a collaborative fashion. This program is for all space-flight and terrestrial science project users and DSN schedulers to perform scheduling activities and conflict resolution, both synchronously and asynchronously. Project schedulers can, for the first time, participate directly in scheduling their tracking times into the official DSN schedule, and negotiate directly with other projects in an integrated scheduling system. A master schedule covers long-range, mid-range, near-real-time, and real-time scheduling time frames all in one, rather than the current method of separate functions that are supported by different processes and tools. CRANE also provides private workspaces (both dynamic and static), data sharing, scenario management, user control, rapid messaging (based on Java Message Service), data/time synchronization, workflow management, notification (including emails), conflict checking, and a linkage to a schedule generation engine. The data structure with corresponding database design combines object trees with multiple associated mortal instances and relational database to provide unprecedented traceability and simplify the existing DSN XML schedule representation. These technologies are used to provide traceability, schedule negotiation, conflict resolution, and load forecasting from real-time operations to long-range loading analysis up to 20 years in the future. CRANE includes a database, a stored procedure layer, an agent-based middle tier, a Web service wrapper, a Windows Integrated Analysis Environment (IAE), a Java application, and a Web page interface.

Wang, Yeou-Fang↗

NASA NTRS2019

UAS Service Supplier Checkout: How UTM Confirmed Readiness of Flight Tests with UAS Service Suppliers

NASA collaborated with industry partners to develop and test the small Unmanned Aircraft System (sUAS) Traffic Management (UTM) research platform, a software prototype used for developing airspace integration requirements for sUAS operations. The lessons learned from these activities will help inform the Federal Aviation Administration (FAA) on what is needed to safely manage sUAS operations. A core component of the UTM platform is the UAS Service Supplier (USS), which acts as a communications bridge to meet the regulatory and operational requirements. As the UTM partners began USS flight tests, NASA found that it was difficult to get all USSs functioning at comparable quality levels to ensure successful flight tests. Also, NASA anticipated that the FAA would encounter similar challenges when they begin to register USSs for operational use. These realizations led to the development of USS Checkout, a set of processes and tools designed to increase flight test efficiency. We learned that a good USS Checkout process is balanced for simplicity versus test coverage, and is amenable to automation. We also learned that when USS Checkout is a USS prerequisite for flight tests, flight tests were more efficient and effective.

Smith, Irene Skupniewicz↗

NASA NTRSDate not supplied

ISRU Pilot Excavator: Bucket Drum Scaling Experimental Results

NASA’s Space Technology Mission Directorate (STMD) is funding the development of a robotic excavator called the “ISRU Pilot Excavator” which will be a technology demonstration of excavating and transporting 10 metric tons of lunar regolith on the surface of the moon with a 30k-class robotic excavator. ISRU Pilot Excavator will be the next generation of robotic excavator to use bucket drums as excavation tools. This is an evolution of the Regolith Advanced Surface Systems Operations Robot (RASSOR) developed at NASA’s Kennedy Space Center. Bucket drums are hollow cylinders with regularly spaced scoops around the perimeter. The drums rotate in one direction to collect regolith with the scoops. The regolith slides down an internal baffling system inside the drum which prevents the regolith from falling back out of the scoops. The captured regolith can then be transported while held in the drum and then deposited by rotating the drum in the opposite direction allowing the regolith to slide back down the baffling and out of the excavation scoops. Bucket drums were developed by Lockheed Martin in 2008 and used on multiple robotic excavator prototypes ever since. However the forces on a bucket drum and considerations for scaling have not been measured in detail. Bucket drums are challenging to model using classical blade\bucket equations because of their unique geometry. Therefore this experiment was performed to measure the forces on three bucket drums of the same geometry at different scales. Small: 9.4” (239mm) dia. x 8.1” (206mm) width, Medium: 11.6” (294mm) dia. x 10” (254mm) width, and Large: 17” (432mm) dia. x 14.1”(358mm) width. The test stand consisted of an actuated gantry with controlled motion in the vertical (Z) and horizontal (X) axes and a single rotation axis (R). The bucket drums were individually mounted to the rotary axis of the test stand and translated across a prepared bed of BP-1 lunar regolith simulant at a specified linear speed and cutting depth. The test stand was outfitted with a torque sensor in line with the rotation of the drum (R) and a 3 axis (X, Y, and Z) load cell. In addition to the three sizes of bucket drums the linear excavation speed and cutting depth were test variables. The results of these experiments show the relationship between the three scales of bucket drums for factors such as: excavation force, torque due to regolith rotation inside the drum, excavation energy, time to fill, etc. and will be discussed in detail in this paper. This fundamental data will be used in the design of the ISRU Pilot Excavator and can inform the design of future bucket drum excavators.

Jason Michael Schuler↗

NASA NTRS1992

An architecture for the development of real-time fault diagnosis systems using model-based reasoning

Presented here is an architecture for implementing real-time telemetry based diagnostic systems using model-based reasoning. First, we describe Paragon, a knowledge acquisition tool for offline entry and validation of physical system models. Paragon provides domain experts with a structured editing capability to capture the physical component's structure, behavior, and causal relationships. We next describe the architecture of the run time diagnostic system. The diagnostic system, written entirely in Ada, uses the behavioral model developed offline by Paragon to simulate expected component states as reflected in the telemetry stream. The diagnostic algorithm traces causal relationships contained within the model to isolate system faults. Since the diagnostic process relies exclusively on the behavioral model and is implemented without the use of heuristic rules, it can be used to isolate unpredicted faults in a wide variety of systems. Finally, we discuss the implementation of a prototype system constructed using this technique for diagnosing faults in a science instrument. The prototype demonstrates the use of model-based reasoning to develop maintainable systems with greater diagnostic capabilities at a lower cost.

Hall, Gardiner A.↗

NASA NTRS1994

Computational Methods for HSCT-Inlet Controls/CFD Interdisciplinary Research

A program aimed at facilitating the use of computational fluid dynamics (CFD) simulations by the controls discipline is presented. The objective is to reduce the development time and cost for propulsion system controls by using CFD simulations to obtain high-fidelity system models for control design and as numerical test beds for control system testing and validation. An interdisciplinary team has been formed to develop analytical and computational tools in three discipline areas: controls, CFD, and computational technology. The controls effort has focused on specifying requirements for an interface between the controls specialist and CFD simulations and a new method for extracting linear, reduced-order control models from CFD simulations. Existing CFD codes are being modified to permit time accurate execution and provide realistic boundary conditions for controls studies. Parallel processing and distributed computing techniques, along with existing system integration software, are being used to reduce CFD execution times and to support the development of an integrated analysis/design system. This paper describes: the initial application for the technology being developed, the high speed civil transport (HSCT) inlet control problem; activities being pursued in each discipline area; and a prototype analysis/design system in place for interactive operation and visualization of a time-accurate HSCT-inlet simulation.

Cole, Gary L.↗

NASA NTRS2001

Health Monitoring Technology for Thermal Protection Systems on Reusable Hypersonic Vehicles

Integrated subsystem health diagnostics is an area where major improvements have been identified for potential implementation into the design of new reusable launch vehicles (RLVs) in order to reduce life cycle costs, to increase safety margins, and to improve mission reliability. This talk summarizes a joint effort between NASA Ames and industry partners to develop rapid non-contact diagnostic tools for health and performance monitoring of thermal protection systems (TPS) on future RLVs. The specific goals for TPS health monitoring are to increase the speed and reliability of TPS inspections for improved operability at lower cost. The technology being developed includes a 3-D laser scanner for examining the exterior surface of the TPS, and a subsurface microsensor suite for monitoring the health and performance of the TPS. The sensor suite consists of passive overlimit sensors and sensors for continuous parameter monitoring in flight. The sensors are integrated with radio-frequency identification (RFID) microchips to enable wireless communication of-the sensor data to an external reader that may be a hand-held scanner or a large portal. Prototypes of the laser system and both types of subsurface sensors have been developed. The laser scanner was tested on Shuttle Orbiter Columbia and was able to dimension surface chips and holes on a variety of TPS materials. The temperature-overlimit microsensor has a diameter under 0.05 inch (suitable for placement in gaps between ceramic TPS tiles) and can withstand 700 F for 15 minutes.

Milos, Frank S.↗