Measuring interannual changes in ocean bottom pressure with GRACE (abstract)
Explore the source record for details and available documents.
ocean bottom pressure mass GRACE↗
SEARCH · Engineering Papers
Results for “Abstracts”
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.
CLARAty: towards standardized abstractions and interfaces for robotic systems
Explore the source record for details and available documents.
CLARAty↗
CLARAty: towards standardized abstractions and interfaces for robotic systems
Explore the source record for details and available documents.
robotics↗
Wild2 approach maneuver strategy used for Stardust spacecraft (extended abstract)
Stardust, NASA's first dedicated sample return mission to a comet, successfully flew through the comet dust around Wold2 on January 2, 2004. The spacecraft flew within 236 km of the comet, meeting the mission requirement of 250+/- 50 km on flyby distance. Stardust collected dust particles and took several images of the comet while flying close to Wild2. The spacecraft will return to earth with the comet samples on January 15, 2006. To accomplish the above objective, a large Deep Space Maneuver (DSM#) was implemented during June 17 and 18, 2003 and a series of Trajectory Correction Maneuvers (TCMs) were also implemented during the 30 days prior to encounter. Both maneuver design and executions were influenced by number of factors including the small body ephemeris uncertainty, predictability of small forces arising from 3-axis attitude limit cycling and spacecraft slews. Maneuver design processes, including contingency plans, and maneuver performance characteristics, are discussed in this paper.
dust↗
Surface structure of an invariant manifold of a Halo Orbit (extended abstract)
We extract the surface structure of the unstable invariant manifold tube projected into position space, of a halo orbit near L2. We do this by using transversal planes to intersect trajectories that approximate the tube. From these intersection points we construct spline-interpolated cross section curves which give a good idea of the structure of the tube. For example, we show that, for the value of (mu) we use, the tube pinches, develops a self-intersection, develops loop-inside-tube structure, pinches some more, and so on. We also construct surfaces made of quadrilaterals and triangles from these cross-sections. The transversal planes are obtained by taking planes orthogonal to a curve that follows the general shape of the tube. One such curve we use, is the unstable invariant manifold of the equilibrium point L2 itself. In another example, we take a circle that follows the tube, as the curve for finding planes transversal to the tube. Our method is complementary to the method of taking cross-sections of constant time (the isochronous method), as used by some other researchers. The isochronous method is good at revealing the temporal structure of trajectories on a tube. However, due to the unequal speeds of different trajectories, it is harder to use for long length surface extraction. In contrast, using our method, we show cross-sections of the tube through an angular extent of nearly (pi) during which the tube becomes extremely convoluted. We also show that tubes of different energies, that start out in certain ordering, do not obey the ordering after a while. Our work is motivated by applications to space mission design.
invariant manifold↗
Symbolic LTL Compilation for Model Checking: Extended Abstract
In Linear Temporal Logic (LTL) model checking, we check LTL formulas representing desired behaviors against a formal model of the system designed to exhibit these behaviors. To accomplish this task, the LTL formulas must be translated into automata [21]. We focus on LTL compilation by investigating LTL satisfiability checking via a reduction to model checking. Having shown that symbolic LTL compilation algorithms are superior to explicit automata construction algorithms for this task [16], we concentrate here on seeking a better symbolic algorithm.We present experimental data comparing algorithmic variations such as normal forms, encoding methods, and variable ordering and examine their effects on performance metrics including processing time and scalability. Safety critical systems, such as air traffic control, life support systems, hazardous environment controls, and automotive control systems, pervade our daily lives, yet testing and simulation alone cannot adequately verify their reliability [3]. Model checking is a promising approach to formal verification for safety critical systems which involves creating a formal mathematical model of the system and translating desired safety properties into a formal specification for this model. The complement of the specification is then checked against the system model. When the model does not satisfy the specification, model-checking tools accompany this negative answer with a counterexample, which points to an inconsistency between the system and the desired behaviors and aids debugging efforts.
Rozier, Kristin Y.↗
Abstracts of the Annual Meeting of Planetary Geologic Mappers, Flagstaff, AZ, 2008
Topics discussed include: Merging of the USGS Atlas of Mercury 1:5,000,000 Geologic Series; Geologic Mapping of the V-36 Thetis Regio Quadrangle: 2008 Progress Report; Structural Maps of the V-17 Beta Regio Quadrangle, Venus; Geologic Mapping of Isabella Quadrangle (V-50) and Helen Planitia, Venus; Renewed Mapping of the Nepthys Mons Quadrangle (V-54), Venus; Mapping the Sedna-Lavinia Region of Venus; Geologic Mapping of the Guinevere Planitia Quadrangle of Venus; Geological Mapping of Fortuna Tessera (V-2): Venus and Earth's Archean Process Comparisons; Geological Mapping of the North Polar Region of Venus (V-1 Snegurochka Planitia): Significant Problems and Comparisons to the Earth's Archean; Venus Quadrangle Geological Mapping: Use of Geoscience Data Visualization Systems in Mapping and Training; Geologic Map of the V-1 Snegurochka Planitia Quadrangle: Progress Report; The Fredegonde (V-57) Quadrangle, Venus: Characterization of the Venus Midlands; Formation and Evolution of Lakshmi Planum (V-7), Venus: Assessment of Models using Observations from Geological Mapping; Geologic Map of the Meskhent Tessera Quadrangle (V-3), Venus: Evidence for Early Formation and Preservation of Regional Topography; Geological Mapping of the Lada Terra (V-56) Quadrangle, Venus: A Progress Report; Geology of the Lachesis Tessera Quadrangle (V-18), Venus; Geologic Mapping of the Juno Chasma Quadrangle, Venus: Establishing the Relation Between Rifting and Volcanism; Geologic Mapping of V-19, V-28, and V-53; Lunar Geologic Mapping Program: 2008 Update; Geologic Mapping of the Marius Quadrangle, the Moon; Geologic Mapping along the Arabia Terra Dichotomy Boundary: Mawrth Vallis and Nili Fossae, Mars: Introductory Report; New Geologic Map of the Argyre Region of Mars; Geologic Evolution of the Martian Highlands: MTMs -20002, -20007, -25002, and -25007; Mapping Hesperia Planum, Mars; Geologic Mapping of the Meridiani Region, Mars; Geology of Holden Crater and the Holden and Ladon Multi-Ring Impact Basins, Margaritifer Terra, Mars; Geologic Mapping of Athabasca Valles; Geologic Mapping of MTM -30247, -35247 and -40247 Quadrangles, Reull Vallis Region of Mars; Geologic Mapping of the Martian Impact Crater Tooting; Geology of the Southern Utopia Planitia Highland-Lowland Boundary Plain: First Year Results and Second Year Plan; Mars Global Geologic Mapping: Amazonian Results; Recent Geologic Mapping Results for the Polar Regions of Mars; Geologic Mapping of the Medusae Fossae Formation on Mars (MC-8 SE and MC-23 NW) and the Northern Lowlands of Venus (V-16 and V-15); Geologic Mapping of the Zal, Hi'iaka, and Shamshu Regions of Io; Global Geologic Map of Europa; Material Units, Structures/Landforms, and Stratigraphy for the Global Geologic Map of Ganymede (1:15M); and Global Geologic Mapping of Io: Preliminary Results.
Bleamaster, Leslie F., III↗
Extensible Infrastructure for Browsing and Searching Abstracted Spacecraft Data
A computer program has been developed to provide a common interface for all space mission data, and allows different types of data to be displayed in the same context. This software provides an infrastructure for representing any type of mission data.
Wallick, Michael N.↗
Abstracts of the Annual Meeting of Planetary Geologic Mappers, San Antonio, TX, 2009
Topics covered include: Geologic Mapping of the Beta-Atla-Themis (BAT) Region of Venus: A Progress Report; Geologic Map of the Snegurochka Planitia Quadrangle (V-1): Implications for Tectonic and Volcanic History of the North Polar Region of Venus; Preliminary Geological Map of the Fortuna Tessera (V-2) Quadrangle, Venus; Geological Map of the Fredegonde (V-57) Quadrangle, Venus; Geological Mapping of the Lada Terra (V-56) Quadrangle, Venus; Geologic Mapping of V-19; Lunar Geologic Mapping: A Preliminary Map of a Portion of the LQ-10 ("Marius") Quadrangle; Geologic Mapping of the Lunar South Pole, Quadrangle LQ-30: Volcanic History and Stratigraphy of Schr dinger Basin; Geologic Mapping along the Arabia Terra Dichotomy Boundary: Mawrth Vallis and Nili Fossae, Mars; Geologic Mapping Investigations of the Northwest Rim of Hellas Basin, Mars; Geologic Mapping of the Meridiani Region of Mars; Geology of a Portion of the Martian Highlands: MTMs -20002, -20007, -25002 and -25007; Geologic Mapping of Holden Crater and the Uzboi-Ladon-Morava Outflow System; Mapping Tyrrhena Patera and Hesperia Planum, Mars; Geologic Mapping of Athabaca Valles; Geologic Mapping of MTM -30247, -35247 and -40247 Quadrangles, Reull Vallis Region, Mars Topography of the Martian Impact Crater Tooting; Mars Structural and Stratigraphic Mapping along the Coprates Rise; Geology of Libya Montes and the Interbasin Plains of Northern Tyrrhena Terra, Mars: Project Introduction and First Year Work Plan; Geology of the Southern Utopia Planitia Highland-Lowland Boundary Plain: Second Year Results and Third Year Plan; Mars Global Geologic Mapping: About Half Way Done; New Geologic Map of the Scandia Region of Mars; Geologic Mapping of the Medusae Fossae Formation on Mars and the Northern Lowland Plains of Venus; Volcanism on Io: Insights from Global Geologic Mapping; and Planetary Geologic Mapping Handbook - 2009.
Bleamaster, Leslie F., III↗
2010 JANNAF Abstract Propulsion System Status: Ares First Stage
In November 2005, NASA created the Constellation Program to develop an entirely new fleet of spacecraft to include the Ares I Crew Launch Vehicle and the Ares V Cargo Launch vehicles. The Ares I First Stage Team has made significant progress on the design of a propulsion system capable of lofting that new fleet. To minimize technical risks and development costs, the Solid Rocket Boosters (SRBs) of Shuttle served as a starting point in the design of a new motor that would meet the requirements of those new vehicles. By bringing in a fifth segment, this new propulsive element will provide greater total impulse to loft a safer, more powerful fleet of space flight vehicles. Additional modifications include the use of composite structures, new metallic forward structures, new parachutes, a new propellant grain design, and a new nozzle. Although still ongoing and in process, significant design, development and concept testing has already been conducted. This includes a full-scale motor firing, deceleration subsystem testing, and testing of several complete avionics line replaceable units. The suborbital development flight, Ares I-X, provided the opportunity to gather critical data about the flight dynamics of the integrated launch vehicle stack. The Ares I-X test flight has also informed our Ares First Stage design. It brought a more comprehensive understanding in a number of areas, which are now being analyzed. This paper will provide an overview of the design, development, challenges, and progress on the production of the new Ares First Stage propulsion system. Challenges and mitigation strategies will be addressed. An overview will also be included of testing to date.
Tiller, Bruce K.↗
2010 JPC Abstract: Ares I First Stage Propulsion System Status
In November 2005, NASA created the Constellation Program to develop an entirely new fleet of spacecraft to include the Ares I Crew Launch Vehicle and Ares V Cargo Launch vehicles. This mission architecture included the Orion capsule (which would be used to transport astronauts to low-Earth orbit and beyond), the Altair lunar lander, and an Earth departure stage. The Ares First Stage Team has made significant progress on the design of a propulsion system to meet the objectives of the Constellation Program. Work on a first stage element propulsion system capable of lofting a new fleet of spacecraft is well underway. To minimize technical risks and development costs, the Solid Rocket Boosters (SRBs) of Shuttle served as a starting point in the design of a new motor that would meet the requirements of those new vehicles. This new propulsive element will provide greater total impulse utilizing a fifth segment to loft a safer, more powerful fleet of space flight vehicles. Performance requirements, basic architecture, and obsolescence issues were all factors in determining the new first stage element design and configuration. Early efforts focused on creating designs that would be capable of supporting the requisite loads and environments. While the motor casings are Shuttle legacy, because of Ares I s unique in-line configuration, the first stage will require entirely new forward structures (forward skirt, forward skirt extension, aeroshell, and frustum) and a modified systems tunnel. The use of composites facilitated a change in the geometry, which in turn afforded the ability to focus strength where it was needed without additional mass. The Ares First Stage rocket motor casting tooling was designed and built to achieve a propellant grain geometry that produces the specific required ballistic profile. The new propellant formulation is a polybutadiene acrylonitrile (PBAN) copolymer, which has been modified to attain the desired burn rate and retain adequate tailoring capability.
Priskos, Alex S.↗
Abstracts of the Annual Meeting of Planetary Geologic Mappers, Flagstaff, AZ, 2010
Topics covered include: Detailed Analysis of the Intra-Ejecta Dark Plains of Caloris Basin, Mercury; The Formation and Evolution of Tessera and Insights into the Beginning of Recorded History on Venus: Geology of the Fortuna Tessera Quadrangle (V-2); Geologic Map of the Snegurochka Planitia Quadrangle (V-1): Implications for the Volcanic History of the North Polar Region of Venus; Geological Map of the Fredegonade (V-57) Quadrangle, Venus: Status Report; Geologic Mapping of V-19; Geology of the Lachesis Tessera Quadrangle (V-18), Venus; Comparison of Mapping Tessera Terrain in the Phoebe Regio (V-41) and Tellus Tessera (V-10) Quadrangles; Geologic Mapping of the Devana Chasma (V-29) Quadrangle, Venus; Geologic Mapping of the Aristarchus Plateau Region on the Moon; Geologic Mapping of the Lunar South Pole Quadrangle (LQ-30); The Pilot Lunar Geologic Mapping Project: Summary Results and Recommendations from the Copernicus Quadrangle; Geologic Mapping of the Nili Fossae Region of Mars: MTM Quadrangles 20287, 20282, 25287, 25282, 30287, and 30282; Geologic Mapping of the Mawrth Vallis Region, Mars: MTM Quadrangles 25022, 25017, 25012, 20022, 20017, and 20012; Evidence for an Ancient Buried Landscape on the NW Rim of Hellas Basin, Mars; New Geologic Map of the Argyre Region of Mars: Deciphering the Geologic History Through Mars Global Surveyor, Mars Odyssey, and Mars Express Data; Geologic Mapping in the Hesperia Planum Region of Mars; Geologic Mapping of the Meridiani Region of Mars; Geologic Mapping in Southern Margaritifer Terra; Geology of -30247, -35247, and -40247 Quadrangles, Southern Hesperia Planum, Mars; The Interaction of Impact Melt, Impact-Derived Sediment, and Volatiles at Crater Tooting, Mars; Geologic Map of the Olympia Cavi Region of Mars (MTM 85200): A Summary of Tactical Approaches; Geology of the Terra Cimmeria-Utopia Planitia Highland Lowland Transitional Zone: Final Technical Approach and Scientific Results; Geology of Libya Montes and the Interbasin Plains of Northern Tyrrhena Terra, Mars: First Year Results and Second Year Work Plan; Mars Global Geologic Mapping Progress and Suggested Geographic-Based Hierarchal Systems for Unit Grouping and Naming; Progress in the Scandia Region Geologic Map of Mars; Geomorphic Mapping of MTMS -20022 and -20017; Geologic Mapping of the Medusae Fossae Formation, Mars, and the Northern Lowland Plains, Venus; Volcanism on Io: Results from Global Geologic Mapping; Employing Geodatabases for Planetary Mapping Conduct - Requirements, Concepts and Solutions; and Planetary Geologic Mapping Handbook - 2010.
Bleamaster, Leslie F., III↗
Development of the International Space Station (ISS) Fine Water Mist (FWM) Portable Fire Extinguisher ICES Abstract
NASA is developing a Fine Water Mist (FWM) Portable Fire Extinguisher (PFE) for use on the International Space Station. The International Space Station presently uses two different types of fire extinguishers: a water foam extinguisher in the Russian Segment, and a carbon dioxide extinguisher in the US Segment and Columbus and Kibo pressurized elements. Changes in emergency breathing equipment make Fine Water Mist operationally preferable. Supplied oxygen breathing systems allow for safe discharge of a carbon dioxide fire extinguisher, without concerns of the crew inhaling unsafe levels of carbon dioxide. But the Portable Breathing Apparatus (PBA) offers no more than 15 minutes of capability, and continued use of hose based supplied oxygen system increases the oxygen content in a fire situation. NASA has developed a filtering respirator cartridge for use in a fire environment. It is qualified to provide up to 90 minutes of capability, and because it is a filtering respirator it does not add oxygen to the environment. The fire response respirator cartridge does not filter carbon dioxide (CO2), so a crew member discharging a CO2 fire extinguisher while wearing this filtering respirator would be at risk of inhaling unsafe levels of CO2. FWM extinguishes a fire without creating a large volume of air with reduced oxygen and elevated CO2. The following paper will discuss the unique functional and performance requirements that have been levied on the FWM PFE. In addition, the NASA ISS specific fire standards will be described which were developed to establish acceptable extinguisher performance. The paper will also discuss the flight hardware design. The fin e water mist fire extinguisher has two major elements: (1) the nozzle and crew interface, and (2) the tank. The nozzle and crew interface have been under development for several years. They have gone through several design iterations, and have been part of more than 400 fire challenge and spray characterizations. The crew and vehicle interface aspects of the design will use the heritage of the CO2 based Portable Fire Extinguisher, to minimize the disruption to the crew and integration impacts to the ISS. The microgravity use environment of the system poses a set of unique design requirements specifically for the tank. The nozzle requirements drive a tank pressure that is 2-5 times higher than any commercially available water mist systems. Microgravity requires deliberate separation of gas and water, facilitated by a bladder, a diaphragm, a piston, or separate tanks. This paper will describe status of the project to date, the design details of the tank and the nozzle, and discuss the trade studies that informed the decisions to select the tank and nozzle configuration.
Clements, Anna L.↗
Transit Reconfigurable Exerciser - Intern Exit Abstract
The Transit Resistive Exerciser (TREX) was developed during a 16 week period in which a clutch device filled with smart material was built and began the testing phase. The clutch serves as a passive method of creating resistance. When paired with a series of springs, the device creates a rowing machine also capable of resistive exercise configurations. The device has loading profiles similar to the exercise devices used on the International Space Station today. The prototype created was designed in a modular fashion to support parallel development on various aspects of the project. Hardware and software are currently in development and make use of commercially available parts. Similar technologies have been used in the automotive industry but have never been explored in the context of countermeasure systems for space flight. If the work done leads to successful testing and further development, this technology has the potential to cut the size and weight of exercise devices by an order of magnitude or more.
Gebara, Christine A.↗
Compilation of Abstracts for SC12 Conference Proceedings
1 A Breakthrough in Rotorcraft Prediction Accuracy Using Detached Eddy Simulation; 2 Adjoint-Based Design for Complex Aerospace Configurations; 3 Simulating Hypersonic Turbulent Combustion for Future Aircraft; 4 From a Roar to a Whisper: Making Modern Aircraft Quieter; 5 Modeling of Extended Formation Flight on High-Performance Computers; 6 Supersonic Retropropulsion for Mars Entry; 7 Validating Water Spray Simulation Models for the SLS Launch Environment; 8 Simulating Moving Valves for Space Launch System Liquid Engines; 9 Innovative Simulations for Modeling the SLS Solid Rocket Booster Ignition; 10 Solid Rocket Booster Ignition Overpressure Simulations for the Space Launch System; 11 CFD Simulations to Support the Next Generation of Launch Pads; 12 Modeling and Simulation Support for NASA's Next-Generation Space Launch System; 13 Simulating Planetary Entry Environments for Space Exploration Vehicles; 14 NASA Center for Climate Simulation Highlights; 15 Ultrascale Climate Data Visualization and Analysis; 16 NASA Climate Simulations and Observations for the IPCC and Beyond; 17 Next-Generation Climate Data Services: MERRA Analytics; 18 Recent Advances in High-Resolution Global Atmospheric Modeling; 19 Causes and Consequences of Turbulence in the Earths Protective Shield; 20 NASA Earth Exchange (NEX): A Collaborative Supercomputing Platform; 21 Powering Deep Space Missions: Thermoelectric Properties of Complex Materials; 22 Meeting NASA's High-End Computing Goals Through Innovation; 23 Continuous Enhancements to the Pleiades Supercomputer for Maximum Uptime; 24 Live Demonstrations of 100-Gbps File Transfers Across LANs and WANs; 25 Untangling the Computing Landscape for Climate Simulations; 26 Simulating Galaxies and the Universe; 27 The Mysterious Origin of Stellar Masses; 28 Hot-Plasma Geysers on the Sun; 29 Turbulent Life of Kepler Stars; 30 Modeling Weather on the Sun; 31 Weather on Mars: The Meteorology of Gale Crater; 32 Enhancing Performance of NASAs High-End Computing Applications; 33 Designing Curiosity's Perfect Landing on Mars; 34 The Search Continues: Kepler's Quest for Habitable Earth-Sized Planets.
HPC↗
EVA Glove Sensor Feasbility II Abstract
The main objectives for the glove project include taking various measurements from human subjects during and after they perform different tasks in the glove box, acquiring data from these tests and determining the accuracy of these results, interpreting and analyzing this data, and using the data to better understand how hand injuries are caused during EVAs.1 Some of these measurements include force readings, temperature readings, and micro-circulatory blood flow.1 The three glove conditions tested were ungloved (a comfort glove was worn to house the sensors), Series 4000, and Phase VI. The general approach/procedure for the glove sensor feasibility project is as follows: 1. Prepare test subject for testing. This includes attaching numerous sensors (approximately 50) to the test subject, wiring, and weaving the sensors and wires in the glove which helps to keep everything together. This also includes recording baseline moisture data using the Vapometer and MoistSense. 2. Pressurizing the glove box. Once the glove box is pressurized to the desired pressure (4.3 psid), testing can begin. 3. Testing. The test subject will perform a series of tests, some of which include pinching a load cell, making a fist, pushing down on a force plate, and picking up metal pegs, rotating them 90 degrees, and placing them back in the peg board. 4. Post glove box testing data collection. After the data is collected from inside the glove box, the Vapometer and MoistSense device will be used to collect moisture data from the subject's hand. 5. Survey. At the conclusion of testing, he/she will complete a survey that asks questions pertaining to comfort/discomfort levels of the glove, glove sizing, as well as offering any additional feedback.
Melone, Kate↗
System Level Analysis of a Water PCM HX Integrated Into Orion's Thermal Control System Abstract
In a cyclical heat load environment such as low Lunar orbit, a spacecraft's radiators are not sized to reject the full heat load requirement. Traditionally, a supplemental heat rejection device (SHReD) such as an evaporator or sublimator is used to act as a "topper" to meet the additional heat rejection demands. Utilizing a Phase Change Material (PCM) heat exchanger (HX) as a SHReD provides an attractive alternative to evaporators and sublimators as PCM HXs do not use a consumable, thereby leading to reduced launch mass and volume requirements. In continued pursuit of water PCM HX development an Orion system level analysis was performed using Thermal Desktop for a water PCM HX integrated into Orion's thermal control system and in a 100km Lunar orbit. The study analyzed 1) placing the PCM on the Internal Thermal Control System (ITCS) versus the External Thermal Control System (ETCS) 2) use of 30/70 PGW verses 50/50 PGW and 3) increasing the radiator area in order to reduce PCM freeze times. The analysis showed that for the assumed operating and boundary conditions utilizing a water PCM HX on Orion is not a viable option. Additionally, it was found that the radiator area would have to be increased over 20% in order to have a viable water‐based PCM HX.
Navarro, Moses↗
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↗