ALBERT

Description: In this viewgraph presentation, information is provided on the numerical simulation of a turbulence event encountered by NASA Langley's B-757 while conducting flight tests in areas at high risk for severe turbulence. Specific details on the Terminal Area Simulation System (TASS) show how the simulation is devised. The 100 m simulation was able to observe large-scale features.

Description: This viewgraph presentation provides information on two experiments on the effectiveness of a cockpit weather information system on a simulated general aviation flight. The presentation covers the simulation hardware configuration, the display device screen layout, a mission scenario, conclusions, and recommendations. The second experiment, with its own scenario and conclusions, is a follow-on experiment.

Description: We present an iterative technique in which model checking and static analysis are combined to verify large software systems. The role of the static analysis is to compute partial order information which the model checker uses to reduce the state space. During exploration, the model checker also computes aliasing information that it gives to the static analyzer which can then refine its analysis. The result of this refined analysis is then fed back to the model checker which updates its partial order reduction. At each step of this iterative process, the static analysis computes optimistic information which results in an unsafe reduction of the state space. However we show that the process converges to a fired point at which time the partial order information is safe and the whole state space is explored.

Description: During the summer of 2002, two airborne missions were flown as part of a NASA Earth Science Enterprise program to demonstrate the use of uninhabited aerial vehicles (UAVs) to perform earth science. One mission, the Altus Cumulus Electrification Study (ACES), successfully measured lightning storms in the vicinity of Key West, Florida, during storm season using a high-altitude Altus(TM) UAV. In the other, a solar-powered UAV, the Pathfinder Plus, flew a high-resolution imaging mission over coffee fields in Kauai, Hawaii, to help guide the harvest.

Description: Most evolutionary approaches to fault recovery in FPGAs focus on evolving alternative logic configurations as opposed to evolving the intra-cell routing. Since the majority of transistors in a typical FPGA are dedicated to interconnect, nearly 80% according to one estimate, evolutionary fault-recovery systems should benefit hy accommodating routing. In this paper, we propose an evolutionary fault-recovery system employing a genetic representation that takes into account both logic and routing configurations. Experiments were run using a software model of the Xilinx Virtex FPGA. We report that using four Virtex combinational logic blocks, we were able to evolve a 100% accurate quadrature decoder finite state machine in the presence of a stuck-at-zero fault.

Description: In this paper, we will summarize the software trends and their impact on the cost of developing flight and ground software.

Description: This paper reports on a simple, low-cost effort to streamline the configuration of the uplink software tools. Even though the existing ground system consisted of JPL and custom Cassini software rather than COTS, we chose a glueware approach--reintegrating with wrappers and bridges and adding minimal new functionality.

Description: This paper reports on a simple, low-cost effort to streamline the configuration of the uplink software tools.

Description: In this survey paper, we bring together current progress to date in identifying design patterns for use with the real-time specification for Java in a format consistent with contemporary patterns descriptions.

Description: The Generalized Aeroelastic Analysis Method (GAAM) is applied to the analysis of three well-studied checkcases: restrained and unrestrained airfoil models, and a wing model. An eigenvalue iteration procedure is used for converging upon roots of the complex stability matrix. For the airfoil models, exact root loci are given which clearly illustrate the nature of the flutter and divergence instabilities. The singularities involved are enumerated, including an additional pole at the origin for the unrestrained airfoil case and the emergence of an additional pole on the positive real axis at the divergence speed for the restrained airfoil case. Inconsistencies and differences among published aeroelastic root loci and the new, exact results are discussed and resolved. The generalization of a Doublet Lattice Method computer code is described and the code is applied to the calculation of root loci for the wing model for incompressible and for subsonic flow conditions. The error introduced in the reduction of the singular integral equation underlying the unsteady lifting surface theory to a linear algebraic equation is discussed. Acknowledging this inherent error, the solutions of the algebraic equation by GAAM are termed 'exact.' The singularities of the problem are discussed and exponential series approximations used in the evaluation of the kernel function shown to introduce a dense collection of poles and zeroes on the negative real axis. Again, inconsistencies and differences among published aeroelastic root loci and the new 'exact' results are discussed and resolved. In all cases, aeroelastic flutter and divergence speeds and frequencies are in good agreement with published results. The GAAM solution procedure allows complete control over Mach number, velocity, density, and complex frequency. Thus all points on the computed root loci can be matched-point, consistent solutions without recourse to complex mode tracking logic or dataset interpolation, as in the k and p-k solution methods.

Description: Designing and developing new aircraft systems is time-consuming and expensive. Computational simulation is a promising means for reducing design cycle times, but requires a flexible software environment capable of integrating advanced multidisciplinary and muitifidelity analysis methods, dynamically managing data across heterogeneous computing platforms, and distributing computationally complex tasks. Web-based simulation, with its emphasis on collaborative composition of simulation models, distributed heterogeneous execution, and dynamic multimedia documentation, has the potential to meet these requirements. This paper outlines the current aircraft design process, highlighting its problems and complexities, and presents our vision of an aircraft design process using Web-based modeling and simulation.

Description: This work involves developing representative mission-critical spacecraft software using the Real-Time Specification for Java.

Description: This paper presents a Software Management and Implementation Plan (SIMP) for managing and controlling the development of the Microwave Limb Sounder (MLS) instrument software, and the Instrument Ground Support Equipment (IGSE) software.

Description: The identification of patterns of software defect data yields insights into improving the quality of both operational and future spacecraft. This paper describes the results of applying this technique to both post-launch and pre-launch spacecraft. It then describes four key challenges that remain to achieving fuller utilization of defect analysis in future systems.

Description: The low-speed flight and transonic maneuvering characteristics of combat air vehicles designed for efficient supersonic flight are significantly affected by the presence of free vortices. At moderate-to-high angles of attack, the flow invariably separates from the leading edges of the swept slender wings, as well as from the forebodies of the air vehicles, and rolls up to form free vortices. The design of military vehicles is heavily driven by the need to simultaneously improve performance and affordability.1 In order to meet this need, increasing emphasis is being placed on using Modeling & Simulation environments employing the Integrated Product & Process Development (IPPD) concept. The primary focus is on expeditiously providing design teams with high-fidelity data needed to make more informed decisions in the preliminary design stage. Extensive aerodynamic data are needed to support combat air vehicle design. Force and moment data are used to evaluate performance and handling qualities; surface pressures provide inputs for structural design; and flow-field data facilitate system integration. Continuing advances in computational fluid dynamics (CFD) provide an attractive means of generating the desired data in a manner that is responsive to the needs of the preliminary design efforts. The responsiveness is readily characterized as timely delivery of quality data at low cost.

Description: Significant yawing moment asymmetries were encountered during the high-angle-of-attack envelope expansion of the two X-31 aircraft. These asymmetries caused position saturations of the thrust-vectoring vanes and trailing-edge flaps during some stability-axis rolling maneuvers at high angles of attack. The two test aircraft had different asymmetry characteristics, and ship 2 has asymmetries that vary as a function of Reynolds number. Several aerodynamic modifications have been made to the X-31 forebody with the goal of minimizing the asymmetry. These modifications include adding transition strips on the forebody and noseboom, using two different length strakes, and increasing nose bluntness. Ultimately, a combination of forebody strakes, nose blunting, and noseboom transition strips reduced the yawing moment asymmetry enough to fully expand the high-angle-of-attack envelope. Analysis of the X-31 flight data is reviewed and compared to wind-tunnel and water-tunnel measurements. Several lessons learned are outlined regarding high-angle-of-attack configuration design and ground testing.

Description: Driven by a need to explore and develop propulsion systems that exceeded current computing capabilities, NASA Glenn embarked on a novel strategy leading to the development of an architecture that enables propulsion simulations never thought possible before. Full engine 3 Dimensional Computational Fluid Dynamic propulsion system simulations were deemed impossible due to the impracticality of the hardware and software computing systems required. However, with a software paradigm shift and an embracing of parallel and distributed processing, an architecture was designed to meet the needs of future propulsion system modeling. The author suggests that the architecture designed at the NASA Glenn Research Center for propulsion system modeling has potential for impacting the direction of development of affordable weapons systems currently under consideration by the Applied Vehicle Technology Panel (AVT).

Description: The effects of linear, diamond, and parabolic fillets on a double delta wing were investigated in the NASA Langley 7 x 10 ft High Speed Tunnel from Mach 0.18 to 0.7 and angles of attack from 4 deg. to 42 deg. Force and moment, pneumatic pressures, pressure sensitive paint, and vapor screen flow visualization measurements were used to characterize the flow field and to determine longitudinal forces and moments. The fillets increased lift coefficient and reduced induced drag without significantly affecting pitching moment. Pressure sensitive paint showed the increase in lift is caused by an increase in suction and broadening of the vortex suction footprint. Vapor screen results showed the mixing and coalescing of the strake fillet and wing vortices causes the footprint to broaden.

Description: This paper describes damage mechanisms and the methods of controlling damages to extend the on-wing life of critical gas turbine engine components. Particularly, two types of damage mechanisms are discussed: creep/rupture and thermo-mechanical fatigue. To control these damages and extend the life of engine hot-section components, we have investigated two methodologies to be implemented as additional control logic for the on-board electronic control unit. This new logic, the life-extending control (LEC), interacts with the engine control and monitoring unit and modifies the fuel flow to reduce component damages in a flight mission. The LEC methodologies were demonstrated in a real-time, hardware-in-the-loop simulation. The results show that LEC is not only a new paradigm for engine control design, but also a promising technology for extending the service life of engine components, hence reducing the life cycle cost of the engine.

Description: A survey of current applications of composite materials and structures in military, transport and General Aviation aircraft is presented to assess the maturity of composites technology, and the payoffs realized. The results of the survey show that performance requirements and the potential to reduce life cycle costs for military aircraft and direct operating costs for transport aircraft are the main reasons for the selection of composite materials for current aircraft applications. Initial acquisition costs of composite airframe components are affected by high material costs and complex certification tests which appear to discourage the widespread use of composite materials for aircraft applications. Material suppliers have performed very well to date in developing resin matrix and fiber systems for improved mechanical, durability and damage tolerance performance. The next challenge for material suppliers is to reduce material costs and to develop materials that are suitable for simplified and inexpensive manufacturing processes. The focus of airframe manufacturers should be on the development of structural designs that reduce assembly costs by the use of large-scale integration of airframe components with unitized structures and manufacturing processes that minimize excessive manual labor.

Description: The Real-Time Specification for Java (RTSJ) provides facilities for deterministic, real-time execution in a language that is otherwise subject to variable latencies in memory allocation and garbage collection.

Description: We have successfully demonstrated a portion of the spacecraft attitude control and fault protection, running on a standard Java platform, and are currently in the process of taking advantage of the features provided by the RTSJ.

Description: This document discusses the verification of the Secure Socket Layer (SSL) communication protocol as a demonstration of the Model Based Verification (MBV) portion of the verification instrument set being developed under the Reducing Software Security Risk (RSSR) Trough an Integrated Approach research initiative. Code Q of the National Aeronautics and Space Administration (NASA) funds this project. The NASA Goddard Independent Verification and Validation (IV&V) facility manages this research program at the NASA agency level and the Assurance Technology Program Office (ATPO) manages the research locally at the Jet Propulsion Laboratory (California institute of Technology) where the research is being carried out.

Description: In this paper we discuss the methods developed for the production of the INTEGRAL/SPI instrument response. The response files were produced using a suite of Monte Carlo simulation software developed at NASA/GSFC based on the GEANT-3 package available from CERN. The production of the INTEGRAL/SPI instrument response also required the development of a detailed computer mass model for SPI. We discuss ow extensive investigations into methods to reduce both the computation time and storage requirements for the SPI response. We also discuss corrections to the simulated response based on our comparison of ground and infiight Calibration data with MGEANT simulations.

Description: Traditional techniques for designing resonant edge-slot waveguide arrays have required an iterative trial-and-error process of measuring slot data from several prototypes. Since very little meaningful data has been published, this technology remains relatively immature and prohibitive for many smaller programs that could benefit from some advantages this antenna has to offer. A new Computer-Aided Design technique for designing resonant edge-slot waveguide arrays was used to successfuliy design such an X-band radiometer antenna for the NASA Light Rainfall Radiometer (LRR) instrument. Having the ability to rapidly create such an extremely accurate and efficient antenna design without the need to manufacture prototypes has also enabled inexpensive research that promises to improve the system-level performance of microwave radiometers for upcoming space-flight missions. This paper will present details of the LRR antenna design and describe some other current edge-slot array accomplishments at Goddard Space Flight Center.

Description: Windows are a significant path for structure-borne and air-borne noise transmission in general aviation aircraft. In this paper, numerical and experimental results are used to evaluate damped plexiglas windows for the reduction of structure-borne and air-borne noise transmitted into the interior of an aircraft. In contrast to conventional homogeneous windows, the damped plexiglas windows were fabricated using two or three layers of plexiglas with transparent viscoelastic damping material sandwiched between the layers. Transmission loss and radiated sound power measurements were used to compare different layups of the damped plexiglas windows with uniform windows of the same nominal thickness. This vibro-acoustic test data was also used for the verification and validation of finite element and boundary element models of the damped plexiglas windows. Numerical models are presented for the prediction of radiated sound power for a point force excitation and transmission loss for diffuse acoustic excitation. Radiated sound power and transmission loss predictions are in good agreement with experimental data. Once validated, the numerical models were used to perform a parametric study to determine the optimum configuration of the damped plexiglas windows for reducing the radiated sound power for a point force excitation.

Description: The investigated crack detection method is based on the fact that the development of a disk crack results in a distorted strain field within the component. As a result, a minute deformation in the disk's geometry as well as a change in the system's center of mass occurs. Finite element analyses were conducted concerning a notched disk in order to define the sensitivity of the method. The notch was used to simulate an actual crack and will be the method utilized for upcoming experiments. Various notch sizes were studied and the geometric deformations and shifts of center of mass were documented as a function of rotational speed. In addition, a rotordynamic analysis of a two-bearing, disk and shaft system was conducted. The results of the FE analyses of the disk indicated that the overall changes in the disk's geometry and center of mass were rather small. Comparing the 9.25 in. disk's maximum radial displacements due centrifugal forces at 8000 RPM between an un-notched and a 0.962 in. notched disk, the difference was on the order of 0.00014 in. The shift in center of mass was also of this magnitude. The next step involves running experiments to verify the analysis.

Description: Flight research-the art of flying actual vehicles in the atmosphere in order to collect data about their behavior-has played a historic and decisive role in the design of aircraft. Naturally, wind tunnel experiments, computational fluid dynamics, and mathematical analyses all informed the judgments of the individuals who conceived of new aircraft. But flight research has offered moments of realization found in no other method. Engineer Dale Reed and research pilot Milt Thompson experienced one such epiphany on March 1, 1963, at the National Aeronautics and Space Administration s Dryden Flight Research Center in Edwards, California. On that date, Thompson sat in the cockpit of a small, simple, gumdrop-shaped aircraft known as the M2-F1, lashed by a long towline to a late-model Pontiac Catalina. As the Pontiac raced across Rogers Dry Lake, it eventually gained enough speed to make the M2-F1 airborne. Thompson braced himself for the world s first flight in a vehicle of its kind, called a lifting body because of its high lift-to-drag ratio. Reed later recounted what he saw:

Description: A team was created to participate in the Mars Scout Opportunity. Trade studies determined that an aircraft provided the best opportunity to complete the science objectives of the team. A high fidelity six degree of freedom flight simulation was required to provide credible evidence that the aircraft design fulfilled mission objectives and to support the aircraft design process by providing performance evaluations. The team created the simulation using the Langley Standard Real-Time Simulation in C++ (LaSRS++) application framework. A rapid prototyping approach was necessary because the team had only three months to both develop the aircraft simulation model and evaluate aircraft performance as the design and mission parameters matured. The design of LaSRS++ enabled rapid-prototyping in several ways. First, the framework allowed component models to be designed, implemented, unit-tested, and integrated quickly. Next, the framework provides a highly reusable infrastructure that allowed developers to maximize code reuse while concentrating on aircraft and mission specific features. Finally, the framework reduces risk by providing reusable components that allow developers to build a quality product with a compressed testing cycle that relies heavily on unit testing of new components.

Description: We are developing software to explore the fault tolerance of quantum dot cellular automata gate architectures in the presence of manufacturing variations and device defects. The Topology Optimization Methodology using Applied Statistics (TOMAS) framework extends the capabilities of the A Quantum Interconnected Network Array Simulator (AQUINAS) by adding front-end and back-end software and creating an environment that integrates all of these components. The front-end tools establish all simulation parameters, configure the simulation system, automate the Monte Carlo generation of simulation files, and execute the simulation of these files. The back-end tools perform automated data parsing, statistical analysis and report generation.

Description: Members of the Commercial Technology Office at the NASA Glenn Research Center have developed an exciting new tool that greatly reduces the lead time in creating and routing Space Act Agreements. The Space Act Agreement Maker (SAAM) is an e-government Web-based system that automates the initial drafting of Space Act Agreements by technical and program personnel. SAAM also is used for editing and will be used later for maintaining electronic copies of all Space Act Agreements. During the initial drafting, the software prompts NASA personnel proposing an agreement to answer questions regarding the agreement. On the basis of the answers, the software selects from a matrix of NASA standard clauses to produce a first draft of the agreement. The draft agreement and information submitted by the NASA personnel are electronically routed to Glenn s Commercial Technology Office for review and, where necessary, editing. The final version of the agreement, along with any supporting documentation, is then routed for electronic concurrence/approval to the necessary internal review participants using the electronic routing system (e-router). SAAM was developed cooperatively by Glenn s Commercial Technology Office and Glenn s Office of Chief Counsel. Currently, SAAM is being evaluated by the NASA Headquarters General Counsel Office for use at all NASA centers. This system allows for the effective processing of Space Act Agreements for NASA s internal and external customers. Document control is maintained by a database. With SAAM s electronic routing, review times can be reduced significantly, allowing Glenn to more rapidly establish partnerships with industry. Prior to the creation of SAAM, it took several hours to draft a Space Act Agreement. With SAAM in place, the document can be written in about 30 min. Using the e-router also saves time in determining where the agreement is in the routing process. The document can be tracked easily, and delays can be avoided. Important research with industry partners can commence quickly after preliminary discussions have been held. The development of these products is in line with the expanding e-government initiative that is part of the Presidential Management Agenda. By using this product, NASA researchers can secure greater support from industry and academia partners. The Space Act Agreement Maker has been very well received at NASA Headquarters and at some of the other NASA centers as well. We anticipate that the NASA Ames Research Center will have the system in place very soon, and that some of the other centers will use SAAM in the near future. The General Counsel s office at NASA Headquarters has encouraged the Glenn team to develop a similar system for processing patent licenses. Find out more about Glenn's Technology Transfer & Partnership Office http://technology.grc.nasa.gov/.

Description: The NASA Glenn Research Center supports short takeoff and vertical landing (STOVL) tests in its 9- by 15-Foot Low Speed Wind Tunnel (9 x 15 LSWT). As part of a facility capability upgrade, a dynamic actuation system (DAS) was fabricated to enhance the STOVL testing capabilities. The DAS serves as the mechanical interface between the 9 x 15 LSWT test section structure and the STOVL model to be tested. It provides vertical and horizontal translation of the model in the test section and maintains the model attitude (pitch, yaw, and roll) during translation. It also integrates a piping system to supply the model with exhaust and hot air to simulate the inlet suction and nozzle exhausts, respectively. Hot gas ingestion studies have been performed with the facility ground plane installed. The DAS provides vertical (ascent and descent) translation speeds of up to 48 in./s and horizontal translation speeds of up to 12 in./s. Model pitch variations of +/- 7, roll variations of +/- 5, and yaw variations of 0 to 180 deg can be accommodated and are maintained within 0.25 deg throughout the translation profile. The hot air supply, generated by the facility heaters and regulated by control valves, provides three separate temperature zones to the model for STOVL and hot gas ingestion testing. Channels along the supertube provide instrumentation paths from the model to the facility data system for data collection purposes. The DAS is supported by the 9 x 15 LSWT test section ceiling structure. A carriage that rides on two linear rails provides for horizontal translation of the system along the test section longitudinal axis. A vertical translation assembly, consisting of a cage and supertube, is secured to the carriage. The supertube traverses vertically through the cage on a set of linear rails. Both translation axes are hydraulically actuated and provide position and velocity profile control. The lower flange on the supertube serves as the model interface to the DAS. The supertube also serves as the exhaust path to the model and supports the hot air piping on its external surfaces. The DAS is currently being assembled at the 9 15 LSWT facility. Following assembly and installation, a series of checkouts will be performed to confirm the operation of the system.

Description: NASA Glenn Research Center s Oil-Free Turbomachinery research team is developing aircraft turbine engines that will not require an oil lubrication system. Oil systems are required today to lubricate rolling-element bearings used by the turbine and fan shafts. For the Oil-Free Turbomachinery concept, researchers combined the most advanced foil (air) bearings from industry with NASA-developed high-temperature solid lubricant technology. In 1999, the world s first Oil-Free turbocharger was demonstrated using these technologies. Now we are working with industry to demonstrate Oil-Free turbomachinery technology in a small business jet engine, the EJ-22 produced by Williams International and developed during Glenn s recently concluded General Aviation Propulsion (GAP) program. Eliminating the oil system in this engine will make it simpler, lighter (approximately 15 percent), more reliable, and less costly to purchase and maintain. Propulsion gas turbines will place high demands on foil air bearings, especially the thrust bearings. Up until now, the Oil-Free Turbomachinery research team only had the capability to test radial, journal bearings. This research has resulted in major improvements in the bearings performance, but journal bearings are cylindrical, and can only support radial shaft loads. To counteract axial thrust loads, thrust foil bearings, which are disk shaped, are required. Since relatively little research has been conducted on thrust foil air bearings, their performance lags behind that of journal bearings.

Description: The neural network and regression methods of NASA Glenn Research Center s COMETBOARDS design optimization testbed were used to generate approximate analysis and design models for a subsonic aircraft operating at Mach 0.85 cruise speed. The analytical model is defined by nine design variables: wing aspect ratio, engine thrust, wing area, sweep angle, chord-thickness ratio, turbine temperature, pressure ratio, bypass ratio, fan pressure; and eight response parameters: weight, landing velocity, takeoff and landing field lengths, approach thrust, overall efficiency, and compressor pressure and temperature. The variables were adjusted to optimally balance the engines to the airframe. The solution strategy included a sensitivity model and the soft analysis model. Researchers generated the sensitivity model by training the approximators to predict an optimum design. The trained neural network predicted all response variables, within 5-percent error. This was reduced to 1 percent by the regression method. The soft analysis model was developed to replace aircraft analysis as the reanalyzer in design optimization. Soft models have been generated for a neural network method, a regression method, and a hybrid method obtained by combining the approximators. The performance of the models is graphed for aircraft weight versus thrust as well as for wing area and turbine temperature. The regression method followed the analytical solution with little error. The neural network exhibited 5-percent maximum error over all parameters. Performance of the hybrid method was intermediate in comparison to the individual approximators. Error in the response variable is smaller than that shown in the figure because of a distortion scale factor. The overall performance of the approximators was considered to be satisfactory because aircraft analysis with NASA Langley Research Center s FLOPS (Flight Optimization System) code is a synthesis of diverse disciplines: weight estimation, aerodynamic analysis, engine cycle analysis, propulsion data interpolation, mission performance, airfield length for landing and takeoff, noise footprint, and others.

Description: The objective is to develop in cooperation with other NASA centers a distributed computational environment capable of executing full 3-D aerospace propulsion applications.

Description: The HiVy toolset provides model checking for statecharts. This is achieved by translating statechart specifications into the input language of the spin model checker.

Description: Over the past several years, we have been developing methods of predicting the fault content of software systems based on measured characteristics of their structural evolution.

Description: Over the past several years, we have focused on developing fault models for space mission software. In general, these models use measurable attributes of a software system and its development process to estimate the number of faults inserted into the system during its development; their outputs can be used to better estimate the resources to be allocated to fault identification and removal for all system components.

Description: This paper describes the approach and algorithms used to generalize the paired ratio comparison matrix technique to use information inherent in multiple estimates, multiple reference projects, and estimator range information to generate estimated effort and size distributions.

Description: This paper reports on the results of a follow up study conducted on seven JPL missions completed on or near launch since 1999. The objective is to determine to what extent the recommendations were implemented and whether they had any impact.

Description: This work involves developing representative mission-critical spacecraft software using the Real-Time Specification for Java (RTSJ). This work currently leverages actual flight software used in the design of actual flight software in the NASA's Deep Space 1 (DSI), which flew in 1998.

Description: This paper offers an informal discussion of non-compositional constraints in hopes of making the concept more familiar and accessible.

Description: In the complex environment of JPL's flight missions with increasing dependency on advanced software designs, traditional software validation methods of simulation and testing are being stretched to adequately cover the needs of software development.

Description: We advocate the use of risk-based reasoning to help make good architectural decisions. We explore the adaptation of a risk management process and tool to this purpose.

Description: In this paper, we analyze the measurements of structural evolution and fault couts obtained from the JPL flight software technology development effort.

Description: Open architectures are gaining popularity for Integrated Vehicle Health Management (IVHM) applications due to the diversity of subsystem health monitoring strategies in use and the need to integrate a variety of techniques at the system health management level. The basic concept of an open architecture suggests that whatever monitoring or reasoning strategy a subsystem wishes to deploy, the system architecture will support the needs of that subsystem and will be capable of transmitting subsystem health status across subsystem boundaries and up to the system level for system-wide fault identification and diagnosis. There is a need to understand the capabilities of various reasoning engines and how they, coupled with intelligent monitoring techniques, can support fault detection and system level fault management. Researchers in IVHM at NASA Ames Research Center are supporting the development of an IVHM system for liquefying-fuel hybrid rockets. In the initial stage of this project, a few readily available reasoning engines were studied to assess candidate technologies for application in next generation launch systems. Three tools representing the spectrum of model-based reasoning approaches, from a quantitative simulation based approach to a graph-based fault propagation technique, were applied to model the behavior of the Hybrid Combustion Facility testbed at Ames. This paper summarizes the characterization of the modeling process for each of the techniques.

Description: This viewgraph presentation provides an overview of the design and development process for NASA's MerBoard. These devices are large interactive display screens which can be shown on the user's computer, which will allow scientists in many locations to interpret and evaluate mission data in real-time. These tools are scheduled to be used during the 2003 Mars Exploration Rover (MER) expeditions. Topics covered include: mission overview, Mer Human Centered Computers, FIDO 2001 observations and MerBoard prototypes.

Description: NASA has developed new technology that improves upon weakness in current mainstream supercomputer designs: those of "scalability," "humadmachine interface," and "load balancing." The system simplifies running large computer simulations of national and international importance like climate prediction and space vehicle design.

Description: A method for aerodynamic shape optimization based on an evolutionary algorithm approach is presented and demonstrated. Results are presented for a number of model problems to access the effect of algorithm parameters on convergence efficiency and reliability. A transonic viscous airfoil optimization problem-both single and two-objective variations is used as the basis for a preliminary comparison with an adjoint-gradient optimizer. The evolutionary algorithm is coupled with a transonic full potential flow solver and is used to optimize the inviscid flow about transonic wings including multi-objective and multi-discipline solutions that lead to the generation of pareto fronts. The results indicate that the evolutionary algorithm approach is easy to implement, flexible in application and extremely reliable.

Description: Efficient management of large-scale, distributed data storage and processing systems is a major challenge for many computational applications. Many of these systems are characterized by multi-resource tasks processed across a heterogeneous network. Conventional approaches, such as load balancing, work well for centralized, single resource problems, but breakdown in the more general case. In addition, most approaches are often based on heuristics which do not directly attempt to optimize the world utility. In this paper, we propose an agent based control system using the theory of collectives. We configure the servers of our network with agents who make local job scheduling decisions. These decisions are based on local goals which are constructed to be aligned with the objective of optimizing the overall efficiency of the system. We demonstrate that multi-agent systems in which all the agents attempt to optimize the same global utility function (team game) only marginally outperform conventional load balancing. On the other hand, agents configured using collectives outperform both team games and load balancing (by up to four times for the latter), despite their distributed nature and their limited access to information.

Description: The specially organized session offered an international forum to disseminate the results from a year long test that was conducted in 1999 in NASA Glenn Research Center s 9- by 15-Foot Low-Speed Wind Tunnel on a 22-in. scale-model turbofan bypass stage, which was designed to be representative of current aircraft engine technology. The test was a cooperative effort involving Glenn, the NASA Langley Research Center, GE Aircraft Engines, and the Boeing Company. The principal objective of the project was to study the source mechanisms of noise in a modern high-bypass-ratio turbofan engine through detailed aerodynamic and acoustic measurements.

Description: One of the primary concerns of aircraft structure designers is the accurate simulation of the blade-out event. This is required for the aircraft to pass Federal Aviation Administration (FAA) certification and to ensure that the aircraft is safe for operation. Typically, the most severe blade-out occurs when a first-stage fan blade in a high-bypass gas turbine engine is released. Structural loading results from both the impact of the blade onto the containment ring and the subsequent instantaneous unbalance of the rotating components. Reliable simulations of blade-out are required to ensure structural integrity during flight as well as to guarantee successful blade-out certification testing. The loads generated by these analyses are critical to the design teams for several components of the airplane structures including the engine, nacelle, strut, and wing, as well as the aircraft fuselage. Currently, a collection of simulation tools is used for aircraft structural design. Detailed high-fidelity simulation tools are used to capture the structural loads resulting from blade loss, and then these loads are used as input into an overall system model that includes complete structural models of both the engines and the airframe. The detailed simulation (shown in the figure) includes the time-dependent trajectory of the lost blade and its interactions with the containment structure, and the system simulation includes the lost blade loadings and the interactions between the rotating turbomachinery and the remaining aircraft structural components. General-purpose finite element structural analysis codes are typically used, and special provisions are made to include transient effects from the blade loss and rotational effects resulting from the engine s turbomachinery. To develop and validate these new tools with test data, the NASA Glenn Research Center has teamed with GE Aircraft Engines, Pratt & Whitney, Boeing Commercial Aircraft, Rolls-Royce, and MSC.Software.

Description: NASA Glenn Research Center's Computational Materials Group has integrated a graphical user interface with in-house-developed surface modeling capabilities, with the goal of using computationally efficient atomistic simulations to aid the development of advanced aerospace materials, through the modeling of alloy surfaces, surface alloys, and segregation. The software is also ideal for modeling nanomaterials, since surface and interfacial effects can dominate material behavior and properties at this level. Through the combination of an accurate atomistic surface modeling methodology and an efficient computational engine, it is now possible to directly model these types of surface phenomenon and metallic nanostructures without a supercomputer. Fulfilling a High Operating Temperature Propulsion Components (HOTPC) project level-I milestone, a graphical user interface was created for a suite of quantum approximate atomistic materials modeling Fortran programs developed at Glenn. The resulting "Alloy Design Workbench-Surface Modeling Package" (ADW-SMP) is the combination of proven quantum approximate Bozzolo-Ferrante-Smith (BFS) algorithms (refs. 1 and 2) with a productivity-enhancing graphical front end. Written in the portable, platform independent Java programming language, the graphical user interface calls on extensively tested Fortran programs running in the background for the detailed computational tasks. Designed to run on desktop computers, the package has been deployed on PC, Mac, and SGI computer systems. The graphical user interface integrates two modes of computational materials exploration. One mode uses Monte Carlo simulations to determine lowest energy equilibrium configurations. The second approach is an interactive "what if" comparison of atomic configuration energies, designed to provide real-time insight into the underlying drivers of alloying processes.

Description: The International Civil Aviation Organization (ICAO), the U.S. Environmental Protection Agency (EPA), local environmental groups, and the public have become increasingly concerned over damage to local air quality from aircraft emissions and the impact of producing greenhouse gases. The NASA Glenn Research Center has been working to develop revolutionary technologies to minimize environmentally harmful engine emissions, such as nitrogen oxides, carbon dioxide, aerosols, and particulates. The two objectives of UEET are (1) to develop technologies to reduce nitrogen oxide (NOx) emissions by 70 percent below 1996 ICAO regulations and (2) to decrease carbon dioxide emissions (CO2) by dramatically increasing performance and efficiency. High temperature engine materials, ultra-low-NOx combustor designs, efficient, highly loaded turbomachinery, and propulsion-airframe integration analysis are technologies being developed at Glenn to meet these goals. Technology developed in the previous Advanced Subsonic Technology Program is being put into commercial production for large and regional aircraft to reduce NOx emissions 50 percent below 1996 ICAO regulations for landing and takeoff cycles. UEET will take the technology to the next quantum leap-reducing emissions to 70 percent below the ICAO regulations level. In addition, NASA-developed research will significantly reduce carbon monoxide, unburned hydrocarbons, and corresponding cruise NOx levels for the next generation of aircraft engines. Glenn's UEET research will be useful across the whole range of flight: subsonic, supersonic, and hypersonic. It will improve the subsonic transportation that the public depends on, contribute to supersonic commercial aircraft, improve military aircraft, and contribute to the design of a future hypersonic vehicle. These technologies are contributing to a better quality of life on Earth.

Description: Lattice Boltzmann (LB) Method is a relatively new method for flow simulations. The start point of LB method is statistic mechanics and Boltzmann equation. The LB method tries to set up its model at molecular scale and simulate the flow at macroscopic scale. LBM has been applied to mostly incompressible flows and simple geometry.

Description: The objective of GRC CNIS/IE work is to build a plug-n-play infrastructure that provides the Grand Challenge Applications with a suite of tools for coupling codes together, numerical zooming between fidelity of codes and gaining deployment of these simulations onto the Information Power Grid. The GRC CNIS/IE work will streamline and improve this process by providing tighter integration of various tools through the use of object oriented design of component models and data objects and through the use of CORBA (Common Object Request Broker Architecture).

Description: This document is a quick reference guide with an overview of the processes required to certify safety-critical and mission-critical flight software at selected NASA centers and the FAA. Researchers and software developers can use this guide to jumpstart their understanding of how to get new or enhanced software onboard an aircraft or spacecraft. The introduction contains aerospace industry definitions of safety and safety-critical software, as well as, the current rationale for certification of safety-critical software. The Standards for Safety-Critical Aerospace Software section lists and describes current standards including NASA standards and RTCA DO-178B. The Mission-Critical versus Safety-Critical software section explains the difference between two important classes of software: safety-critical software involving the potential for loss of life due to software failure and mission-critical software involving the potential for aborting a mission due to software failure. The DO-178B Safety-critical Certification Requirements section describes special processes and methods required to obtain a safety-critical certification for aerospace software flying on vehicles under auspices of the FAA. The final two sections give an overview of the certification process used at Dryden Flight Research Center and the approval process at the Jet Propulsion Lab (JPL).

Description: The objective is to increase the usability of the current NPSS code/architecture by incorporating an advanced space transportation propulsion system capability into the existing NPSS code and begin defining advanced capabilities for NPSS and provide an enhancement for the NPSS code/architecture.

Description: The goal was to perform 3D simulation of GE90 combustor, as part of full turbofan engine simulation. Requirements of high fidelity as well as fast turn-around time require massively parallel code. National Combustion Code (NCC) was chosen for this task as supports up to 999 processors and includes state-of-the-art combustion models. Also required is ability to take inlet conditions from compressor code and give exit conditions to turbine code.

Description: This distribution contains several simulation models created for the hybrid simulation language, Hybrid Concurrent Constraint (HCC). An HCC model contains the information specified in the widely-accepted academic definition of a hybrid system: this includes expressions for the modes of the systems to be simulated and the differential equations that apply in each mode. These expressions are written in the HCC syntax. The models included here were created by either applying basic physical laws or implementing equations listed in previously published papers.

Description: We report on a study to determine the maturity of different verification and validation technologies (V&V) on a representative example of NASA flight software. The study consisted of a controlled experiment where three technologies (static analysis, runtime analysis and model checking) were compared to traditional testing with respect to their ability to find seeded errors in a prototype Mars Rover. What makes this study unique is that it is the first (to the best of our knowledge) to do a controlled experiment to compare formal methods based tools to testing on a realistic industrial-size example where the emphasis was on collecting as much data on the performance of the tools and the participants as possible. The paper includes a description of the Rover code that was analyzed, the tools used as well as a detailed description of the experimental setup and the results. Due to the complexity of setting up the experiment, our results can not be generalized, but we believe it can still serve as a valuable point of reference for future studies of this kind. It did confirm the belief we had that advanced tools can outperform testing when trying to locate concurrency errors. Furthermore the results of the experiment inspired a novel framework for testing the next generation of the Rover.

Description: To achieve its science objectives in deep space exploration, NASA has a need for science platform vehicles to autonomously make control decisions in a time frame that excludes intervention from Earth-based controllers. Round-trip light-time is one significant factor motivating autonomy capability, another factor is the need to reduce ground support operations cost. An unsolved problem potentially impeding the adoption of autonomy capability is the verification and validation of such software systems, which exhibit far more behaviors (and hence distinct execution paths in the software) than is typical in current deepspace platforms. Hence the need for a study to benchmark advanced Verification and Validation (V&V) tools on representative autonomy software. The objective of the study was to access the maturity of different technologies, to provide data indicative of potential synergies between them, and to identify gaps in the technologies with respect to the challenge of autonomy V&V. The study consisted of two parts: first, a set of relatively independent case studies of different tools on the same autonomy code, second a carefully controlled experiment with human participants on a subset of these technologies. This paper describes the second part of the study. Overall, nearly four hundred hours of data on human use of three different advanced V&V tools were accumulated, with a control group that used conventional testing methods. The experiment simulated four independent V&V teams debugging three successive versions of an executive controller for a Martian Rover. Defects were carefully seeded into the three versions based on a profile of defects from CVS logs that occurred in the actual development of the executive controller. The rest of the document is structured a s follows. In section 2 and 3, we respectively describe the tools used in the study and the rover software that was analyzed. In section 4 the methodology for the experiment is described; this includes the code preparation, seeding of defects, participant training and experimental setup. Next we give a qualitative overview of how the experiment went from the point of view of each technology; model checking (section 5), static analysis (section 6), runtime analysis (section 7) and testing (section 8). The find section gives some preliminary quantitative results on how the tools compared.

Description: NASA Ames Research Center is one of NASA s oldest centers, having started out as part of the National Advisory Committee on Aeronautics, (NACA). The site, about 40 miles south of San Francisco, still houses many wind tunnels and other aviation related departments. In recent years, with the growing realization that space exploration is heavily dependent on computing and data analysis, its focus has turned more towards Information Technology. The Computational Sciences Division has expanded rapidly as a result. In this article, I will give a brief overview of some of the past and present projects with a Bayesian content. Much more than is described here goes on with the Division. The web pages at http://ic.arc. nasa.gov give more information on these, and the other Division projects.

Description: A general overview of NASA's Ultra Efficient Engine Technology (UEET) and Turbine Based Combined Cycle (TBCC)/Revolutionary Turbine Accelerator (RTA) is presented. This paper is in viewgraph form.

Description: In order to promote NASA-wide educational outreach program to educate and inform the public of space exploration, NASA, at Kennedy Space Center, is seeking efficient ways to add more contents to the web by streaming audio/video files. This project proposes a high level overview of a framework for the creation, management, and scheduling of audio/video assets over the web. To support short-term goals, the prototype of a web-based tool is designed and demonstrated to automate the process of streaming audio/video files. The tool provides web-enabled users interfaces to manage video assets, create publishable schedules of video assets for streaming, and schedule the streaming events. These operations are performed on user-defined and system-derived metadata of audio/video assets stored in a relational database while the assets reside on separate repository. The prototype tool is designed using ColdFusion 5.0.

Description: This tutorial provides an overview of the PVS strategy language, and explains how to define new PVS strategies and load them into PVS, and how to create a strategy package. It then discusses several useful techniques that can be used in developing user strategies, and provides examples that illustrate many of these techniques.

Description: steady increase in computational power of general purpose computers, our ability to analyze routine software artifacts is also steadily increasing. As a result, we are witnessing a shift in emphasis from the verification of abstract hand-built models of code, towards the direct verification of implementation level code. This change in emphasis poses a new set of challenges in software verification. We explore some of them in this paper.

Description: This study benchmarks several FSS techniques and reports several studies where a large set metrics were reduced to a handful with little loss of detection accuracy. This result raises the possibility that software defect detection may be much simpler than previously believed.

Description: This paper focuses on describing the custom software tool, DDP, that was developed to support the TIMA process, and on showing how the needs of the TIMA process have influenced the development of the structure and capabilities of the DDP software.

Description: APGEN (Activity Plan GENerator - 314), a multi-mission planning tool, must interface with external software to vest serve its users. AP-GEN's original method for incorporating external software, the User-Defined library mechanism, has been very successful in allowing APGEN users access to external software functionality.

Description: This paper describes the architecture of the JPL multi-mission sequencing system and the sequence automation process, discusses the cost savings associated with both of these changes.

Description: A common science data processing software framework yields the benefits of reuse while remaining adaptable to address requirements that are unique to the mission.

Description: The RTSJ is a specification for supporting real-time execution in the Java programming language. The specification has been shaped by several guiding principles, particularly: predictable execution as the first priority in all tradeoffs, no syntactic extensions to Java, and backward compatibility.

Description: In this paper, we analyze the measurements of structural evolution and fault counts obtained from the JPL flight software technology development effort.