SEARCH · Search NASA
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.
Literature on the specification, design, verification, testing, and evaluation of avionics systems was surveyed, providing 655 citations. Journal papers, conference papers, and technical reports are included. Manual and computer-based methods were employed. Keywords used in the online search are listed.
A mathematical optimization procedure was developed for the structural tailoring of engine blades and was used to structurally tailor two engine fan blades constructed of composite materials without midspan shrouds. The first was a solid blade made from superhybrid composites, and the second was a hollow blade with metal matrix composite inlays. Three major computerized functions were needed to complete the procedure: approximate analysis with the established input variables, optimization of an objective function, and refined analysis for design verification.
The design verification of the LANDSAT-D antenna subsystem is addressed. In particular, the analysis of the antenna radiation patterns utilizing a full scale mockup of the LANDSAT-D satellite is discussed. Test antennas included two S-Band shaped beam antennas, two S-Band omni unit radiators (to operate in array), a GPS antenna, an X-Band shaped beam antenna, and one S-Band high-gain parabolic antenna.
Development of tools that include the STP theorem poer and its associated Design Verification Systems; PHIL, a meta-programmable context sensitive structured editor; Pegasus, a system for support of graphical programming; and OBJ, an ultra high level programming language based on rewrite rules and abstract data type is reported.
New flight test techniques in use at Ames Dryden are reviewed. The use of the pilot in combination with ground and airborne computational capabilities to maximize data return is discussed, including the remotely piloted research vehicle technique for high-risk testing, the remotely augmented vehicle technique for handling qualities research, and use of ground computed flight director information to fly unique profiles such as constant Reynolds number profiles through the transonic flight regime. Techniques used for checkout and design verification of systems-oriented aircraft are discussed, including descriptions of the various simulations, iron bird setups, and vehicle tests. Some newly developed techniques to support the aeronautical research disciplines are discussed, including a new approach to position-error determination, and the use of a large skin friction balance for the measurement of drag caused by various excrescencies.
A number of methodologies for verifying systems and computer based tools that assist users in verifying their systems were developed. These tools were applied to verify in part the SIFT ultrareliable aircraft computer. Topics covered included: STP theorem prover; design verification of SIFT; high level language code verification; assembly language level verification; numerical algorithm verification; verification of flight control programs; and verification of hardware logic.
The GPWS being developed for the Life Sciences Laboratory to be flown on the fourth Spacelab mission in late 1985 is characterized, and results from Phase I and Phase II tests are reported. The GPWS is designed to provide biological protection for both experiment and operator, a clean-room environment, control of liquids at zero gravity, protection against Spacelab-cabin contamination by chemical vapors, and work space with lights and other accommodations for one or two users in the zero-gravity neutral-body position. The flight hardware subsystems are examined and illustrated; the approach taken to evaluate human factors, performance, contaminant control, and user accommodation is explained; the design-verification unit for ground testing is described; and the improvements introduced in constructing the flight version are indicated.
The first phase of a planned multiphase program to develop a Phosphoric is addressed. This report describes the efforts performed that culminated in the: (1) Establishment of the preliminary design requirements and system conceptual design for the nominally rated 375 kW PAFC module and is interfacing power plant systems; (2) Establishment of PAFC component and stack performance, endurance, and design parameter data needed for design verification for power plant application; (3) Improvement of the existing PAFC materials data base and establishment of materials specifications and process procedes for the cell components; and (4) Testing of 122 subscale cell atmospheric test for 110,000 cumulative test hours, 12 subscale cell pressurized tests for 15,000 cumulative test hours, and 12 pressurized stack test for 10,000 cumulative test hours.
Most work concerning secure computer systems has dealt with the design, verification, and implementation of provably secure computer systems, or has explored ways of making existing computer systems more secure. The problem of locating security holes in existing systems has received considerably less attention; methods generally rely on thought experiments as a critical step in the procedure. The difficulty is that such experiments require that a large amount of information be available in a format that makes correlating the details of various programs straightforward. This paper describes a method of providing such a basis for the thought experiment by writing a special manual for parts of the operating system, system programs, and library subroutines.
The purpose of the Robotics Simulation (ROBSIM) program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotic systems. ROBSIM is programmed in FORTRAN 77 and implemented on a VAX 11/750 computer using the VMS operating system. This programmer's guide describes the ROBSIM implementation and program logic flow, and the functions and structures of the different subroutines. With this manual and the in-code documentation, and experienced programmer can incorporate additional routines and modify existing ones to add desired capabilities.
The purpose of the Robotics Simulation Program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotics systems. ROBSIM is program in FORTRAN 77 for use on a VAX 11/750 computer under the VMS operating system. This user's guide describes the capabilities of the ROBSIM programs, including the system definition function, the analysis tools function and the postprocessor function. The options a user may encounter with each of these executables are explained in detail and the different program prompts appearing to the user are included. Some useful suggestions concerning the appropriate answers to be given by the user are provided. An example user interactive run in enclosed for each of the main program services, and some of the capabilities are illustrated.
The purpose of the Robotic Simulation (ROBSIM) program is to provide a broad range of computer capabilities to assist in the design, verification, simulation, and study of robotic systems. ROBSIM is programmed in FORTRAM 77 and implemented on a VAX 11/750 computer using the VMS operating system. The programmer's guide describes the ROBSIM implementation and program logic flow, and the functions and structures of the different subroutines. With the manual and the in-code documentation, an experienced programmer can incorporate additional routines and modify existing ones to add desired capabilities.
The effects of incorporating digital technology into the design of aircraft on the airworthiness criteria and certification procedures for aircraft are investigated. FAA research programs aimed at providing data for the functional assessment of aircraft which use digital systems for avionics and flight control functions are discussed. The need to establish testing, assurance assessment, and configuration management technologies to insure the reliability of digital systems is discussed; consideration is given to design verification, system performance/robustness, and validation technology.
The rocket engine systems examined include SSME, ALS, and CTV systems. The liquid hydrogen turbopumps in the SSME and ALS vehicle systems are identified as potentially attractive candidates for development of Supercurrent Bearings since the temperatures around the bearings is about 30 K, which is considerably lower than the 95 K transition temperatures of HTS materials. At these temperatures, the current HTS materials are shown to be capable of developing significantly higher current densities. This higher current density capability makes the development of supercurrent bearings for rocket engines an attractive proposition. These supercurrent bearings are also shown to offer significant advantages over conventional bearings used in rocket engines. They can increase the life and reliability over rolling element bearings because of noncontact operation. They offer lower power loss over conventional fluid film bearings. Compared to conventional magnetic bearings, they can reduce the weight of controllers significantly, and require lower power because of the use of persistent currents. In addition, four technology areas that require further attention have been identified. These are: Supercurrent Bearing Conceptual Design Verification; HTS Magnet Fabrication and Testing; Cryosensors and Controller Development; and Rocket Engine Environmental Compatibility Testing.
The workshop brought together researchers involved in the NASA formal methods research effort for detailed technical interchange and provided a mechanism for interaction with representatives from the FAA and the aerospace industry. The workshop also included speakers from industry to debrief the formal methods researchers on the current state of practice in flight critical system design, verification, and certification. The goals were: define and characterize the verification problem for ultra-reliable life critical flight control systems and the current state of practice in industry today; determine the proper role of formal methods in addressing these problems, and assess the state of the art and recent progress toward applying formal methods to this area.
SSME requirements were identified in NASA approved documents. Design verification specifications (DVS) are used to define requirements and method of verification. Detailed and complete plans provide for verification of each requirement by lab tests, component tests, and engine tests. These tests are planned to expose problems early. The culmination of the development process is engine certification. The certification consists of two certification cycles on each of two engines. The certification cycle is made up of 10 tests and 5000 seconds.
The HST system design is described as well as the in-orbit servicing program. In order to verify the feasibility and the design of the HST servicing features, a design verification program, which included 1-g tests and 0-g underwater simulations, was carried out. The major elements of the space support equipment, including the flight support system, the orbital replacement unit carrier, and the solar array carrier, are addressed in detail.
Traditionally, satellites have performed the function of a simple repeater. Newer data distribution satellite architectures, however, require demodulation of many frequency division multiplexed uplink channels by a single demultiplexer/demodulator unit, baseband processing and routing of individual voice/data circuits, and remodulation into time division multiplexed (TDM) downlink carriers. The TRW MCDD (Multichannel Demultiplexer/Multirate Demodulator) operates on a 37.4 MHz composite input signal. Individual channel data rates are either 64 Kbps or 2.048 Mbps. The wideband demultiplexer divides the input signal into 1.44 MHz segments containing either a single 2.048 Mbps channel or thirty two 64 Kbps channels. In the latter case, the narrowband demultiplexer further divides the single 1.44 MHz wideband channel into thirty two 45 KHz narrowband channels. With this approach the time domain Fast Fourier Transformation (FFT) channelizer processing capacity is matched well to the bandwidth and number of channels to be demultiplexed. By using a multirate demodulator fewer demodulators are required while achieving greater flexibility. Each demodulator can process a wideband channel or thirty two narrowband channels. Either all wideband channels, a mixture of wideband and narrowband channels, or all narrowband channels can be demodulated. The multirate demodulator approach also has lower nonrecurring costs since only one design and development effort is needed. TRW has developed a proof of concept (POC) model which fully demonstrates the signal processing fuctions of MCDD. It is capable of processing either three 2.048 Mbps channels or two 2.048 Mbps channels and thirty two 64 Kbps channels. An overview of important MCDD system engineering issues is presented as well as discussion on some of the Block Oriented System Simulation analyses performed for design verification and selection of operational parameters of the POC model. Systems engineering analysis of the POC model confirmed that the MCDD concepts are not only achievable but also balance the joint goals of minimizing on-board complexity and cost of ground equipment, while retaining the flexibility needed to meet a wide range of system requirements.