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 1,333 records · Page 74

All sources NASA NTRS DOE OSTI

NASA NTRS1980

Shuttle remote manipulator system hardware test facility

The shuttle remote manipulator (RMS) is designed and built for operations in a zero gravity environment. As such, the ground test facility for the integrated RMS must simulate conditions which support verification of the overall system performance. In order to allow ground test operations, a test facility was constructed with an area of 60 ft. x 120 ft. and extremely tight tolerances on floor flatness and slope. An air bearing support structure was designed for the RMS to operate with 4 degrees of freedom. The RMS system test facility and systems tests conducted to date are described.

Wagner-Bartak, C. G.↗

NASA NTRS2004

A New On-Line Diagnosis Protocol for the SPIDER Family of Byzantine Fault Tolerant Architectures

This paper presents the formal verification of a new protocol for online distributed diagnosis for the SPIDER family of architectures. An instance of the Scalable Processor-Independent Design for Electromagnetic Resilience (SPIDER) architecture consists of a collection of processing elements communicating over a Reliable Optical Bus (ROBUS). The ROBUS is a specialized fault-tolerant device that guarantees Interactive Consistency, Distributed Diagnosis (Group Membership), and Synchronization in the presence of a bounded number of physical faults. Formal verification of the original SPIDER diagnosis protocol provided a detailed understanding that led to the discovery of a significantly more efficient protocol. The original protocol was adapted from the formally verified protocol used in the MAFT architecture. It required O(N) message exchanges per defendant to correctly diagnose failures in a system with N nodes. The new protocol achieves the same diagnostic fidelity, but only requires O(1) exchanges per defendant. This paper presents this new diagnosis protocol and a formal proof of its correctness using PVS.

Geser, Alfons↗

NASA NTRS1973

Extravehicular activities guidelines and design criteria

A listing of astronaut EVA support systems and equipment, and the physical, operational, and performance characteristics of each major system are presented. An overview of the major ground based support operations necessary in the development and verification of orbital EVA systems is included. The performance and biomedical characteristics of man in the orbital EV environment are discussed. Major factors affecting astronaut EV work performance are identified and delineated as they relate to EV support systems design. Data concerning the medical and physiological aspects of spaceflight on man are included. The document concludes with an extensive bibliography, and a series of appendices which expand on some of the information presented in the main body.

Brown, N. E.↗

NASA NTRS2014

Spot: A Programming Language for Verified Flight Software

The C programming language is widely used for programming space flight software and other safety-critical real time systems. C, however, is far from ideal for this purpose: as is well known, it is both low-level and unsafe. This paper describes Spot, a language derived from C for programming space flight systems. Spot aims to maintain compatibility with existing C code while improving the language and supporting verification with the SPIN model checker. The major features of Spot include actor-based concurrency, distributed state with message passing and transactional updates, and annotations for testing and verification. Spot also supports domain-specific annotations for managing spacecraft state, e.g., communicating telemetry information to the ground. We describe the motivation and design rationale for Spot, give an overview of the design, provide examples of Spot's capabilities, and discuss the current status of the implementation.

validation↗

NASA NTRS1987

A potential flight evaluation of an upper-surface-blowing/circulation-control-wing concept

The technology data base for powered lift aircraft design has advanced over the last 15 years. NASA's Quiet Short Haul Research Aircraft (QSRA) has provided a flight verification of upper surface blowing (USB) technology. The A-6 Circulation Control Wing flight demonstration aricraft has provide data for circulation control wing (CCW) technology. Recent small scale wind tunnel model tests and full scale static flow turning test have shown the potential of combining USB with CCW technology. A flight research program is deemed necessary to fully explore the performance and control aspects of CCW jet substitution for the mechanical USB Coanda flap. The required hardware design would also address questions about the development of flight weight ducts and CCW jets and the engine bleed-air capabilities vs requirements. NASA's QSRA would be an optimum flight research vehicle for modification to the USB/CCW configuration. The existing QSRA data base, the design simplicity of the QSRA wing trailing edge controls, availability of engine bleed-air, and the low risk, low cost potential of the suggested program is discussed.

Riddle, Dennis W.↗

NASA NTRS2004

Reliability Assessment Approach for Stirling Convertors and Generators

Stirling power conversion is being considered for use in a Radioisotope Power System for deep-space science missions because it offers a multifold increase in the conversion efficiency of heat to electric power. Quantifying the reliability of a Radioisotope Power System that utilizes Stirling power conversion technology is important in developing and demonstrating the capability for long-term success. A description of the Stirling power convertor is provided, along with a discussion about some of the key components. Ongoing efforts to understand component life, design variables at the component and system levels, related sources, and the nature of uncertainties is discussed. The requirement for reliability also is discussed, and some of the critical areas of concern are identified. A section on the objectives of the performance model development and a computation of reliability is included to highlight the goals of this effort. Also, a viable physics-based reliability plan to model the design-level variable uncertainties at the component and system levels is outlined, and potential benefits are elucidated. The plan involves the interaction of different disciplines, maintaining the physical and probabilistic correlations at all the levels, and a verification process based on rational short-term tests. In addition, both top-down and bottom-up coherency were maintained to follow the physics-based design process and mission requirements. The outlined reliability assessment approach provides guidelines to improve the design and identifies governing variables to achieve high reliability in the Stirling Radioisotope Generator design.

Shah, Ashwin R.↗

NASA NTRS1975

Rotor systems research aircraft (RSRA) requirements for, and contributions to, rotorcraft state estimation and parameter identification

Rotor System Research Aircraft (RSRA) is designed to provide the capabilities necessary for the effective and efficient in-flight test and verification of promising rotor concepts and supporting technology developments. The RSRA requirements for, and possible contributions to, rotorcraft state estimation and parameter identification technology are discussed.

Condon, G. W.↗

NASA NTRS1976

Rotor Systems Research Aircraft (RSRA)

A description of the Rotor Systems Research Aircraft (RSRA) was presented, with particular emphasis on the unique systems that provide the potential for good flight/ground test facility correlation. These flight research vehicles are designed specifically with the capabilities necessary for the effective and efficient in-flight test and verification of promising new rotor concepts and supporting technology developments. The research mission and unique features of the RSRA will provide the capability to measure and separate the flight loads of the airframe and rotor, thereby allowing direct flight/ground test facility correlation of rotors as well as correlation with analytical models.

Condon, G. W.↗

NASA NTRS1979

Design of space payloads for transient environments

Current practices used to design space payload structures for transient dynamic loads are described. Included in the discussion of the design process are the estimation of preliminary loads, development of dynamic models, calculation of transient loads, verification of analytical models, establishment of development tests, definition of the qualification tests, and acquisition of flight data. An indication of the accuracy of the analytical predictions is provided by comparing them with actual test and flight data. Many illustrations and much data obtained during the Viking Project are used to clarify the current practices.

Wada, B. K.↗

NASA NTRS1980

An effective combined environment test facility

A critical missile component required operational verification while subjected to combined environments within and beyond flight parameters. The testing schedule necessitated the design and fabrication of a test facility in order to provide the specified temperatures combined with humidity, altitude and vibration.

Deitch, A.↗

NASA NTRS1979

Advanced manufacturing development of a composite empennage component for L-1011 aircraft

Work on process verification and tooling development continued. The cover process development was completed with the decision to proceed with low resin content prepreg material (34 + or - 3% by weight) in the fabrication of production readiness verification test (PRVT) specimens and the full-scale covers. The structural integrity of the cover/joint design was verified with the successful test of the cover attachment to fuselage ancillary test specimen (H25). Failure occurred, as predicted, in the skin panel away from the fuselage joint at 141 percent of the design ultimate load. With the successful completion of the H25 test, the PRVT cover specimens, which are identical to the H25 ancillary test specimen, were cleared for production. Eight of the twenty cover specimens were fabricated and are in preparation for test. All twenty of the PRVT spar specimens were fabricated and also were prepared for test. The environmental chambers used in the durability test of ten cover and ten spar PRVT specimens were completed and installed in the load reaction frames.

Source record↗

NASA NTRS1988

A Generalized Method for Automatic Downhand and Wirefeed Control of a Welding Robot and Positioner

A generalized method for controlling a six degree-of-freedom (DOF) robot and a two DOF positioner used for arc welding operations is described. The welding path is defined in the part reference frame, and robot/positioner joint angles of the equivalent eight DOF serial linkage are determined via an iterative solution. Three algorithms are presented: the first solution controls motion of the eight DOF mechanism such that proper torch motion is achieved while minimizing the sum-of-squares of joint displacements; the second algorithm adds two constraint equations to achieve torch control while maintaining part orientation so that welding occurs in the downhand position; and the third algorithm adds the ability to control the proper orientation of a wire feed mechanism used in gas tungsten arc (GTA) welding operations. A verification of these algorithms is given using ROBOSIM, a NASA developed computer graphic simulation software package design for robot systems development.

Fernandez, Ken↗

NASA NTRS1993

Thermal protection systems for space transportation vehicles

The topics addressed are history of reusable external insulation (RSI), and examples of shuttle RSI development challenges, which includes: (1) manufacturing of raw materials, such as fibers, coating components; (2) design of tile planform size, strain isolation, and gap heating; (3) insulation, such as bonding, bond verification, tolerances, and quality control; and (4) operation, such as durability, and water proofing.

Goldstein, Howard E.↗

NASA NTRS1990

The Environmental Control and Life Support System (ECLSS) advanced automation project

The objective of the environmental control and life support system (ECLSS) Advanced Automation Project is to influence the design of the initial and evolutionary Space Station Freedom Program (SSFP) ECLSS toward a man-made closed environment in which minimal flight and ground manpower is needed. Another objective includes capturing ECLSS design and development knowledge future missions. Our approach has been to (1) analyze the SSFP ECLSS, (2) envision as our goal a fully automated evolutionary environmental control system - an augmentation of the baseline, and (3) document the advanced software systems, hooks, and scars which will be necessary to achieve this goal. From this analysis, prototype software is being developed, and will be tested using air and water recovery simulations and hardware subsystems. In addition, the advanced software is being designed, developed, and tested using automation software management plan and lifecycle tools. Automated knowledge acquisition, engineering, verification and testing tools are being used to develop the software. In this way, we can capture ECLSS development knowledge for future use develop more robust and complex software, provide feedback to the knowledge based system tool community, and ensure proper visibility of our efforts.

Dewberry, Brandon S.↗

NASA NTRS1999

Lockheed Martin Skunk Works Single Stage to Orbit/Reusable Launch Vehicle

Lockheed Martin Skunk Works has compiled an Annual Performance Report of the X-33/RLV Program. This report consists of individual reports from all industry team members, as well as NASA team centers. This portion of the report is comprised of a status report of Lockheed Martin's contribution to the program. The following is a summary of the Lockheed Martin Centers involved and work reviewed under their portion of the agreement: (1) Lockheed Martin Skunk Works - Vehicle Development, Operations Development, X-33 and RLV Systems Engineering, Manufacturing, Ground Operations, Reliability, Maintainability/Testability, Supportability, & Special Analysis Team, and X-33 Flight Assurance; (2) Lockheed Martin Technical Operations - Launch Support Systems, Ground Support Equipment, Flight Test Operations, and RLV Operations Development Support; (3) Lockheed Martin Space Operations - TAEM and A/L Guidance and Flight Control Design, Evaluation of Vehicle Configuration, TAEM and A/L Dispersion Analysis, Modeling and Simulations, Frequency Domain Analysis, Verification and Validation Activities, and Ancillary Support; (4) Lockheed Martin Astronautics-Denver - Systems Engineering, X-33 Development; (5) Sanders - A Lockheed Martin Company - Vehicle Health Management Subsystem Progress, GSS Progress; and (6) Lockheed Martin Michoud Space Systems - X-33 Liquid Oxygen (LOX) Tank, Key Challenges, Lessons Learned, X-33/RLV Composite Technology, Reusable Cyrogenic Insulation (RCI) and Vehicle Health Monitoring, Main Propulsion Systems (MPS), Structural Testing, X-33 System Integration and Analysis, and Cyrogenic Systems Operations.

Source record↗

NASA NTRS2008

Lunar Frozen Orbits

Based upon the derivation of the equations of frozen orbits about the Earth, an analytical formulation is presented for lunar frozen orbits (LFO) in a wide altitude range. Global examination is made of combinations of inclination, semimajor axis, and eccentricity to zero out the mean eccentricity and argument of periapsis drift. Included in this development are the effects of both the lunar gravity potential and third body perturbations. Unlike the Earth frozen orbits, with the major perturbation due to the uniform 52 through J5 gravity terms, lunar frozen orbits are restricted by the distribution of the lunar mascons. With accurate modeling, they exhibit a predictive pattern that drives the overall mission design. In addition to a derivation for analytical expressions, a fill1 numerical simulation is used for verification and examination of secular drift from all third body effects. This presentation addresses a selection of usable lunar orbits that reduce or eliminate the need for stationkeeping while maintaining usable science or communication/navigation orbit parameters.

Folta, David↗

NASA NTRS2012

Toward a Model-Based Approach to Flight System Fault Protection

Fault Protection (FP) is a distinct and separate systems engineering sub-discipline that is concerned with the off-nominal behavior of a system. Flight system fault protection is an important part of the overall flight system systems engineering effort, with its own products and processes. As with other aspects of systems engineering, the FP domain is highly amenable to expression and management in models. However, while there are standards and guidelines for performing FP related analyses, there are not standards or guidelines for formally relating the FP analyses to each other or to the system hardware and software design. As a result, the material generated for these analyses are effectively creating separate models that are only loosely-related to the system being designed. Development of approaches that enable modeling of FP concerns in the same model as the system hardware and software design enables establishment of formal relationships that has great potential for improving the efficiency, correctness, and verification of the implementation of flight system FP. This paper begins with an overview of the FP domain, and then continues with a presentation of a SysML/UML model of the FP domain and the particular analyses that it contains, by way of showing a potential model-based approach to flight system fault protection, and an exposition of the use of the FP models in FSW engineering. The analyses are small examples, inspired by current real-project examples of FP analyses.

Day, John↗

NASA NTRS2016

Direct Write Printing on Thin and Flexible Substrates for Space Applications

This presentation describes the work done on direct-write printing conductive traces for a flexible detector application. A Repeatability Plan was established to define detector requirements, material and printer selections, printing facilities, and tests to verify requirements are met. Designs were created for the detector, and printed using an aerosol jet printer. Testing for requirement verification is ongoing.

flexible↗