Search NASA⌕ Search

SEARCH · Search NASA

Results for “requirements specifications”

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 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS2016

Best Practices for Fatigue Risk Management in Non-Traditional Shiftwork

Fatigue risk management programs provide effective tools to mitigate fatigue among shift workers. Although such programs are effective for typical shiftwork scenarios, where individuals of equal skill level can be divided into shifts to cover 24 hour operations, traditional programs are not sufficient for managing sleep loss among individuals with unique skill sets, in occupations where non-traditional schedules are required. Such operations are prevalent at NASA and in other high stress occupations, including among airline pilots, military personnel, and expeditioners. These types of operations require fatigue risk management programs tailored to the specific requirements of the mission. Without appropriately tailored fatigue risk management, such operations can lead to an elevated risk of operational failure, disintegration of teamwork, and increased risk of accidents and incidents. In order to design schedules for such operations, schedule planners must evaluate the impact of a given operation on circadian misalignment, acute sleep loss, chronic sleep loss and sleep inertia. In addition, individual-level factors such as morningness-eveningness preference and sleep disorders should be considered. After the impact of each of these factors has been identified, scheduling teams can design schedules that meet operational requirements, while also minimizing fatigue.

research↗
NASA NTRS2019

Bridging the Gap Between Requirements and Model Analysis: Evaluation on Cyber-Physical Challenge Problems

We present a framework for introducing high-level requirement specifications in the automated analysis of dataflow models. By integrating the FRET requirements elicitation tool with the CoCoSim analyzer, our framework enables the analysis of hierarchical Simulink models against requirements written in a restricted English language. More precisely, we support: automatic extraction of Simulink model information and association of high-level requirements with target model signals and components; translation of temporal logic formulas into synchronous dataflow CoCoSpec specifications as well as Simulink monitors; and interpretation of counterexamples produced by the analysis both at the requirement and model level. The features provided by our framework are generic and can be used to integrate other requirements elicitation and Simulink/Lustre analysis tools. We report on the lessons learned from the application of our approach to the Lockheed Martin Cyber-Physical, aerospace-inspired challenge problems. For the analysis, we used the Kind2, Zustre, and Simulink Design Verifier (SLDV) tools.

Simulink↗
NASA NTRS1992

Knowledge-based system V and V in the Space Station Freedom program

Knowledge Based Systems (KBS's) are expected to be heavily used in the Space Station Freedom Program (SSFP). Although SSFP Verification and Validation (V&V) requirements are based on the latest state-of-the-practice in software engineering technology, they may be insufficient for Knowledge Based Systems (KBS's); it is widely stated that there are differences in both approach and execution between KBS V&V and conventional software V&V. In order to better understand this issue, we have surveyed and/or interviewed developers from sixty expert system projects in order to understand the differences and difficulties in KBS V&V. We have used this survey results to analyze the SSFP V&V requirements for conventional software in order to determine which specific requirements are inappropriate for KBS V&V and why they are inappropriate. Further work will result in a set of recommendations that can be used either as guidelines for applying conventional software V&V requirements to KBS's or as modifications to extend the existing SSFP conventional software V&V requirements to include KBS requirements. The results of this work are significant to many projects, in addition to SSFP, which will involve KBS's.

Kelley, Keith↗
NASA NTRS2003

Obtaining NASA Approval for use of Non-Metallic Materials in Manned Space Flight

Material manufacturers and suppliers are often surprised when a material commonly provided to industry is not approved for use on manned spacecraft. Often the reason is a lack of test data in environments that simulate those encountered in space applications, especially oxygen-enriched conditions, which significantly increase both the likelihood of material combustion and the propagation of a fire. This paper introduces the requirements for flight approval of non-metallic materials, focusing on material testing for human-rated space flight programs; it reviews the history of flight materials requirements and provides the rationale for such and introduces specific requirements related to testing and to good material engineering and design practices. After describing the procedure for submitting materials to be tested, the paper outlines options available if a material fails testing. In addition, this treatise introduces the National Aeronautics and Space Administration's (NASA's) Materials and Processes Technical Information System (MAPTIS), a database housing all test data produced in accordance with NASA-STD-6001, Flammability, Odor, Offgassing, and Compatibility Requirements and Test Procedures for Materials in Environments that Support Combustion.

Davis, Samuel E.↗
NASA NTRS2016

Prevailing Torque Locking Feature in Threaded Fasteners Using Anaerobic Adhesive

This paper presents results from tests to assess the use of anaerobic adhesive for providing a prevailing torque locking feature in threaded fasteners. Test procedures are developed and tests are performed on three fastener materials, four anaerobic adhesives, and both unseated assembly conditions. Five to ten samples are tested for each combination. Tests for initial use, reuse without additional adhesive, and reuse with additional adhesive are performed for all samples. A 48-hour cure time was used for all initial use and reuse tests. Test data are presented as removal torque versus removal angle with the specification required prevailing torque range added for performance assessment. Percent specification pass rates for the all combinations of fastener material, adhesive, and assembly condition are tabulated and reveal use of anaerobic adhesive as a prevailing torque locking feature is viable. Although not every possible fastener material and anaerobic adhesive combination provides prevailing torque values within specification, any combination can be assessed using the test procedures presented. Reuse without additional anaerobic adhesive generally provides some prevailing torque, and in some cases within specification. Reuse with additional adhesive often provides comparable removal torque data as in initial use.

Hernandez, Alan↗
NASA NTRS1973

Spacecraft separation systems mechanisms: Characteristics/performance during high altitude flight test from NASA Wallops Station, Va.

The applications of various separation mechanisms to meet flight mission goals within the physical and environmental constraints of a single stage rocket test vehicle are considered. Each separation concept was selected from the numerous choices available on the basis of its unique requirement and the flight test vehicle incorporated several different concepts. Attention to specific requirements and thoroughness in design and testing were essential to success since there is no specific single answer to separation problems.

Pride, J. D.↗
NASA NTRS1979

Performance prediction evaluation of ceramic materials in point-focusing solar receivers

A performance prediction was adapted to evaluate the use of ceramic materials in solar receivers for point focusing distributed applications. System requirements were determined including the receiver operating environment and system operating parameters for various engine types. Preliminary receiver designs were evolved from these system requirements. Specific receiver designs were then evaluated to determine material functional requirements.

Ewing, J.↗
NASA NTRS1998

Evaluating Flight Crew Operator Manual Documentation

Aviation and cognitive science researchers have identified situations in which the pilot s expectations for the behavior of the avionics are not matched by the actual behavior of the avionics. Researchers have attributed these "automation surprises" to the complexity of the avionics mode logic, the absence of complete training, limitations in cockpit displays, and ad-hoc conceptual models of the avionics. Complete canonical rule-based descriptions of the behavior of the autopilot provide the basis for understanding the perceived complexity of the autopilots, the differences between the pilot s and autopilot s conceptual models, and the limitations in training materials and cockpit displays. This paper compares the behavior of the autopilot Vertical Speed/Flight Path Angle (VS-FPA) mode as described in the Flight Crew Operators Manual (FCOM) and the actual behavior of the VS-FPA mode defined in the autopilot software. This example demonstrates the use of the Operational Procedure Model (OPM) as a method for using the requirements specification for the design of the software logic as information requirements for training.

Sherry, Lance↗
NASA NTRS2025

Gateway Payload Users Guide

This Gateway Payload Users Guide is provided as an introduction to science operations on the Gateway for potential Payload Developer (PD) teams. It is not intended to be a comprehensive guide that answers detailed questions that may arise. More detailed information and resources will be provided as PD teams work toward launch and flight operations. This document does not contain payload or system requirements. Payload requirements are contained in GP-10037: Gateway Payload Interface Definition Document. Applicable requirements from GP-10037 will be derived into payload-specific requirements documents.

utilization↗
NASA NTRS2003

e-Stars Template Builder

e-Stars Template Builder is a computer program that implements a concept of enabling users to rapidly gain access to information on projects of NASA's Jet Propulsion Laboratory. The information about a given project is not stored in a data base, but rather, in a network that follows the project as it develops. e-Stars Template Builder resides on a server computer, using Practical Extraction and Reporting Language (PERL) scripts to create what are called "e-STARS node templates," which are software constructs that allow for project-specific configurations. The software resides on the server and does not require specific software on the user machine except for an Internet browser. A user's computer need not be equipped with special software (other than an Internet-browser program). e-Stars Template Builder is compatible with Windows, Macintosh, and UNIX operating systems. A user invokes e-Stars Template Builder from a browser window. Operations that can be performed by the user include the creation of child processes and the addition of links and descriptions of documentation to existing pages or nodes. By means of this addition of "child processes" of nodes, a network that reflects the development of a project is generated.

Cox, Brian↗
NASA NTRS1993

Formalizing structured file services for the data storage and retrieval subsystem of the data management system for Spacestation Freedom

A brief example of the use of formal methods techniques in the specification of a software system is presented. The report is part of a larger effort targeted at defining a formal methods pilot project for NASA. One possible application domain that may be used to demonstrate the effective use of formal methods techniques within the NASA environment is presented. It is not intended to provide a tutorial on either formal methods techniques or the application being addressed. It should, however, provide an indication that the application being considered is suitable for a formal methods by showing how such a task may be started. The particular system being addressed is the Structured File Services (SFS), which is a part of the Data Storage and Retrieval Subsystem (DSAR), which in turn is part of the Data Management System (DMS) onboard Spacestation Freedom. This is a software system that is currently under development for NASA. An informal mathematical development is presented. Section 3 contains the same development using Penelope (23), an Ada specification and verification system. The complete text of the English version Software Requirements Specification (SRS) is reproduced in Appendix A.

Jamsek, Damir A.↗
NASA NTRS2002

Phase 1 Space Fission Propulsion Energy Source Design

Fission technology can enable rapid, affordable access to any point in the solar system. If fission propulsion systems are to be developed to their full potential; however, near-term customers must be identified and initial fission systems successfully developed, launched, and operated. Studies conducted in fiscal year 2001 (IISTP, 2001) show that fission electric propulsion (FEP) systems with a specific mass at or below 50 kg/kWjet could enhance or enable numerous robotic outer solar system missions of interest. At the required specific mass, it is possible to develop safe, affordable systems that meet mission requirements. To help select the system design to pursue, eight evaluation criteria were identified: system integration, safety, reliability, testability, specific mass, cost, schedule, and programmatic risk. A top-level comparison of four potential concepts was performed: a Testable, Passive, Redundant Reactor (TPRR), a Testable Multi-Cell In-Core Thermionic Reactor (TMCT), a Direct Gas Cooled Reactor (DGCR), and a Pumped Liquid Metal Reactor.(PLMR). Development of any of the four systems appears feasible. However, for power levels up to at least 500 kWt (enabling electric power levels of 125-175 kWe, given 25-35% power conversion efficiency) the TPRR has advantages related to several criteria and is competitive with respect to all. Hardware-based research and development has further increased confidence in the TPRR approach. Successful development and utilization of a "Phase I" fission electric propulsion system will enable advanced Phase 2 and Phase 3 systems capable of providing rapid, affordable access to any point in the solar system.

Houts, Mike↗
NASA NTRS1981

Generic waste management requirements for a controlled ecological life support system /CELSS/

Regenerative life support systems for future space missions will require closure of the waste-food loop. Each mission application will generate specific requirements for the waste management system. However, there are generic input and output requirements that can be identified when a probable scenario is chosen. This paper discusses the generic requirements when higher plants are chosen as the primary food source. Attention is focused on the quality and quantity of nutrients necessary for culturing higher plants. The types of wastes to be processed are also discussed. In addition, requirements generated by growing plants on three different substrates are presented. This work suggests that the mineral composition of waste materials may require minimal adjustment to satisfy the plant requirements.

Hoshizaki, T.↗
NASA NTRS1990

Network, system, and status software enhancements for the autonomously managed electrical power system breadboard. Volume 3: Commands specification

This volume (3 of 4) contains the specification for the command language for the AMPS system. The volume contains a requirements specification for the operating system and commands and a design specification for the operating system and command. The operating system and commands sits on top of the protocol. The commands are an extension of the present set of AMPS commands in that the commands are more compact, allow multiple sub-commands to be bundled into one command, and have provisions for identifying the sender and the intended receiver. The commands make no change to the actual software that implement the commands.

Mckee, James W.↗
NASA NTRS2004

Analysis of Formation Flying in Eccentric Orbits Using Linearized Equations of Relative Motion

Geometrical methods for formation flying design based on the analytical solution to Hill's equations have been previously developed and used to specify desired relative motions in near circular orbits. By generating relationships between the vehicles that are intuitive, these approaches offer valuable insight into the relative motion and allow for the rapid design of satellite configurations to achieve mission specific requirements, such as vehicle separation at perigee or apogee, minimum separation, or a specific geometrical shape. Furthermore, the results obtained using geometrical approaches can be used to better constrain numerical optimization methods; allowing those methods to converge to optimal satellite configurations faster. This paper presents a set of geometrical relationships for formations in eccentric orbits, where Hill.s equations are not valid, and shows how these relationships can be used to investigate formation designs and how they evolve with time.

Lane, Christopher↗
NASA NTRS2010

The Application of Modeling and Simulation in Capacity Management within the ITIL Framework

Tightly integrating modeling and simulation techniques into Information Technology Infrastructure Library (ITIL) practices can be one of the driving factors behind a successful and cost-effective capacity management effort for any Information Technology (IT) system. ITIL is a best practices framework for managing IT infrastructure, development and operations. Translating ITIL theory into operational reality can be a challenge. This paper aims to highlight how to best integrate modeling and simulation into an ITIL implementation. For cases where the project team initially has difficulty gaining consensus on investing in modeling and simulation resources, a clear definition for M&S implementation into the ITIL framework, specifically its role in supporting Capacity Management, is critical to gaining the support required to garner these resources. This implementation should also help to clearly define M&S support to the overall system mission. This paper will describe the development of an integrated modeling approach and how best to tie M&S to definitive goals for evaluating system capacity and performance requirements. Specifically the paper will discuss best practices for implementing modeling and simulation into ITIL. These practices hinge on implementing integrated M&S methods that 1) encompass at least two or more predictive modeling techniques, 2) complement each one's respective strengths and weaknesses to support the validation of predicted results, and 3) are tied to the system's performance and workload monitoring efforts. How to structure two forms of modeling: statistical and simUlation in the development of "As Is" and "To Be" efforts will be used to exemplify the integrated M&S methods. The paper will show how these methods can better support the project's overall capacity management efforts.

Rahmani, Sonya↗
NASA NTRS2015

Mars Ascent Vehicle-First Stage Motor

This project is development effort of a first stage solid motor based on a two-stage solid motor Mars Ascent Vehicle (MAV) design for the robotic Mars Sample Return (MSR) mission (fig. 1). The MSR MAV has been studied for decades and multiple concepts have been shown to meet the mission objectives as posed.1 However, there remains significant uncertainty with the MAV requirements. The sample container and sample cache itself is immature. Additionally, MAV-specific requirements ranging from full three-axis controlled and strict communication requirements to minimal capability concepts are still under consideration. Given the maturity of the overall mission requirements, the MAV has been limited to a large number of parametric analyses and paper studies. Recently, a Jet Propulsion Laboratory study highlighted the flexibility of a two-stage solid motor concept. The MAV itself is driven by the constraints of the Entry, Decent, and Landing (EDL) system. Within the EDL constraints, there is a range of MAV options ranging in complexity from simple spun upper stage options to higher capability three-axis controlled solutions. There are also options to trade the ratio of mission (Delta)V between the first and second stage. Finally, sensitivity studies also indicated that solid motors with a high percentage of off-load flexability only had minor impact on the total system mass over a single point design optimized motor. This flexibility in the first stage motor has allowed NASA to mature the design of the motor beyond parametric analyses and start to address known design challenges of the motor.

Dankanich, John↗
NASA NTRS1983

PDSS/IMC requirements and functional specifications

The system (software and hardware) requirements for the Payload Development Support System (PDSS)/Image Motion Compensator (IMC) are provided. The PDSS/IMC system provides the capability for performing Image Motion Compensator Electronics (IMCE) flight software test, checkout, and verification and provides the capability for monitoring the IMC flight computer system during qualification testing for fault detection and fault isolation.

Source record↗