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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2008

Assessing Requirements Quality through Requirements Coverage

In model-based development, the development effort is centered around a formal description of the proposed software system the model. This model is derived from some high-level requirements describing the expected behavior of the software. For validation and verification purposes, this model can then be subjected to various types of analysis, for example, completeness and consistency analysis [6], model checking [3], theorem proving [1], and test-case generation [4, 7]. This development paradigm is making rapid inroads in certain industries, e.g., automotive, avionics, space applications, and medical technology. This shift towards model-based development naturally leads to changes in the verification and validation (V&V) process. The model validation problem determining that the model accurately captures the customer's high-level requirements has received little attention and the sufficiency of the validation activities has been largely determined through ad-hoc methods. Since the model serves as the central artifact, its correctness with respect to the users needs is absolutely crucial. In our investigation, we attempt to answer the following two questions with respect to validation (1) Are the requirements sufficiently defined for the system? and (2) How well does the model implement the behaviors specified by the requirements? The second question can be addressed using formal verification. Nevertheless, the size and complexity of many industrial systems make formal verification infeasible even if we have a formal model and formalized requirements. Thus, presently, there is no objective way of answering these two questions. To this end, we propose an approach based on testing that, when given a set of formal requirements, explores the relationship between requirements-based structural test-adequacy coverage and model-based structural test-adequacy coverage. The proposed technique uses requirements coverage metrics defined in [9] on formal high-level software requirements and existing model coverage metrics such as the Modified Condition and Decision Coverage (MC/DC) used when testing highly critical software in the avionics industry [8]. Our work is related to Chockler et al. [2], but we base our work on traditional testing techniques as opposed to verification techniques.

Rajan, Ajitha↗
DOE OSTI2017

Hydrogen monitoring requirements in the global technical regulation on hydrogen and fuel cell vehicles

Here, the United Nations Economic Commission for Europe Global Technical Regulation (GTR) Number 13 ( Global Technical Regulation on Hydrogen and Fuel Cell Vehicles ) is the defining document regulating safety requirements in hydrogen vehicles, and in particular, fuel cell electric vehicles (FCEVs). GTR Number 13 has been formally adopted and will serve as the basis for the national regulatory standards for FCEV safety in North America (led by the United States), Japan, Korea, and the European Union. The GTR defines safety requirements for these vehicles, including specifications on the allowable hydrogen levels in vehicle enclosures during in-use and post-crash conditions and on the allowable hydrogen emissions levels in vehicle exhaust during certain modes of normal operation. However, in order to be incorporated into national regulations, that is, to be legally binding, methods to verify compliance with the specific requirements must exist. In a collaborative program, the Sensor Laboratories at the National Renewable Energy Laboratory in the United States and the Joint Research Centre, Institute for Energy and Transport in the Netherlands have been evaluating and developing analytical methods that can be used to verify compliance with the hydrogen release requirements as specified in the GTR.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2015

Precision cosmology with time delay lenses: High resolution imaging requirements

Lens time delays are a powerful probe of cosmology, provided that the gravitational potential of the main deflector can be modeled with sufficient precision. Recent work has shown that this can be achieved by detailed modeling of the host galaxies of lensed quasars, which appear as ``Einstein Rings'' in high resolution images. The distortion of these arcs and counter-arcs, as measured over a large number of pixels, provides tight constraints on the difference between the gravitational potential between the quasar image positions, and thus on cosmology in combination with the measured time delay. We carry out a systematic exploration of the high resolution imaging required to exploit the thousands of lensed quasars that will be discovered by current and upcoming surveys with the next decade. Specifically, we simulate realistic lens systems as imaged by the Hubble Space Telescope (HST), James Webb Space Telescope (JWST), and ground based adaptive optics images taken with Keck or the Thirty Meter Telescope (TMT). We compare the performance of these pointed observations with that of images taken by the Euclid (VIS), Wide-Field Infrared Survey Telescope (WFIRST) and Large Synoptic Survey Telescope (LSST) surveys. We use as our metric the precision with which the slope γ' of the total mass density profile ρ tot ∝ r–γ' for the main deflector can be measured. Ideally, we require that the statistical error on γ' be less than 0.02, such that it is subdominant to other sources of random and systematic uncertainties. We find that survey data will likely have sufficient depth and resolution to meet the target only for the brighter gravitational lens systems, comparable to those discovered by the SDSS survey. For fainter systems, that will be discovered by current and future surveys, targeted follow-up will be required. Furthermore, the exposure time required with upcoming facilitites such as JWST, the Keck Next Generation Adaptive Optics System, and TMT, will only be of order a few minutes per system, thus making the follow-up of hundreds of systems a practical and efficient cosmological probe.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2010

Automata learning algorithms and processes for providing more complete systems requirements specification by scenario generation, CSP-based syntax-oriented model construction, and R2D2C system requirements transformation

Systems, methods and apparatus are provided through which in some embodiments, automata learning algorithms and techniques are implemented to generate a more complete set of scenarios for requirements based programming. More specifically, a CSP-based, syntax-oriented model construction, which requires the support of a theorem prover, is complemented by model extrapolation, via automata learning. This may support the systematic completion of the requirements, the nature of the requirement being partial, which provides focus on the most prominent scenarios. This may generalize requirement skeletons by extrapolation and may indicate by way of automatically generated traces where the requirement specification is too loose and additional information is required.

Hinchey, Michael G.↗
NASA NTRS2002

Radiation Requirements and Requirements Flowdown: Single Event Effects (SEEs) and Requirements

This short course session provides: (1) an overview of the single particle-induced hazard for space system as they apply in the natural space environment. This shall focus on the implementation of a single event effect hardness assurance (SEEHA) program for systems including system engineering approach and mitigation of effects. (2) The final portion of this session shell provide relevant real-life examples of in-flight performance of systems.

LaBel, Kenneth A.↗
DOE OSTI2018

Deletion of the Clostridium thermocellum recA gene reveals that it is required for thermophilic plasmid replication but not plasmid integration at homologous DNA sequences

Abstract A limitation to the engineering of cellulolytic thermophiles is the availability of functional, thermostable (≥ 60 °C) replicating plasmid vectors for rapid expression and testing of genes that provide improved or novel fuel molecule production pathways. A series of plasmid vectors for genetic manipulation of the cellulolytic thermophile Caldicellulosiruptor bescii has recently been extended to Clostridium thermocellum, another cellulolytic thermophile that very efficiently solubilizes plant biomass and produces ethanol. While the C. bescii pBAS2 replicon on these plasmids is thermostable, the use of homologous promoters, signal sequences and genes led to undesired integration into the bacterial chromosome, a result also observed with less thermostable replicating vectors. In an attempt to overcome undesired plasmid integration in C. thermocellum, a deletion of recA was constructed. As expected, C. thermocellum ∆recA showed impaired growth in chemically defined medium and an increased susceptibility to UV damage. Interestingly, we also found that recA is required for replication of the C. bescii thermophilic plasmid pBAS2 in C. thermocellum, but it is not required for replication of plasmid pNW33N. In addition, the C. thermocellum recA mutant retained the ability to integrate homologous DNA into the C. thermocellum chromosome. These data indicate that recA can be required for replication of certain plasmids, and that a recA-independent mechanism exists for the integration of homologous DNA into the C. thermocellum chromosome. Understanding thermophilic plasmid replication is not only important for engineering of these cellulolytic thermophiles, but also for developing genetic systems in similar new potentially useful non-model organisms.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

High Energy Physics Network Requirements Review: Final Report, July 2024–December 2024

The world-class research infrastructure at the US Department of Energy (DOE) Office of Science (SC) provides the research community with premier observational, experimental, computational, and network capabilities. Each user facility is designed to provide unique capabilities to advance the core DOE mission in science and technology for its SC program to stimulate rich scientific discoveries and enhance its innovation ecosystem. Research communities gather and flourish around each user facility, bringing together new and enhanced perspectives. The continual reinvention of the practice of science — as users and staff forge novel approaches expressed in research workflows — unlocks new discoveries and propels scientific progress. Within this research ecosystem, the high-performance computing (HPC) and networking user facilities stewarded by the SC’s Advanced Scientific Computing Research (ASCR) program play a dynamic cross-cutting role, enabling complex workflows demanding high-performance data, networking, and computing solutions. The ASCR facilities enterprise seeks to understand and meet the needs and requirements across SC and DOE domain science programs and priority efforts, highlighted by the formal requirements review methodology. Between July and December 2024, the Energy Sciences Network (ESnet) and the Office of High Energy Physics (HEP) of the DOE-SC organized an ESnet requirements review of HEP-supported program activities. Preparation for these events included identification of key stakeholders: program and facility management, research groups, and technology providers. Each stakeholder group was asked to prepare formal case study documents about its relationship to the HEP program to build a complete understanding of the current, near-term, and long-term status, expectations, and processes that will support the science going forward.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS1994

The Requirements Generation System: A tool for managing mission requirements

Historically, NASA's cost for developing mission requirements has been a significant part of a mission's budget. Large amounts of time have been allocated in mission schedules for the development and review of requirements by the many groups who are associated with a mission. Additionally, tracing requirements from a current document to a parent document has been time-consuming and costly. The Requirements Generation System (RGS) is a computer-supported cooperative-work tool that assists mission developers in the online creation, review, editing, tracing, and approval of mission requirements as well as in the production of requirements documents. This paper describes the RGS and discusses some lessons learned during its development.

Sheppard, Sylvia B.↗
NASA NTRS1973

An airline study of advanced technology requirements for advanced high speed commercial engines. 3: Propulsion system requirements

The advanced technology requirements for an advanced high speed commercial transport engine are presented. The results of the phase 3 effort cover the requirements and objectives for future aircraft propulsion systems. These requirements reflect the results of the Task 1 and 2 efforts and serve as a baseline for future evaluations, specification development efforts, contract/purchase agreements, and operational plans for future subsonic commercial engines. This report is divided into five major sections: (1) management objectives for commercial propulsion systems, (2) performance requirements for commercial transport propulsion systems, (3) design criteria for future transport engines, (4) design requirements for powerplant packages, and (5) testing.

Sallee, G. P.↗
NASA NTRS1985

Space station data system analysis/architecture study. Task 1: Functional requirements definition, DR-5. Appendix: Requirements data base

Appendix A contains data that characterize the system functions in sufficient depth as to determine the requirements for the Space Station Data System (SSDS). This data is in the form of: (1) top down traceability report; (2) bottom up traceability report; (3) requirements data sheets; and (4) cross index of requirements paragraphs of the source documents and the requirements numbers. A data base users guide is included that interested parties can use to access the requirements data base and get up to date information about the functions.

Source record↗
DOE OSTI2020

Generation of High-Charge Magnetized Electron Beams Consistent With JLEIC Electron Cooling Requirements

The proposed Jefferson Lab Electron-Ion Collider (JLEIC), currently under design, relies on electron cooling in order to achieve the desired luminosity. This includes an electron beam with >55 Mev, 3.2 nC bunches that cools hadron beams with energies up to 100 GeV. To enhance the cooling, the electron beam must be magnetized with a specific eigen-emittance partition. This paper explores the use of the Fermilab Accelerator Science and Technology (FAST) facility to demonstrate the generation of an electron beam with parameters consistent with those required in the JLEIC high-energy cooler. We demonstrate via simulations the generation of the required electron-beam parameters and perform a preliminary experiment to validate FAST capabilities to produce such beams.

43 PARTICLE ACCELERATORS↗
NASA NTRS1972

Flight program language requirements. Volume 2: Requirements and evaluations

The efforts and results are summarized for a study to establish requirements for a flight programming language for future onboard computer applications. Several different languages were available as potential candidates for future NASA flight programming efforts. The study centered around an evaluation of the four most pertinent existing aerospace languages. Evaluation criteria were established, and selected kernels from the current Saturn 5 and Skylab flight programs were used as benchmark problems for sample coding. An independent review of the language specifications incorporated anticipated future programming requirements into the evaluation. A set of detailed language requirements was synthesized from these activities. The details of program language requirements and of the language evaluations are described.

Source record↗
NASA NTRS1972

Teleoperator system man-machine interface requirements for satellite retrieval and satellite servicing. Volume 1: Requirements

Requirements were determined analytically for the man machine interface for a teleoperator system performing on-orbit satellite retrieval and servicing. Requirements are basically of two types; mission/system requirements, and design requirements or design criteria. Two types of teleoperator systems were considered: a free flying vehicle, and a shuttle attached manipulator. No attempt was made to evaluate the relative effectiveness or efficiency of the two system concepts. The methodology used entailed an application of the Essex Man-Systems analysis technique as well as a complete familiarization with relevant work being performed at government agencies and by private industry.

Malone, T. B.↗
NASA NTRS1985

Advanced EVA system design requirements study: EVAS/space station system interface requirements

The definition of the Extravehicular Activity (EVA) systems interface requirements and accomodations for effective integration of a production EVA capability into the space station are contained. A description of the EVA systems for which the space station must provide the various interfaces and accomodations are provided. The discussion and analyses of the various space station areas in which the EVA interfaces are required and/or from which implications for EVA system design requirements are derived, are included. The rationale is provided for all EVAS mechanical, fluid, electrical, communications, and data system interfaces as well as exterior and interior requirements necessary to facilitate EVA operations. Results of the studies supporting these discussions are presented in the appendix.

Woods, T. G.↗
DOE OSTI2015

Dimeric c-di-GMP is required for post-translational regulation of alginate production in Pseudomonas aeruginosa

Pseudomonas aeruginosa is an opportunistic human pathogen that secretes the exopolysaccharide alginate during infection of the respiratory tract of individuals afflicted with cystic fibrosis and chronic obstructive pulmonary disease. Among the proteins required for alginate production, Alg44 has been identified as an inner membrane protein whose bis-(3',5')-cyclic dimeric guanosine monophosphate (c-di-GMP) binding activity post-translationally regulates alginate secretion. In this study, we report the 1.8 Å crystal structure of the cytoplasmic region of Alg44 in complex with dimeric self-intercalated c-di-GMP and characterize its dinucleotide-binding site using mutational analysis. The structure shows that the c-di-GMP binding region of Alg44 adopts a PilZ domain fold with a dimerization mode not previously observed for this family of proteins. Moreover, calorimetric binding analysis of residues in the c-di-GMP binding site demonstrate that mutation of Arg-17 and Arg-95 alters the binding stoichiometry between c-di-GMP and Alg44 from 2:1 to 1:1. Introduction of these mutant alleles on the P. aeruginosa chromosome show that the residues required for binding of dimeric c-di-GMP in vitro are also required for efficient alginate production in vivo. Our results suggest that the dimeric form of c-di-GMP represents the biologically active signaling molecule needed for the secretion of an important virulence factor produced by P. aeruginosa.

36 MATERIALS SCIENCE↗