Search NASA⌕ Search

SEARCH · Search NASA

Results for “Requirement analysis”

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 127 records · Page 7

Closed Loop Requirements and Analysis Management

Effective systems engineering involves the use of analysis in the derivation of requirements and verification of designs against those requirements. The initial development of requirements often depends on analysis for the technical definition of specific aspects of a product. Following the allocation of system-level requirements to a product's components, the closure of those requirements often involves analytical approaches to verify that the requirement criteria have been satisfied. Meanwhile, changes that occur in between these two processes need to be managed in order to achieve a closed-loop requirement derivation/verification process. Herein are presented concepts for employing emerging Team center capabilities to jointly manage requirements and analysis data such that analytical techniques are utilized to effectively derive and allocate requirements, analyses are consulted and updated during the change evaluation processes, and analyses are leveraged during the design verification process. Recommendations on concept validation case studies are also discussed.

Lamoreaux, Michael↗

Software reliability: Application of a reliability model to requirements error analysis

The application of a software reliability model having a well defined correspondence of computer program properties to requirements error analysis is described. Requirements error categories which can be related to program structural elements are identified and their effect on program execution considered. The model is applied to a hypothetical B-5 requirement specification for a program module.

Logan, J.↗

Nasa Conjunction Assessment Risk Analysis Updated Requirements Architecture

The NASA Conjunction Assessment Risk Analysis (CARA) program has been performing routine on-orbit satellite conjunction risk analysis for unmanned NASA spacecraft since 2005, and has developed a robust operations procedure and set of recommended best practices for operational conjunction assessment. However, a number of recent developments in Space Situational Awareness and commercial space operations conduct, such as the immanent deployment of much more sensitive space sensing systems and the launching of much larger satellite constellations, have begun to challenge these standard collision risk parameters and calculations. In response CARA has pursued a multi-year evaluation initiative to re-examine risk assessment algorithms and techniques, to develop needed improvements, and to assemble analysis-based operational requirements. This paper gives an overview of the principal parts of the Conjunction Assessment (CA) risk assessment process used at CARA, outlines the technical challenges that each part presents, surveys the possible solutions, and then indicates which particular solution is being recommended for NASA.

Newman, Lauri K.↗

The Glory Program: Global Science from a Unique Spacecraft Integration

The Glory program is an Earth and Solar science mission designed to broaden science community knowledge of the environment. The causes and effects of global warming have become a concern in recent years and Glory aims to contribute to the knowledge base of the science community. Glory is designed for two functions: one is solar viewing to monitor the total solar irradiance and the other is observing the Earth s atmosphere for aerosol composition. The former is done with an active cavity radiometer, while the latter is accomplished with an aerosol polarimeter sensor to discern atmospheric particles. The Glory program is managed by NASA Goddard Space Flight Center (GSFC) with Orbital Sciences in Dulles, VA as the prime contractor for the spacecraft bus, mission operations, and ground system. This paper will describe some of the more unique features of the Glory program including the integration and testing of the satellite and instruments as well as the science data processing. The spacecraft integration and test approach requires extensive analysis and additional planning to ensure existing components are successfully functioning with the new Glory components. The science mission data analysis requires development of mission unique processing systems and algorithms. Science data analysis and distribution will utilize our national assets at the Goddard Institute for Space Studies (GISS) and the University of Colorado's Laboratory for Atmospheric and Space Physics (LASP). The Satellite was originally designed and built for the Vegetation Canopy Lidar (VCL) mission, which was terminated in the middle of integration and testing due to payload development issues. The bus was then placed in secure storage in 2001 and removed from an environmentally controlled container in late 2003 to be refurbished to meet the Glory program requirements. Functional testing of all the components was done as a system at the start of the program, very different from a traditional program. The plan for Glory is to minimize any changes to the spacecraft in order to meet the Glory requirements. This means that the instrument designs must adhere to the existing interfaces and capabilities as much as possible. Given Glory's unique history and the potential science return, the program is one of significant value to both the science community and the world. The findings Glory promises will improve our understanding of the drivers for global climate change for a minimal investment. The program hopes to show that reuse of existing government assets can result in a lower cost, and fully successful mission.

Bajpayee Jaya↗

Evolution of the ATLAS PanDA Production and Distributed Analysis System

Evolution of the ATLAS PanDA Production and Distributed Analysis System T Maeno1,5, K De2, T Wenaus1, P Nilsson2, R Walker3, A Stradling2, V Fine1, M Potekhin1, S Panitkin1 and G Compostella4 Published under licence by IOP Publishing Ltd Journal of Physics: Conference Series, Volume 396, Part 3 Article PDF References Citations Metrics 101 Total downloads Cited by 8 articles Turn on MathJax Share this article Article information Abstract The PanDA (Production and Distributed Analysis) system has been developed to meet ATLAS production and analysis requirements for a data-driven workload management system capable of operating at LHC data processing scale. PanDA has performed well with high reliability and robustness during the two years of LHC data-taking, while being actively evolved to meet the rapidly changing requirements for analysis use cases. We will present an overview of system evolution including automatic rebrokerage and reattempt for analysis jobs, adaptation for the CernVM File System, support for the multi-cloud model through which Tier-2 sites act as members of multiple clouds, pledged resource management and preferential brokerage, and monitoring improvements. We will also describe results from the analysis of two years of PanDA usage statistics, current issues, and plans for the future.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Development of a specific methodology to assess suitable sites to receive a repository for L/ILW waste in the Portuguese territory

Portugal does not have nuclear power plants but records an increasing production of radioactive waste from medical, industrial and research applications of radioactive materials in the form of sealed and unsealed sources; the country totals include also the spent fuel of one nuclear reactor for research purposes. Since radioactive waste management policies and practices in Portugal will have to comply with the Council Directive 2011/70/Euratom and the IAEA Joint Convention, the search for scientific and technological solutions to deal with radioactive wastes produced in the country started some years ago. The research carried out recently under the scope of a national funded project (KADRWaste, PTDC/CTEGEX/ 82678/2006) represents a firm step in this commitment. Indeed, the transfer of methodologies tested and validated in this project allowed for improvement to a procedure to assess suitable sites to receive a near-surface repository for 'Low and Intermediate Level Waste, Short Live and Long Live' (LILWSL, LL) wastes in Portugal mainland. Although the main stages of the procedure can be of universal usage, details were designed according to the intrinsic geological, geomorphic and meteorological features of previously selected target-areas. All the requirements exhaustively listed in many reports of the IAEA were fulfilled and, in addition, the application of mineralogical, geochemical and textural criteria is strongly advised. The proposed procedure is based on a 5 key-steps approach preceded by clarification of the boundary conditions to be imposed, which are crucial to the inventory of various compulsory technical requirements. This analysis requires the adoption of stringent criteria, many of them of multidisciplinary nature, including tests of vulnerability and assessment of uncertainty, besides the environmental impact risk. As a result, priority targets that are not excluded will integrate different classes and, depending on the existing knowledge, it will be possible to select locations suitable for the repository installation, taking into account also the political, social and administrative dimensions behind this decision. (authors)

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

Software Engineering Improvement Activities/Plan

bd Systems personnel accomplished the technical responsibilities for this reporting period, as planned. A close working relationship was maintained with personnel of the MSFC Avionics Department Software Group (ED14). Work accomplishments included development, evaluation, and enhancement of a software cost model, performing literature search and evaluation of software tools available for code analysis and requirements analysis, and participating in other relevant software engineering activities. Monthly reports were submitted. This support was provided to the Flight Software Group/ED 1 4 in accomplishing the software engineering improvement engineering activities of the Marshall Space Flight Center (MSFC) Software Engineering Improvement Plan.

Source record↗

Structuring Formal Control Systems Specifications for Reuse: Surviving Hardware Changes

Formal capture and analysis of the required behavior of control systems have many advantages. For instance, it encourages rigorous requirements analysis, the required behavior is unambiguously defined, and we can assure that various safety properties are satisfied. Formal modeling is, however, a costly and time consuming process and if one could reuse the formal models over a family of products, significant cost savings would be realized. In an ongoing project we are investigating how to structure state-based models to achieve a high level of reusability within product families. In this paper we discuss a high-level structure of requirements models that achieves reusability of the desired control behavior across varying hardware platforms in a product family. The structuring approach is demonstrated through a case study in the mobile robotics domain where the desired robot behavior is reused on two diverse platforms-one commercial mobile platform and one build in-house. We use our language RSML (-e) to capture the control behavior for reuse and our tool NIMBUS to demonstrate how the formal specification can be validated and used as a prototype on the two platforms.

Thompson, Jeffrey M.↗

Software reuse issues affecting AdaNET

The AdaNet program is reviewing its long-term goals and strategies. A significant concern is whether current AdaNet plans adequately address the major strategic issues of software reuse technology. The major reuse issues of providing AdaNet services that should be addressed as part of future AdaNet development are identified and reviewed. Before significant development proceeds, a plan should be developed to resolve the aforementioned issues. This plan should also specify a detailed approach to develop AdaNet. A three phased strategy is recommended. The first phase would consist of requirements analysis and produce an AdaNet system requirements specification. It would consider the requirements of AdaNet in terms of mission needs, commercial realities, and administrative policies affecting development, and the experience of AdaNet and other projects promoting the transfer software engineering technology. Specifically, requirements analysis would be performed to better understand the requirements for AdaNet functions. The second phase would provide a detailed design of the system. The AdaNet should be designed with emphasis on the use of existing technology readily available to the AdaNet program. A number of reuse products are available upon which AdaNet could be based. This would significantly reduce the risk and cost of providing an AdaNet system. Once a design was developed, implementation would proceed in the third phase.

Mcbride, John G.↗

Space Station Freedom Integrated Research and Development Growth

Space Station Freedom is designed to be an Earth-orbiting, multidiscipline research and development (R&D) facility capable of evolution to accomodate a variety of potential uses. One evolution scenario is growth to an enhanced R&D facility. In support of the Space Station Freedom Program Preliminary Design Review (PDR), the NASA Langley Research Center Space Station Office is analyzing growth requirements and evaluating configurations for this R&D utilization. This paper presents a summary of FY1989 study results including time-phased growth plans, R&D growth issues and configurations, and recommendations for the program baseline design which will facilitate evolutionary R&D growth. This study consisted of three major areas of concentration: mission requirements analysis; Space Station Freedom systems growth analysis; and growth accomodations and trades. Mission requirements analysis was performed to develop a realistic mission model of post-Phase 1 R&D missions. A systems-level analysis was performed to project incremental growth requirements of Space Station Freedom needed to support these R&D missions. Identification of growth requirements and specific growth elements led to the need for special accomodations analyses and trades. These studies included identification of hooks and scars on the baseline design, determination of an optimal module growth pattern, analysis of the dual keel length, and determination of an optimal locaton for the customer servicing facility. Results of this study show that Space Station Freedom must be capable of evolving to a dual keel, eight pressurized module configuration (two growth habs and two growth labs); providing 275 kW power (for experimenters and station housekeeping); accomodating a crew of 24; and supporting other growth structures and special facilities to meet projected R&D mission requirements.

Meredith, Barry D.↗

Total main rotor isolation system analysis

Requirements, preliminary design, and verification procedures for a total main rotor isolation system at n/rev are presented. The fuselage is isolated from the vibration inducing main rotor at one frequency in all degrees of freedom by four antiresonant isolation units. Effects of parametric variations on isolation system performance are evaluated.

Sankewitsch, V.↗

Mathematical analysis as required by a tachyonic observer

We rely on an analysis of initial states of the wave function associated with the simplest relativistic particle—the Weyl neutrino—to construct two series of representations of SL(2,R), or of the twofold cover of this group, by operators acting on scalar functions defined on the real line. The first one, which depends on a parameter p= 0, 1, …, contains the usual one-dimensional metaplectic, or oscillator, representation. The second one, a series of representations no longer unitary but, for certain values of the parameter, pseudo-unitary with respect to some non-degenerate indefinite pseudo-scalar product, is built in a comparable way, only exchanging the time coordinate with one of the spatial ones. The first series of representations was originally introduced in connection with automorphic pseudodifferential analysis; the second one is new, except for one value of the (continuous, in this case) parameter ρ, in which case it coincides with the recently introduced anaplectic representation. For each value of the parameter λ (=p or ρ), the basic operators Q and P from the usual Heisenberg pair give way to a new pair (Q, P{sub λ}) and to another analysis of functions on the real line, with as rich a collection of (most of the time totally new) symmetries as the usual one. The unusual set of coordinates in Minkowski's space under consideration can be regarded as corresponding to a “tachyonic observer,” a notion which does not require venturing into debatable questions of Physics. On the other hand, the paper indicates in a special example the way one may recover well-posedness (in a non-classical sense) for an initial-value problem with data on a timelike surface.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Analysis of requirements for GEOS-C laser cube-corner reflector panels

A mathematical analysis of the tradeoffs and requirements was performed to develop an improved array design which will give stronger returns at lower elevation angles and reduce pulse spread in the return. It was determined that a zenith angle of 75deg can be obtained with an array with an area of 0.28 sq m, if the array is shaped on the surface of a 45 deg cone whose axis is coincident to the satellite axis. The total weight of the truncated pyramid array with 270 cube corners is calculated to be not more than 50% greater than the GEOS 2 array, while the efficiency is increased 275%.

Minott, P. O.↗

Nuclear analysis generic requirements for fusion applications of radiation shielding - 25639

Radiation shielding engineering and associated nuclear analysis plays an important role in design, operation, maintenance and decommissioning of nuclear fusion devices. Requirements adopted in current analyses are investigated versus basic principles of requirement management and verification and validation aspects. An assessment is proposed to derive applicable product and process requirements from safety principles and transversal function requirements. V and V aspects are extended to cover input and output data. It is concluded that beyond the progress on computational capabilities and technical quality of fusion neutronics shielding analysis, there is the need to develop the underlying procedures and requirement management to satisfy configuration management, quality assurance and safety demonstration needs. (authors)

61 RADIATION PROTECTION AND DOSIMETRY↗

Formal methods demonstration project for space applications

The Space Shuttle program is cooperating in a pilot project to apply formal methods to live requirements analysis activities. As one of the larger ongoing shuttle Change Requests (CR's), the Global Positioning System (GPS) CR involves a significant upgrade to the Shuttle's navigation capability. Shuttles are to be outfitted with GPS receivers and the primary avionics software will be enhanced to accept GPS-provided positions and integrate them into navigation calculations. Prior to implementing the CR, requirements analysts at Loral Space Information Systems, the Shuttle software contractor, must scrutinize the CR to identify and resolve any requirements issues. We describe an ongoing task of the Formal Methods Demonstration Project for Space Applications whose goal is to find an effective way to use formal methods in the GPS CR requirements analysis phase. This phase is currently under way and a small team from NASA Langley, ViGYAN Inc. and Loral is now engaged in this task. Background on the GPS CR is provided and an overview of the hardware/software architecture is presented. We outline the approach being taken to formalize the requirements, only a subset of which is being attempted. The approach features the use of the PVS specification language to model 'principal functions', which are major units of Shuttle software. Conventional state machine techniques form the basis of our approach. Given this background, we present interim results based on a snapshot of work in progress. Samples of requirements specifications rendered in PVS are offered to illustration. We walk through a specification sketch for the principal function known as GPS Receiver State processing. Results to date are summarized and feedback from Loral requirements analysts is highlighted. Preliminary data is shown comparing issues detected by the formal methods team versus those detected using existing requirements analysis methods. We conclude by discussing our plan to complete the remaining activities of this task.

Divito, Ben L.↗