SEARCH · Search NASA

Results for “Software 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.

SourceResearch connectionFrom yearThrough year

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

At least 559 records · Page 31

All sources NASA NTRS DOE OSTI

NASA NTRS2000

A Flexible Statechart-to-Model-Checker Translator

Many current-day software design tools offer some variant of statechart notation for system specification. We, like others, have built an automatic translator from (a subset of) statecharts to a model checker, for use to validate behavioral requirements. Our translator is designed to be flexible. This allows us to quickly adjust the translator to variants of statechart semantics, including problem-specific notational conventions that designers employ. Our system demonstration will be of interest to the following two communities: (1) Potential end-users: Our demonstration will show translation from statecharts created in a commercial UML tool (Rational Rose) to Promela, the input language of Holzmann's model checker SPIN. The translation is accomplished automatically. To accommodate the major variants of statechart semantics, our tool offers user-selectable choices among semantic alternatives. Options for customized semantic variants are also made available. The net result is an easy-to-use tool that operates on a wide range of statechart diagrams to automate the pathway to model-checking input. (2) Other researchers: Our translator embodies, in one tool, ideas and approaches drawn from several sources. Solutions to the major challenges of statechart-to-model-checker translation (e.g., determining which transition(s) will fire, handling of concurrent activities) are retired in a uniform, fully mechanized, setting. The way in which the underlying architecture of the translator itself facilitates flexible and customizable translation will also be evident.

Rouquette, Nicolas↗

NASA NTRS2001

A Framework for Distributed Rover Control and Three Sample Applications

In order to develop quality control software for multiple robots, a common interface is required. By developing components in a modular fashion with well-defined boundaries, roboticists can write code to program a generic rover, and only require very simple modifications to run on any robot with a properly implemented framework. The proposed framework advances a Generic Rover that could be any rover, from Real World Interface's All Terrain Robot Vehicle Jr. series to the Fido-class rovers from the Jet Propulsion Laboratory to any other research robot. Using these generic hardware interfaces, software designers and engineers can concentrate on the actual code, and not have to worry about hardware details. In addition to the hardware support framework, three sample applications have been developed to demonstrate the flexibility and extensibility of the framework.

McGuire, Steve↗

NASA NTRS1995

Metrics and Benchmarks for Visualization

What is a "good" visualization? How can the quality of a visualization be measured? How can one tell whether one visualization is "better" than another? I claim that the true quality of a visualization can only be measured in the context of a particular purpose. The same image generated from the same data may be excellent for one purpose and abysmal for another. A good measure of visualization quality will correspond to the performance of users in accomplishing the intended purpose, so the "gold standard" is user testing. As a user of visualization software (or at least a consultant to such users) I don't expect visualization software to have been tested in this way for every possible use. In fact, scientific visualization (as distinct from more "production oriented" uses of visualization) will continually encounter new data, new questions and new purposes; user testing can never keep up. User need software they can trust, and advice on appropriate visualizations of particular purposes. Considering the following four processes, and their impact on visualization trustworthiness, reveals important work needed to create worthwhile metrics and benchmarks for visualization. These four processes are (1) complete system testing (user-in-loop), (2) software testing, (3) software design and (4) information dissemination. Additional information is contained in the original extended abstract.

Uselton, Samuel P.↗

NASA NTRS2002

Center for Space Telemetering and Telecommunications Systems, New Mexico State University

This viewgraph presentation gives an overview of the Center for Space Telemetering and Telecommunications Systems activities at New Mexico State University. Presentations cover the following topics: (1) small satellite communications, including nanosatellite radio and virtual satellite development; (2) modulation and detection studies, including details on smooth phase interpolated keying (SPIK) spectra and highlights of an adaptive turbo multiuser detector; (3) decoupled approaches to nonlinear ISI compensation; (4) space internet testing; (4) optical communication; (5) Linux-based receiver for lightweight optical communications without a laser in space, including software design, performance analysis, and the receiver algorithm; (6) carrier tracking hardware; and (7) subband transforms for adaptive direct sequence spread spectrum receivers.

Horan, Stephen↗

NASA NTRS2002

A New Look at NASA: Strategic Research In Information Technology

This viewgraph presentation provides information on research undertaken by NASA to facilitate the development of information technologies. Specific ideas covered here include: 1) Bio/nano technologies: biomolecular and nanoscale systems and tools for assembly and computing; 2) Evolvable hardware: autonomous self-improving, self-repairing hardware and software for survivable space systems in extreme environments; 3) High Confidence Software Technologies: formal methods, high-assurance software design, and program synthesis; 4) Intelligent Controls and Diagnostics: Next generation machine learning, adaptive control, and health management technologies; 5) Revolutionary computing: New computational models to increase capability and robustness to enable future NASA space missions.

Alfano, David↗

NASA NTRS1992

Small Business Innovations (Integrated Database)

Because of the diversity of NASA's information systems, it was necessary to develop DAVID as a central database management system. Under a Small Business Innovation Research (SBIR) grant, Ken Wanderman and Associates, Inc. designed software tools enabling scientists to interface with DAVID and commercial database management systems, as well as artificial intelligence programs. The software has been installed at a number of data centers and is commercially available.

Source record↗

NASA NTRS1992

Stress Reducing Chair

The Flogiston Chair incorporates NASA human factors in spacecraft design technology as well as information from NASA's Anthropometric Source Book. Designed by Brian V. Park, it provides a close approximation of the natural position a body assumes in weightless space. Its principal markets are information workers, designers, software developers, data processors, etc. It assists in maintaining concentration, is useful for relaxation and reality ventures. The chair may be fixed, rockable, or suspended from the ceiling.

Source record↗

NASA NTRS1987

Computer Reliability

Using a NASA developed program, Dr. J. Walter Bond is creating a course in computer reliability modeling. The course will examine three different computer programs, one of them NASA's Care III, the others UCLA's Aries 78 and Aries 82. All three are designed to help estimate the reliability of complex, redundant, fault tolerant system. In computer design, software of this kind can predict or model the effects of various hardware or software failures, a process called reliability modeling.

Source record↗

NASA NTRS1987

Pile Driving

Machine-oriented structural engineering firm TERA, Inc. is engaged in a project to evaluate the reliability of offshore pile driving prediction methods to eventually predict the best pile driving technique for each new offshore oil platform. Phase I Pile driving records of 48 offshore platforms including such information as blow counts, soil composition and pertinent construction details were digitized. In Phase II, pile driving records were statistically compared with current methods of prediction. Result was development of modular software, the CRIPS80 Software Design Analyzer System, that companies can use to evaluate other prediction procedures or other data bases.

Source record↗

NASA NTRS2003

Mapping a Better Vintage

Vineyards such as those located in California's Napa Valley tend to be subdivided into relatively large fields or blocks that often encompass heterogeneous physical conditions. Since growers typically treat the entire block as a single minimum management unit for cultivation and harvest, mapping and monitoring the variability within a block is a concern. Over the last decade, an increasing number of vineyard managers have utilized digital remote sensing and geographic information systems (GIS) to visualize the variability within their blocks. With computer software designed to overlay remotely sensed imagery with environmental and agronomic geographic data on a map, GIS helps growers recognize and explain patterns that might not have been obvious otherwise. GIS can also serve as a valuable archiving mechanism for future reference. To further develop the use of image technology and GIS for vineyard management support, NASA's Earth Science Enterprise partnered with the U.S. wine and commercial remote sensing industries for a project known as the Viticultural Integration of NASA Technologies for Assessment of the Grapevine Environment (VINTAGE). With project investigators from NASA's Ames Research Center, the California State University at Monterey Bay, and the University of Montana, several prototype products have been developed to support agricultural decisions concerning canopy management and irrigation practice. One key VINTAGE aspect involved the evaluation of satellite and airborne multispectral imagery for delineation of sub-block management zones within a vineyard.

Source record↗

NASA NTRS2003

WFF TOPEX Software Documentation Altimeter Instrument File (AIF) Processing, October 1998

This document is a compendium of the WFF TOPEX Software Development Team's knowledge regarding Sensor Data Record (SDR) Processing. It includes many elements of a requirements document, a software specification document, a software design document, and a user's manual. In the more technical sections, this document assumes the reader is familiar with TOPEX and instrument files.

Lee, Jeffrey↗

NASA NTRS2003

GEOSAT Follow-On (GFO) Altimeter Document Series: Version 1 - Volume 5

This document is a compendium of the WFF GFO Software Development Team's knowledge regarding of GDO CAL/VAL Data. It includes many elements of a requirements document, a software specification document, a software design document, and a user's guide. In the more technical sections, this document assumes the reader is familiar with GFO and its CAL/VAL Data.

Lockwood, Dennis W.↗

NASA NTRS2003

TOPEX Software Document Series: Rev. 1 - Volume 5

This document is a compendium of the WFF TOPEX Software Development Team's knowledge regarding Geophysical Data Record (GDR) Processing. It includes many elements of a requirements document, a software specification document, a software design document, and a user's manual. In the more technical sections, this document assumes the reader is familiar with TOPEX and instrument files.

Lee, Jeffrey↗

NASA NTRS2003

TOPEX SDR Processing, October 1998

Lee, Jeffrey E.↗

NASA NTRS2004

The Intelligent Flight Control Program (IFCS)

This is the closeout report for the Research Cooperative Agreement NCC4-00130 of accomplishments for the Intelligent Flight Control System (IFCS) Project. It has been a pleasure working with NASA and NASA partners as we strive to meet the goals of this research initiative. ISR was engaged in this Research Cooperative Agreement beginning 01 January 2003 and ending 31 January 2004. During this time ISR conducted efforts towards development of the ARTS II Computer Software Configuration Item (CSCI) version 4.0 by performing or developing the following: 1) Requirements Definition; 2) Software Design and Development; 3) Hardware In the Loop Simulation; 4) Unit Level testing; 5) Documentation.

Source record↗

NASA NTRS2002

Robotic Assembly of Truss Structures for Space Systems and Future Research Plans

Many initiatives under study by both the space science and earth science communities require large space systems, i.e. with apertures greater than 15 m or dimensions greater than 20 m. This paper reviews the effort in NASA Langley Research Center's Automated Structural Assembly Laboratory which laid the foundations for robotic construction of these systems. In the Automated Structural Assembly Laboratory reliable autonomous assembly and disassembly of an 8 meter planar structure composed of 102 truss elements covered by 12 panels was demonstrated. The paper reviews the hardware and software design philosophy which led to reliable operation during weeks of near continuous testing. Special attention is given to highlight the features enhancing assembly reliability.

Doggett, William↗

NASA NTRS2004

Conversing with Computers

I/NET, Inc., is making the dream of natural human-computer conversation a practical reality. Through a combination of advanced artificial intelligence research and practical software design, I/NET has taken the complexity out of developing advanced, natural language interfaces. Conversational capabilities like pronoun resolution, anaphora and ellipsis processing, and dialog management that were once available only in the laboratory can now be brought to any application with any speech recognition system using I/NET s conversational engine middleware.

Source record↗

NASA NTRS2005

Tracking Retreat of the North Seasonal Ice Cap on Mars: Results from the THEMIS Investigation

The CO2 ice caps on Mars advance and retreat with the seasons. This phenomenon was first observed by Cassini and then confirmed by numerous ground based observations in 19th and 20th centuries. With the advent of the space age observations of the seasonal ice cap were done by all orbiting spacecraft starting with Mariner 7. Viking Orbiters and more recently the Mars Global Surveyor (particularly Mars Orbiter Camera (MOC) and Thermal Emission Spectrometer (TES) instruments) have accumulated significant data on the retreat of the CO2 seasonal cap. During Mars year 2 of THEMIS operations at Mars, we planned an observational campaign in which the THEMIS instrument (onboard the Mars Odyssey spacecraft) repeatedly observed the north seasonal polar cap from midwinter to late spring. THEMIS allows simultaneous observations in both Thermal IR (12.57 m) and Visible wavelengths (0.65 m). One of the goals for this work is to initiate an interannual program for observations of the seasonal ice caps using the THEMIS instrument. The most efficient way to detect the edge between frost and bare ground is directly onboard of the spacecraft. Prior to onboard software design effort, we have developed two groundbased algorithms for automatically finding the edge of the seasonal polar cap in THEMIS IR data. The first algorithm relies on fully calibrated data and can be used for highly reliable groundbased analyses. The second method was specifically developed for processing raw, uncalibrated data in a highly efficient way. It has the potential to enable automatic, onboard detections of the seasonal cap retreat. We have experimentally confirmed that both methods produce similar results, and we have validated both methods against a model constructed from the MGS TES data from the same season.

Ivanov, A. B.↗