Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Requirements”

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 1,045 records · Page 58
All sourcesNASA NTRSDOE OSTI
NASA NTRS2003

Software Requirements Analysis as Fault Predictor

Waiting until the integration and system test phase to discover errors leads to more costly rework than resolving those same errors earlier in the lifecycle. Costs increase even more significantly once a software system has become operational. WE can assess the quality of system requirements, but do little to correlate this information either to system assurance activities or long-term reliability projections - both of which remain unclear and anecdotal. Extending earlier work on requirements accomplished by the ARM tool, measuring requirements quality information against code complexity and test data for the same system may be used to predict specific software modules containing high impact or deeply embedded faults now escaping in operational systems. Such knowledge would lead to more effective and efficient test programs. It may enable insight into whether a program should be maintained or started over.

Wallace, Dolores↗
NASA NTRS2004

System-level Analysis of Food Moisture Content Requirements for the Mars Dual Lander Transit Mission

In order to ensure that adequate water resources are available during a mission, any net water loss from the habitat must be balanced with an equivalent amount of required makeup water. Makeup water may come from a variety of sources, including water in shipped tanks, water stored in prepackaged food, product water from fuel cells, and in-situ water resources. This paper specifically addresses the issue of storing required makeup water in prepackaged food versus storing the water in shipped tanks for the Mars Dual Lander Transit Mission, one of the Advanced Life Support Reference Missions. In this paper, water mass balances have been performed for the Dual Lander Transit Mission, to determine the necessary requirement of makeup water under nominal operation (i.e. no consideration of contingency needs), on a daily basis. Contingency issues are briefly discussed with respect to impacts on makeup water storage (shipped tanks versus storage in prepackaged food). The Dual Lander Transit Mission was selected for study because it has been considered by the Johnson Space Center Exploration Office in enough detail to define a reasonable set of scenario options for nominal system operation and contingencies. This study also illustrates the concept that there are multiple, reasonable life support system scenarios for any one particular mission. Thus, the need for a particular commodity can depend upon many variables in the system. In this study, we examine the need for makeup water as it depends upon the configuration of the rest of the life support system.

Levri, Julie A.↗
NASA NTRS2004

Access from Space: A New Perspective on NASA's Space Transportation Technology Requirements and Opportunities

The need for robust and reliable access from space is clearly demonstrated by the recent loss of the Space Shuttle Columbia; as well as the NASA s goals to get the Shuttle re-flying and extend its life, build new vehicles for space access, produce successful robotic landers and s a q k ret~rr? ~llisrions, and maximize the science content of ambitious outer planets missions that contain nuclear reactors which must be safe for re-entry after possible launch aborts. The technology lynch pin of access from space is hypersonic entry systems such the thermal protection system, along with navigation, guidance and control (NG&C). But it also extends to descent and landing systems such as parachutes, airbags and their control systems. Current space access technology maturation programs such as NASA s Next Generation Launch Technology (NGLT) program or the In-Space Propulsion (ISP) program focus on maturing laboratory demonstrated technologies for potential adoption by specific mission applications. A key requirement for these programs success is a suitable queue of innovative technologies and advanced concepts to mature, including mission concepts enabled by innovative, cross cutting technology advancements. When considering space access, propulsion often dominates the capability requirements, as well as the attention and resources. From the perspective of access from space some new cross cutting technology drivers come into view, along with some new capability opportunities. These include new miniature vehicles (micro, nano, and picosats), advanced automated systems (providing autonomous on-orbit inspection or landing site selection), and transformable aeroshells (to maximize capabilities and minimize weight). This paper provides an assessment of the technology drivers needed to meet future access from space mission requirements, along with the mission capabilities that can be envisioned from innovative, cross cutting access from space technology developments.

Rasky, Daniel J.↗
NASA NTRS1997

Comparison of A-SMGCS Requirements with Observed Performance of an Integrated Airport CNS System

The International Civil Aviation Organization (ICAO) has recently drafted a reference document describing the operational requirements for Advanced Surface Movement Guidance and Control Systems (A-SMGCS). During the summer of 1997, NASA, the FAA, industry, and academia partners demonstrated a holistic system approach that has the potential to meet many of the proposed A-SMGCS requirements. An assessment of the field tested system and data resulting from the field testing is presented to determine its compliance with A-SMGCS requirements. In those areas where compliance was not demonstrated, a recommendation is presented suggesting further research or a modification of the system architecture.

Young, Steven D.↗
NASA NTRS1998

The Toll pathway is required in the epidermis for muscle development in the Drosophila embryo

The Toll signaling pathway functions in several Drosophila processes, including dorsal-ventral pattern formation and the immune response. Here, we demonstrate that this pathway is required in the epidermis for proper muscle development. Previously, we showed that the zygotic Toll protein is necessary for normal muscle development; in the absence of zygotic Toll, close to 50% of hemisegments have muscle patterning defects consisting of missing, duplicated and misinserted muscle fibers (Halfon, M.S., Hashimoto, C., and Keshishian, H., Dev. Biol. 169, 151-167, 1995). We have now also analyzed the requirements for easter, spatzle, tube, and pelle, all of which function in the Toll-mediated dorsal-ventral patterning pathway. We find that spatzle, tube, and pelle, but not easter, are necessary for muscle development. Mutations in these genes give a phenotype identical to that seen in Toll mutants, suggesting that elements of the same pathway used for Toll signaling in dorsal-ventral development are used during muscle development. By expressing the Toll cDNA under the control of distinct Toll enhancer elements in Toll mutant flies, we have examined the spatial requirements for Toll expression during muscle development. Expression of Toll in a subset of epidermal cells that includes the epidermal muscle attachment cells, but not Toll expression in the musculature, is necessary for proper muscle development. Our results suggest that signals received by the epidermis early during muscle development are an important part of the muscle patterning process.

Non-NASA Center↗
NASA NTRS1996

What is the minimal vestibular function required for compensation?

Living with an uncompensated, abnormal vestibular system requires oppressive modification of life style and often prevents return to work and activities of daily living. Patients with vestibular abnormalities were studied to determine the minimal residual vestibular function required to achieve compensation. Three groups of patients with (a) complete unilateral loss of vestibular function with normal horizontal canal-vestibulo-ocular (HCVOR) function in the opposite ear, (b) complete unilateral loss with abnormal HCVOR function in the opposite ear, and (c) bilateral reduction of vestibular function from aminoglycoside toxicity underwent vestibuloocular (VOR), optokinetic (OKN), visual-VOR (VVOR), and computerized dynamic posturography (CDP) tests before and after therapeutic procedures. Results suggest that a minimal VOR response amplitude must be present for compensation of VVOR function to occur. The roles of VOR and OKN phase shifts in vestibular compensation are more complicated and require further study. Compensation of vestibulospinal function does not necessarily accompany VOR or VVOR compensation. Ascending and descending vestibular compensatory mechanisms may involve different spatial sensory inputs. Results of these studies have important implications for the diagnosis and treatment of patients with vestibular disorders, including selection and monitoring of patients for therapeutic regimens such as vestibular nerve section and streptomycin therapy.

Non-NASA Center↗
NASA NTRS1995

Regulation of COL1A1 expression in type I collagen producing tissues: identification of a 49 base pair region which is required for transgene expression in bone of transgenic mice

Previous deletion studies using a series of COL1A1-CAT fusion genes have indicated that the 625 bp region of the COL1A1 upstream promoter between -2295 and -1670 bp is required for high levels of expression in bone, tendon, and skin of transgenic mice. To further define the important sequences within this region, a new series of deletion constructs extending to -1997, -1794, -1763, and -1719 bp has been analyzed in transgenic mice. Transgene activity, determined by measuring CAT activity in tissue extracts of 6- to 8-day-old transgenic mouse calvariae, remains high for all the new deletion constructs and drops to undetectable levels in calvariae containing the -1670 bp construct. These results indicate that the 49 bp region of the COL1A1 promoter between -1719 and -1670 bp is required for high COL1A1 expression in bone. Although deletion of the same region caused a substantial reduction of promoter activity in tail tendon, the construct extending to -1670 bp is still expressed in this tissue. However, further deletion of the promoter to -944 bp abolished activity in tendon. Gel mobility shift studies identified a protein in calvarial nuclear extracts that is not found in tendon nuclear extracts, which binds within this 49 bp region. Our study has delineated sequences in the COL1A1 promoter required for expression of the COL1A1 gene in high type I collagen-producing tissues, and suggests that different cis elements control expression of the COL1A1 gene in bone and tendon.

NASA Discipline Cell Biology↗
NASA NTRS2004

Requirements to Design to Code: Towards a Fully Formal Approach to Automatic Code Generation

A general-purpose method to mechanically transform system requirements into a provably equivalent model has yet to appear. Such a method represents a necessary step toward high-dependability system engineering for numerous possible application domains, including sensor networks and autonomous systems. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that current tools and methods leave unfilled is that their formal models cannot be proven to be equivalent to the system requirements as originated by the customer. For the classes of systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or in other appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations.

Hinchey, Michael G.↗
NASA NTRS2005

Formal Requirements-Based Programming for Complex Systems

Computer science as a field has not yet produced a general method to mechanically transform complex computer system requirements into a provably equivalent implementation. Such a method would be one major step towards dealing with complexity in computing, yet it remains the elusive holy grail of system development. Currently available tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The gap that such tools and methods leave unfilled is that the formal models cannot be proven to be equivalent to the system requirements as originated by the customer For the classes of complex systems whose behavior can be described as a finite (but significant) set of scenarios, we offer a method for mechanically transforming requirements (expressed in restricted natural language, or appropriate graphical notations) into a provably equivalent formal model that can be used as the basis for code generation and other transformations. While other techniques are available, this method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. We illustrate the application of the method to an example procedure from the Hubble Robotic Servicing Mission currently under study and preliminary formulation at NASA Goddard Space Flight Center.

Rash, James L.↗
NASA NTRS2005

A Formal Approach to Requirements-Based Programming

No significant general-purpose method is currently available to mechanically transform system requirements into a provably equivalent model. The widespread use of such a method represents a necessary step toward high-dependability system engineering for numerous application domains. Current tools and methods that start with a formal model of a system and mechanically produce a provably equivalent implementation are valuable but not sufficient. The "gap" unfilled by such tools and methods is that the formal models cannot be proven to be equivalent to the requirements. We offer a method for mechanically transforming requirements into a provably equivalent formal model that can be used as the basis for code generation and other transformations. This method is unique in offering full mathematical tractability while using notations and techniques that are well known and well trusted. Finally, we describe further application areas we are investigating for use of the approach.

Hinchey, Michael G.↗
NASA NTRS2005

Latency in Visionic Systems: Test Methods and Requirements

A visionics device creates a pictorial representation of the external scene for the pilot. The ultimate objective of these systems may be to electronically generate a form of Visual Meteorological Conditions (VMC) to eliminate weather or time-of-day as an operational constraint and provide enhancement over actual visual conditions where eye-limiting resolution may be a limiting factor. Empirical evidence has shown that the total system delays or latencies including the imaging sensors and display systems, can critically degrade their utility, usability, and acceptability. Definitions and measurement techniques are offered herein as common test and evaluation methods for latency testing in visionics device applications. Based upon available data, very different latency requirements are indicated based upon the piloting task, the role in which the visionics device is used in this task, and the characteristics of the visionics cockpit display device including its resolution, field-of-regard, and field-of-view. The least stringent latency requirements will involve Head-Up Display (HUD) applications, where the visionics imagery provides situational information as a supplement to symbology guidance and command information. Conversely, the visionics system latency requirement for a large field-of-view Head-Worn Display application, providing a Virtual-VMC capability from which the pilot will derive visual guidance, will be the most stringent, having a value as low as 20 msec.

Bailey, Randall E.↗
NASA NTRS2005

Enabling Requirements-Based Programming for Highly-Dependable Complex Parallel and Distributed Systems

The manual application of formal methods in system specification has produced successes, but in the end, despite any claims and assertions by practitioners, there is no provable relationship between a manually derived system specification or formal model and the customer's original requirements. Complex parallel and distributed system present the worst case implications for today s dearth of viable approaches for achieving system dependability. No avenue other than formal methods constitutes a serious contender for resolving the problem, and so recognition of requirements-based programming has come at a critical juncture. We describe a new, NASA-developed automated requirement-based programming method that can be applied to certain classes of systems, including complex parallel and distributed systems, to achieve a high degree of dependability.

Hinchey, Michael G.↗
NASA NTRS2005

Precision Requirements for Space-based XCO2 Data

Precision requirements have been determined for the column-averaged CO2 dry air mole fraction (X(sub CO2)) data products to be delivered by the Orbiting Carbon Observatory (OCO). These requirements result from an assessment of the amplitude and spatial gradients in X(sub CO2), the relationship between X(sub CO2) precision and surface CO2 flux uncertainties calculated from inversions of the X(sub CO2) data, and the effects of X,,Z biases on CO2 flux inversions. Observing system simulation experiments and synthesis inversion modeling demonstrate that the OCO mission design and sampling strategy provide the means to achieve the X(sub CO2) precision requirements. The impact of X(sub CO2) biases on CO2 flux uncertainties depend on their spatial and temporal extent since CO2 sources and sinks are inferred from regional-scale X(sub CO2) gradients. Simulated OCO sampling of the TRACE-P CO2 fields shows the ability of X(sub CO2) data to constrain CO2 flux inversions over Asia and distinguish regional fluxes from India and China.

Miller, C. E.↗
NASA NTRS2004

NASA Processes and Requirements for Conducting Human-in-the-Loop Closed Chamber Tests

NASA has specific processes and requirements that must be followed for tests involving human subjects to be conducted in a safe and effective manner. There are five distinct phases of test operations. Phase one, the test request phase, consists of those activities related to initiating, processing, reviewing, and evaluating the test request. Phase two, the test preparation phase consists of those activities related to planning, coordinating, documenting, and building up the test. Phase three, the test readiness phase consists of those activities related to verifying and reviewing the planned test operations. Phase four, the test activity phase, consists of all pretest operations, functional checkouts, emergency drills, and test operations. Phase five, the post test activity phase, consists of those activities performed once the test is completed, including briefings, documentation of anomalies, data reduction and archiving, and reporting. Project management processes must be followed for facility modifications and major test buildup, which include six phases: initiation and assessment, requirements evaluation, preliminary design, detailed design, use readiness review (URR) and acceptance. Compliance with requirements for safety and quality assurance are documented throughout the test buildup and test operation processes. Tests involving human subjects must be reviewed by the applicable Institutional Review Board (IRB).

Barta, Daniel J.↗
NASA NTRS1993

Analyzing Software Requirements Errors in Safety-Critical, Embedded Systems

This paper analyzes the root causes of safety-related software errors in safety-critical, embedded systems. The results show that software errors identified as potentially hazardous to the system tend to be produced by different error mechanisms than non- safety-related software errors. Safety-related software errors are shown to arise most commonly from (1) discrepancies between the documented requirements specifications and the requirements needed for correct functioning of the system and (2) misunderstandings of the software's interface with the rest of the system. The paper uses these results to identify methods by which requirements errors can be prevented. The goal is to reduce safety-related software errors and to enhance the safety of complex, embedded systems.

Lutz, Robyn R.↗
NASA NTRS2004

An on-board processor for a spaceborne Doppler precipitation radar : requirements and preliminary design

Use of Doppler velocity measurement in spaceborne precipitation radar is highly desirable, since it can allow more accurate retrieval of atmospheric latent heating, which depends on both cloud and rain microphysical processes and on dynamical processes, namely, vertical updrafts and downdrafts. However, if the rain within the antenna beam is very non-uniform, biases can result with conventional pulse-pair processing, and more sophisticated processing is required. The solution is a time-frequency approach, which uses the full Doppler spectrum at each point in time. Since precipitation radars normally operate continuously and collect large amounts of data, real-time, on-board processing of data is needed to reduce the data rate. The objective of this work is to develop an on-board data processor for spaceborne Doppler precipitation radar, using field-programmable gate array (FPGA) technology. This paper describes the simulations and analysis that have been completed during the first year of the project. This includes both analytical calculations and bit-true simulations that allow the effects of finite word length to be explored. Tradeoffs have also been considered between speed and space within the chosen FPGA part. The results of these analyses have been used to develop a complete set of requirements for the processor. Initial design work has begun, based on these requirements. The design is being implemented in Verilog, and a description of this early design effort is also be given.

on-board processing↗
NASA NTRS2004

Station-Keeping Requirements for Astronomical Imaging with Constellations of Free-Flying Collectors

The requirements on station-keeping for constellations of free-flying collectors coupled as (future) imaging arrays in space for astrophysics applications are discussed. The typical knowledge precision required in the plane of the array depends on the angular size of the targets of interest; it is generally at a level of tens of centimeters for typical stellar targets, becoming of order centimeters only for the widest attainable fields of view. In the "piston" direction, perpendicular to the array, the typical knowledge precision required depends on the bandwidth of the signal, and is at a level of tens of wavelengths for narrow approx. 1% signal bands, becoming of order one wavelength only for the broadest bandwidths expected to be useful. The significance of this result is that, at this level of precision, it may be possible to provide the necessary knowledge of array geometry without the use of signal photons, thereby allowing observations of faint targets. "Closure-phase" imaging is a technique which has been very successfully applied to surmount instabilities owing to equipment and to the atmosphere, and which appears to be directly applicable to space imaging arrays where station-keeping drifts play the same role as (slow) atmospheric and equipment instabilities.

Allen, Ronald J.↗
NASA NTRS2006

Requirements and Techniques for Developing and Measuring Simulant Materials

The 1989 workshop report entitled Workshop on Production and Uses of Simulated Lunar Materials and the Lunar Regolith Simulant Materials: Recommendations for Standardization, Production, and Usage, NASA Technical Publication identify and reinforced a need for a set of standards and requirements for the production and usage of the lunar simulant materials. As NASA need prepares to return to the moon, a set of requirements have been developed for simulant materials and methods to produce and measure those simulants have been defined. Addressed in the requirements document are: 1) a method for evaluating the quality of any simulant of a regolith, 2) the minimum Characteristics for simulants of lunar regolith, and 3) a method to produce lunar regolith simulants needed for NASA's exploration mission. A method to evaluate new and current simulants has also been rigorously defined through the mathematics of Figures of Merit (FoM), a concept new to simulant development. A single FoM is conceptually an algorithm defining a single characteristic of a simulant and provides a clear comparison of that characteristic for both the simulant and a reference material. Included as an intrinsic part of the algorithm is a minimum acceptable performance for the characteristic of interest. The algorithms for the FoM for Standard Lunar Regolith Simulants are also explicitly keyed to a recommended method to make lunar simulants.

Rickman, Doug↗