Search NASA⌕ Search

SEARCH · Search NASA

Results for “coverage”

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 361 records · Page 20
All sourcesNASA NTRSDOE OSTI
NASA NTRS1988

Complementary satellite sound broadcasting systems: A NASA assessment for the Voice of America

Satellite concepts are examined which offer potentially significant sound broadcast coverage of audio as a complement to VOA's existing and planned terrestrial sound broadcasting system. HF bands are emphasized but additional discussion is included for systems using higher frequencies. Low altitude satellites, shuttle altitude (275 km) and sun synchronous (about 1600 to 1800 km), would not be practical for international broadcasting since many satellites would be required for reliable and widespread coverage. Two concepts are discussed which would offer significant and practical broadcast coverage at HF. One, an 8-hr posigrade equatorial orbit, would offer about 1 hr of widespread, twice daily, coverage to three areas of the globe. The time of coverage is even greater when confined to densely populated areas only (2 to 3 hrs). Another orbit, the Apogee at Constant Time/Equatorial (ACE), provides the same coverage, but only once daily to each area. The latter orbit is highly elliptical, allowing insertion of a greater payload (more broadcast channels) with the existing launch capability. The ACE and 8-hr orbit concepts led to systems of about equal costs, with the ACE being slightly better.

Stevens, Grady H.↗
NASA NTRS1990

Multilayer sea ice in the Arctic - Model- and satellite-derived

The behavior of sea ice is a strong function of ice strength which, in the central Arctic, depends on the relative fractions of multiyear and first-year ice coverage. A dynamic-thermodynamic sea ice model has been configured to include both multiyear and first-year ice. The model has been run for a 7-year period, 1979-1985, for which a satellite microwave record of multiyear sea ice coverage is available. The simulated concentrations of multiyear ice are slightly higher than the satellite-derived concentrations, although the total coverage of simulated multiyear ice agrees well with the satellite-derived coverage. Both the simulated and the satellite-derived coverages in the early 1980s show large interannual variations that represent potentially large perturbations in the mass balance of Arctic pack ice. These fluctuations are generally consistent in the model and satellite data, and they are generally consistent with year-to-year differences in the large-scale wind forcing. In at least some cases the wintertime distribution of multiyear ice is influenced by the pattern of ice drift as far back as the previous summer. The late December coverage of multiyear ice in the Alaskan region appears to foreshadow summer ice conditions in the same region. The short-term response to an intense synoptic system is considerably larger in the satellite data than in the model results.

Walsh, John E.↗
NASA NTRS2007

Cartographic Mapping of Mars Landing Sites: A Historical Perspective

Initial mapping of Mars began with the early Mariner 4, 6 and 7 flybys in the 1960's. Mariner 9 obtained the first global coverage of Mars in 1971. Viking Orbiters 1 and 2 added new and higher resolution global coverage. The US Geological Survey produced the first digital global cartographic map products in black and white and in color, the mosaicked digital image models (MDIMs). In 1989, the Phobos 88 mission added imaging as well as multispectral mapping of Mars in the equatorial region. The Mars Global Surveyor (MGS) added to the black and white and color global coverage. The most important development for Mars cartography occurred on MGS with its global coverage of Mars using the Mars Observer Laser Altimeter (MOL A) producing precision ground control in latitude, longitude and radius. The next version of the MDIM was produced at 230 m spatial resolution using MOLA precision cartographic control. The Mars Odyssey mission THEMIS instrument has completed its global infrared mapping of Mars at 100 m spatial resolution. The Mars Express mission is completing its global coverage of Mars in stereo at 100 m spatial resolution or better. MGS, Odyssey and Mars Express continue to provide limited surface coverage at the 1 to 20 m resolution. Currently the new Mars Reconnaissance Orbiter is producing images at the 10's of cm level. All of these datasets provide a rich and historic perspective of Mars covering nearly five decades and allow global cartographic map products to be produced in visual and infrared at the 100 m level with specialized cartographic maps being produced for landing sites at the meter or sub-meter spatial resolution level. This work was produced at the Jet Propulsion Laboratory, California Institute of Technology under contract to the National Aeronautics and Space Administration, NAS 7-7120.5d, within the NASA Mars Data Analysis Program and the MGS, Odyssey, Mars Express and MRO Participating Scientist Programs.

MOLA↗
NASA NTRS2010

Convective Weather Forecast Accuracy Analysis at Center and Sector Levels

This paper presents a detailed convective forecast accuracy analysis at center and sector levels. The study is aimed to provide more meaningful forecast verification measures to aviation community, as well as to obtain useful information leading to the improvements in the weather translation capacity models. In general, the vast majority of forecast verification efforts over past decades have been on the calculation of traditional standard verification measure scores over forecast and observation data analyses onto grids. These verification measures based on the binary classification have been applied in quality assurance of weather forecast products at the national level for many years. Our research focuses on the forecast at the center and sector levels. We calculate the standard forecast verification measure scores for en-route air traffic centers and sectors first, followed by conducting the forecast validation analysis and related verification measures for weather intensities and locations at centers and sectors levels. An approach to improve the prediction of sector weather coverage by multiple sector forecasts is then developed. The weather severe intensity assessment was carried out by using the correlations between forecast and actual weather observation airspace coverage. The weather forecast accuracy on horizontal location was assessed by examining the forecast errors. The improvement in prediction of weather coverage was determined by the correlation between actual sector weather coverage and prediction. observed and forecasted Convective Weather Avoidance Model (CWAM) data collected from June to September in 2007. CWAM zero-minute forecast data with aircraft avoidance probability of 60% and 80% are used as the actual weather observation. All forecast measurements are based on 30-minute, 60- minute, 90-minute, and 120-minute forecasts with the same avoidance probabilities. The forecast accuracy analysis for times under one-hour showed that the errors in intensity and location for center forecast are relatively low. For example, 1-hour forecast intensity and horizontal location errors for ZDC center were about 0.12 and 0.13. However, the correlation between sector 1-hour forecast and actual weather coverage was weak, for sector ZDC32, about 32% of the total variation of observation weather intensity was unexplained by forecast; the sector horizontal location error was about 0.10. The paper also introduces an approach to estimate the sector three-dimensional actual weather coverage by using multiple sector forecasts, which turned out to produce better predictions. Using Multiple Linear Regression (MLR) model for this approach, the correlations between actual observation and the multiple sector forecast model prediction improved by several percents at 95% confidence level in comparison with single sector forecast.

Wang, Yao↗
NASA NTRS2012

The HYSPIRI Decadal Survey Mission: Update on the Mission Concept and Science Objectives for Global Imaging Spectroscopy and Multi-Spectral Thermal Measurements

The NASA HyspIRI mission is planned to provide global solar reflected energy spectroscopic measurement of the terrestrial and shallow water regions of the Earth every 19 days will all measurements downlinked. In addition, HyspIRI will provide multi-spectral thermal measurements with a single band in the 4 micron region and seven bands in the 8 to 12 micron region with 5 day day/night coverage. A direct broadcast capability for measurement subsets is also planned. This HyspIRI mission is one of those designated in the 2007 National Research Council (NRC) Decadal Survey: Earth Science and Applications from Space. In the Decadal Survey, HyspIRI was recognized as relevant to a range of Earth science and science applications, including climate: "A hyperspectral sensor (e.g., FLORA) combined with a multispectral thermal sensor (e.g., SAVII) in low Earth orbit (LEO) is part of an integrated mission concept [described in Parts I and II] that is relevant to several panels, especially the climate variability panel." The HyspIRI science study group was formed in 2008 to evaluate and refine the mission concept. This group has developed a series of HyspIRI science objectives: (1) Climate: Ecosystem biochemistry, condition & feedback; spectral albedo; carbon/dust on snow/ice; biomass burning; evapotranspiration (2) Ecosystems: Global plant functional types, physiological condition, and biochemistry including agricultural lands (3) Fires: Fuel status, fire frequency, severity, emissions, and patterns of recovery globally (4) Coral reef and coastal habitats: Global composition and status (5) Volcanoes: Eruptions, emissions, regional and global impact (6) Geology and resources: Global distributions of surface mineral resources and improved understanding of geology and related hazards These objectives are achieved with the following measurement capabilities. The HyspIRI imaging spectrometer provides: full spectral coverage from 380 to 2500 at 10 nm sampling; 60 m spatial sampling with a 150 km swath; and fully downlinked coverage of the Earth's terrestrial and shallow water regions every 19 days to provide seasonal cloud-free coverage of the terrestrial surface. The HyspIRI Multi-Spectral Thermal instrument provides: 8 spectral bands from 4 to 12 microns; 60 m spatial sampling with a 600 km swath; and fully downlinked coverage of the Earth's terrestrial shallow water regions every 5 days (day/night) to provide nominally cloud-free monthly coverage. The HyspIRI mission also includes an on-board processing and direct broadcast capability, referred to as the Intelligent Payload Module (IPM), which will allow users with the appropriate antenna to download a subset of the HyspIRI data stream to a local ground station. These science and science application objectives are critical today and uniquely addressed by the combined imaging spectroscopy, thermal infrared measurements, and IPM direct broadcast capability of HyspIRI. Two key objectives are: (1) The global HyspIRI spectroscopic measurements of the terrestrial biosphere including vegetation composition and function to constrain and reduce the uncertainty in climate-carbon interactions and terrestrial biosphere feedback. (2) The global 8 band thermal measurements to provide improved constraint of fire related emissions. In this paper the current HyspIRI mission concept that has been reviewed and refined to its current level of maturity with a Data Products Symposium, Science Workshop and NASA HWorkshop is presented including traceability between the measurements and the science and science application objectives.

Green, Robert O.↗
NASA NTRS2015

Properties of Linear Contrails Detected in 2012 Northern Hemisphere MODIS Imagery

Observation of linear contrail cirrus coverage and retrieval of their optical properties are valuable data for validating atmospheric climate models that represent contrail formation explicitly. These data can reduce our uncertainty of the regional effects of contrail-generated cirrus on global radiative forcing, and thus improve our estimation of the impact of commercial aviation on climate change. We use an automated contrail detection algorithm (CDA) to determine the coverage of linear persistent contrails over the Northern Hemisphere during 2012. The contrail detection algorithm is a modified form of the Mannstein et al. (1999) method, and uses several channels from thermal infrared MODIS data to reduce the occurrence of false positive detections. A set of contrail masks of varying sensitivity is produced to define the potential range of uncertainty in contrail coverage estimated by the CDA. Global aircraft emissions waypoint data provided by FAA allow comparison of detected contrails with commercial aircraft flight tracks. A pixel-level product based on the advected flight tracks defined by the waypoint data and U-V wind component profiles from the NASA GMAO GEOS-4 reanalysis has been developed to assign a confidence of contrail detection for the contrail mask. To account for possible contrail cirrus missed by the CDA, a post-processing method based on the assumption that pixels adjacent to detected linear contrails will have radiative signatures similar to those of the detected contrails is applied to the Northern Hemisphere data. Results from several months of MODIS observations during 2012 will be presented, representing a near-global climatology of contrail coverage. Linear contrail coverage will be compared with coverage estimates determined previously from 2006 MODIS data.

Duda, David P.↗
DOE OSTI2026

Two-phase flow numerical analysis of electrode geometry for alkaline water electrolyzers

Hydrogen is a promising component of a future energy-secure and efficient economy, but its competitiveness depends on reducing production costs. One strategy is to operate alkaline water electrolyzers at higher current densities to increase output. However, this intensifies performance losses due to gas bubble accumulation, which blocks transport pathways and deactivates electrochemically active surfaces. Enhancing bubble evacuation through electrode design is therefore essential. Previous studies have explored various approaches — such as modifying surface morphology, applying sonication or pressure modulation, and introducing surfactants — but these efforts have addressed a limited range of conditions due to the complexity of two-phase flow and electrode geometries. Experiments have also largely been focused on either cell level improvements, which lack the information necessary to isolate each contributing factor, or on modified geometries that are not relevant to practical cell operation. From a modeling perspective, conventional Eulerian multiphase models do not track the complex gas–liquid interfacial dynamics and often neglect surface tension and contact angle effects, reducing their predictive accuracy. To provide insights on the effects of different electrode geometries on the performance of alklaine water electrolyzers this work employs an immersed boundary volume-of-fluid method to simulate bubble behavior in 3D porous electrodes. Multiple base electrode geometries, typically used in practice, with varying porosity are evaluated under a constant surface gas generation rate. Simulation data is analyzed to quantify electrode gas coverage, bubble size dynamics and other relevant metrics. Results show that porosity strongly influences bubble accumulation on electrode surfaces, with higher porosity reducing gas coverage, and its not strictly dependent on the electrode geometry. However, the electrode’s base geometry significantly affects gas accumulation at the separator gap, independent of porosity. A foam electrode geometry resulted in the lowest gas coverage of all electrodes with a median volumetric gas coverage of 11%, but at the cost of a 70% reduction in active area compared with the largest surface area electrode, while gyroid electrodes showed the best trade-off between gas coverage, particularly at the separator surface, and electrochemically active area. In conclusion, the results highlight the need for holistic electrode design strategies.

Alkaline↗
DOE OSTI2025

Enhanced Selectivity for C 2 H 4 Production from C 2 H 6 on Partially Chlorinated IrO 2 (110) Surfaces

Modifying metal oxide surfaces to limit their oxidizing activity can provide a means of improving catalytic selectivity toward the partial oxidation of light alkanes. Here, in this study, we investigated the oxidation of C 2 H 6 on Cl-modified IrO 2 (110) surfaces using temperature-programmed reaction spectroscopy (TPRS) and first-principles microkinetic modeling. We find that substituting Cl for O in the IrO 2 (110) surface enhances the selectivity for C 2 H 6 conversion to C 2 H 4 during TPRS by suppressing extensive oxidation to CO x products, while also either enhancing C 2 H 4 production or altering it to a lesser extent, depending on the initial C 2 H 6 coverage. The C 2 H 4 selectivity increased with increasing C 2 H 6 and Cl coverage, but reached a limiting value below 50%. The Cl coverage changed negligibly during C 2 H 6 oxidation, and the surface reactivity decreased only marginally for Cl coverages up to 0.5 ML (monolayer). TPRS simulations using a microkinetic model predict C 2 H 4 and CO x product yields as a function of the Cl coverage that agree closely with the experimental results. According to the simulations, C 2 H 6 conversion to C 2 H 4 occurs on Cl-IrO 2 (110) by the hydrogenation of C 2 H 3 * species adsorbed in blocked states, in which neighboring sites are occupied only by unreactive HO and Cl species. The microkinetic modeling shows that H-hopping away from surface HO groups provides a relatively efficient route for C 2 H 3 * to escape blocked configurations and dehydrogenate, and that this process can limit the C 2 H 4 selectivity on Cl-IrO 2 (110) under the conditions studied. Overall, our results demonstrate that Cl-substitution into IrO 2 (110) enhances the selectivity for C 2 H 4 production from C 2 H 6 and provides insights into the reaction mechanism that can guide strategies to further improve the C 2 H 4 selectivity.

IrO2↗
DOE OSTI2026

Distinct Kinetic Signatures of Photodesorption from Metal Nanoparticles

Visible photon fluxes can influence the rate and selectivity of heterogeneously catalyzed reactions on metal nanoparticle surfaces. Models describing the influence of photon fluxes have typically introduced photon flux dependent apparent thermal kinetic parameters (reaction orders, activation energies, binding energies, etc.). This has relied on empirical fitting of reaction rate data, making mechanistic interpretations of how photon fluxes influence elementary step rates challenging and inconsistent with fundamental descriptions of photochemistry on metal surfaces developed from surface science studies. Using the CO adsorption–desorption quasi-equilibrium reaction on Pt/Al 2 O 3 catalysts as a model system, we measured steady state adsorbed CO (CO*) coverages under isothermal and isobaric (1 mbar CO) conditions as a function of temperature (473–573 K) and of 440 nm photon flux ((0.1–5.2) × 10 3 # hv Pt site –1 s –1 ) using in situ IR spectroscopy. Steady state CO* coverage on Pt was photon flux dependent with increasing photon flux causing decreasing coverage, consistent with photons driving CO* desorption rates faster than thermal CO* desorption rates. However, photon flux dependent CO* coverages were essentially temperature independent, inconsistent with models that describe photon effects using perturbations to apparent thermal kinetic parameters. Instead, 120 steady state CO* coverages as a function of temperature and photon flux are quantitatively described by a kinetic model in which the overall desorption rate is a summation of independent thermal and photon induced CO* desorption rates. Site-resolved analysis reveals distinct kinetic parameters for photon driven desorption of CO* from well-coordinated, under-coordinated, and highly under-coordinated Pt sites, with temperature-dependent apparent quantum efficiencies (AQE) consistent with temperature dependence of vibrational quanta distribution of adsorbed CO. The rigorous kinetic rate laws for independent photon and thermal driven pathways allow for predictive modeling of the influence of photon fluxes on the rates of CO* desorption under catalytic conditions. Further, the analysis provides evidence that steady state continuous wave photon fluxes can drive desorption/adsorption reactions on metal surfaces out of thermal equilibrium, reconciling surface science observations of molecular photodesorption with applied catalysis. The work establishes a general kinetic framework to be considered for photon driven processes on metals, and defines catalyst, reaction, and photon flux characteristic design principles for breaking Sabatier limitations.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2024

Surface chlorination of IrO2(110) by HCl

The ability to controllably chlorinate metal-oxide surfaces can provide opportunities for designing selective oxidation catalysts. In the present study, we investigated the surface chlorination of IrO2(110) by HCl using temperature programmed reaction spectroscopy (TPRS), x-ray photoelectron spectroscopy (XPS), and density functional theory (DFT) calculations. We find that exposing IrO2(110) to HCl, followed by heating to 650 K in ultrahigh vacuum, produces nearly equal quantities of on-top and bridging Cl atoms on the surface, Clt and Clbr, where the Clbr atoms replace O-atoms that are removed from the surface by H2O formation. After HCl adsorption at 85 K, only H2O desorbs at low Cl coverages during TPRS, but HCl begins to desorb in increasing yields as the Cl coverage is increased above about 0.5 monolayer (ML). The desorption of Cl2 was not observed under any conditions, in good agreement with the high barrier for this reaction predicted by DFT. A maximum Cl coverage of 1 ML, with nearly equal coverages of Clt and Clbr atoms, could be generated by reacting HCl with IrO2(110) in UHV. Our results suggest that a kinetic competition between recombinative HCl and H2O desorption under the conditions studied limits the saturation Cl coverage to a value less than the 2 ML maximum predicted by thermodynamics. XPS further shows that the partitioning of Cl between the Clt and Clbr states can be altered by subjecting partially chlorinated IrO2(110) to reductive or oxidative treatments, demonstrating that the Cl site population can change dynamically in response to the gas environment. Our results provide insights for understanding the chlorination of IrO2(110) by HCl and can enable future experimental studies to determine how Cl-modification alters the surface chemical reactivity of IrO2(110) and potentially enhances selectivity toward partial oxidation chemistry.

Chemistry↗
NASA NTRS1970

Apollo 12 lunar photography, NSSDC ID no. 69-099A-01

Information on the complete set of Apollo 12 photographs is presented to aid the investigator in the selection and interpretation of photographs. Film type and size, magazine, frame numbers, and identifying remarks are given for the 70-mm coverage, S-158 multispectral coverage, 16-mm coverage, and 35-mm stereo coverage. Background information on mission objectives, photographic equipment, and photographic coverage and quality is included.

Anderson, A. T.↗
NASA NTRS1973

Orbit analysis for coastal zone oceanography observations.

A study has been performed to define the orbital characteristics of a satellite dedicated to monitoring the coastal zones of the United States. The primary area of coverage is the east coast with secondary coverage of the west coast. Since no one orbital inclination fits both coasts, the inclination was determined by the east coast to be 63 deg. This inclination was found to give better coverage of the east coast than either its retrograde counterpart or a sun synchronous orbit. The two coasts require quite different orbits to maximize the coverage. The use of a small propulsive maneuver could be used to compromise the coverage between the two coastlines and change from one type orbit to the other.

Harrison, E. F.↗
NASA NTRS1973

Geographic applications of ERTS-1 imagery to landscape change

The author has identified the following significant results. ERTS-1 has proven to be an effective earth-orbiting monitor of landscape change. Its regional coverage for large areal monitoring has been effective for the detection and mapping of agricultural plowing regions, for general forest cover mapping, for flood mapping, for strip mine mapping, and for short-lived precipitation mapping patterns. Paramount to the entire study has been the temporal coverage provided by ERTS. Without the cyclic coverage on an 18 day basis, temporal coverage would have been inadequate for the detection and mapping of strip mining landscape change, the analysis of agricultural landscape change based on plowing patterns, the analysis of urban-suburban growth changes, and the mapping of the Mississippi River floods. Cost benefits from ERTS are unquestionably superior to aircraft systems in regard to large regional coverage and cyclic temporal parameters. For the analysis of landscape change in large regions such as statewide areas or even areas of 10,000 square miles, ERTS is of cost benefit consideration. Not only does the cost of imagery favor ERTS but the reduction of man-hours using ERTS has been in the magnitude of 1:10.

Rehder, J. B.↗
NASA NTRS1979

Trends in reliability modeling technology for fault tolerant systems

Developments in reliability modeling for large fault tolerant avionic computing systems are presented. Issues of state size and complexity, fault coverage, and practical computation are addressed. A two-fold developmental effort is described based on the structural and fault coverage modeling approaches. A technique which was successfully applied to an 865 state pure death stationary Markov model is presented. Of particular interest is a short computer program which executes very quickly to produce reliability results of a large state space model. This model also incorporates fault coverage states for processor, memory, and bus line replaceable units. A second structural reliability modeling scheme is aimed at solving nonstationary Markov models. This technique provides the tool required for studying the reliability of systems with nonconstant failure rates and includes intermittent/transient faults, electronic hardware which exhibits decreasing failure rates, and hydromechanical devices which typically have wearout failure mechanisms. Several aspects of fault coverage, including modeling and data measurement of intermittent/transient faults and latent faults, are elucidated and illustrated. The CARE II (computer-aided reliability estimation) coverage is presented and shortcomings to be eliminated are discussed.

Bavuso, S. J.↗
NASA NTRS1981

Offset fed utilization of four quadrants of an axially symmetrical antenna structure

Theoretical calculations conducted for the use of the hoop column structure were in a quad antenna configuration. The coverage of the US 48 states by a C band Comsat system, which operates in the 3.7 - 4.2 GHz downlink and 5.925 - 6.425 GHz uplink frequency band is considered. This system provides most of its coverage toward major cities (10 or 18 spot beams) and the rest of its coverage on a contiguous basis for the remaining of the country. An alpha = .5 and .3 cell size (approximate component bandwidth) is assumed. Among the practically infinite possible beam topologies one plan for the area coverage and three plans for the spot beam coverage are analyzed.

Foldes, P.↗
NASA NTRS1986

On testing of functionally equivalent components of fault-tolerant software

Six functionally equivalent programs were tested with specification based random and extremal/special value (ESV) test cases. Statement and branch coverage were used to measure and compare the attained testing effectiveness. It was observed that both measures reached a nearly steady state value after 25 to 75 random test cases. Coverage saturation curves appear to follow an exponential growth model. However, the steady state values for branch coverage of different components, but the same input cases, differed by as much as 22 percent. The effect is the result of the differences in the detailed structure of the components. Improvement in coverage provided by the random test data, after the ESV cases were executed, was only about 1 percent. Results indicate that extensive random testing can be a process of diminishing returns, and that in the FTS context functional ('black box') testing can provide a very uneven execution coverage of the functionally equivalent software, and therefore should be supplemented by structure based testing.

Vouk, Mladen A.↗
NASA NTRS2008

Automatic Testcase Generation for Flight Software

The TacSat3 project is applying Integrated Systems Health Management (ISHM) technologies to an Air Force spacecraft for operational evaluation in space. The experiment will demonstrate the effectiveness and cost of ISHM and vehicle systems management (VSM) technologies through onboard operation for extended periods. We present two approaches to automatic testcase generation for ISHM: 1) A blackbox approach that views the system as a blackbox, and uses a grammar-based specification of the system's inputs to automatically generate *all* inputs that satisfy the specifications (up to prespecified limits); these inputs are then used to exercise the system. 2) A whitebox approach that performs analysis and testcase generation directly on a representation of the internal behaviour of the system under test. The enabling technologies for both these approaches are model checking and symbolic execution, as implemented in the Ames' Java PathFinder (JPF) tool suite. Model checking is an automated technique for software verification. Unlike simulation and testing which check only some of the system executions and therefore may miss errors, model checking exhaustively explores all possible executions. Symbolic execution evaluates programs with symbolic rather than concrete values and represents variable values as symbolic expressions. We are applying the blackbox approach to generating input scripts for the Spacecraft Command Language (SCL) from Interface and Control Systems. SCL is an embedded interpreter for controlling spacecraft systems. TacSat3 will be using SCL as the controller for its ISHM systems. We translated the SCL grammar into a program that outputs scripts conforming to the grammars. Running JPF on this program generates all legal input scripts up to a prespecified size. Script generation can also be targeted to specific parts of the grammar of interest to the developers. These scripts are then fed to the SCL Executive. ICS's in-house coverage tools will be run to measure code coverage. Because the scripts exercise all parts of the grammar, we expect them to provide high code coverage. This blackbox approach is suitable for systems for which we do not have access to the source code. We are applying whitebox test generation to the Spacecraft Health INference Engine (SHINE) that is part of the ISHM system. In TacSat3, SHINE will execute an on-board knowledge base for fault detection and diagnosis. SHINE converts its knowledge base into optimized C code which runs onboard TacSat3. SHINE can translate its rules into an intermediate representation (Java) suitable for analysis with JPF. JPF will analyze SHINE's Java output using symbolic execution, producing testcases that can provide either complete or directed coverage of the code. Automatically generated test suites can provide full code coverage and be quickly regenerated when code changes. Because our tools analyze executable code, they fully cover the delivered code, not just models of the code. This approach also provides a way to generate tests that exercise specific sections of code under specific preconditions. This capability gives us more focused testing of specific sections of code.

Bushnell, David Henry↗
NASA NTRS2008

Automated Generation and Assessment of Autonomous Systems Test Cases

This slide presentation reviews some of the issues concerning verification and validation testing of autonomous spacecraft routinely culminates in the exploration of anomalous or faulted mission-like scenarios using the work involved during the Dawn mission's tests as examples. Prioritizing which scenarios to develop usually comes down to focusing on the most vulnerable areas and ensuring the best return on investment of test time. Rules-of-thumb strategies often come into play, such as injecting applicable anomalies prior to, during, and after system state changes; or, creating cases that ensure good safety-net algorithm coverage. Although experience and judgment in test selection can lead to high levels of confidence about the majority of a system's autonomy, it's likely that important test cases are overlooked. One method to fill in potential test coverage gaps is to automatically generate and execute test cases using algorithms that ensure desirable properties about the coverage. For example, generate cases for all possible fault monitors, and across all state change boundaries. Of course, the scope of coverage is determined by the test environment capabilities, where a faster-than-real-time, high-fidelity, software-only simulation would allow the broadest coverage. Even real-time systems that can be replicated and run in parallel, and that have reliable set-up and operations features provide an excellent resource for automated testing. Making detailed predictions for the outcome of such tests can be difficult, and when algorithmic means are employed to produce hundreds or even thousands of cases, generating predicts individually is impractical, and generating predicts with tools requires executable models of the design and environment that themselves require a complete test program. Therefore, evaluating the results of large number of mission scenario tests poses special challenges. A good approach to address this problem is to automatically score the results based on a range of metrics. Although the specific means of scoring depends highly on the application, the use of formal scoring - metrics has high value in identifying and prioritizing anomalies, and in presenting an overall picture of the state of the test program. In this paper we present a case study based on automatic generation and assessment of faulted test runs for the Dawn mission, and discuss its role in optimizing the allocation of resources for completing the test program.

Testing challenges↗