Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Sc”

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 469 records · Page 26

Arm structure in normal spiral galaxies, 1: Multivariate data for 492 galaxies

Multivariate data have been collected as part of an effort to develop a new classification system for spiral galaxies, one which is not necessarily based on subjective morphological properties. A sample of 492 moderately bright northern Sa and Sc spirals was chosen for future statistical analysis. New observations were made at 20 and 21 cm; the latter data are described in detail here. Infrared Astronomy Satellite (IRAS) fluxes were obtained from archival data. Finally, new estimates of arm pattern radomness and of local environmental harshness were compiled for most sample objects.

Magri, Christopher↗

The interstellar disk-halo connection in the spiral galaxy NGC 3079

We discuss the morphology and excitation of ionized gas in the nearby Sc galaxy NGC 3079. The almost edge-on orientation is ideal for studying the vertical structure of the gaseous disk, and especially the diffuse ionized medium (DIM) found between the bright H II regions. We used the Hawaii Imaging Fabry-Perot Interferometer (HIFI) to map 150,000 H-alpha + (N II) lambda lambda 6548, 6583 emission-line profiles across the entire disk, with resolution 70 km/s at subarcsecond steps, down to a flux level of approximately 10(exp -17) ergs/s/sq cm (EM approximately equal to 4 cm(exp -6) pc). The DIM contributes approximately 30% of the total disk H-alpha emission within a radius of 10 kpc. The DIM has broader emission lines and larger (N II) H-alpha flux ratios than the adjacent H II regions. Within a radius of 5 kpc, we find that the X-shaped filaments reported in previous studies emerge from the inner (R approximately equal to 1.5 kpc) disk, and rise more than 4 kpc above the disk plane. The morphology, kinematics, and excitation of the filaments suggest that they form a biconic interface between the undisturbed disk gas, and gas entrained in the wide-angle outflow. The DIM beyond 5 kpc radius is more vertically extended than the thick ionized disk detected in our Galaxy and in a few nearby edge-on systems. After correcting for dust, the vertical profile of this DIM has an exponential scale height of about 1.1 kpc, similar to that of the H I disk. The (N II) lambda 6538/H-alpha flux ratio of the DIM increases monotonically with vertical height, reaching unity for absolute value of z greater than or approximately equal to 2.5 kpc. The flux required to keep the DIM ionized at R = 8 kpc is similar to that near the solar circle of our Galaxy. Highly dilute radiation from O stars in the galactic plane probably maintains the DIM. The total mass of the DIM is of order 10(exp 8) - 10(exp 9) solar mass, representing less than 1% of the total dynamical mass of NGC 3079. Mechanical energy from intense star formation in the disk probably lifts the DIM above the disk. The several bubbles and filaments within 1 kpc of the disk plane is direct evidence for gas flow between the disk and halo.

Veilleux, Sylvain↗

Development of advanced Si and GaAs solar cells for interplanetary missions

The deep space and planetary exploration project have been acquiring more and more importance and some of them are now well established both in ESA and NASA programs. This paper presents the possibility to utilize both silicon and gallium arsenide solar cells as spacecraft primary power source for missions far from the Sun, in order to overcome the drawbacks related to the utilisation of radioisotope thermoelectric generators - such as cost, safety and social acceptance. The development of solar cells for low illumination intensity and low temperature (LILT) applications is carried out in Europe by ASE (Germany) and CISE (Italy) in the frame of an ESA programme, aimed to provide the photovoltaic generators for ROSETTA: the cometary material investigation mission scheduled for launch in 2003. The LILT cells development and testing objectives are therefore focused on the following requirements: insolation intensity as low as 0.03 Solar Constant, low temperature down to -150 C and solar flare proton environment. At this stage of development, after the completion of the technology verification tests, it has been demonstrated that suitable technologies are available for the qualification of both silicon and gallium arsenide cells and both candidates have shown conversion efficiencies over 25% at an illumination of 0.03 SC and a temperature of -150 C. In particular, when measured at those LILT conditions, the newly developed 'Hl-ETA/NR-LILT' silicon solar cells have reached a conversion efficiency of 26.3%, that is the highest value ever measured on a single junction solar cell. A large quantity of both 'Hl-ETA/NR-LILT' silicon and 'GaAs/Ge-LILT' solar cells are presently under fabrication and they will be submitted to a qualification test plan, including radiation exposure, in order to verify their applicability with respect to the mission requirements. The availability of two valid options will minimize the risk for the very ambitious scientific project. The paper describes how the technical achievements have been possible with Si and GaAs LILT solar cells (including a comparison between measured and modelled l-V characteristics) and it presents the technology verification tests results.

Strobl, G.↗

Low Intensity Low Temperature (LILT) measurements and coefficients on new photovoltaic structures

Past NASA missions to Mars, Jupiter, and the outer planets were powered by radioisotope thermal generators (RTG's). Although these devices proved to be reliable, their high cost and highly toxic radioactive heat source has made them far less desirable for future planetary missions. This has resulted in a renewed search for alternate energy sources, some of them being photovoltaic (PV) and thermophotovoltaic (TPV). Both of these alternate energy sources convert light/thermal energy directly into electricity. In order to create a viable PV and TPV data base for planetary mission planners and cell designers, we have compiled low temperature low intensity (LILT) I-V data on single junction and multi-junction high efficiency solar cells. The cells tested here represent the latest photovoltaic technology. Using this LILT data to calculate dI(sub SC)/dT, dV(sub OC)/dT, dFF/dT, and also as a function of intensity, an accurate prediction of cell performance under the AMO spectrum can be determined. When combined with QUantum efficiency at Low Temperature (QULT) data, one can further enhance the data by adding spectral variations to the measurements. This paper presents an overview of LILT measurements and is only intended to be used as a guideline for material selection and performance predictions. As single junction and multi-junction cell technologies emerge, new test data must be collected. Cell materials included are Si, GaAs/Ge, GainP/GaAs/Ge, InP, InGaAs/InP, InP/InGaAs/InP, and GainP. Temperatures range as low as -175 C and intensities range from 1 sun to .02 suns.

Schelman, David A.↗

Effect of Intracerebroventricularly Administered Octopamines and Synephrines on Angiotensin 2-Induced Water Intake in Rats

Recent studies from this laboratory showed that l-m-synephrine (phenylephrine), a metabolite of l-m-octapamine, inhibited the drinking response of rats to peripherally administered angiotensin 2. The objective of this investigation was to determine whether the isomers ofboth octapamine and synephrine could inhibit angiotensin 2-induced dipsogenesis in the rat. Of the isomers tested, only d,l-m-octopamine and l-m-synephrine blocked the dipsogenic response to administration of angiotensin 2 (200 micrograms/kg, SC). The antidipsogenic effect of both d,l-m-octopamine and l-m-synephrine could be blocked by concurrent administration of yohimbine (300 micrograms/kg, IP), an alpha(sub 2)-adrenoceptor antagonist. The results indicate that m-octopamine and m-synephrine exert their antidipsogenic effect via alpha(sub 2)-adrenoceptors. These studies add to a growing body of data suggesting that activation of alpha(sub 2)-adrenoceptors inhibits, while blockade of these receptors enhances, angiotensin 2-induced drinking.

Fregly, Melvin J.↗

Ultraviolet Opacity and Fluorescence in Supernova Envelopes

By the time the expanding envelope of a Type 2 supernova becomes transparent in the optical continuum, most of the gamma-ray luminosity produced by radioactive Fe/Co/Ni clumps propagates into the hydrogen/helium envelope and is deposited there, if at all. The resulting fast electrons excite He 1 and H 1, the two- photon continua of which are the dominant internal sources of ultraviolet radiation. The UV radiation is blocked by scattering in thousands of resonance lines of metals and converted by fluorescence into optical and infrared emission lines that escape freely. We describe results of Monte Carlo calculations that simulate non-LTE scattering and fluorescence in more than five million allowed lines of Ca, Sc, Ti, V, Cr, Mn, Fe, Co, and Ni. For a model approximating conditions in the envelope of SN 1987A, the calculated emergent spectrum resembles the observed one. For the first 2 yr after explosion, the ultraviolet radiation (lambda less than or approximately equals 3000) is largely blocked and converted into a quasi continuum of many thousands of weak optical and infrared emission lines and some prominent emission features, such as the Ca 2 lambdalambda8600 triplet. Later, as the envelope cools and expands, it becomes more transparent, and an increasing fraction of the luminosity emerges in the UV band.

Li, Hongwei↗

A Glass Spherule of Questionable Impact Origin from the Apollo 15 Landing Site: Unique Target Mare Basalt

A 6 mm-diameter dark spherule, 15434,28, from the regolith on the Apennine Front at the Apollo 15 landing site has a homogeneous glass interior with a 200 microns-thick rind of devitrified or crystallized melt. The rind contains abundant small fragments of Apollo 15 olivine-normative mare basalt and rare volcanic Apollo 15 green glass. The glass interior of the spherule has the chemical composition, including a high FeO content and high CaO/Al2O3, of a mare basalt. Whereas the major element and Sc, Ni, and Co abundances are similar to those of low-Ti mare basalts, the incompatible elements and Sr abundances are similar to those of high-Ti mare basaits. The relative abundance patterns of the incompatible trace elements are distinct from any other lunar mare basalts or KREEP; among these distinctions are a much steeper slope of the heavy rare earth elements. The 15434,28 glass has abundances of the volatile element Zn consistent with both impact glasses and crystalline mare basalts, but much lower than in glasses of mare volcanic origin. The glass contains siderophile elements such as Ir in abundances only slightly higher than accepted lunar indigenous levels, and some, such as Au, are just below such upper limits. The age of the glass, determined by the Ar-40/Ar-39 laser incremental heating technique, is 1647 +/- 11 Ma (2 sigma); it is expressed as an age spectrum of seventeen steps over 96% of the Ar-38 released, unusual for an impact glass. Trapped argon is negligible. The undamaged nature of the sphere demonstrates that it must have spent most of its life buried in regolith; Ar-38 cosmic ray exposure data suggest that it was buried at less than 2m but more than a few centimeters if a single depth is appropriate. That the spherule solidified to a glass is surprising; for such a mare composition, cooling at about 50 C/s is required to avoid crystallization, and barely attainable in such a large spherule. The low volatile abundances, slightly high siderophile abundances, and the young age are perhaps all most consistent with an impact origin, but nonetheless not absolutely definitive.

Ryder, Graham↗

Standardized Methods for Electronic Shearography

Research was conducted in development of operating procedures and standard methods to evaluate fiber reinforced composite materials, bonded or sprayed insulation, coatings, and laminated structures with MSFC electronic shearography systems. Optimal operating procedures were developed for the Pratt and Whitney Electronic Holography/Shearography Inspection System (EH/SIS) operating in shearography mode, as well as the Laser Technology, Inc. (LTI) SC-4000 and Ettemeyer SHS-94 ISTRA shearography systems. Operating practices for exciting the components being inspected were studied, including optimal methods for transient heating with heat lamps and other methods as appropriate to enhance inspection capability.

Lansing, Matthew D.↗

Electrical and Optical Performance Characteristics of 0.74-eV p/n InGaAs Monolithic Interconnected Modules

There has been a traditional trade-off in thermophotovoltaic (TPV) energy conversion development between system efficiency and power density. This trade-off originates from the use of front surface spectral controls such as selective emitters and various types of filters. A monolithic interconnected module (MIM) structure has been developed which allows for both high power densities and high system efficiencies. The MIM device consists of many individual indium gallium arsenide (InGaAs) cells series-connected on a single semi-insulating indium phosphide (InP) substrate. The MIM is exposed to the entire emitter output, thereby maximizing output power density. An infrared (IR) reflector placed on the rear surface of the substrate returns the unused portion of the emitter output spectrum back to the emitter for recycling, thereby providing for high system efficiencies. Initial MIM development has focused on a 1 sq cm device consisting of eight (8) series interconnected cells. MIM devices, produced from 0.74-eV InGaAs, have demonstrated V(sub oc) = 3.2 volts, J(sub sc) = 70 mA/sq cm, and a fill factor of 66% under flashlamp testing. Infrared (IR) reflectance measurements (greater than 2 micron) of these devices indicate a reflectivity of greater than 82%. MIM devices produced from 0.55-eV InGaAs have also been demonstrated. In addition, conventional p/n InGaAs devices with record efficiencies (11.7% AM0) have been demonstrated.

Wilt, David M.↗

Electrical and Optical Performance Characteristics of p/n InGaAs Monolithic Interconnected Modules

There has been a traditional trade-off in ThermoPhotoVoltaic (TPV) energy conversion development between system efficiency and power density. This trade-off originates from the use of front surface spectral controls such as selective emitters and various types of filters. A Monolithic Interconnected Module (MIM) structure has been developed which allows for both high power densities and high system efficiencies. The MIM device consists of many individual Indium Gallium Arsenide (InGaAs) devices series-connected on a single semi-insulating Indium Phosphide (InP) substrate. The MIMs are exposed to the entire emitter output, thereby maximizing output power density. An InfraRed (IR) reflector placed on the rear surface of the substrate returns the unused portion of the emitter output spectrum back to the emitter for recycling, thereby providing for high system efficiencies. Initial MIM development has focused on a 1 sq cm device consisting of eight (8) series interconnected cells. MIM devices, produced from 0.74eV InGaAs, have demonstrated V(sub infinity) = 3.2 volts, J(sub sc) = 70 mA/sq cm and a fill factor of 66% under flashlamp testing. IR reflectance measurements (greater than 2 microns) of these devices indicate a reflectivity of greater than 82%. MIM devices produced from 0.55 eV InGaAs have also been demonstrated. In addition, conventional p/n InGaAs devices with record efficiencies (11.7% AM0) have been demonstrated.

Wilt, David M.↗

Global Analysis, Interpretation and Modelling: An Earth Systems Modelling Program

The Goal of the GAIM is: To advance the study of the coupled dynamics of the Earth system using as tools both data and models; to develop a strategy for the rapid development, evaluation, and application of comprehensive prognostic models of the Global Biogeochemical Subsystem which could eventually be linked with models of the Physical-Climate Subsystem; to propose, promote, and facilitate experiments with existing models or by linking subcomponent models, especially those associated with IGBP Core Projects and with WCRP efforts. Such experiments would be focused upon resolving interface issues and questions associated with developing an understanding of the prognostic behavior of key processes; to clarify key scientific issues facing the development of Global Biogeochemical Models and the coupling of these models to General Circulation Models; to assist the Intergovernmental Panel on Climate Change (IPCC) process by conducting timely studies that focus upon elucidating important unresolved scientific issues associated with the changing biogeochemical cycles of the planet and upon the role of the biosphere in the physical-climate subsystem, particularly its role in the global hydrological cycle; and to advise the SC-IGBP on progress in developing comprehensive Global Biogeochemical Models and to maintain scientific liaison with the WCRP Steering Group on Global Climate Modelling.

Moore, Berrien, III↗

Habitats and Surface Construction Technology and Development Roadmap

The vision of the technology and development teams at NASA Ames and Johnson Research Centers is to provide the capability for automated delivery and emplacement of habitats and surface facilities. The benefits of the program are as follows: Composites and Inflatables: 30-50% (goal) lighter than Al Hard Structures; Capability for Increased Habitable Volume, Launch Efficiency; Long Term Growth Potential; and Supports initiation of commercial and industrial expansion. Key Habitats and Surface Construction (H&SC) technology issues are: Habitat Shell Structural Materials; Seals and Mechanisms; Construction and Assembly: Automated Pro-Deploy Construction Systems; ISRU Soil/Construction Equipment: Lightweight and Lower Power Needs; Radiation Protection (Health and Human Performance Tech.); Life Support System (Regenerative Life Support System Tech.); Human Physiology of Long Duration Space Flight (Health and Human Performance Tech.); and Human Psychology of Long Duration Space Flight (Health and Human Performance Tech.) What is being done regarding these issues?: Use of composite materials for X-38 CRV, RLV, etc.; TransHAB inflatable habitat design/development; Japanese corporations working on ISRU-derived construction processes. What needs to be done for the 2004 Go Decision?: Characterize Mars Environmental Conditions: Civil Engineering, Material Durability, etc.; Determine Credibility of Inflatable Structures for Human Habitation; and Determine Seal Technology for Mechanisms and Hatches, Life Cycle, and Durability. An overview encompassing all of the issues above is presented.

Marc Cohen↗

Trace Element Zoning and Incipient Metamictization in a Lunar Zircon: Application of Three Microprobe Techniques

We have determined major (Si, Zr, Hf), minor (Al, Y, Fe, P), and trace element (Ca, Sc, Ti, Ba, REE, Th, U) concentrations and Raman spectra of a zoned, 200 microns zircon grain in lunar sample 14161,7069, a quartz monzodiorite breccia collected at the Apollo 14 site. Analyses were obtained on a thin section in situ with an ion microprobe, an electron microprobe, and a laser Raman microprobe. The zircon grain is optically zoned in birefringence, a reflection of variable (incomplete) metamictization resulting from zo- nation in U and Th concentrations. Variations in the concentrations of U and Th correlate strongly with those of other high-field-strength trace elements and with changes in Raman spectral parameters. Concentrations of U and Th range from 21 to 55 ppm and 6 to 31 ppm, respectively, and correlate with lower Raman peak intensities, wider Raman peaks, and shifted Si-O peak positions. Concentrations of heavy rare earth elements range over a factor of three to four and correlate with intensities of fluorescence peaks. Correlated variations in trace element concentrations reflect the original magmatic differentiation of the parental melt approx. 4 b.y. ago. Degradation of the zircon structure, as reflected by the observed Raman spectral parameters, has occurred in this sample over a range of alpha-decay event dose from approx. 5.2 x 10(exp 14) to 1.4 x 10(exp 15) decay events per milligram of zircon, as calculated from the U and Th concentrations. This dose is well below the approx. 10(exp 16) events per milligram cumulative dose that causes complete metamictization and indicates that laser Raman microprobe spectroscopy is an analytical technique that is very sensitive to the radiation-induced damage in zircon.

Wopenka, Brigitte↗

Geochemical Comparison of Four Cores from the Manson Impact Structure

Concentrations of 33 elements were determined in relatively unaltered, matrix-rich samples of impact breccia at approximately 3-m-depth intervals in the M-1 core from the Manson impact structure, Iowa. In addition, 46 matrix-rich samples from visibly altered regions of the M-7, M-8, and M-10 cores were studied, along with 42 small clasts from all four cores. Major element compositions were determined for a subset of impact breccias from the M-1 core, including matrix-rich impact-melt breccia. Major- and trace-element compositions were also determined for a suite of likely target rocks. In the M-1 core, different breccia units identified from lithologic examination of cores are compositionally distinct. There is a sharp compositional discontinuity at the boundary between the Keweenawan-shale-clast breccia and the underlying unit of impact-melt breccia (IMB) for most elements, suggesting minimal physical mixing between the two units during emplacement. Samples from the 40-m-thick IMB (M-1) are all similar to each other in composition, although there are slight increases in concentration with depth for those elements that have high concentrations in the underlying fragmental-matrix suevite breccia (SB) (e.g., Na, Ca, Fe, Sc), presumably as a result of greater clast proportions at the bottom margin of the unit of impact-melt breccia. The high degree of compositional similarity we observe in the impact-melt breccias supports the interpretation that the matrix of this unit represents impact melt. That our analyses show such compositional similarity results in part from our technique for sampling these breccias: for each sample we analyzed a few small fragments (total mass: approximately 200 mg) selected to be relatively free of large clasts and visible signs of alteration instead of subsamples of powders prepared from a large mass of breccia. The mean composition of the matrix-rich part of impact-melt breccia from the M-1 core can be modeled as a mixture of approximately 35% shale and siltstone (Proterozoic "Red Clastics"), 23% granite, 40% hornblende-biotite gneiss, and a small component (less than 2%) of mafic-dike rocks.

Korotev, Randy L.↗

Lunar Meteorite Queen Alexandra Range 93069 and the Iron Concentration of the Lunar Highlands Surface

Lunar meteorite Queen Alexandra Range 93069 is a clast-rich, glassy-matrix regolith breccia of ferroan, highly aluminous bulk composition. It is similar in composition to other feldspathic lunar meteorites but differs in having higher concentrations of siderophile elements and incompatible trace elements. Based on electron microprobe analyses of the fusion crust, glassy matrix, and clasts, and instrumental neutron activation analysis of breccia fragments, QUE 93069 is dominated by nonmare components of ferroan, noritic- anorthosite bulk composition. Thin section QUE 93069,31 also contains a large, impact-melted, partially devitrified clast of magnesian, anorthositic-norite composition. The enrichment in Fe, Sc, and Cr and lower Mg/Fe ratio of lunar meteorites Yamato 791197 and Yamato 82192/3 compared to other feldspathic lunar meteorites can be attributed to a small proportion (5-10%) of low-Ti mare basalt. It is likely that the non- mare components of Yamato 82192/3 are similar to and occur in similar abundance to those of Yamato 86032, with which it is paired. There is a significant difference between the average FeO concentration of the lunar highlands surface as inferred from the feldspathic lunar meteorites (mean: approx. 5.0%; range: 4.3-6.1 %) and a recent estimate based on data from the Clementine mission (3.6%).

Korotev, Randy L.↗

Some things we can infer about the Moon from the Composition of the Apollo 16 Regolith

Characteristics of the regolith of Cayley plains as sampled at the Apollo 16 lunar landing site are reviewed and new compositional data are presented for samples of less than 1 mm fines ('soils') and 1-2 mm regolith particles. As a means of determining which of the many primary (igneous) and secondary (crystalline breccias) lithologic components that have been identified in the soil are volumetrically important and providing an estimate of their relative abundances, more than 3 x 10(exp 6) combinations of components representing nearly every lithology that has been observed in the Apollo 16 regolith were systematically tested to determine which combinations best account for the composition of the soils. Conclusions drawn from the modeling include the following. At the site, mature soil from the Cayley plains consists of 64.5% +/- 2.7% components representing 'prebasin' materials: anorthosites, feldspathic breccias, and a small amount (2.6% +/- 1.5% of total soil) of nonmare, mafic plutonic rocks, mostly gabbronorites. On average, these components are highly feldspathic, with average concentrations of 3l-32% Al2O3 and 2-3% FeO and a molar Mg/(Mg+Fe) ratio of O.68. The remaining 36% of the regolith is syn- and postbasin material: 28.8% +/- 2.4% mafic impact-melt breccias (MIMBS, i.e., 'LKFM' and 'VHA basalts') created at the time of basin formation, 6.0% +/- 1.4% mare-derived material (impact and volcanic glass, crystalline basalt) with an average TiO2 concentration of 2.4%, and 1% postbasin meteoritic material. The MIMBs are the principal (80-90%) carrier of incompatible trace elements (rare earths, Th, etc.) and the carrier of about one-half of the siderophile elements and elements associated with mafic mineral phases (Fe, Mg, Mn, Cr, Sc). Most (71 %) of the Fe in the present regolith derives from syn- and postbasin sources (MIMBS, mare-derived material, and meteorites). Thus, although the bulk composition of the Apollo 16 regolith is nominally that of noritic anorthosite, the noritic part (the MIMBs) and anorthositic parts (the prebasin components) are largely unrelated.

Korotev, Randy L.↗

Fos Expression in Rat Brain During Depletion-Induced Thirst and Salt Appetite

The expression of Fos protein (Fos immunoreactivity, Fos-ir) was mapped in the brain of rats subjected to an angiotensin-dependent model of thirst and salt appetite. The physiological state associated with water and sodium ingestion was produced by the concurrent subcutaneous administration of the diuretic furosemide (10 mg/kg) and a low dose of the angiotensin-converting enzyme (ACE) inhibitor captopril (5 mg/kg; Furo/Cap treatment). The animals were killed 2 h posttreatment, and the brains were processed for Fos-ir to assess neural activation. Furo/Cap treatment significantly increased Fos-ir density above baseline levels both in structures of the lamina terminalis and hypothalamus known to mediate the actions of ANG 2 and in hindbrain regions associated with blood volume and pressure regulation. Furo/Cap treatment also typically increased Fos-ir density in these structures above levels observed after administration of furosemide or captopril separately. Fos-ir was reduced to a greater extent in forebrain than in hindbrain areas by a dose of captopril (100 mg/kg sc) known to block the actions of ACE in the brain. The present work provides further evidence that areas of lamina terminalis subserve angiotensin-dependent thirst and salt appetite.

Thunhorst, R. L.↗

A Formal Model of Partitioning for Integrated Modular Avionics

The aviation industry is gradually moving toward the use of integrated modular avionics (IMA) for civilian transport aircraft. An important concern for IMA is ensuring that applications are safely partitioned so they cannot interfere with one another. We have investigated the problem of ensuring safe partitioning and logical non-interference among separate applications running on a shared Avionics Computer Resource (ACR). This research was performed in the context of ongoing standardization efforts, in particular, the work of RTCA committee SC-182, and the recently completed ARINC 653 application executive (APEX) interface standard. We have developed a formal model of partitioning suitable for evaluating the design of an ACR. The model draws from the mathematical modeling techniques developed by the computer security community. This report presents a formulation of partitioning requirements expressed first using conventional mathematical notation, then formalized using the language of SRI'S Prototype Verification System (PVS). The approach is demonstrated on three candidate designs, each an abstraction of features found in real systems.

DiVito, Ben L.↗