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.

SourceResearch connectionFrom yearThrough year

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

At least 469 records · Page 26

All sources NASA NTRS DOE OSTI

NASA NTRS1992

Seawifs Technical Report Series. Volume 2: Analysis of Orbit Selection for Seawifs: Ascending Versus Descending Node

Due to range safety considerations, the Sea-viewing Wide Field-of-view Sensor (SeaWiFS) ocean color instrument may be required to be launched into a near-noon descending node, as opposed to the ascending node used by the predecessor sensor, the Coastal Zone Color Scanner (CZCS). The relative importance of ascending versus descending near-noon orbits was assessed here to determine if descending node will meet the scientific requirements of SeaWiFS. Analyses focused on ground coverage, local times of coverage, solar and viewing geometries (zenith and azimuth angles), and sun glint. Differences were found in the areas covered by individual orbits, but were not important when taken over a 16 day repeat time. Local time of coverage was also different: for ascending node orbits the Northern Hemisphere was observed in the morning and the Southern Hemisphere in the afternoon, while for descending node orbits the Northern Hemisphere was observed in the afternoon and the Southern in the morning. There were substantial differences in solar azimuth and spacecraft azimuth angles both at equinox and at the Northern Hemisphere summer solstice. Negligible differences in solar and spacecraft zenith angles, relative azimuth angles, and sun glint were obtained at the equinox. However, large differences were found in solar zenith angles, relative azimuths, and sun glint for the solstice. These differences appeared to compensate across the scan, however, an increase in sun glint in descending node over that in ascending node on the western part of the scan was compensated by a decrease on the eastern part of the scan. Thus, no advantage or disadvantage could be conferred upon either ascending node or descending node for noon orbits. Analyses were also performed for ascending and descending node orbits that deviated from a noon equator crossing time. For ascending node, afternoon orbits produced the lowest mean solar zenith angles in the Northern Hemisphere, and morning orbits produced the lowest angles for the Southern Hemisphere. For descending node, morning orbits produced the lowest mean solar zenith angles for the Northern Hemisphere; afternoon orbits produced the lowest angles for the Southern Hemisphere.

Hooker, Stanford B.↗

NASA NTRS1985

Tropical upper tropospheric motion field

Upper tropospheric cloud motion vectors and commercial aircraft wind reports have enabled a detailed definition of the motion field. These two data sets have enhanced our observational capability since the launch of 4 to 5 geostationary satellites around the globe and the implementation of the ASDAR program. A sample is illustrated of recent commercial aircraft wind reports at the 300, 250, and 200 mb surfaces over parts of the Pacific Ocean, North America, and Atlantic Ocean. This data coverage is impressive. The rms difference between these data and those obtained from rawinsonde ascents (colocated) is around + or - 4 m/s. In a recent study of the cloud winds, from geostationary satellites, Johnson (1984) noted almost 15 m/s vector wind differences between estimates from GMS, GOES, and METEOSAT with respect to the rawinsonde observations. These results are illustrated based on the assessment of Johnson (1984). Overall, the commercial aircraft winds are the more accurate of these two observing systems. However, it is apparent that because of the sparcity of airline routes across southern oceans, one has to rely rather heavily on the cloud winds as a primary data source over the tropical southern oceans. The operational rawinsonde coverage over the tropics is generally very poor. The overall data coverage based primarily on the collections at the ECWMF are shown.

Krishnamurti, T. N.↗

NASA NTRS1990

Planetary astronomy of Mars. Mars data reduction

Grant #NAGW-1408 was specifically awarded to obtain telescopic visible and near-IR spectral imaging of Mars during the 1988 apparition (9/28/88). The observing program was highly successful producing approximately 2 Gbytes of data, but was only funded for one year and virtually all of the funds were spent in data acquisition. The follow-up grant was funded the following year for reduction of these data into a scientifically productive form, which because of the size and nature of our observations, was a non-trivial task. A more detailed scientific analysis of these data (fully reduced) is in progress now and will take a number of years. Extended geologic analyses of the astronomical data are being funded by the NASA Planetary Geology and Geophysics program. The objective was to produce detailed reflectance spectra for contiguous, spatially resolved surface elements covering most of the planet (about +50 degrees to -90 degrees latitude, all longitudes). A total of 6 observing runs, of 3-4 days duration each, were conducted on the University of Arizona's 1.5m telescope on Mt. Bigelow. We present a sketch map showing the approximate total extent of our spectral image coverage. Nearly all of Mars south of 40 degrees N was observed at least once. About half of the area shown was observed multiple times. South of 65 degrees S, including the south polar cap, our coverage is heavily redundant. The first run was conducted June 29 - July 1, 1988 (all dates are UT) to serve as a baseline prior to possible dust storm activity on Mars. The other observing runs were closer to opposition: Sept. 3-6, 13-15, 24-26, and Oct. 5-7 and 16-18. The September and October observations were scheduled to provide maximum longitudinal coverage. This was also intended to provide a balance between surface observations and observations of predicted dust storm activity. No global dust storm developed in 1988, so we have a large volume of data for the surface of Mars.

Singer, Robert B.↗

NASA NTRS1993

Global Magellan-image map of Venus at full resolution

During its first 243-day mapping cycle, the Magellan spacecraft succeeded in imaging 84 percent of the surface of Venus at resolutions on the order of 100 meters; subsequent cycles have increased the total coverage to over 97 percent and provided redundant coverage of much of the planet with differing viewing geometries. Unfortunately, this full-resolution global dataset is in the form of thousands of individual orbit tracks (F-BIDR's) whose length-to-width ratio of nearly 1000:1 makes them minimally useful unless mosaicked. The Magellan project produced full-resolution mosaics (F-MIDR's) only for selected regions on the planet, whereas a global set of mosaics was made only at threefold degraded resolution (C1-MIDR's). Furthermore, although the F-MIDR's, which are approximately equidimensional, are much better suited for scientific interpretation than the F-BIDR's, they are still an unwieldy dataset: over 1500 quadrangles, each showing a region only about 600 km on a side, would be required to cover the entire planet. The USGS has therefore undertaken to produce and distribute a global, full resolution set of mosaics of the Magellan image data in a format that will be efficient for both hardcopy and digital use. The initial motivation was that it would provide an efficient means of verifying the integrity of the F-BIDR's to be archived on computer-compatible tape at the USGS Flagstaff facility. However, the resulting product, known as the FMAP, should also serve as an important resource for future scientific interpretation. It will offer several advantages beyond global coverage at full resolution. The first, alluded to above, is its division of the planet's surface to minimize the number of quadrangles and maximize their area, subject to the limits on the number of pixels imposed by state-of-the-art digital recording media and hardcopy output devices. The second, the use of improved 'cosmetic' processing techniques, will greatly reduce tonal discontinuities between component F-BIDR's in the FMAP compared to the standard Magellan mosaic products. Finally, wherever possible, the FMAP will incorporate data that were unavailable (e.g., because of processing delays) when the standard MIDR products were created, as well as data that were reprocessed to improve their radiometric or geometric quality.

Kirk, R. L.↗

NASA NTRS1993

Optimizing space constellations for mobile satellite systems

Designing a mobile satellite system entails many complex trade-offs between a great number of parameters including: capacity, complexity of the payload, constellation geometry, number of satellites, quality of coverage, etc. This paper aims at defining a methodology which tries to split the variables to give rapidly some first results. The major input considered is the traffic assumption which would be offered by the system. A first key step is the choice of the best Rider or Walker constellation geometries - with different numbers of satellites - to insure a good quality of coverage over a selected service area. Another aspect to be addressed is the possible altitude location of the constellation, since it is limited by many constraints. The altitude ranges that seem appropriate considering the spatial environment, the launch and orbit keeping policy and the feasibility of the antenna allowing sufficient frequency reuse are briefly analyzed. To support these first considerations, some 'reference constellations' with similar coverage quality are chosen. The in-orbit capacity needed to support the assumed traffic is computed versus altitude. Finally, the exact number of satellite is determined. It comes as an optimum between a small number of satellites offering a high (and costly) power margin in bad propagation situation and a great number of less powerful satellites granting the same quality of service.

Roussel, T.↗

NASA NTRS1993

Low earth orbit satellite/terrestrial mobile service compatibility

Digital cellular mobile 'second generation' systems are now gradually being introduced into service; one such example is GSM, which will provide a digital voice and data service throughout Europe. Total coverage is not expected to be achieved until the mid '90's, which has resulted in several proposals for the integration of GSM with a geostationary satellite service. Unfortunately, because terrestrial and space systems have been designed to optimize their performance for their particular environment, integration between a satellite and terrestrial system is unlikely to develop further than the satellite providing a back-up service. This lack of system compatibility is now being addressed by system designers of third generation systems. The next generation of mobile systems, referred to as FPLMTS (future public land mobile telecommunication systems) by CCIR and UMTS (universal mobile telecommunication system) in European research programs, are intended to provide inexpensive, hand-held terminals that can operate in either satellite, cellular, or cordless environments. This poses several challenges for system designers, not least in terms of the choice of multiple access technique and power requirements. Satellite mobile services have been dominated by the geostationary orbital type. Recently, however, a number of low earth orbit configurations have been proposed, for example Iridium. These systems are likely to be fully operational by the turn of the century, in time for the implementation of FPLMTS. The developments in LEO mobile satellite service technology were recognized at WARC-92 with the allocation of specific frequency bands for 'big' LEO's, as well as a frequency allocation for FPLMTS which included a specific satellite allocation. When considering integrating a space service into the terrestrial network, LEO's certainly appear to have their attractions: they can provide global coverage, the round trip delay is of the order of tens of milliseconds, and good visibility to the satellite is usually possible. This has resulted in their detailed investigation in the European COST 227 program and in the work program of the European Telecommunications Standards Institute (ETSI). This paper will consider the system implications of integrating a LEO mobile service with a terrestrial service. Results will be presented from simulation software to show how a particular orbital configuration affects the performance of the system in terms of area coverage and visibility to a terminal for various locations and minimum elevation angle. Possible network topologies are then proposed for an integrated satellite/terrestrial network.

Sheriff, R. E.↗

NASA NTRS1994

High degree gravitational sensitivity from Mars orbiters for the GMM-1 gravity model

Orbital sensitivity of the gravity field for high degree terms (greater than 30) is analyzed on satellites employed in a Goddard Mars Model GMM-1, complete in spherical harmonics through degree and order 50. The model is obtained from S-band Doppler data on Mariner 9 (M9), Viking Orbiter 1 (VO1), and Viking Orbiter 2 (VO2) spacecraft, which were tracked by the NASA Deep Space Network on seven different highly eccentric orbits. The main sensitivity of the high degree terms is obtained from the VO1 and VO2 low orbits (300 km periapsis altitude), where significant spectral sensitivity is seen for all degrees out through degree 50. The velocity perturbations show a dominant effect at periapsis and significant effects out beyond the semi-latus rectum covering over 180 degrees of the orbital groundtrack for the low altitude orbits. Because of the wideband of periapsis motion covering nearly 180 degrees in w and +39 degrees in latitude coverage, the VO1 300 km periapsis altitude orbit with inclination of 39 degrees gave the dominant sensitivity in the GMM-1 solution for the high degree terms. Although the VO2 low periapsis orbit has a smaller band of periapsis mapping coverage, it strongly complements the VO1 orbit sensitivity for the GMM-1 solution with Doppler tracking coverage over a different inclination of 80 degrees.

Lerch, F. J.↗

NASA NTRS1993

A quantitative analysis of the F18 flight control system

This paper presents an informal quantitative analysis of the F18 flight control system (FCS). The analysis technique combines a coverage model with a fault tree model. To demonstrate the method's extensive capabilities, we replace the fault tree with a digraph model of the F18 FCS, the only model available to us. The substitution shows that while digraphs have primarily been used for qualitative analysis, they can also be used for quantitative analysis. Based on our assumptions and the particular failure rates assigned to the F18 FCS components, we show that coverage does have a significant effect on the system's reliability and thus it is important to include coverage in the reliability analysis.

Doyle, Stacy A.↗

NASA NTRS1994

The Global Precipitation Climatology Project: First Algorithm Intercomparison Project

The Global Precipitation Climatology Project (GPCP) was established by the World Climate Research Program to produce global analyses of the area- and time-averaged precipitation for use in climate research. To achieve the required spatial coverage, the GPCP uses simple rainfall estimates derived from IR and microwave satellite observations. In this paper, we describe the GPCP and its first Algorithm Intercomparison Project (AIP/1), which compared a variety of rainfall estimates derived from Geostationary Meteorological Satellite visible and IR observations and Special Sensor Microwave/Imager (SSM/I) microwave observations with rainfall derived from a combination of radar and raingage data over the Japanese islands and the adjacent ocean regions during the June and mid-July through mid-August periods of 1989. To investigate potential improvements in the use of satellite IR data for the estimation of large-scale rainfall for the GPCP, the relationship between rainfall and the fractional coverage of cold clouds in the AIP/1 dataset is examined. Linear regressions between fractional coverage and rainfall are analyzed for a number of latitude-longitude areas and for a range of averaging times. The results show distinct differences in the character of the relationship for different portions of the area. These results suggest that the simple IR-based estimation technique currently used in the GPCP can be used to estimate rainfall for global tropical and subtropical areas, provided that a method for adjusting the proportional coefficient for varying areas and seasons can be determined.

Arkin, Phillip A.↗

NASA NTRS1995

The observed North-South Asymmetry of IMF spiral

We appraise the finding, reported in the literature, that a small but finite north-south asymmetry (NSA) exists in the interplanetary magnetic field (IMF) spiral at Earth's orbit. We have analyzed the data available on the Omnitape for the 1963 to 1993 period. The coverage is very uneven, ranging from less than 40% to greater than 80%. The magnitude of NSA fluctuates considerably during the period of our analysis. This is true even if one considers the period 1967 to 1982 when the coverage is greater than 50%. The values of NSA derived from 27-day averages of the hourly data points range from greater than +50 deg to less than -40 deg. If one arranges the data according to the magnetic polarity epochs of the solar polar field, the epoch averages gives the magnitude of NSA less than approximately 2 deg. This is also true, if one considers the average magnitude of NSA for the 1965 to 1993 period, when the coverage is greater than 25%. A genuine, persistent, NSA of IMF spiral is likely to affect the cosmic ray modulation, on either side of the current sheet, by introducing a corresponding change in the radial diffusion coefficient of energetic particle transport in the heliosphere. The annual mean values of the observed NSA of IMF spiral are compared with the observed off-ecliptic contributions to cosmic ray modulation.

Ahluwalia, H. S.↗

NASA NTRS1998

Variability of Arctic Sea Ice as Viewed from Space

Over the past 20 years, satellite passive-microwave radiometry has provided a marvelous means for obtaining information about the variability of the Arctic sea ice cover and particularly about sea ice concentrations (% areal coverages) and from them ice extents and the lengths of the sea ice season. This ability derives from the sharp contrast between the microwave emissions of sea ice versus liquid water and allows routine monitoring of the vast Arctic sea ice cover, which typically varies in extent from a minimum of about 8,000,000 sq km in September to a maximum of about 15,000,000 sq km in March, the latter value being over 1.5 times the area of either the United States or Canada. The vast Arctic ice cover has many impacts, including hindering heat, mass, and y momentum exchanges between the oceans and the atmosphere, reducing the amount of solar radiation absorbed at the Earth's surface, affecting freshwater transports and ocean circulation, and serving as a vital surface for many species of polar animals. These direct impacts also lead to indirect impacts, including effects on local and perhaps global atmospheric temperatures, effects that are being examined in general circulation modeling studies, where preliminary results indicate that changes on the order of a few percent sea ice concentration can lead to temperature changes of 1 K or greater even in local areas outside of the sea ice region. Satellite passive-microwave data for November 1978 through December 1996 reveal marked regional and interannual variabilities in both the ice extents and the lengths of the sea ice season, as well as some statistically significant trends. For the north polar ice cover as a whole, maximum ice extents varied over a range of 14,700,000 - 15,900,000 km(2), while individual regions showed much greater percentage variations, e.g., with the Greenland Sea experiencing a range of 740,000 - 1,1110,000 km(2) in its yearly maximum ice coverage. Although variations from year to year and region to region are large, overall the Arctic ice extents did show a statistically significant, 2.8%/ decade negative trend over the 18.2-year period. Ice season lengths, which vary from only a few weeks near the ice margins to the full year in the large region of perennial ice coverage, also experienced interannual variability, and mapping their trends allows detailed geographic information on exactly where the ice season lengthened and where it shortened. Over the 18 years, ice season lengthening occurred predominantly in the western hemisphere and was strongest in the western Labrador Sea, while ice season shortening occurred predominantly in the eastern hemisphere and was strongest in the eastern Barents Sea. Much information about other important Arctic sea ice variables has also been obtained from satellite data, including information about melt ponding, temperature, snow cover, and ice velocities. For instance, maps of ice velocities have now been made from satellite scatterometry data, including information about melt ponding, temperature, snow cover, and ice velocities.

Parkinson, Claire L.↗

NASA NTRS1999

Mars Global Surveyor Thermal Emission Spectrometer (TES) Observations of Dust Opacity During Aerobraking and Science Phasing

The Mars Global Surveyor (MGS) arrived at Mars in September 1997 near Mars southern spring equinox and has now provided monitoring of conditions in the Mars atmosphere for more than half a Mars year. The large majority of the spectra taken by the Thermal Emission Spectrometer (TES) are in a nadir geometry (downward looking mode) where Mars is observed through the atmosphere. Most of these contain the distinct spectral signature of atmospheric dust. For these nadir-geometry spectra we retrieve column-integrated infrared aerosol (dust) opacities. TES observations during the aerobraking and science-phasing portions of the MGS mission cover the seasonal range L(sub s)=184 deg - 28 deg. Excellent spatial coverage was obtained in the southern hemisphere. Northern hemisphere coverage is generally limited to narrow strips taken during the periapsis pass but is still very valuable. At the beginning of the mission the 9-(micron)meter dust opacity at midsouthern latitudes was low (0.15-0.25). As the season advanced through southern spring and into summer, TES observed several regional dust storms (including the Noachis dust storm of November 1997) where peak 9-(micron)meter dust opacities approached or exceeded unity, as well as numerous smaller local storms. Both large and small dust storms exhibited significant changes in both spatial coverage and intensity over a timescale of a day. Throughout southern spring and summer the region at the edge of the retreating southern seasonal polar ice cap was observed to be consistently more dusty than other latitudes.

Smith, Michael D.↗

NASA NTRS1999

Implications of MOLA Global Roughness, Statistics, and Topography

New insights are emerging as the ongoing high-quality measurements of the Martian surface topography by Mars Orbiter Laser Altimeter (MOLA) on board the Mars Global Surveyor (MGS) spacecraft increase in coverage, resolution, and diversity. For the first time, a global characterization of the statistical properties of topography is possible. The data were collected during the aerobreaking hiatus, science phasing, and mapping orbits of MGS, and have a resolution of 300-400 m along track, a range resolution of 37.5 cm, a range precision of 1-10 m for surface slopes up to 30 deg., and an absolute accuracy of topography of 13 m. The spacecraft's orbit inclination dictates that nadir observations have latitude coverage of about 87.1S to 87.1N; the addition of observations obtained during a period of off-nadir pointing over the north pole extended coverage to 90N. Additional information is contained in the original extended abstract.

Aharonson, O.↗

NASA NTRS2001

A Geosynchronous Synthetic Aperture Provides for Disaster Management, Measurement of Soil Moisture, and Measurement of Earth-Surface Dynamics

A GEO-based Synthetic Aperture Radar (SAR) could provide daily coverage of basically all of North and South America with very good temporal coverage within the mapped area. This affords a key capability to disaster management, tectonic mapping and modeling, and vegetation mapping. The fine temporal sampling makes this system particularly useful for disaster management of flooding, hurricanes, and earthquakes. By using a fairly long wavelength, changing water boundaries caused by storms or flooding could be monitored in near real-time. This coverage would also provide revolutionary capabilities in the field of radar interferometry, including the capability to study the interferometric signature immediately before and after an earthquake, thus allowing unprecedented studies of Earth-surface dynamics. Preeruptive volcano dynamics could be studied as well as pre-seismic deformation, one of the most controversial and elusive aspects of earthquakes. Interferometric correlation would similarly allow near real-time mapping of surface changes caused by volcanic eruptions, mud slides, or fires. Finally, a GEO SAR provides an optimum configuration for soil moisture measurement that requires a high temporal sampling rate (1-2 days) with a moderate spatial resolution (1 km or better). From a technological point of view, the largest challenges involved in developing a geosynchronous SAR capability relate to the very large slant range distance from the radar to the mapped area. This leads to requirements for large power or alternatively very large antenna, the ability to steer the mapping area to the left and right of the satellite, and control of the elevation and azimuth angles. The weight of this system is estimated to be 2750 kg and it would require 20 kW of DC-power. Such a system would provide up to a 600 km ground swath in a strip-mapping mode and 4000 km dual-sided mapping in a scan-SAR mode.

Madsen, Soren↗

NASA NTRS2000

Science Requirements Document for OMI-EOS

A Dutch-Finnish scientific and industrial consortium is supplying the Ozone Monitoring Instrument (OMI) for Earth Observing System-Aura (EOS-Aura). EOS-Aura is the next NASA mission to study the Earth's atmosphere extensively, and successor to the highly successful UARS (Upper Atmospheric Research Satellite) mission. The 'Science Requirements Document for OMI-EOS' presents an overview of the Aura and OMI mission objectives. It describes how OMI fits into the Aura mission and it reviews the synergy with the other instruments onboard Aura to fulfill the mission. This evolves in the Scientific Requirements for OMI (Chapter 3), stating which trace gases have to be measured with what necessary accuracy, in order for OMI to meet Aura's objectives. The most important data product of OMI, the ozone vertical column, densities shall have a better accuracy and an improved global coverage than the predecessor instruments TOMS (Total Ozone Monitoring Spectrometer) and GOME (Global Ozone Monitoring Experiment), which is a.o. achieved by a better signal to noise ratio, improved calibration and a wide field-of-view. Moreover, in order to meet its role on Aura, OMI shall measure trace gases, such as NO2, OClO, BrO, HCHO and SO2, aerosols, cloud top height and cloud coverage. Improved accuracy, better coverage, and finer ground grid than has been done in the past are goals for OMI. After the scientific requirements are defined, three sets of subordinate requirements are derived. These are: the algorithm requirements, i.e. what do the algorithms need in order to meet the scientific requirements; the instrument and calibration requirements, i.e. what has to be measured and how accurately in order to provide the quality of data necessary for deriving the data products; and the validation requirements, i.e. a strategy of how the OMI program will assure that its data products are valid in the atmosphere, at least to the required accuracy.

Levelt, P. F.↗

NASA NTRS2002

Marangoni Effects of a Drop in an Extensional Flow: The Role of Surfactant Physical Chemistry

While the changes in stresses caused by surfactant adsorption on non-deforming interfaces have been fairly well established, prior to this work, there were few studies addressing how surfactants alter stresses on strongly deforming interfaces. We chose the model problem of a drop in a uniaxial extensional flow to study these stress conditions To model surfactant effects at fluid interfaces, a proper description of the dependence of the surface tension on surface concentration, the surface equation of state, is required. We have adopted a surface equation of state that accounts for the maximum coverage limit; that is, because surfactants have a finite cross sectional area, there is an upper bound to the amount of surfactant that can adsorb in a monolayer. The surface tension reduces strongly only when this maximum coverage is approached. Since the Marangoni stresses go as the derivative of the surface equation of state times the surface concentration gradient, the non-linear equation of state determines both the effect of surfactants in the normal stress jump, (which is balanced by the product of the mean curvature of the interface times the surface tension), and the tangential stress jump, which is balanced by Marangoni stresses. First, the effects of surface coverage and intermolecular interactions among surfactants which drive aggregation of surfactants in the interface were studied. (see Pawar and Stebe, Physics of Fluids).

Stebe, Kathleen J.↗

NASA NTRS2001

Helicopter In-Flight Tracking System (HITS) for the Gulf of Mexico

The National Aeronautics and Space Administration (NASA) Ames Research Center (ARC) is sponsoring deployment and testing of the Helicopter In-flight Tracking System (HITS) in a portion of the Gulf of Mexico offshore area. Using multilateration principles, HITS determines the location and altitude of all transponder-equipped aircraft without requiring changes to current Mode A, C or S avionics. HITS tracks both rotary and fixed-wing aircraft operating in the 8,500 sq. mi. coverage region. The minimum coverage altitude of 100 ft. is beneficial for petroleum industry, allowing helicopters to be tracked onto the pad of most derricks. In addition to multilateration, HITS provides surveillance reports for aircraft equipped for Automatic Dependent Surveillance - Broadcast (ADS-B), a new surveillance system under development by the Federal Aviation Administration (FAA). The U.S. Department of Transportation (DOT) Volpe National Transportation Systems Center (Volpe Center) is supporting NASA in managing HITS installation and operation, and in evaluating the system's effectiveness. Senses Corporation is supplying, installing and maintaining the HITS ground system. Project activities are being coordinated with the FAA and local helicopter operators. Flight-testing in the Gulf will begin in early 2002. This paper describes the HITS project - specifically, the system equipment (architecture, remote sensors, central processing system at Intracoastal City, LA, and communications) and its performance (accuracy, coverage, and reliability). The paper also presents preliminary results of flight tests.

Martone, Patrick↗

NASA NTRS1998

Towards a Theory for Integration of Mathematical Verification and Empirical Testing

From the viewpoint of a project manager responsible for the V&V (verification and validation) of a software system, mathematical verification techniques provide a possibly useful orthogonal dimension to otherwise standard empirical testing. However, the value they add to an empirical testing regime both in terms of coverage and in fault detection has been difficult to quantify. Furthermore, potential cost savings from replacing testing with mathematical verification techniques cannot be realized until the tradeoffs and synergies can be formulated. Integration of formal verification with empirical testing is also difficult because the idealized view of mathematical verification providing a correctness proof with total coverage is unrealistic and does not reflect the limitations imposed by computational complexity of mathematical techniques. This paper first describes a framework based on software reliability and formalized fault models for a theory of software design fault detection - and hence the utility of various tools for debugging. It then describes a utility model for integrating mathematical and empirical techniques with respect to fault detection and coverage analysis. It then considers the optimal combination of black-box testing, white-box (structural) testing, and formal methods in V&V of a software system. Using case studies from NASA software systems, it then demonstrates how this utility model can be used in practice.

Lowry, Michael↗