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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
NASA NTRS1989

Coverage modeling for dependability analysis of fault-tolerant systems

Several different models for predicting coverage in a fault-tolerant system, including models for permanent, intermittent, and transient errors, are discussed. Markov, semi-Markov, nonhomogeneous Markov, and extended stochastic Petri net models for computing coverage are developed. Two types of events that interfere with recovery are examined; and methods for modeling such events, whether they are deterministic or random, are given. The sensitivity of system reliability/availability to the coverage parameter and the sensitivity of the coverage parameter to various error-handling strategies are investigated. It is found that a policy of attempting transient recovery upon detection of an error can actually increase the unreliability of the system. This result is true if the error detectability is not nearly perfect, so that the risk of producing an undetectable error is greater than the benefit gained by not discarding the component.

Dugan, Joanne Bechta↗
NASA NTRS1993

Automating test case generation for coverages required by FAA standard DO-178B

Coverage testing techniques are required by the FAA for various levels of subsystem criticality at the unit testing level. Higher levels of criticality require coverage schemes that frequently require more and more test cases, particularly when the number of conditions in a decision grows. For example, if we have a decision with n conditions of the form: if (/ci/ or /c2/ or .... or /cn/) then there are 2(n) possible combinations of condition outcomes. Given the enormous number of inputs that may be required to satisfy different coverages, and given that there are no automated tools for determining these inputs (to our knowledge), we will show how one alternative testing technique, mutation testing, can be coerced into generating inputs that satisfy a code coverage scheme X, i.e., if we modify the rules for mutant generation during mutation testing, this technique will provide test cases that satisfy X.

Voas, Jeffrey M.↗
NASA NTRS1995

Is coverage a factor in non-Gaussianity of IMF parameters?

Recently, Feynman and Ruzmaikin (1994) showed that IMF parameters for the 1973 to 1990 period are not log-normally distributed as previously suggested by Burlaga and King (1979) for the data obtained over a shorter time period (1963-75). They studied the first four moments, namely: mean, variance, skewness, and kurtosis. For a Gaussian distribution, moments higher than the variance should vanish. In particular, Feynman and Ruzmaikin obtained very high values of kurtosis during some periods of their analysis. We note that the coverage for IMF parameters is very uneven for the period analyzed by them, ranging from less than 40% to greater than 80%. So a question arises as to whether the amount of coverage is a factor in their analysis. We decided to test this for the B(sub z) component of IMF, since it is an effective geoactive parameter for short term disturbances. Like them, we used 1-hour averaged data available on the Omnitape. We studied the scatter plots of the annual mean values of B(sub z)(nT) and its kurtosis versus the percent coverage for the year. We obtain a correlation coefficient of 0.48 and 0.42 respectively for the 1973-90 period. The probability for a chance occurrence of these correlation coefficients for 18 pair of points is less than 8%. As a rough measure of skewness, we determined the percent asymmetry between the areas of the histograms representing the distributions of the positive and the negative values of B(sub z) and studied its correlation with the coverage for the year. This analysis yields a correlation coefficient of 0.41 When we extended the analysis for the whole period for which IMF data are available (1963-93) the corresponding correlation coefficients are 0.59, 0.14, and 0.42. Our findings will be presented and discussed

Ahluwalia, H. S.↗
NASA NTRS1997

Constellation Coverage Analysis

The design of satellite constellations requires an understanding of the dynamic global coverage provided by the constellations. Even for a small constellation with a simple circular orbit propagator, the combinatorial nature of the analysis frequently renders the problem intractable. Particularly for the initial design phase where the orbital parameters are still fluid and undetermined, the coverage information is crucial to evaluate the performance of the constellation design. We have developed a fast and simple algorithm for determining the global constellation coverage dynamically using image processing techniques. This approach provides a fast, powerful and simple method for the analysis of global constellation coverage.

Martin W. Lo↗
NASA NTRS2001

A Practical Tutorial on Modified Condition/Decision Coverage

This tutorial provides a practical approach to assessing modified condition/decision coverage (MC/DC) for aviation software products that must comply with regulatory guidance for DO-178B level A software. The tutorial's approach to MC/DC is a 5-step process that allows a certification authority or verification analyst to evaluate MC/DC claims without the aid of a coverage tool. In addition to the MC/DC approach, the tutorial addresses factors to consider in selecting and qualifying a structural coverage analysis tool, tips for reviewing life cycle data related to MC/DC, and pitfalls common to structural coverage analysis.

Hayhurst, Kelly J.↗
NASA NTRS2001

Coverage Metrics for Model Checking

When using model checking to verify programs in practice, it is not usually possible to achieve complete coverage of the system. In this position paper we describe ongoing research within the Automated Software Engineering group at NASA Ames on the use of test coverage metrics to measure partial coverage and provide heuristic guidance for program model checking. We are specifically interested in applying and developing coverage metrics for concurrent programs that might be used to support certification of next generation avionics software.

Penix, John↗
NASA NTRS2002

Global Precipitation Measurement - Report 9 Core Coverage Trade Space Analysis

This paper summarizes the GPM-Core coverage trade space analysis. The goal of this analysis was to determine the GPM-Core sensitivity to changes in altitude and inclination for the three onboard instruments: the radiometer, the KU band radar and the KA band radar. This study will enable a better choice of the nominal GPM-Core orbit as well as the optimal size of the maintenance box (+/-1 km, +/-5 km..). For this work, we used two different figures-of-merit: (1) the time required to cover 100% of the +/-65 deg latitude band and (2) the coverage obtained for a given propagation time (7 days and 30 days). The first figure-of-merit is used for the radiometer as it has a sensor cone half-angle between 3 to 5 times bigger than the radars. Thus, we anticipate that for this instrument the period of the orbit (i.e. altitude) will be the main driver and that the 100% coverage value will be reached within less than a week. The second figure-of-merit is used for the radar instruments as they have small sensor cone half-angle and will, in some cases, never reach the 100% coverage threshold point.

Mailhe, Laurie↗
NASA NTRS2009

Space Shuttle Communications Coverage Analysis for Thermal Tile Inspection

The space shuttle ultra-high frequency Space-to-Space Communication System has to provide adequate communication coverage for astronauts who are performing thermal tile inspection and repair on the underside of the space shuttle orbiter (SSO). Careful planning and quantitative assessment are necessary to ensure successful system operations and mission safety in this work environment. This study assesses communication systems performance for astronauts who are working in the underside, non-line-of-sight shadow region on the space shuttle. All of the space shuttle and International Space Station (ISS) transmitting antennas are blocked by the SSO structure. To ensure communication coverage at planned inspection worksites, the signal strength and link margin between the SSO/ISS antennas and the extravehicular activity astronauts, whose line-of-sight is blocked by vehicle structure, was analyzed. Investigations were performed using rigorous computational electromagnetic modeling techniques. Signal strength was obtained by computing the reflected and diffracted fields along the signal propagation paths between transmitting and receiving antennas. Radio frequency (RF) coverage was determined for thermal tile inspection and repair missions using the results of this computation. Analysis results from this paper are important in formulating the limits on reliable communication range and RF coverage at planned underside inspection and repair worksites.

Kroll, Quin D.↗
NASA NTRS2007

Spatial Coverage Planning for Exploration Robots

A report discusses an algorithm for an onboard planning and execution technology to support the exploration and characterization of geological features by autonomous rovers. A rover that is capable of deciding which observations are more important relieves the engineering team from much of the burden of attempting to make accurate predictions of what the available rover resources will be in the future. Instead, the science and engineering teams can uplink a set of observation requests that may potentially oversubscribe resources and let the rover use observation priorities and its current assessment of available resources to make decisions about which observations to perform and when to perform them. The algorithm gives the rover the ability to model spatial coverage quality based on data from different scientific instruments, to assess the impact of terrain on coverage quality, to incorporate user-defined priorities among subregions of the terrain to be covered, and to update coverage quality rankings of observations when terrain knowledge changes. When the rover is exploring large geographical features such as craters, channels, or boundaries between two different regions, an important factor in assessing the quality of a mission plan is how the set of chosen observations spatially cover the area of interest. The algorithm allows the rover to evaluate which observation to perform and to what extent the candidate observation will increase the spatial coverage of the plan.

Gaines, Daniel↗
NASA NTRS2012

Assessment of DSN Communication Coverage for Space Missions to Potentially Hazardous Asteroids

A communication coverage gap exists for Deep Space Network (DSN) antennas. This communication coverage gap is on the southern hemisphere, centered at approximate latitude of -47deg and longitude of -45deg. The area of this communication gap varies depending on the altitude from the Earth s surface. There are no current planetary space missions that fall within the DSN communication gap because planetary bodies in the Solar system lie near the ecliptic plane. However, some asteroids orbits are not confined to the ecliptic plane. In recent years, Potentially Hazardous Asteroids (PHAs) have passed within 100,000 km of the Earth. NASA s future space exploration goals include a manned mission to asteroids. It is important to ensure reliable and redundant communication coverage/capabilities for manned space missions to dangerous asteroids that make a sequence of close Earth encounters. In this paper, we will describe simulations performed to determine whether near-Earth objects (NEO) that have been classified as PHAs fall within the DSN communication coverage gap. In the study, we reviewed literature for a number of PHAs, generated binary ephemeris for selected PHAs using JPL s HORIZONS tool, and created their trajectories using Satellite Took Kit (STK). The results show that some of the PHAs fall within DSN communication coverage gap. This paper presents the simulation results and our analyses

Kegege, Obadiah↗
NASA NTRS2014

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Symbolic execution is a program analysis technique that is used for many purposes, one of which is test-case generation. For loop-free programs, this generates a test-set that achieves path coverage. Program loops, however, imply exponential growth of the number of paths in the best case and non-termination in the worst case. In practice, the number of loop unwindings needs to be bounded for analysis. We consider symbolic execution in the context of the tool Symbolic Pathfinder. This tool extends the model-checker Java Pathfinder and relies on its bounded state-space exploration for termination. We present an implementation of k-bounded loop unwinding, which increases the amount of user-control over the symbolic execution of loops. Bounded unwinding can be viewed as a naive way to prune paths through loops. When using symbolic execution for test-case generation, naively pruning paths is likely at the cost of coverage. In order to improve coverage of branches within a loop body, we present a technique that semi-automatically concretizes variables used in a loop. The basic technique is limited and we therefore present annotations to manually steer symbolic execution towards certain branches, as well as ideas on how the technique can be extended to be more widely applicable.

Programs With Loops↗
NASA NTRSDate not supplied

Determination of Percent Area Coverage of Lunar Simulant on a Surface and Observations of Fairy Castle Structures

With NASA’s goal of returning humans to the Moon, it has become increasingly important to understand the impact of lunar regolith on spacecraft systems. The ability to measure the level of dust coverage on a surface is essential. Developing an accurate technique to determine percent area coverage is challenging due to the unique and complex layering of the dust particles on the surface, creating fairy castle structures that form complex towers, bridges, and buttresses using the smallest of dust particles as building blocks. For this study, these structures have been simulated using a unique dust distributor device and imaged with a scanning electron microscope. The results show the dusted surface’s complex topology, thus demonstrating the difficulty with determining the percent area of dust coverage. Implications for dust buildup on spacecraft, even at the microscopic level, can include degraded heat transfer and altered optical properties, making continuation of this research critical to support future human exploration of the Moon.

lunar dust↗
NASA NTRSDate not supplied

Lunar Dust level sensor & Effects on Surfaces (LDES): Percent Area Coverage of Lunar Simulant on a Surface and Fairy Castle Structures

With NASA’s goal of returning humans to the Moon, it has become increasingly important to understand the impact of lunar regolith on spacecraft systems. The ability to measure the level of dust coverage on a surface is essential. Developing an accurate technique to determine percent area coverage is challenging due to the unique and complex layering of the dust particles on the surface, creating fairy castle structures that form complex towers, bridges, and buttresses using the smallest of dust particles as building blocks. For this study, these structures have been simulated using a unique dust distributor device and imaged with a scanning electron microscope. The results show the dusted surface’s complex topology, thus demonstrating the difficulty with determining the percent area of dust coverage. Implications for dust buildup on spacecraft, even at the microscopic level, can include degraded heat transfer and altered optical properties, making continuation of this research critical to support future human exploration of the Moon.

percent area coverage↗
DOE OSTI2025

Deposition-Dependent Coverage and Performance of Phosphonic Acid Interface Modifiers in Halide Perovskite Optoelectronics

In this work, we study the effect of various deposition methods for phosphonic acid interface modifiers commonly pursued as self-assembled monolayers in high-performance metal halide perovskite photovoltaics and light-emitting diodes. We compare the deposition of (2-(3,6-diiodo-9H-carbazol-9-yl)ethyl)phosphonic acid onto indium tin oxide (ITO) bottom contacts by varying three parameters: the method of deposition, specifically spin coating or prolonged dip coating; ITO surface treatment via HCl/FeCl3 etching; and use in combination with a second modifier, 1,6-hexylenediphosphonic acid. We demonstrate that varying these modification protocols can impact time-resolved photoluminescence carrier lifetimes and quasi-Fermi level splitting of perovskite films deposited onto the phosphonic acid-modified ITO. Ultraviolet photoelectron spectroscopy shows an increase in the effective work function after phosphonic acid modification and clear evidence for photoemission from carbazole functional groups at the ITO surface. We used X-ray photoelectron spectroscopy to probe differences in phosphonic acid coverage on the metal oxide contact and show that perovskite samples grown on ITO with the highest phosphonic acid coverage exhibit the longest carrier lifetimes. Finally, we establish that device performance follows these same trends. These results indicate that the reactivity, heterogeneity, and composition of the bottom contact help to control recombination rates and therefore power conversion efficiencies. ITO etching, prolonged deposition times for phosphonic acids via dip coating, and the use of a secondary, more hydrophilic bisphosphonic acid all contribute to improvements in surface coverage, carrier lifetime, and device efficiency. Furthermore, these improvements each have a positive impact, and we achieve the best results when all three strategies are implemented.

contact engineering↗
DOE OSTI2026

Adsorption of CO on gold: effect of coverage and surface deformations

Recent insights into the nature of catalysts under reactive conditions have motivated investigating heterogeneously catalyzed reactions with non-rigid surfaces. As an example system to revisit, CO interactions with gold have been a longstanding system of interest due to its structure sensitivity. In this work, we investigate coverage-dependent CO adsorption trends on terraces, steps, and kinks. Calculating differential binding energy and mean absolute displacement of the atomic structures as a function of CO coverage, we propose a deformation quenching mechanism that partially determines CO saturation coverage. Extending this analysis to consider CO partial pressure, we show a phase change in CO step occupation, which we highlight as a possible explanation for previously reported temperature-programmed desorption and Fourier-transform infrared reflection-absorption spectroscopy measurements. Furthermore, this work shows how adopting a non-rigid surface model can lead to additional insights which may be applied to other heterogeneously catalyzed systems.

Kavalsky, Lance [University of Wisconsin-Madison, ↗
DOE OSTI2026

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics

Context: Scientific open-source software (SciOSS) plays a foundational role in research and engineering, yet its long-term sustainability has often been overlooked and remains a significant concern. Objective: This study investigates the long-term sustainability of SciOSS through code and test quality metrics. Method: We analyze CASS Software Portfolio projects, classifying them by sustainability and comparing their code structure, test coverage, and links between code quality and testing across the dataset. Results: Sustainable projects show higher, more consistent test coverage and clearer code-test correlations, while unsustainable ones show weaker patterns. Overall, test coverage is low in scientific software, and high complexity and coupling reduce testability. Conclusion: In this study, we present a practical, data-driven approach for assessing sustainability in scientific software, offering a foundation for evaluating long-term software health and supporting future efforts in quality assurance and sustainability monitoring.

Md mushfiqur rahman, Sheikh [University of Tenness↗
NASA NTRS1975

Quantization and symmetry in periodic coverage patterns with applications to earth observation

The general orbit-coverage problem in a simplified physical model is investigated by application of numerical approaches derived from basic number theory. A system of basic and general properties is defined by which idealized periodic coverage patterns may be characterized, classified, and delineated. The principal common features of these coverage patterns are their longitudinal quantization, determined by the revolution number R, and their overall symmetry.

King, J. C.↗
NASA NTRS1984

Origin of the coverage-dependent vibrational shift for O on Ni(100)

The p(2 x 2) and c(2 x 2) coverages of O on Ni(100) are studied with a cluster model. The p(2 x 2) coverge is modeled by the addition of a single O at a fourfold site. The c(2 x 2) is modeled by the explicit inclusion of four additional O atoms. Consistent with electron-energy-loss spectroscopy results, the O-Ni vibration is 85/cm lower for the c(2 x 2) cluster than for the p(2 x 2). The height of O above the surface is 11 pm smaller for the c(2 x 2) coverage. The nature of the O-to-Ni bonding is similar for both coverages.

Bauschlicher, C. W., Jr.↗