Results for “Prototype tool” — Page 16

NASA NTRS1997

Verification and Validation in a Rapid Software Development Process

The high cost of software production is driving development organizations to adopt more automated design and analysis methods such as rapid prototyping, computer-aided software engineering (CASE) tools, and high-level code generators. Even developers of safety-critical software system have adopted many of these new methods while striving to achieve high levels Of quality and reliability. While these new methods may enhance productivity and quality in many cases, we examine some of the risks involved in the use of new methods in safety-critical contexts. We examine a case study involving the use of a CASE tool that automatically generates code from high-level system designs. We show that while high-level testing on the system structure is highly desirable, significant risks exist in the automatically generated code and in re-validating releases of the generated code after subsequent design changes. We identify these risks and suggest process improvements that retain the advantages of rapid, automated development methods within the quality and reliability contexts of safety-critical projects.

Callahan, John R.↗

NASA NTRS2003

Exploring New Methods of Displaying Bit-Level Quality and Other Flags for MODIS Data

The NASA Distributed Active Archive Center (DAAC) at the National Snow and Ice Data Center (NSIDC) archives and distributes snow and sea ice products derived from the MODerate resolution Imaging Spectroradiometer (MODIS) on board NASA's Terra and Aqua satellites. All MODIS standard products are in the Earth Observing System version of the Hierarchal Data Format (HDF-EOS). The MODIS science team has packed a wealth of information into each HDF-EOS file. In addition to the science data arrays containing the geophysical product, there are often pixel-level Quality Assurance arrays which are important for understanding and interpreting the science data. Currently, researchers are limited in their ability to access and decode information stored as individual bits in many of the MODIS science products. Commercial and public domain utilities give users access, in varying degrees, to the elements inside MODIS HDF-EOS files. However, when attempting to visualize the data, users are confronted with the fact that many of the elements actually represent eight different 1-bit arrays packed into a single byte array. This project addressed the need for researchers to access bit-level information inside MODIS data files. In an previous NASA-funded project (ESDIS Prototype ID 50.0) we developed a visualization tool tailored to polar gridded HDF-EOS data set. This tool,called the Polar researchers to access, geolocate, visualize, and subset data that originate from different sources and have different spatial resolutions but which are placed on a common polar grid. The bit-level visualization function developed under this project was added to PHDIS, resulting in a versatile tool that serves a variety of needs. We call this the EOS Imaging Tool.

Khalsa, Siri Jodha Singh↗

NASA NTRS2004

Microsensor Technologies for Plant Growth System Monitoring

This document covered the following: a) demonstration of feasibility of microsensor for tube and particulate growth systems; b) Dissolved oxygen; c)Wetness; d) Flexible microfluidic substrate with microfluidic channels and microsensor arrays; e)Dynamic root zone control/monitoring in microgravity; f)Rapid prototyping of phytoremediation; and g) A new tool for root physiology and pathology.

Kim, Chang-Soo↗

NASA NTRS2005

Improving Situational Awareness for First Responders via Mobile Computing

This project looks to improve first responder situational awareness using tools and techniques of mobile computing. The prototype system combines wireless communication, real-time location determination, digital imaging, and three-dimensional graphics. Responder locations are tracked in an outdoor environment via GPS and uploaded to a central server via GPRS or an 802.11 network. Responders can also wirelessly share digital images and text reports, both with other responders and with the incident commander. A pre-built three dimensional graphics model of a particular emergency scene is used to visualize responder and report locations. Responders have a choice of information end points, ranging from programmable cellular phones to tablet computers. The system also employs location-aware computing to make responders aware of particular hazards as they approach them. The prototype was developed in conjunction with the NASA Ames Disaster Assistance and Rescue Team and has undergone field testing during responder exercise at NASA Ames.

Betts, Bradley J.↗

NASA NTRS2006

Nondestructive Evaluation of Foam Insulation for the External Tank Return to Flight

Nondestructive evaluation methods have been developed to identify defects in the foam thermal protection system (TPS) of the Space Shuttle External Tank (ET). Terahertz imaging and backscatter radiography have been brought from prototype lab systems to production hardened inspection tools in just a few years. These methods have been demonstrated to be capable of detecting void type defects under many inches of foam which, if not repaired, could lead to detrimental foam loss. The evolution of these methods from lab tools to implementation on the ET will be discussed.

Walker, James L.↗

NASA NTRS2007

Full Life-Cycle Defect Management Assessment: Initial Inspection Data Collection Results and Research Questions for Further Study

It is often the case in software projects that when schedule and budget resources are limited, the Verification and Validation (V&V) activities suffer. Fewer V&V activities can be afforded and moreover, short-term challenges can result in V&V activities being scaled back or dropped altogether. As a result, too often the default solution is to save activities for improving software quality until too late in the life-cycle, relying on late-term code inspections followed by thorough testing activities to reduce defect counts to acceptable levels. As many project managers realize, however, this is a resource-intensive way of achieving the required quality for software. The Full Life-cycle Defect Management Assessment Initiative, funded by NASA s Office of Safety and Mission Assurance under the Software Assurance Research Program, aims to address these problems by: Improving the effectiveness of early life-cycle V&V activities to make their benefits more attractive to team leads. Specifically, we focus on software inspection, a proven method that can be applied to any software work product, long before executable code has been developed; Better communicating this effectiveness to software development teams, along with suggestions for parameters to improve in the future to increase effectiveness; Analyzing the impact of early life-cycle V&V on the effectiveness and cost required for late life-cycle V&V activities, such as testing, in order to make the tradeoffs more apparent. This white paper reports on an initial milestone in this work, the development of a preliminary model of inspection effectiveness across multiple NASA Centers. This model contributes toward reaching our project goals by: Allowing an examination of inspection parameters, across different types of projects and different work products, for an analysis of factors that impact defect detection effectiveness. Allowing a comparison of this NASA-specific model to existing recommendations in the literature regarding how to plan effective inspections. Forming a baseline model which can be extended to incorporate factors describing: the numbers and types of defects that are missed by inspections; how such defects flow downstream through software development phases; how effectively they can be caught by testing activities in the late stages of development. The model has been implemented in a prototype web-enabled decision-support tool which allows developers to enter their inspection data and receive feedback based on a comparison against the model. The tool also allows users to access reusable materials (such as checklists) from projects included in the baseline. Both the tool itself and the model underlying it will continue to be extended throughout the remainder of this initiative. As results of analyzing inspection effectiveness for defect containment are determined, they can be shared via the tool and also via updates to existing training courses on metrics and software inspections. Moreover, the tool will help satisfy key CMMI requirements for the NASA Centers, as it will enable NASA to take a global view across peer review results for various types of projects to identify systemic problems. This analysis can result in continuous improvements to the approach to verification.

Shull, Forrest↗

NASA NTRS2011

GeoLab's First Field Trials, 2010 Desert RATS: Evaluating Tools for Early Sample Characterization

As part of an accelerated prototyping project to support science operations tests for future exploration missions, we designed and built a geological laboratory, GeoLab, that was integrated into NASA's first generation Habitat Demonstration Unit-1/Pressurized Excursion Module (HDU1-PEM). GeoLab includes a pressurized glovebox for transferring and handling samples collected on geological traverses, and a suite of instruments for collecting preliminary data to help characterize those samples. The GeoLab and the HDU1-PEM were tested for the first time as part of the 2010 Desert Research and Technology Studies (DRATS), NASA's analog field exercise for testing mission technologies. The HDU1- PEM and GeoLab participated in two weeks of joint operations in northern Arizona with two crewed rovers and the DRATS science team.

Evans, Cindy A.↗

NASA NTRS2014

Precise Truss Assembly Using Commodity Parts and Low Precision Welding

Hardware and software design and system integration for an intelligent precision jigging robot (IPJR), which allows high precision assembly using commodity parts and low-precision bonding, is described. Preliminary 2D experiments that are motivated by the problem of assembling space telescope optical benches and very large manipulators on orbit using inexpensive, stock hardware and low-precision welding are also described. An IPJR is a robot that acts as the precise "jigging", holding parts of a local structure assembly site in place, while an external low precision assembly agent cuts and welds members. The prototype presented in this paper allows an assembly agent (for this prototype, a human using only low precision tools), to assemble a 2D truss made of wooden dowels to a precision on the order of millimeters over a span on the order of meters. The analysis of the assembly error and the results of building a square structure and a ring structure are discussed. Options for future work, to extend the IPJR paradigm to building in 3D structures at micron precision are also summarized.

Komendera, Erik↗

NASA NTRS2010

ATHLETE: Lunar Cargo Unloading from a High Deck

As part of the NASA Exploration Technology Development Program, the Jet Propulsion Laboratory is developing a vehicle called ATHLETE: the All-Terrain Hex-Limbed Extra-Terrestrial Explorer. Each vehicle is based on six wheels at the ends of six multi-degree-of freedom limbs. Because each limb has enough degrees of freedom for use as a general-purpose leg, the wheels can be locked and used as feet to walk out of excessively soft or other extreme terrain. Since the vehicle has this alternative mode of traversing through or at least out of extreme terrain, the wheels and wheel actuators can be sized for nominal terrain. There are substantial mass savings in the wheel and wheel actuators associated with designing for nominal instead of extreme terrain. These mass savings are at least comparable-to or larger-than the extra mass associated with the articulated limbs. As a result, the entire mobility system, including wheels and limbs, can be lighter than a conventional all-terrain mobility chassis. A side benefit of this approach is that each limb has sufficient degrees-of freedom to be used as a general-purpose manipulator (hence the name "limb" instead of "leg"). Our prototype ATHLETE vehicles have quick-disconnect tool adapters on the limbs that allow tools to be drawn out of a "tool belt" and maneuvered by the limb. A power-take-off from the wheel actuates the tools, so that they can take advantage of the 1+ horsepower motor in each wheel to enable drilling, gripping or other power-tool functions.

robotics↗

NASA NTRS2011

ATHLETE: A Cargo-Handling Vehicle for Solar System Exploration

As part of the NASA Exploration Technology Development Program, the Jet Propulsion Laboratory is developing a vehicle called ATHLETE: the All-Terrain Hex-Limbed Extra-Terrestrial Explorer. Each vehicle is based on six wheels at the ends of six multi-degree-of-freedom limbs. Because each limb has enough degrees of freedom for use as a general-purpose leg, the wheels can be locked and used as feet to walk out of excessively soft or other extreme terrain. Since the vehicle has this alternative mode of traversing through or at least out of extreme terrain, the wheels and wheel actuators can be sized for nominal terrain. There are substantial mass savings in the wheel and wheel actuators associated with designing for nominal instead of extreme terrain. These mass savings are comparable-to or larger-than the extra mass associated with the articulated limbs. As a result, the entire mobility system, including wheels and limbs, can be about 25% lighter than a conventional mobility chassis. A side benefit of this approach is that each limb has sufficient degrees-of-freedom to use as a general-purpose manipulator (hence the name "limb" instead of "leg"). Our prototype ATHLETE vehicles have quick-disconnect tool adapters on the limbs that allow tools to be drawn out of a "tool belt" and maneuvered by the limb. A power-take-off from the wheel actuates the tools, so that they can take advantage of the 1+ horsepower motor in each wheel to enable drilling, gripping or other power-tool functions. Architectural studies have indicated that one useful role for ATHLETE in planetary (moon or Mars) exploration is to "walk" cargo off the payload deck of a lander and transport it across the surface. Recent architectural approaches are focused on the concept that the lander descent stage will use liquid hydrogen as a propellant. This is the highest performance chemical fuel, but it requires very large tanks. A natural geometry for the lander is to have a single throttleable rocket engine on the centerline at the bottom, and to have the propellant tanks arranged as compactly as possible around and above that engine, with nearly-straight structural load paths that carry the heavy LO2 tanks as well as the ascent stage or cargo on a top deck. (The requirement for exactly one descent engine stems from the need to avoid symmetry planes in the exhaust plume that can entrain surface particles and loft them up into the system at hypervelocity.) This geometry is especially attractive since abort considerations drive the ascent stage to have as much open space around it as possible, in case the ascent stage needs to fire away from an out-of-control descent stage. These considerations lead to a configuration where the cargo deck of the lander is relatively high off the ground (over 6 meters in current concepts, using a 10-meter diameter launch shroud). These considerations have led some observers to presume that there is a "lander offloading problem". ATHLETE has been demonstrated as a solution to this problem, walking cargo off the high deck. This paper describes the applicability of the ATHLETE concept to exploration of the moon, Mars and even to Near- Earth Objects. Recent field test results for long-range traverse are described, along with plans for testing in the simulated microgravity environment of a NEO.

Space Robotics↗

NASA NTRS2012

ATHLETE: A Limbed Vehicle for Solar System Exploration

As part of the Human-Robot Systems project funded by NASA, the Jet Propulsion Laboratory has developed a vehicle called ATHLETE: the All-Terrain Hex-Limbed Extra-Terrestrial Explorer. Each vehicle is based on six wheels at the ends of six multi-degree-of-freedom limbs. Because each limb has enough degrees of freedom for use as a general-purpose leg, the wheels can be locked and used as feet to walk out of excessively soft or other extreme terrain. Since the vehicle has this alternative mode of traversing through or at least out of extreme terrain, the wheels and wheel actuators can be sized for nominal terrain. There are substantial mass savings in the wheel and wheel actuators associated with designing for nominal instead of extreme terrain. These mass savings are comparable-to or larger-than the extra mass associated with the articulated limbs. As a result, the entire mobility system, including wheels and limbs, can be about 25% lighter than a conventional mobility chassis. A side benefit of this approach is that each limb has sufficient degrees-of-freedom to use as a general-purpose manipulator (hence the name "limb" instead of "leg"). Our prototype ATHLETE vehicles have quick-disconnect tool adapters on the limbs that allow tools to be drawn out of a "tool belt" and maneuvered by the limb.

Space Robotics↗

NASA NTRS2009

ATHLETE: a Cargo and Habitat Transporter for the Moon

As part of the NASA Exploration Technology Development Program, the Jet Propulsion Laboratory is developing a vehicle called ATHLETE: the All-Terrain Hex-Limbed Extra-Terrestrial Explorer. The vehicle concept is based on six wheels at the ends of six multi-degree-of-freedom limbs. Because each limb has enough degrees of freedom for use as a general-purpose leg, the wheels can be locked and used as feet to walk out of excessively soft or other extreme terrain. Since the vehicle has this alternative mode of traversing through (or at least out of) extreme terrain, the wheels and wheel actuators can be sized only for nominal terrain. There are substantial mass savings in the wheels and wheel actuators associated with designing for nominal instead of extreme terrain. These mass savings are comparable-to or larger-than the extra mass associated with the articulated limbs. As a result, the entire mobility system, including wheels and limbs, can be about 25 percent lighter than a conventional mobility chassis for planetary exploration. A side benefit of this approach is that each limb has sufficient degrees-of-freedom for use as a general-purpose manipulator (hence the name "limb" instead of "leg"). Our prototype ATHLETE vehicles have quick-disconnect tool adapters on the limbs that allow tools to be drawn out of a "tool belt" and maneuvered by the limb. A rotating power-take-off from the wheel actuates the tools, so that they can take advantage of the 1-plus-horsepower motor in each wheel to enable drilling, gripping or other power-tool functions.

mobile habitats↗

NASA NTRS2015

Modeling of Complex and Diverse Aircraft Trajectories with the Trajectory Synthesizer Generalized Profile Interface

A flexible method to describe and generate aircraft trajectories called GenProf was developed for the Center TRACON Automation System (CTAS) software research platform. Generally CTAS is used to prototype new air traffic management decision support tools and concepts. Beyond this purpose, the GenProf methodology has enabled a variety of research and validation tasks to be performed. This paper briefly describes the methodology and details these applications.

trajectory modelling↗

NASA NTRS2019

Rising Above the Cloud - Toward High-Rate Delay-Tolerant Networking in Low-Earth Orbit

The High Data Rate Architecture (HiDRA) project is implementing a High-rate Delay Tolerant Networking (HDTN) capability that can support Low Earth Orbit (LEO) applications and environments. The present state of the effort, future work, and other elements of the work to date are described in this paper. This implementation is intended to support applications that run at 1+ Gbps, per the requirements of modern optical and high-frequency RF links. Uniquely, this implementation is also tuned to support relay and data trunking applications, which might require support for large numbers of small bundles per second. The design for this platform is based entirely on commercial-off-the-shelf (COTS) components, and possesses buffering capabilities in the 5 TB range. This document takes results from previous individual tests and integrates them to demonstrate results in the presence of a coherent use-case: consider a network aboard the ISS which intends to utilize an upcoming optical communications capability. For this use-case, orbital analysis software is used to analyze orbital dynamics, from which a list of access times are generated that might take in to account weather, schedule competition, etc. A variant of Contact Graph Routing (CGR) is applied to these windows to determine an optimal schedule. This schedule is then loaded into the HDTN prototype and, in conjunction with various measurement tools, a complete end-to-end analysis of HDTN's performance is conducted. Various bottlenecks (including storage) are identified: these bottlenecks are expected to help us focus our future work on the elements of the system that are most likely to present issues moving forward. Finally, we discuss possible paths for evolution beyond the present rates supported by the system, including (but not limited to) hardware acceleration.

Hylton, Alan↗

NASA NTRSDate not supplied

A Temporal Differential Dynamic Logic Formal Embedding

Differential dynamic logic is a formal framework to specify and reason about hybrid programs (HPs). The core of dL is a proof calculus that contains a collection of axioms and rules for the rigorous verification of properties of HPs. Recently, dL has been embedded within the theorem prover Prototype Verification System (PVS) resulting in the tool Plaidypvs2. The integration of dL into PVS expands its expressive power; user defined functions, such as trigonometric and other transcendental functions, can be used inside the dL framework, and meta-reasoning about HPs can be performed, including reasoning about entire classes of HPs, specified using dependent types in PVS. The differential temporal dynamic logic (dTL2) extends dL with temporal logic operators to reason about all the states reachable during the execution of an HP. This paper presents a work in progress focusing on embedding dTL2 in PVS as an extension of Plaidypvs. Plaidypvs is expanded with the formalization of a trace semantics for HPs, the definition of the LTL temporal operators eventually and globally, and the implementation of the proof calculus for dTL2. This new embedding has the same capabilties as Plaidypvs, which allows user defined functions and meta-reasoning of properties of HPs. To the best of the authors’ knowledge this is the first implementation of dTL2.

differential dynamic logic↗

NASA NTRS1993

A strip chart recorder pattern recognition tool kit for Shuttle operations

During Space Shuttle operations, Mission Control personnel monitor numerous mission-critical systems such as electrical power; guidance, navigation, and control; and propulsion by means of paper strip chart recorders. For example, electrical power controllers monitor strip chart recorder pen traces to identify onboard electrical equipment activations and deactivations. Recent developments in pattern recognition technologies coupled with new capabilities that distribute real-time Shuttle telemetry data to engineering workstations make it possible to develop computer applications that perform some of the low-level monitoring now performed by controllers. The number of opportunities for such applications suggests a need to build a pattern recognition tool kit to reduce software development effort through software reuse. We are building pattern recognition applications while keeping such a tool kit in mind. We demonstrated the initial prototype application, which identifies electrical equipment activations, during three recent Shuttle flights. This prototype was developed to test the viability of the basic system architecture, to evaluate the performance of several pattern recognition techniques including those based on cross-correlation, neural networks, and statistical methods, to understand the interplay between an advanced automation application and human controllers to enhance utility, and to identify capabilities needed in a more general-purpose tool kit.

Hammen, David G.↗

NASA NTRS1991

Surgical force detection probe

The development progress of a precision electro-mechanical instrument which allows the detection and documentation of the forces and moment applied to human tissue during surgery (under actual operation room conditions), is reported. The pen-shaped prototype probe which measures 1/2 inch in diameter and 7 inches in length was fabricated using an aerodynamic balance. The aerodynamic balance, a standard wind tunnel force and moment sensing transducer, measures the forces and the moments transmitted through the surgeon's hand to the human tissue during surgery. The prototype probe which was fabricated as a development tool was tested successfully. The final version of the surgical force detection probe will be designed based on additional laboratory tests in order to establish the full scale loads. It is expected that the final product will require a simplified aerodynamic balance with two or three force components and one moment component with lighter full scale loads. A signal conditioner was fabricated to process and display the outputs from the prototype probe. This unit will be interfaced with a PC-based data system to provide automatic data acquisition, data processing, and graphics display. The expected overall accuracy of the probe is better than one percent full scale.

Tcheng, Ping↗

NASA NTRS1989

TAE Plus: Transportable Applications Environment Plus tools for building graphic-oriented applications

The Transportable Applications Environment Plus (TAE Plus), developed by NASA's Goddard Space Flight Center, is a portable User Interface Management System (UIMS), which provides an intuitive WYSIWYG WorkBench for prototyping and designing an application's user interface, integrated with tools for efficiently implementing the designed user interface and effective management of the user interface during an application's active domain. During the development of TAE Plus, many design and implementation decisions were based on the state-of-the-art within graphics workstations, windowing system and object-oriented programming languages. Some of the problems and issues experienced during implementation are discussed. A description of the next development steps planned for TAE Plus is also given.

Szczur, Martha R.↗