SEARCH · Engineering Papers

Results for “Design verification”

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 613 records · Page 34

All sources NASA NTRS DOE OSTI

NASA NTRS1986

Software engineering environment tool set integration

Space Transportation System Division (STSD) Engineering has a program to promote excellence within the engineering function. This program resulted in a capital funded facility based on a VAX cluster called the Rockwell Operational Engineering System (ROSES). The second phase of a three phase plan to establish an integrated software engineering environment for ROSES is examined. It discusses briefly phase one which establishes the basic capability for a modern software development environment to include a tool set, training and standards. Phase two is a tool set integration. The tool set is primarily off-the-shelf tools acquired through vendors or government agencies (public domain). These tools were placed into categories of software development. These categories are: requirements, design, and construction support; verification and validation support; and software management support. The integration of the tool set is being performed through concept prototyping and development of tools specifically designed to support the life cycle and provide transition from one phase to the next.

Selfridge, William P.↗

NASA NTRS2015

Survey of Verification and Validation Techniques for Small Satellite Software Development

The purpose of this paper is to provide an overview of the current trends and practices in small-satellite software verification and validation. This document is not intended to promote a specific software assurance method. Rather, it seeks to present an unbiased survey of software assurance methods used to verify and validate small satellite software and to make mention of the benefits and value of each approach. These methods include simulation and testing, verification and validation with model-based design, formal methods, and fault-tolerant software design with run-time monitoring. Although the literature reveals that simulation and testing has by far the longest legacy, model-based design methods are proving to be useful for software verification and validation. Some work in formal methods, though not widely used for any satellites, may offer new ways to improve small satellite software verification and validation. These methods need to be further advanced to deal with the state explosion problem and to make them more usable by small-satellite software engineers to be regularly applied to software verification. Last, it is explained how run-time monitoring, combined with fault-tolerant software design methods, provides an important means to detect and correct software errors that escape the verification process or those errors that are produced after launch through the effects of ionizing radiation.

Small Satellite Technology↗

NASA NTRS1989

Turbulent hydrocarbon combustions kinetics - Stochastic modeling and verification

Idealized reactors, that are designed to ensure perfect mixing and are used to generate the combustion kinetics for complex hydrocarbon fuels, may depart from the ideal and influence the kinetics model performance. A complex hydrocarbon kinetics model that was established by modeling a jet-stirred combustor (JSC) as a perfectly stirred reactor (PSR), is reevaluated with a simple stochastic process in order to introduce the unmixedness effect quantitatively into the reactor system. It is shown that the comparisons of the predictions and experimental data have improved dramatically with the inclusion of the unmixedness effect in the rich combustion region. The complex hydrocarbon kinetics is therefore verified to be mixing effect free and be applicable to general reacting flow calculations.

Wang, T. S.↗

NASA NTRS1991

Parallel algorithms for placement and routing in VLSI design

The computational requirements for high quality synthesis, analysis, and verification of very large scale integration (VLSI) designs have rapidly increased with the fast growing complexity of these designs. Research in the past has focused on the development of heuristic algorithms, special purpose hardware accelerators, or parallel algorithms for the numerous design tasks to decrease the time required for solution. Two new parallel algorithms are proposed for two VLSI synthesis tasks, standard cell placement and global routing. The first algorithm, a parallel algorithm for global routing, uses hierarchical techniques to decompose the routing problem into independent routing subproblems that are solved in parallel. Results are then presented which compare the routing quality to the results of other published global routers and which evaluate the speedups attained. The second algorithm, a parallel algorithm for cell placement and global routing, hierarchically integrates a quadrisection placement algorithm, a bisection placement algorithm, and the previous global routing algorithm. Unique partitioning techniques are used to decompose the various stages of the algorithm into independent tasks which can be evaluated in parallel. Finally, results are presented which evaluate the various algorithm alternatives and compare the algorithm performance to other placement programs. Measurements are presented on the parallel speedups available.

Brouwer, Randall Jay↗

NASA NTRS2013

The Iterative Design Process in Research and Development: A Work Experience Paper

The iterative design process is one of many strategies used in new product development. Top-down development strategies, like waterfall development, place a heavy emphasis on planning and simulation. The iterative process, on the other hand, is better suited to the management of small to medium scale projects. Over the past four months, I have worked with engineers at Johnson Space Center on a multitude of electronics projects. By describing the work I have done these last few months, analyzing the factors that have driven design decisions, and examining the testing and verification process, I will demonstrate that iterative design is the obvious choice for research and development projects.

Sullivan, George F. III↗

NASA NTRS1995

Model checking

Automatic formal verification methods for finite-state systems, also known as model-checking, successfully reduce labor costs since they are mostly automatic. Model checkers explicitly or implicitly enumerate the reachable state space of a system, whose behavior is described implicitly, perhaps by a program or a collection of finite automata. Simple properties, such as mutual exclusion or absence of deadlock, can be checked by inspecting individual states. More complex properties, such as lack of starvation, require search for cycles in the state graph with particular properties. Specifications to be checked may consist of built-in properties, such as deadlock or 'unspecified receptions' of messages, another program or implicit description, to be compared with a simulation, bisimulation, or language inclusion relation, or an assertion in one of several temporal logics. Finite-state verification tools are beginning to have a significant impact in commercial designs. There are many success stories of verification tools finding bugs in protocols or hardware controllers. In some cases, these tools have been incorporated into design methodology. Research in finite-state verification has been advancing rapidly, and is showing no signs of slowing down. Recent results include probabilistic algorithms for verification, exploitation of symmetry and independent events, and the use symbolic representations for Boolean functions and systems of linear inequalities. One of the most exciting areas for further research is the combination of model-checking with theorem-proving methods.

Dill, David L.↗

NASA NTRS1990

Microgravity research at LeRC

The NASA Lewis Research Center is conducting a wide variety of ground-based science and microgravity flight experiments in the disciplines of fluid physics and transport phenomena, combustion science, and materials science. Extensive use is made of low-gravity ground-based facilities such as drop towers and a Learjet aircraft, as well as extensive normal-gravity laboratories. The ground-based facilities are utilized to execute science programs, perform precursor tests to define space experiment science requirements and conceptual designs, and also to perform tests for space experiment technology development and verification. Finally, flight hardware is designed, developed and flown on the Space Shuttle.

Kohl, Fred J.↗

NASA NTRS1993

The Earth Observing System AM Spacecraft - Thermal Control Subsystem

Mission requirements for the EOS-AM Spacecraft intended to monitor global changes of the entire earth system are considered. The spacecraft is based on an instrument set containing the Advanced Spaceborne Thermal Emission and Reflection radiometer (ASTER), Clouds and Earth's Radiant Energy System (CERES), Multiangle Imaging Spectro-Radiometer (MISR), Moderate-Resolution Imaging Spectrometer (MODIS), and Measurements of Pollution in the Troposphere (MOPITT). Emphasis is placed on the design, analysis, development, and verification plans for the unique EOS-AM Thermal Control Subsystem (TCS) aimed at providing the required environments for all the onboard equipment in a densely packed layout. The TCS design maximizes the use of proven thermal design techniques and materials, in conjunction with a capillary pumped two-phase heat transport system for instrument thermal control.

Chalmers, D.↗

NASA NTRS2003

Discrete Abstractions of Hybrid Systems: Verification of Safety and Application to User-Interface Design

Human interaction with a complex control system involves the user, the automation’s discrete mode logic, and the underlying continuous dynamics of the physical system. The user-interface of such systems always displays a reduced set of information about the entire system. Designing interfaces such that all the pertinent information is available and assuring that this information is correct is important for any user-interface, but especially so for safety-critical systems such as automotive systems and autopilots. Here we describe a methodology for the analysis of hybrid control systems that incorporate user interaction, with the goal of assuring that the information provided to the user is correct. That is, the user-interface must contain all information necessary to safely complete a desired procedure or task. We begin with a hybrid system model which incorporates discrete mode logic as well as nonlinear continuous dynamics. Using a hybrid computational tool for reachability, we find the largest region of the state-space in which we can guarantee the state of the system can always remain – this is the safe region of operation. By implementing a controller for safety which arises from this computation, we mathematically guarantee that this safe region is invariant, meaning that the system will always remain within the safe region if the determined controller is used on the boundary of the safe region. Verification within a hybrid framework allows us to account for the continuous dynamics underlying the discrete representations displayed to the user. Using the computed invariant regions as discrete states, we can abstract a discrete event system from this hybrid system with safety restrictions. This abstraction can be used to determine what information must be provided on the display. Furthermore, in cases in which an interface already exists, the abstraction provides the necessary input into existing interface verification methods. We provide two examples: a car traveling through a yellow light at an intersection and an aircraft autopilot in an automatic landing/go-around maneuver. The examples demonstrate the applicability of this methodology to hybrid systems that have operational constraints we can pose in terms of safety. This methodology differs from existing work in hybrid system verification in that we directly account for the user’s interactions with the system.

Meeko Oishi↗

NASA NTRS1985

Debris control design achievements of the booster separation motors

The stringent debris control requirements imposed on the design of the Space Shuttle booster separation motor are described along with the verification program implemented to ensure compliance with debris control objectives. The principal areas emphasized in the design and development of the Booster Separation Motor (BSM) relative to debris control were the propellant formulation and nozzle closures which protect the motors from aerodynamic heating and moisture. A description of the motor design requirements, the propellant formulation and verification program, and the nozzle closures design and verification are presented.

Smith, G. W.↗

NASA NTRS2014

Cryogenic System for the Origins Space Telescope: Cooling a Large Space Telescope to 4K with Today's Technology

The Origins Space Telescope (OST) concept is one of four NASA Science Mission Directorate, Astrophysics Division, observatory concepts being studied for launch in the mid 2030's. OST's wavelength coverage will be from the midinfrared to the sub-millimeter, 6-600 microns. To enable observations at the zodiacal background limit the telescope must be cooled to about 4 K. Combined with the telescope size (currently the primary is 9 m in diameter) this appears to be a daunting task. However, simple calculations and thermal modeling have shown the cooling power required is met with several currently developed cryocoolers. Further, the telescope thermal architecture is greatly simplified, allowing simpler models, more thermal margin, and higher confidence in the final performance values than previous cold observatories. We will describe design principles to simplify modeling and verification. We will argue that the OST architecture and design principles lower its integration and test time and reduce its ultimate cost.

telescopes↗

NASA NTRSDate not supplied

Real Time Nitrogen Monitoring and Quality Control System for NASA Astromaterials Collection

The Nitrogen system is a vital utility supporting the curation office within NASA's Astromaterials Re-search and Exploration Science (ARES) Division at the Johnson Space center (JSC). Since the Apollo samples were returned in 1969. It has played an essential role in preserving NASA’s astromaterial collections (now nine collections) by maintaining contamination-free, controlled environments required for long term curation and advanced scientific research. To meet the stringent purity requirements for contamination control, high purity modified Grade C Liquid Nitrogen (LN2) is delivered weekly by an industrial gas vendor to a 15,000-gallon tank located outside at NASA JSC near the ARES facility. This nitrogen is vital for creating an inert atmosphere to store the collection in, ensuring they are continuously shielded from contaminants and alterations through a constant N2purge. For most of the past 65 years deliveries of LN2 have required a CoA (Certificate of Analysis) prior to delivery. If those were not available, then LN2 deliver were sent to third-party laboratories for verification, creating an operational bottleneck and quality gap. To address this challenge and maintain rigorous quality control, NASA JSC Infrastructure and Astromaterials Acquisition & Curation Office initiated the development of an on-site Analytical Gas Sampling (AGS) Laboratory. Designed to streamline quality verification if a CoA unavailable, the AGS lab was constructed by a subcontractor in Newton, NJ. After a successful factory acceptance test conducted by the NASA ARES Infrastructure team, the lab was trans-ported to NASA JSC, where it was anchored and integrated into the site’s nitrogen pressure system using stainless steel, oxygen-cleaned tubing. The ARES nitrogen system was modified to provide parallel flows to the AGS lab for quality control and to the astromaterials collection labs for maintaining an inert environment. The AGS lab features two operational modes: (1)Primary: Gaseous Nitrogen (GN2) Quality Monitoring –The AGS system continuously samples the site’s GN2 supply every 15 minutes to ensure compliance with required purity levels. (2) Secondary: LN2 Quality Verification when a comprehensive CoA is not available, a cryogenic vaporizer converts LN2 to GN2, which is then analyzed for impurities: H₂, Ar, O₂, CO, CO₂, H₂O, and total hydrocarbons (THC). By significantly enhancing on-site analytical capabilities, the AGS lab eliminates reliance on external testing, ensures uninterrupted quality monitoring of the nitrogen pressure system, and reinforces NASA’s commitment to preserving pristine astromaterials under the highest standards of curation and research integrity.

glove box↗

NASA NTRS2007

International Space Station Atmosphere Control and Supply, Atmosphere Revitalization, and Water Recovery and Management Subsystem - Verification for Node 1

The International Space Station (ISS) Node 1 Environmental Control and Life Support (ECLS) System is comprised of five subsystems: Atmosphere Control and Supply (ACS), Atmosphere Revitalization (AR), Fire Detection and Suppression (FDS), Temperature and Humidity Control (THC), and Water Recovery and Management (WRM). This paper provides a summary of the nominal operation of the Node 1 ACS, AR, and WRM design and detailed Element Verification methodologies utilized during the Qualification phase for Node 1.

Williams, David E.↗

NASA NTRS2005

Autonomous and Autonomic Swarms

A watershed in systems engineering is represented by the advent of swarm-based systems that accomplish missions through cooperative action by a (large) group of autonomous individuals each having simple capabilities and no global knowledge of the group s objective. Such systems, with individuals capable of surviving in hostile environments, pose unprecedented challenges to system developers. Design and testing and verification at much higher levels will be required, together with the corresponding tools, to bring such systems to fruition. Concepts for possible future NASA space exploration missions include autonomous, autonomic swarms. Engineering swarm-based missions begins with understanding autonomy and autonomicity and how to design, test, and verify systems that have those properties and, simultaneously, the capability to accomplish prescribed mission goals. Formal methods-based technologies, both projected and in development, are described in terms of their potential utility to swarm-based system developers.

Hinchey, Michael G.↗

NASA NTRS1989

Neutral buoyancy methodology for studying satellite servicing EVA crewmember interfaces

Current economic constraints indicate the need for incorporating the satellite servicing philosophy of commonality within the design of spacecraft subsytems. This philosophy is essential for conserving resources including hardware/software development and implementation costs, on-orbit and ground-based manpower, crew training/testing time, and documentation. In addition, spacecraft subsystem commonality may be coupled with standardization of operation procedures, and test and verification techniques for spacecraft design. Several spacecraft have adopted this practice, including Hubble Space Telescope, Space Station Freedom, and the Explorer Platform. As these and other programs continue and if effective crew interfaces and procedures are clearly and consistently defined, crew retraining for similar spacecraft subsystems will lessen, and procurement efforts will diminish. A relatively high fidelity zero-gravity simulation using water immersion is available to establish crew interfaces economically. The flexibility and utility of this space simulation medium for planning and assisting on-orbit operations was exemplified by astronaut evaluations of potential EVA electrical connectors. The testing was conducted at a NASA underwater neutral buoyancy training facility.

Barnby, Mary E.↗

NASA NTRS2003

Main Chamber Injectors for Advanced Hydrocarbon Booster Engines

Achieving the highest possible specific impulse has long been a key driver for space launch systems. Recently, more importance has been placed on the need for increased reliability and streamlined launch operations. These general factors along with more specific mission requirements have provided a new focus that is centered on the oxidizer rich staged combustion (ORSC) cycle. Despite a history of use in Russia that extends back to the 1960's, a proven design methodology for ORSC cycle engines does not exist in the West. This lack of design expertise extends to the main chamber injector, a critical subcomponent that largely determines the engine performance and main chamber life. The goals of the effort described here are to establish an empirical knowledge base to provide a fundamental understanding of main chamber injectors and for verification of an injector design methodology for the ORSC cycle. The design of a baseline injector element, derived from information on Russian engines in the open literature, is presented. The baseline injector comprises a gaseous oxidizer core flow and an annular swirling fuel flow. Sets of equations describing the steady-state and the dynamic characteristics of the injector are presented; these equations, which form the basis of the design analysis methodology, will be verified in tests later this year. On-going cold flow studies, using nitrogen and water as simulants, are described which indicate highly atomized and symmetric sprays.

Long, Matthew R.↗

NASA NTRS2010

Design and Testing of a Prototype Lunar or Planetary Surface Landing Research Vehicle (LPSLRV)

This handbook describes a two-semester senior design course sponsored by the NASA Office of Education, the Exploration Systems Mission Directorate (ESMD), and the NASA Space Grant Consortium. The course was developed and implemented by the Mechanical and Aerospace Engineering Department (MAE) at Utah State University. The course final outcome is a packaged senior design course that can be readily incorporated into the instructional curriculum at universities across the country. The course materials adhere to the standards of the Accreditation Board for Engineering and Technology (ABET), and is constructed to be relevant to key research areas identified by ESMD. The design project challenged students to apply systems engineering concepts to define research and training requirements for a terrestrial-based lunar landing simulator. This project developed a flying prototype for a Lunar or Planetary Surface Landing Research Vehicle (LPSRV). Per NASA specifications the concept accounts for reduced lunar gravity, and allows the terminal stage of lunar descent to be flown either by remote pilot or autonomously. This free-flying platform was designed to be sufficiently-flexible to allow both sensor evaluation and pilot training. This handbook outlines the course materials, describes the systems engineering processes developed to facilitate design fabrication, integration, and testing. This handbook presents sufficient details of the final design configuration to allow an independent group to reproduce the design. The design evolution and details regarding the verification testing used to characterize the system are presented in a separate project final design report. Details of the experimental apparatus used for system characterization may be found in Appendix F, G, and I of that report. A brief summary of the ground testing and systems verification is also included in Appendix A of this report. Details of the flight tests will be documented in a separate flight test report. This flight test report serves as a complement to the course handbook presented here. This project was extremely ambitious, and achieving all of the design and test objectives was a daunting task. The schedule ran slightly longer than a single academic year with the complete design closure not occurring until early April. Integration and verification testing spilled over into late May and the first flight did not occur until mid to late June. The academic year at Utah State University ended on May 8, 2010. Following the end of the academic year, testing and integration was performed by the faculty advisor, paid research assistants, and volunteer student help

Murphy, Gloria A.↗

NASA NTRS2008

Guidance and Control Software Project Data - Volume 3: Verification Documents

The Guidance and Control Software (GCS) project was the last in a series of software reliability studies conducted at Langley Research Center between 1977 and 1994. The technical results of the GCS project were recorded after the experiment was completed. Some of the support documentation produced as part of the experiment, however, is serving an unexpected role far beyond its original project context. Some of the software used as part of the GCS project was developed to conform to the RTCA/DO-178B software standard, "Software Considerations in Airborne Systems and Equipment Certification," used in the civil aviation industry. That standard requires extensive documentation throughout the software development life cycle, including plans, software requirements, design and source code, verification cases and results, and configuration management and quality control data. The project documentation that includes this information is open for public scrutiny without the legal or safety implications associated with comparable data from an avionics manufacturer. This public availability has afforded an opportunity to use the GCS project documents for DO-178B training. This report provides a brief overview of the GCS project, describes the 4-volume set of documents and the role they are playing in training, and includes the verification documents from the GCS project. Volume 3 contains four appendices: A. Software Verification Cases and Procedures for the Guidance and Control Software Project; B. Software Verification Results for the Pluto Implementation of the Guidance and Control Software; C. Review Records for the Pluto Implementation of the Guidance and Control Software; and D. Test Results Logs for the Pluto Implementation of the Guidance and Control Software.

Hayhurst, Kelly J.↗