Search NASA⌕ Search

SEARCH · Search NASA

Results for “ALTERNATING CURRENT GENERATOR”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 109 records · Page 6
All sourcesNASA NTRSDOE OSTI
NASA NTRS1984

Magnetospheric Structures: Uranus and Neptune

Magnetospheric structures that might be encountered at Uranus and Neptune are described. Statistics indicate a sufficiently high probability to warrant consideration of their likely properties in advance of the Voyager encounters. Because the spin axis of Uranus lies nearly in the ecliptic and presently points approximately sunward, Voyager is likely to encounter the unique pole on configuration that has special theoretical significance. Corotation in the magnetospheres of Uranus and Neptune would probably exclude solar wind drive convection as an important driver of global magnetospheric dynamics, as it does at Jupiter and Saturn. The magnetospheres of Uranus and Neptune probably lack sufficient internal sources of plasma to produce significant levels of rotationally driven convection. The reported observation of auroral emission from Uranus has therefore motivated the development of an alternative model in which solar wind motion is coupled directly to the rotation of the ionosphere to establish a dynamo circuit which generates Birkeland currents and polar cap aurora. This model predicts the strength and configuration of the aurora as functions of the magnitude and polarity, respectively, of the planetary magnetic moment.

T W Hill↗
NASA NTRS1992

Solar probe power systems concepts

Some of the design options under consideration for providing on-board electric power for the Solar Probe Mission are discussed. Five spacecraft configurations were evaluated with slightly different power demands and volumetric constraints on the power system. This resulted in three different baseline power system designs to satisfy the five spacecraft configurations. These three current baseline power system designs use modified general-purpose heat source (GPHS) radioisotope thermoelectric generators (RTGs) similar to those launched on the Galileo and Ulysses spacecraft. The modular RTG currently under development and testing is a potential advanced alternative to the current baseline GPHS-RTG technology design.

Nesmith, Bill J.↗
NASA NTRSDate not supplied

A Review of Existing Policies Affecting the Jettison of Waste in Low Earth Orbit and Deep Space

The management of waste generated onboard spacecraft during future long-duration deep-space missions will require different solutions from those currently implemented on the International Space Station which consist exclusively of collecting, storing, and returning the waste to Earth. Alternative options for managing spacecraft waste are to process it for recycling and recovery of resources, and to jettison it overboard in a solid form (such as a compacted tile) or in a gaseous form after torrefaction or other trash-to-gas technologies. The waste generated during a deep-space mission is derived mainly from spacecraft logistics supplies, food and beverage residues, personal or scientific items used by the crew, human metabolic waste, and unused spare components. Uncontained and unprocessed trash is a potential health hazard and a habitat volume liability, which makes onboard long-term storage an inefficient and non-optimal option. However, the jettison of solid, processed waste appears to be an effective solution for crewed deep-space missions, leading not only to volume reduction and habitat safening, but also to considerable mass savings in the spacecraft’s propulsion system. However, the disposal of trash overboard also creates a navigation hazard for spacecraft and the potential risk of contamination of planetary bodies, interfering with the search for life. This paper investigates the requirements covered by existing policies that could affect the jettison concept of operations and system design.

Jettison↗
NASA NTRS1991

Evaluation of advanced NiCd cell designs for NASA applications

It is pointed out that an advanced NiCd cell based on a Hughes Aircraft Company design appears to show the most promise in the current generation of aerospace NiCd batteries. The cell was designed to ameliorate the major failure mechanisms of NiCd cells. This required cell design and process modifications and the use of alternate materials for some of the components (the most notable one being the substitution of zirconia cloth for nylon as the separator material). Recent reports in the literature indicate that the improvement in the performance of this technology appears to have been verified for GEO (geosynchronous)-type applications. The authors report on initial results of the evaluation of the advanced NiCd technology for applications of interest to NASA. They summarize the characteristics of cells based on the advanced technology from the time of manufacture to their current cell cycling status.

Di Stefano, S.↗
NASA NTRS2004

Stirling Engine Controller

Stirling technology is being developed to replace RTG s (Radioisotope Thermoelectric Generators), more specifically a stirling convertor, which is a stirling engine coupled to a linear alternator. Over the past three decades, the stirling engine has been designed to perform different functions. Stirling convertors have been designed to decrease fuel consumption in automobiles. They have also been designed for terrestrial and space applications. Currently NASA Glenn is using the convertor for space based applications. A stiring converter is a better means of power for deep space mission and "dusty" mission, like the Mars Rovers, than solar panels because it is not affected by dust. Spirit and Opportunity, two Mars rovers currently navigating the planet, are losing their ability to generate electricity because dust is collecting on their solar panels. Opportunity is losing more energy because its robotic arm has a heater with a switch that can not be turned off. The heater is not needed at night, but yet still runs. This generates a greater loss of electricity and in turn diminishes the performance of the rover. The stirling cycle has the potential to provide very efficient conversion of heat energy to electric a1 energy, more so than RTG's. The stirling engine converts the thermal energy produced by the decaying radioisotope to mechanical energy; the linear alternator converts this into electricity. convertor. Since the early 1990's tests have been performed to maximize the efficiency of the stirling converter. Many months, even years, are dedicated to preparing and performing tests. Currently, two stirling convertors #'s 13 and 14, which were developed by Stirling Technology Company, are on an extended operation test. As of June 7th, the two convertors reached 7,500 hours each of operation. Before the convertors could run unattended, many safety precautions had to be examined. So, special instrumentation and circuits were developed to detect off nominal conditions and also safely shutdown the engines. The test will last for a period of 8000 to 9000 hours. Other types of tests that have been performed are: performance mapping, controller development, launch environment, and vibration emissions testing. Currently, the thermo-mechanical system branch is housing a RG-350, a stirling convertor. The convertor was used in previous tests such as a Hall Thruster test, world s first integrated test of a dynamic power system with electric propulsion. Another test performed was to conclude if free piston stirling convertors can be synchronized for vibration balancing, with no thermodynamic or electrical connections and not cause both to shutdown if one failed. The ability to reduce vibration by synchronizing convertor operation but still be able to operate when one partner fails is pertinent in space and terrestrial applications. The convertor is now being brought back into operation and a controller is in the process of being developed. This convertor will be used as a testbed for new controllers. I worked with Mary Ellen Roth on the electric engineering aspects of the RG-350. My main goal was to enhance the data collection process. I worked on different aspects of the RG-350, with a main focus on the engine controller. I drew a schematic of the wire connections in the engine controller, using PCB Express, so that a plan could be devised to connect the power meter properly between the output of the engine and the engine controller. I measured the power using two different instruments: Valhalla Scientific power meter and Ohio Semitronics power measurement device. The convertor is connected to an Agilent 34970A Data Acquisition/Switch Unit, which allows the user to measure, record, and monitor voltage, current, frequency, and temperature. I assisted in preparing the Data Acquisition for general operation. I also helped test a panel of transducers, which will be placed in the rack that powers and monitors the convertor.

Blaze, Gina M.↗
NASA NTRS1993

EOS attitude determination and next generation star tracker enhancements

The pointing knowledge required for the Earth Observing System (EOS) AM mission is at the limit of the current generation of star trackers, with little margin. Techniques for improving the performance of existing star trackers are explored, with performance sensitivities developed for each alternative. These are extended to define the most significant performance enhancements for a next generation star tracker. Since attitude determination studies tend to be computationally intensive, an approach for using a simpler one degree of freedom formulation is contrasted with a full three degree of freedom formulation. Additionally, covariance analysis results are compared with time domain simulation performance results.

Kudva, P.↗
NASA NTRS2002

Impact Testing of a Stirling Converter's Linear Alternator

The U.S. Department of Energy (DOE), in conjunction with the NASA John H. Glenn Research Center and Stirling Technology Company, are currently developing a Stirling convertor for a Stirling Radioisotope Generator (SRG). NASA Headquarters and DOE have identified the SRG for potential use as an advanced spacecraft power system for future NASA deep-space and Mars surface missions. Low-level dynamic impact tests were conducted at NASA Glenn Research Center's Structural Dynamics Laboratory as part of the development of this technology. The purpose of this test was to identify dynamic structural characteristics of the Stirling Technology Demonstration Convertor (TDC). This paper addresses the test setup, procedure, and results of the impact testing conducted on the Stirling TDC in May 2001.

Suarez, Vicente J.↗
NASA NTRS2012

Demagnetization Tests Performed on a Linear Alternator for a Stirling Power Convertor

The NASA Glenn Research Center (GRC) is conducting in-house research on rare-earth permanent magnets and linear alternators to assist in developing free-piston Stirling convertors for radioisotope space power systems and for developing advanced linear alternator technology. This research continues at GRC, but, with the exception of Advanced Stirling Radioisotope Generator references, the work presented in this paper was conducted in 2005. A special arc-magnet characterization fixture was designed and built to measure the M-H characteristics of the magnets used in Technology Demonstration Convertors developed under the 110-W Stirling Radioisotope Generator (SRG110) project. This fixture was used to measure these characteristics of the arc magnets and to predict alternator demagnetization temperatures in the SRG110 application. Demagnetization tests using the TDC alternator on the Alternator Test Rig were conducted for two different magnet grades: Sumitomo Neomax 44AH and 42AH. The purpose of these tests was to determine the demagnetization temperatures of the magnets for the alternator under nominal loads. Measurements made during the tests included the linear alternator terminal voltage, current, average power, magnet temperatures, and stator temperatures. The results of these tests were found to be in good agreement with predictions. Alternator demagnetization temperatures in the Advanced Stirling Convertor (ASC-developed under the Advanced Stirling Radioisotope Generator project) were predicted as well because the prediction method had been validated through the SRG110 alternator tests. These predictions led to a specification for maximum temperatures of the ASC pressure vessel.

Geng, Steven M.↗
NASA NTRS2002

Spin-Up Instability of a Levitated Molten Drop in MHD-Flow Transition to Turbulence

When an alternating magnetic field interacts with induced eddy currents in a conducting body, there will be a repulsive force between the body and the driving coil system generating the field. This repulsive force is the basis of electromagnetic levitation, which allows containerless processing of different materials. The eddy currents in the conducting body also generate Joule heating. Axial rotation of electromagnetically levitated objects is a common observation in levitation systems and often an undesirable side effect of such experiments on 1-g and -g. There have been recent efforts to use magnetic damping and suppress this tendency of body rotation. The first report of rotation in EML drops was attributed to a slight asymmetry of the shape and location of the levitation coils could change the axis and speed of rotation. Other theories of sample rotation include a frequency difference in the traveling electromagnetic waves and a phase difference in two different applied fields of the same frequency. All of these different mechanisms share the following characteristics: the torque is small, constant for constant field strength, and very weakly dependent on the sample's temperature and phase (solid or liquid). During experiments on the MSL-1 (First Microgravity Science Laboratory) mission of the Space Shuttle (STS-83 and STS-94, April and July 1997), a droplet of palladium-silicon alloy was electromagnetically levitated for viscosity measurements. For the non-deforming droplet, the resultant MHD flow inside the drop is inferred from motion of impurities on the surface. These observations indicate formation of a pair of co-rotating toroidal flow structures inside the spheroidal levitated drop that undergo secondary flow instabilities. As rise in the fluid temperature rises, the viscosity falls and the internal flow accelerates and becomes oscillatory; and beyond a point in the experiments, the surface impurities exhibit non-coherent chaotic motion signifying emergence of turbulence inside the drop. In this work, a background of these set of observations will be given followed by a presentation of our results on the digital particle tracking analysis that has been performed on a number of available videos. The analysis indicates that the levitated drop attains a constant rotational speed during the melting phase and formation of the co-rotating axi-symmetric laminar toroidal structures. However, the rate of axial rotation increases dramatically during the deformation of the toroidal structures anti their breakup into chaotic entities. This new data suggests an interaction between the flow inside the levitated molten drop and the driving coils in the experiments. Possible mechanisms for this interaction will be reviewed. The data will also be used to make an assessment of existing theories on droplet rotation.

Abedian, B.↗
NASA NTRS2006

A Hybrid RANS/LES Approach for Predicting Jet Noise

Hybrid acoustic prediction methods have an important advantage over the current Reynolds averaged Navier-Stokes (RANS) based methods in that they only involve modeling of the relatively universal subscale motion and not the configuration dependent larger scale turbulence. Unfortunately, they are unable to account for the high frequency sound generated by the turbulence in the initial mixing layers. This paper introduces an alternative approach that directly calculates the sound from a hybrid RANS/LES flow model (which can resolve the steep gradients in the initial mixing layers near the nozzle lip) and adopts modeling techniques similar to those used in current RANS based noise prediction methods to determine the unknown sources in the equations for the remaining unresolved components of the sound field. The resulting prediction method would then be intermediate between the current noise prediction codes and previously proposed hybrid noise prediction methods.

Goldstein, Marvin E.↗
NASA NTRS1993

Using virtual environment technology for preadapting astronauts to the novel sensory conditions of microgravity

A unique training device is being developed at the Johnson Space Center Neurosciences Laboratory to help reduce or eliminate Space Motion Sickness (SMS) and spatial orientation disturbances that occur during spaceflight. The Device for Orientation and Motion Environments Preflight Adaptation Trainer (DOME PAT) uses virtual reality technology to simulate some sensory rearrangements experienced by astronauts in microgravity. By exposing a crew member to this novel environment preflight, it is expected that he/she will become partially adapted, and thereby suffer fewer symptoms inflight. The DOME PAT is a 3.7 m spherical dome, within which a 170 by 100 deg field of view computer-generated visual database is projected. The visual database currently in use depicts the interior of a Shuttle spacelab. The trainee uses a six degree-of-freedom, isometric force hand controller to navigate through the virtual environment. Alternatively, the trainee can be 'moved' about within the virtual environment by the instructor, or can look about within the environment by wearing a restraint that controls scene motion in response to head movements. The computer system is comprised of four personal computers that provide the real time control and user interface, and two Silicon Graphics computers that generate the graphical images. The image generator computers use custom algorithms to compensate for spherical image distortion, while maintaining a video update rate of 30 Hz. The DOME PAT is the first such system known to employ virtual reality technology to reduce the untoward effects of the sensory rearrangement associated with exposure to microgravity, and it does so in a very cost-effective manner.

Duncan, K. M.↗
NASA NTRS2001

NASA Alternate Access to Station Service Concept

The evolving nature of the NASA space enterprise compels the agency to develop new and innovative space systems concepts. NASA, working with increasingly strained budgets and a declining manpower base, is attempting to transform from operational activities to procurement of commercial services. NASA's current generation reusable launch vehicle, the Shuttle, is in transition from a government owned and operated entity to a commercial venture to reduce the civil servant necessities for that program. NASA foresees its second generation launch vehicles being designed and operated by industry for commercial and government services. The "service" concept is a pioneering effort by NASA. The purpose the "service" is not only to reduce the civil servant overhead but will free up government resources for further research - and enable industry to develop a space business case so that industry can sustain itself beyond government programs. In addition, NASA desires a decreased responsibility thereby decreasing liability. The Second Generation Reusable Launch Vehicle (RLV) program is implementing NASA's Space Launch Initiative (SLI) to enable industry to develop the launch vehicles of the future. The Alternate Access to Station (AAS) project office within this program is chartered with enabling industry to demonstrate an alternate access capability for the International Space Station (ISS). The project will not accomplish this by traditional government procurement methods, not by integrating the space system within the project office, or by providing the only source of business for the new capability. The project funds will ultimately be used to purchase a service to take re-supply cargo to the ISS, much the same as any business might purchase a service from FedEx to deliver a package to its customer. In the near term, the project will fund risk mitigation efforts for enabling technologies. AAS is in some ways a precursor to the 2nd Generation RLV. By accomplishing ISS resupply with existing technologies, not only will a new category of autonomous vehicles deliver cargo, but a commercial business base will be incubated that will improve the likelihood of commercial convergence with the next generation of RLVs. Traditional paradigms in government management and acquisition philosophy are being challenged in order to bring about the objective of the AAS project. The phased procurement approach is proving to be the most questionable aspect to date. This work addresses the fresh approach AAS is adopting in management and procurement through a study of the AAS history, current solutions, key technologies, procurement complications, and an incremental forward plan leading to the purchase of a service to deliver goods to ISS. Included in this work is a discussion of the Commercial Space Act of 1998 and how it affects government purchase of space launch and space vehicle services. Industry should find these topics pertinent to their current state of business.

Bailey, Michelle D.↗
NASA NTRS2019

Flyover-Noise Reduction of Commercial Aircraft via Reduced Slat Deflections and Modified Flight Procedures

Current regulation and operation of commercial aircraft result in flyover noise that generates public protest from residents well outside the recognized noise footprint of modern airports. This noise issue was recently exacerbated by the implementation of NextGen air-traffic control which uses GPS-navigation for predictable flight paths and improved efficiency. A side-effect of the narrow flight corridors is a perceived increase in noise level and annoyance experienced by the residents directly under the flight paths. As a possible solution to the community noise issue, the feasibility of a lower slat deflections and modified flight procedures were explored. To document the maximum potential noise reduction, field measurements were conducted on the ground at locations before and after slat deployment. For safety considerations, the stall margin of a lower slat deflection was computed for a realistic geometry based on a modern commercial aircraft. The logistics of setting lower slat angles on current aircraft were also investigated through discussions with the FAA (Federal Aviation Administration) and aircraft manufacturers. The results suggest that community flyover noise could be reduced via lower slat deflections during early approach, but that modifying current aircraft would be difficult due to existing control systems and hurdles in certification. Alternatively, modifications to existing flight procedures could reduce the perceived noise of the NextGen flight patterns. For next generation commercial aircraft, reduced slat deflections could be considered if mandated by FAA noise requirements during early approach.

Storms, Bruce L.↗
NASA NTRS1982

Energy Facility Siting by Means of Environmental Modelling with LANDSAT, Thematic Mapper and Geographic Information System (GIS) Data

Currently based on ground and aerial surveys, the land cover data base of the Pennsylvania Power and Light Company is routinely used for modelling the effects of alternative generating plant and transmission line sites on the local and regional environment. The development of a satellite-based geographic information system would facilitate both the preparation of environmental impact statements by power companies and assessment of the data by the Nuclear Regulatory Commission. A cooperative project is planned to demonstrate the methodology for integrating satellite data into an existing geographic information system, d to further evaluate the ability of satellite data in modeling environmental conditions that would be applied in the preparation and assessment of environmental impact statements.

Source record↗
NASA NTRSDate not supplied

Modeling and Analysis of Stirling Power Convertors

Modeling and Analysis of Stirling Power Convertors Luis A. Rodriguez1 Steven M. Geng, Terry V. Reid, Scott D. Wilson NASA Glenn Research Center, Cleveland, OH, 44135, USA NASA Glenn’s Thermal Energy Conversion Branch is supporting the development of the next generation free-piston Stirling power convertors. American Superconductor (AMSC) and Sunpower Inc. are the two firms under contract to develop the Flexure Isotope Stirling Convertor (FISC) and the Sunpower Robust Stirling Convertor (SRSC), respectively. To comprehend and forecast convertor performance, Sage, ANSYS® Maxwell, and ANSYS® Fluent were used to model the Stirling thermodynamic cycle, alternator electromagnetics, and piston and displacer dynamics. I. Introduction Stirling convertors are being developed by NASA as a potential steady source of electrical power for NASA’s future scientific space missions. Currently, NASA Glenn Research Center has two corporations under contract, American Superconductor (AMSC) and Sunpower Inc., for the development of the next generation of free-piston Stirling convertors for dynamic radioisotope power systems. AMSC is developing the Flexure Isotope Stirling Convertor (FISC), which uses flexures to prevent side motion and rubbing of the piston. Similarly, Sunpower Inc, is developing the Sunpower Robust Stirling Convertor (SRSC). The SRSC uses gas bearings to prevent radial contact of the moving piston. As convertor development continues, it is increasingly important to understand and predict the interactions of components in the system, how they respond to one another, and how they perform as a response to changes in operating conditions. A suitable and enlightening way to demonstrate and foresee these interactions is with the use of accurate modeling software. Sage, ANSYS® Maxwell, and ANSYS® Fluent are the current modeling tools used by NASA to analytically determine convertor performance. Sage is a one-dimensional object-oriented commercial software package used for modeling and optimizing Stirling convertors for Dynamic Radioisotope Power Systems (DRPS) and it is one of the most accurate Stirling convertor codes in use by NASA. This code is the successor to GLIMPS (Globally-Implicit Stirling Cycle Simulation) and GLOP (GLIMPS Optimization) software created by Gedeon Associates [1]. Model input parameters are typically material/gas type, component physical dimensions, temperatures, frequency, charge pressure, and number of time/space nodes. Sage is used to model both the FISC’s and SRSC’s Stirling cycle thermodynamics and piston/displacer dynamics. Performance maps were created and analyzed for both power systems to better understand the relationship between the following conditions: cold-end temperature, hot-end temperature, piston/displacer amplitudes, pressure drop, and thermal input power. The synergy between these conditions will help determine parameter sensitivity. ANSYS® Maxwell was used to create a three-dimensional (3-D) axisymmetric model for both FISC and SRSC alternators. The significant physical components included in each model are the magnets, magnet carrier, outer/inner laminations, and the coil. Inputs to the model are piston amplitude, piston frequency, alternator load, coil resistance, tuning capacitance, and specific material properties. The alternator models calculate terminal voltage, current, piston/current phase, voltage/current phase, coil inductance, terminal power and efficiency. The RI2 losses, core (hysteresis and eddy) losses, and magnet/can eddy losses are also a part of the final results. ANSYS® Fluent is used to build 3-D computational fluid dynamic (CFD) models to examine the Stirling cycle thermodynamics for both the FISC and SRSC systems. Three-dimensional Computer Aided Design (CAD) models were used to create the physical components of each convertor. Steady-state simulations were conducted for hardware testing, prediction of environmental losses during testing, and generation of radiation look-up tables. The model inputs to the aforementioned analysis are the material properties and boundary thermal conditions. The steady-state model calculates temperature and heat flow distributions. Transient 3-D calculations were also part of the CFD analysis. In this study a physically reduced version of the FISC is used to obtain a prediction of available engine power. For the gas bearing SRSC, the transient effort is used to obtain a prediction of bearing pad performance and its sensitivity to micro-channel geometric variation. The model inputs to the transient simulations are the piston amplitude, displacer amplitude, frequency, displacer/piston phase angle, dynamic deforming CFD grid, temperature boundary conditions, and user defined files describing motion profile of piston/displacer. The results of the model are temperature distributions, heat distributions, and PV power produced at pre-determined conditions.

Luis A Rodriguez↗
NASA NTRS2007

Space and Terrestrial Power System Integration Optimization Code BRMAPS for Gas Turbine Space Power Plants With Nuclear Reactor Heat Sources

In view of the difficult times the US and global economies are experiencing today, funds for the development of advanced fission reactors nuclear power systems for space propulsion and planetary surface applications are currently not available. However, according to the Energy Policy Act of 2005 the U.S. needs to invest in developing fission reactor technology for ground based terrestrial power plants. Such plants would make a significant contribution toward drastic reduction of worldwide greenhouse gas emissions and associated global warming. To accomplish this goal the Next Generation Nuclear Plant Project (NGNP) has been established by DOE under the Generation IV Nuclear Systems Initiative. Idaho National Laboratory (INL) was designated as the lead in the development of VHTR (Very High Temperature Reactor) and HTGR (High Temperature Gas Reactor) technology to be integrated with MMW (multi-megawatt) helium gas turbine driven electric power AC generators. However, the advantages of transmitting power in high voltage DC form over large distances are also explored in the seminar lecture series. As an attractive alternate heat source the Liquid Fluoride Reactor (LFR), pioneered at ORNL (Oak Ridge National Laboratory) in the mid 1960's, would offer much higher energy yields than current nuclear plants by using an inherently safe energy conversion scheme based on the Thorium --> U233 fuel cycle and a fission process with a negative temperature coefficient of reactivity. The power plants are to be sized to meet electric power demand during peak periods and also for providing thermal energy for hydrogen (H2) production during "off peak" periods. This approach will both supply electric power by using environmentally clean nuclear heat which does not generate green house gases, and also provide a clean fuel H2 for the future, when, due to increased global demand and the decline in discovering new deposits, our supply of liquid fossil fuels will have been used up. This is expected within the next 30 to 50 years, as predicted by the Hubbert model and confirmed by other global energy consumption prognoses. Having invested national resources into the development of NGNP, the technology and experience accumulated during the project needs to be documented clearly and in sufficient detail for young engineers coming on-board at both DOE and NASA to acquire it. Hands on training on reactor operation, test rigs of turbomachinery, and heat exchanger components, as well as computational tools will be needed. Senior scientist/engineers involved with the development of NGNP should also be encouraged to participate as lecturers, instructors, or adjunct professors at local universities having engineering (mechanical, electrical, nuclear/chemical, and/or materials) as one of their fields of study.

Juhasz, Albert J.↗
NASA NTRS2012

Requirements-Driven Log Analysis Extended Abstract

Imagine that you are tasked to help a project improve their testing effort. In a realistic scenario it will quickly become clear, that having an impact is diffcult. First of all, it will likely be a challenge to suggest an alternative approach which is significantly more automated and/or more effective than current practice. The reality is that an average software system has a complex input/output behavior. An automated testing approach will have to auto-generate test cases, each being a pair (i; o) consisting of a test input i and an oracle o. The test input i has to be somewhat meaningful, and the oracle o can be very complicated to compute. Second, even in case where some testing technology has been developed that might improve current practice, it is then likely difficult to completely change the current behavior of the testing team unless the technique is obviously superior and does everything already done by existing technology. So is there an easier way to incorporate formal methods-based approaches than the full edged test revolution? Fortunately the answer is affirmative. A relatively simple approach is to benefit from possibly already existing logging infrastructure, which after all is part of most systems put in production. A log is a sequence of events, generated by special log recording statements, most often manually inserted in the code by the programmers. An event can be considered as a data record: a mapping from field names to values. We can analyze such a log using formal methods, for example checking it against a formal specification. This separates running the system for analyzing its behavior. It is not meant as an alternative to testing since it does not address the important in- put generation problem. However, it offers a solution which testing teams might accept since it has low impact on the existing process. A single person might be assigned to perform such log analysis, compared to the entire testing team changing behavior.

log analysis↗