Engineering PapersSearch

SEARCH · Engineering Papers

Results for “reactivity”

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 19 records

Cyclic moisture reactivation of calcium sorbents for long duration thermochemical energy storage

The transition to a flexible and reliable energy infrastructure, using electro-thermal energy generation technologies such as geothermal, concentrated solar power, and nuclear, usually demands simultaneous advancement of thermal energy storage (TES) to support on-demand electricity generation and industrial applications while mitigating the inherent intermittency of renewable energy sources and power outages from direct energy generation. Among TES technologies, thermochemical energy storage (TCES) based on calcium looping emerges as a compelling high-power energy storage candidate due to its high reaction enthalpy, compatibility with elevated operating temperatures, and abundance of low-cost materials. However, the long-term durability of calcium-based sorbents for TCES is hindered by surface sintering and particle aggregation, leading to performance degradation over repeated thermal cycles. This study explores a moisture hydration-based strategy to regenerate a degraded calcium sorbent and mitigate performance degradation for long duration TCES. The addition of moisture transforms calcium oxide into calcium hydroxide and produces intercalation water layers, associated with a regenerated surface area and reduced calcium oxide crystallite size. Both these effects are beneficial in restoring the sorbents' reactivity for carbonization. Additionally, an optimized hydration-assisted reactivation protocol balances the recovered energy storage capacity with heating penalty required for moisture removal from hydrated samples, resulting in an enhanced energy storage capacity up to 176% compared to benchmark sorbents that undergo cycling without reactivation after 60 cycles. In conclusion, these results highlight the potential of hydration-assisted reactivation to enhance the long-term performance of TCES, providing an effective pathway to advancing electro-thermal storage technologies.

36 MATERIALS SCIENCE

Non-partial wave treatment of reactive and non-reactive scattering Coupled integral equation formalism.

Coupled integral equations are derived for the full scattering amplitudes for both reactive and nonreactive channels. The equations do not involve any partial wave expansion and are obtained using channel operators for reactive and nonreactive collisions. These coupled integral equations are similar in nature to equations derived for purely nonreactive collisions of structureless particles. Using numerical quadrature techniques, these equations may be reduced to simultaneous algebraic equations which may then be solved.

Hayes, E. F.

On the modelling of non-reactive and reactive turbulent combustor flows

A study of non-reactive and reactive axisymmetric combustor flows with and without swirl is presented. Closure of the Reynolds equations is achieved by three models: kappa-epsilon, algebraic stress and Reynolds stress closure. Performance of two locally nonequilibrium and one equilibrium algebraic stress models is analyzed assuming four pressure strain models. A comparison is also made of the performance of a high and a low Reynolds number model for combustor flow calculations using Reynolds stress closures. Effects of diffusion and pressure-strain models on these closures are also investigated. Two models for the scalar transport are presented. One employs the second-moment closure which solves the transport equations for the scalar fluxes, while the other solves the algebraic equations for the scalar fluxes. In addition, two cases of non-premixed and one case of premixed combustion are considered. Fast- and finite-rate chemistry models are applied to non-premixed combustion. Both show promise for application in gas turbine combustors. However, finite rate chemistry models need to be examined to establish a suitable coupling of the heat release effects on turbulence field and rate constants.

Nikjooy, Mohammad

Conceptual Design of Passive Neutron Albedo Reactivity and Active Neutron Albedo Reactivity Instruments for Various Arrangements of Pebble Bed Reactor Pebbles

MCNP6 simulations were performed to assess the anticipated capability of the Passive Neutron Albedo Reactivity technique for nuclear safeguards measurements of irradiated pebble/pebbles. Two physical setups were examined. One with a single pebble of three different burnups and one with 27 pebbles in a cube. For all cases the sensitivity to removing all the fissile material was examined. For both of the physical setups, 4 assay cases were examined: (a) singles count rates for which the only source neutrons were the inherent neutrons in the fuel, (b) singles count rates again except this time two relatively weak AmLi sources were placed above and below the top central pebble and the combined effect of both neutron source terms were examined, (c) doubles count rates for which the only source neutrons were the inherent neutrons in the fuel, and (d) doubles count rates again except this time two relatively weak AmLi sources were placed above and below the top central pebble and the combined effect of both neutron source terms were examined. Finally, a few parameters such as Cd near the 3 He tubes were perturbed to see if the results could be improved.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS

Understanding the Reactivity of Lunar Dust for Future Lunar Missions

During the Apollo missions, dust was found to cause numerous problems for various instruments and systems. Additionally, the dust may have caused momentary health issues for some of the astronauts. Therefore, the plan to resume robotic and manned missions to the Moon in the next decade has led to a renewed interest in the properties of lunar dust, ranging from geological to chemical to toxicological. An important property to understand is the reactivity of the dust particles. Due to the lack of an atmosphere on the Moon, there is nothing to protect the lunar soil from ultraviolet radiation, solar wind, and meteorite impacts. These processes could all serve to activate the soil, or produce reactive surface species. On the Moon, these species can be maintained for millennia without oxygen or water vapor present to satisfy the broken bonds. Unfortunately, the Apollo dust samples that were returned to Earth were inadvertently exposed to the atmosphere, causing them to lose their reactive characteristics. In order to aid in the preparation of mitigation techniques prior to returning to the Moon, we measured the ability of lunar dust, lunar dust simulant, and quartz samples to produce hydroxyl radicals in solution[1]. As a first approximation of meteorite impacts on the lunar surface, we ground samples using a mortar and pestle. Our initial studies showed that all three test materials (lunar dust (62241), lunar dust simulant (JSC-1Avf), and quartz) produced hydroxyl radicals after grinding and mixing with water. However, the radical production of the ground lunar dust was approximately 10-fold and 3-fold greater than quartz and JSC-1 Avf, respectively. These reactivity differences between the different samples did not correlate with differences in specific surface area. The increased reactivity produced for the quartz by grinding was attributed to the presence of silicon- or oxygen-based radicals on the surface, as had been seen previously[2]. These radicals may also play a part in the reactivity of the lunar dust and lunar simulant. However, other factors would seem to be required to account for the greatly increased reactivity of the lunar soil. It was proposed that nanometer-size Fe 0 (zero valent) particles in the lunar soil might play a role, as they are not present in quartz or lunar dust simulant. The present work has been performed with the aim of understanding the origin of the considerable reactivity of lunar dust[3]. We have ground 8 lunar soils of varying maturity and source (highland or mare) and measured the hydroxyl-radical production and decay of the reactivity. It was determined that there is a direct correlation between the reactivity and the amount of nanophase metallic iron particles (as a function of soil maturity, I s/FeO, in which Is is the amount of iron present as nanophase iron particles present and FeO is the total iron content) in the samples; thus, the highland soils, with their lesser total FeO content, are less reactive than ground mare soils. Additionally, grinding of nanophase iron simulant [4] showed reactivity in line with the lunar soils and much greater than lunar dust simulant or quartz. Studies aimed at determining the time required to deactivate the reactive soils in a habitable environment showed that the average time to reach 50% of the initial reactivity was approximately 3.5 hours. However, even after one week, none of the soils had returned completely to its unground level of reactivity. In contrast to the reactivity results, there was no obvious correlation between the maturity of the soil and its deactivation time. These results provide the first chemical reactivity and persistence values as an important property of lunar soils, data that is paramount as mankind prepares to return to the Moon.

Wallace, William

Chemical Reactivity of In-Situ Lunar Dust for Biotoxicity Assessment

Introduction: How does the chemical reactivity of in-situ lunar dust compare to Apollo samples currently stored in curation facilities here on Earth? Essential investigations of this question will help us to further mitigate exploration risks for future human explorers on the Moon and will also provide critical information for astrobiologists and space biologists using the Moon for scientific inquiry. Discussion: Apollo 14 dust biotoxicity studies, carried out by the NASA Lunar Airborne Dust Toxici-ty Assessment Group (LADTAG), included numerous physiochemical studies[1] and cellular and animal ex-periments. Intratracheal instillation [2] and inhalation studies [3] in rats both showed Apollo 14 dust to be intermediate in toxicity compared to low-tox titanium dusts and high-tox quartz dusts of similar particle siz-es. The collective results were used in models [4] to establish a safe exposure limit for astronauts [5]. Alt-hough LADTAG took extensive steps to preserve what chemical reactivity may still have existed in the sam-ples, it is simply unknown if they possessed true in-situ chemical reactivity or if that reactivity has de-cayed. Initial gas loss on collection and other altera-tions, and even intermittent exposure to Earth-normal conditions during subsequent decades of handling, obscure a forensic reconstruction of the initial state. Because a mineral dust’s chemical reactivity influ-ences its biotoxicity [6], researchers have developed methods to “activate” lunar dust and simulants [7][8]. Past studies that modeled impact processes and radia-tion [9] in the lunar environment suggest that in-situ lunar dust is likely to be more chemically reactive than Earth-exposed samples. Because of these results, in-situ measurements are warranted [10]. Other studies have examined the hydroxyl generating capability of iron bearing mineral phases [11][12] and further em-phasize the role iron plays in chemical reactivity of lunar material, as well as decay of chemical reactivity in mineral dusts [12]. Recent observations of the lunar surface reveal the presence of hematite [13], a finding that further supports the hypothesis that in-situ lunar dust is reactive. Since the lunar surface is heterogene-ous, dust biotoxicity is expected to vary from site to site [14] due to particle size, mineralogy, physical characteristics, degree of space weathering, and chemi-cal reactivity (Figure 1). This circumstance dictates dust assessments at a suite of lunar sites enabled by upcoming NASA and commercial lunar payload ser-vices (CLPS) opportunities. Dose, location, and dura-tion of particle exposure will also affect biological responses. In-situ chemical reactivity measurements can inform cross-cutting collaborative research cam-paigns such as astrobiology studies examining regolith interactions with organisms and its ability to preserve chemical and structural biomarkers, as well as space biology investigations that examine regolith-microbe interactions relating to life support systems, plant growth, biomining, and development of regolith bio-composites. Figure 1: Environment conditions on the lunar surface that may alter regolith reactivity. Summary A series of in-situ measurements of lu-nar dust free radical chemistry at future Artemis and CLPS landing sites, combined with LADTAG-like studies of freshly collected lunar dust specimens, will reveal the true chemical reactivity of in-situ lunar dust and generate scientific data that can be compared to the chemical reactivity and biotoxicity of samples from Apollo landing sites. Furthermore, results from in situ measurements and biotoxicity studies of freshly col-lected specimens can also be used to validate, or re-quire revision of, the current astronaut permissible exposure limit [15]. References: [1] McKay D et al (2015), Acta As-tronaut 107:163–176. [2] Rask J et al (2013), LPSC, p 3062. [3] Lam CW et al (2013), Inhal Toxicol 25:661–678. [4] James JT, et. al. (2013) , Inhal Toxicol 25:243–256. [5] Scully RR, et.al. (2013), Inhal Toxi-col 25:785–793. [6] Porter, D. W., et.al., (2002), Tox-icology 175, 63–71. [7] Wallace WT, et.al., (2009), Meteorit Planet Sci 44:961–970. [8] Wallace WT, et.al., (2010), Earth Planet Sci Lett 295:571–577. [9] Loftus D, Rask J, et.al., (2010), Earth Moon Planet 107:95–105. [10] Rask J, et.al., (2009) LEAG p 57. [11] Turci F, et.a., (2015), Astrobiology. 2015;15(5):371-380. [12] Hendrix DA, et.al., (2019), Geohealth. 2019;3(1):28-42. [13] Li, S., et.al., (2020), Science advances, 6(36), p.eaba1940. [14] Rask J. (2018), In: Cudnik B. (eds) Encyclopedia of Lunar Science. Springer, Cham. [15] Rask, J, (2020), LPI, Artemis III Sci. def. paper 2120.

chemical reactivity

Missing OH Reactivity in the Global Marine Boundary Layer

The hydroxyl radical (OH) reacts with thousands of chemical species in the atmosphere, initiating their removal and the chemical reaction sequences that produce ozone, secondary aerosols, and gas-phase acids. OH reactivity, which is the inverse of OH lifetime,influences the OH abundance and the ability of OH to cleanse the atmosphere. The NASA Atmospheric Tomography (ATom) campaign used instruments on the NASA DC-8 aircraft to measure OH reactivity and more than 100 trace chemical species. ATom presented a unique opportunity to test the completeness of the OH reactivity calculated from the chemical species measurements by comparing it to the measured OH reactivity over two oceans across four seasons. Although, throughout much of the free troposphere, the calculated OH reactivity was below the limit-of-detection for the ATom instrument used to measure OH reactivity, the instrument was able to measure the OH reactivity in and just above the marine boundary layer. The mean measured value of OH reactivity in the marine boundary layer across all latitudes and all ATom deployments was 1.9 s-1, which is 0.5 s-1larger than the mean calculated OH reactivity. The missing OH reactivity, the difference between the measured and calculated OH reactivity, varied between 0 s-1to 3.5 s-1, with the highest values over the Northern Hemisphere Pacific Ocean. Correlations of missing OH reactivity with formaldehyde, dimethyl sulfide, butanal, and sea surface temperature suggest the presence of unmeasured or unknown volatile organic compounds or oxygenated volatile organic compounds associated with ocean emissions.

NASA Atmospheric Tomography (ATom)

Stability and Interaction of Coherent Structure in Supersonic Reactive Wakes

A theoretical formulation and analysis is presented for a study of the stability and interaction of coherent structure in reacting free shear layers. The physical problem under investigation is a premixed hydrogen-oxygen reacting shear layer in the wake of a thin flat plate. The coherent structure is modeled as a periodic disturbance and its stability is determined by the application of linearized hydrodynamic stability theory which results in a generalized eigenvalue problem for reactive flows. Detailed stability analysis of the reactive wake for neutral, symmetrical and antisymmetrical disturbance is presented. Reactive stability criteria is shown to be quite different from classical non-reactive stability. The interaction between the mean flow, coherent structure and fine-scale turbulence is theoretically formulated using the von-Kaman integral technique. Both time-averaging and conditional phase averaging are necessary to separate the three types of motion. The resulting integro-differential equations can then be solved subject to initial conditions with appropriate shape functions. In the laminar flow transition region of interest, the spatial interaction between the mean motion and coherent structure is calculated for both non-reactive and reactive conditions and compared with experimental data wherever available. The fine-scale turbulent motion determined by the application of integral analysis to the fluctuation equations. Since at present this turbulence model is still untested, turbulence is modeled in the interaction problem by a simple algebraic eddy viscosity model. The applicability of the integral turbulence model formulated here is studied parametrically by integrating these equations for the simple case of self-similar mean motion with assumed shape functions. The effect of the motion of the coherent structure is studied and very good agreement is obtained with previous experimental and theoretical works for non-reactive flow. For the reactive case, lack of experimental data made direct comparison difficult. It was determined that the growth rate of the disturbance amplitude is lower for reactive case. The results indicate that the reactive flow stability is in qualitative agreement with experimental observation.

Menon, Suresh

Modeling supercritical CO 2 flow and mineralization in reactive host rocks with PFLOTRAN v7.0

Understanding the flow and reactivity of CO 2 injected into geological reservoirs is important for many subsurface applications including secure geologic carbon storage (GCS), critical mineral extraction, enhanced geothermal systems (EGS), and enhanced oil recovery (EOR). Traditionally, subsurface CO 2 injection for GCS applications has focused on geologic formations with favorable subsurface configurations for CO 2 migration and trapping through non-reactive mechanisms such as structural, solubility, and petrophysical trapping. Recently, CO 2 -reactive rocks such as mafic and ultramafic basalts have been investigated for their potential to react with injected CO 2 in situ to simultaneously dissolve host rock minerals and mineralize CO 2 as carbonates. Engineering rapid CO 2 mineralization in the subsurface is attractive because of the increased density of stored CO 2 , the additional safety factors associated with solidification, and the potential to extract valuable critical minerals. Here we present recent developments in the parallel flow and reactive transport simulator PFLOTRAN to model coupled CO 2 -brine flow and reactive transport for a wide range of injection and production applications involving reactive CO 2 -brine systems. These developments are based on the well established and trusted CO 2 flow capabilities in the STOMP-CO 2 simulator. New capabilities added to PFLOTRAN include new CO 2 -brine equations of state with optional thermal coupling, several new constitutive relationships like capillary pressure smoothing and scanning path hysteresis, a fully implicit well model, and native linkage with PFLOTRAN's well-established reactive transport libraries. A series of benchmarks between PFLOTRAN and STOMP-CO 2 verify the newly developed CO 2 -brine flow capabilities. Demonstrations of coupled CO 2 -brine flow modeling and reactive transport show how CO 2 mineralization can be engineered in reactive host rocks. Finally, an example use case involving copper leaching by CO 2 and critical mineral extraction is presented to showcase the strengths of this new implementation. Several limitations still remain, including limited availability of field data to parameterize models. Future work should constrain the evolution of mineral surface area during mineralization and the temperature and/or pH dependence of geochemical reactions for specific systems of interest.

Critical Minerals

Evaluating the Chemical Reactivity of DFT-Simulated Liquid Water with Hydrated Electrons via the Dual Descriptor

Modeling the various properties of liquid water, particularly its reactivity, has been a longstanding challenge for simulation methods. Recently, ab initio simulations based on density functional theory (DFT) have come to the fore as tenable methods for calculating the properties and reactivity of water, with varying degrees of success for different exchange-correlation functionals. In particular, hybrid-GGA and meta-GGA functionals have been shown to reproduce many of the structural, dynamical, and energetic properties of water to a high degree of accuracy relative to their computational cost. Here, we show that the dual descriptor (DD) measure of nucleophilicity and electrophilicity, which is sometimes used to elucidate organic chemistry reaction mechanisms, can also be used to characterize the reactivity of DFTsimulated liquid water. The DD is especially apt for understanding the reactivity of excess electrons with water as its calculation explicitly involves adding and removing an excess electron from a reference system. We use the DD to explore the reactivity of water simulated using three different DFT functionals: the LDA functional (LDA), a hybrid-GGA functional (PBE0), and a hybrid meta- GGA functional (SCAN0). Using the DD, we show that the SCAN0 functional with the standard 25% Hartree–Fock exchange produces simulated liquid water with many regions that are far more reactive than either PBE0 or LDA. To understand the implications of these highly reactive regions, we then add a strong nucleophile in the form of an excess electron and find that although PBE0 and LDA predict stable hydrated electrons, the excess electron reacts nearly instantaneously with SCAN0 water via proton abstraction to form a hydrogen atom and hydroxide ion. We show that the DD provides the ability to not only predict whether or not liquid water will react with a hydrated electron but also which particular waters will be involved solely from analyzing pure water configurations generated with each functional. We rationalize this result in terms of the known trap-seeking behavior of injected hydrated electrons, which are able to find the most electronegative region in bulk water. These results highlight the utility of the dual descriptor as a fast and interpretable method for investigating condensed-phase reactivity with excess electrons.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH

Making real-time reactive systems reliable

A reactive system is characterized by a control program that interacts with an environment (or controlled program). The control program monitors the environment and reacts to significant events by sending commands to the environment. This structure is quite general. Not only are most embedded real time systems reactive systems, but so are monitoring and debugging systems and distributed application management systems. Since reactive systems are usually long running and may control physical equipment, fault tolerance is vital. The research tries to understand the principal issues of fault tolerance in real time reactive systems and to build tools that allow a programmer to design reliable, real time reactive systems. In order to make real time reactive systems reliable, several issues must be addressed: (1) How can a control program be built to tolerate failures of sensors and actuators. To achieve this, a methodology was developed for transforming a control program that references physical value into one that tolerates sensors that can fail and can return inaccurate values; (2) How can the real time reactive system be built to tolerate failures of the control program. Towards this goal, whether the techniques presented can be extended to real time reactive systems is investigated; and (3) How can the environment be specified in a way that is useful for writing a control program. Towards this goal, whether a system with real time constraints can be expressed as an equivalent system without such constraints is also investigated.

Marzullo, Keith

Latent Virus Reactivation: From Space to Earth

Reactivation of latent viruses is a recognized consequence of decreased immunity. More recently viral reactivation has been identified as an important in vivo indicator of clinically relevant immune changes. Viral reactivation can be determined quickly and easily by the presence of virus in saliva and other body fluids. Real-time polymerase chain reaction (PCR) is a highly sensitive and specific molecular method to detect the presence of specific viral DNA. Studies in astronauts demonstrated that herpes simplex virus type 1(HSV-1), Epstein-Barr Virus (EBV), cytomegalovirus (CMV), and varicella zoster virus (VZV) reactivate at rates above normal during and after spaceflight in response to moderately decreased T-cell immunity. This technology was expanded to patients on Earth beginning with human immune deficiency virus (HIV) immuno-compromised patients. The HIV patients shed EBV in saliva at rates 9-fold higher than observed in astronauts demonstrating that the level of EBV shedding reflects the severity of impaired immunity. Whereas EBV reactivation is not expected to produce serious effects in astronauts on missions of 6 months or less, VZV reactivation in astronauts could produce shingles. Reactivation of live, infectious VZV in astronauts with no symptoms was demonstrated in astronauts during and after spaceflight. We applied our technology to study VZV-induced shingles in patients. In a study of 54 shingles patients, we showed salivary VZV was present in every patient on the day antiviral (acyclovir) treatment was initiated. Pain and skin lesions decreased with antiviral treatment. Corresponding decreases in levels of VZV were also observed and accompanied recovery. Although the level of VZV in shingles patients before the treatment was generally higher than those found in astronauts, lower range of VZV numbers in shingles patients overlapped with astronaut s levels. This suggests a potential risk of shingles to astronauts resulting from reactivation of VZV. In another clinical study of 25 shingles patients, PCR technology detected VZV in the serum and peripheral blood mononuclear cells of all 25 patients demonstrating for the first time that viremia is a common manifestation of herpes shingles.

Mehta, Satish K.

Chemical Reactivity of In-Situ Lunar Dust for Biotoxicity Assessment

How does the chemical reactivity of in-situ lunar dust compare to Apollo samples currently stored in curation facilities here on Earth? Essential investigations of this question will help us to further mitigate exploration risks for future human explorers on the Moon and will also provide critical information for astrobiologists and space biologists using the Moon for scientific inquiry. Apollo 14 dust biotoxicity studies, carried out by the NASA Lunar Airborne Dust Toxicity Assessment Group (LADTAG), included numerous cellular and animal experiments. Intratracheal instillation and inhalation studies in rats both showed Apollo 14 dust to be intermediate in toxicity compared to low-tox titanium dusts and high-tox quartz dusts of similar particle sizes. The collective results were used in models to establish a safe exposure limit for astronauts. Although LADTAG took extensive steps to preserve what chemical reactivity may still have existed in the samples, it is simply unknown if they possessed true in-situ chemical reactivity or if that reactivity has decayed. Initial gas loss on collection and other alterations, and even intermittent exposure to Earth-normal conditions during subsequent decades of handling, obscure a forensic reconstruction of the initial state. Because a mineral dust’s chemical reactivity influences its biotoxicity, researchers have developed methods to “activate” lunar dust and simulants. Past studies that modeled impact processes and radiation in the lunar environment suggest that in-situ lunar dust is likely to be more chemically reactive than Earth-exposed samples. Because of these results, in-situ measurements are warranted. Since the lunar surface is heterogeneous, dust biotoxicity is expected to vary from site to site due to particle size, mineralogy, physical characteristics, degree of space weathering, and chemical reactivity. This circumstance dictates dust assessments at a suite of lunar sites enabled by CLPS opportunities. Dose, location, and duration of particle exposure will also affect biological responses. In-situ chemical reactivity measurements can inform cross-cutting collaborative research campaigns such as astrobiology studies examining regolith interactions with organisms and its ability to preserve chemical and structural biomarkers, as well as space biology investigations that examine regolith-microbe interactions relating to life support systems, plant growth, biomining, and development of regolith biocomposites.

Jon C Rask

Reactive system verification case study: Fault-tolerant transputer communication

A reactive program is one which engages in an ongoing interaction with its environment. A system which is controlled by an embedded reactive program is called a reactive system. Examples of reactive systems are aircraft flight management systems, bank automatic teller machine (ATM) networks, airline reservation systems, and computer operating systems. Reactive systems are often naturally modeled (for logical design purposes) as a composition of autonomous processes which progress concurrently and which communicate to share information and/or to coordinate activities. Formal (i.e., mathematical) frameworks for system verification are tools used to increase the users' confidence that a system design satisfies its specification. A framework for reactive system verification includes formal languages for system modeling and for behavior specification and decision procedures and/or proof-systems for verifying that the system model satisfies the system specifications. Using the Ostroff framework for reactive system verification, an approach to achieving fault-tolerant communication between transputers was shown to be effective. The key components of the design, the decoupler processes, may be viewed as discrete-event-controllers introduced to constrain system behavior such that system specifications are satisfied. The Ostroff framework was also effective. The expressiveness of the modeling language permitted construction of a faithful model of the transputer network. The relevant specifications were readily expressed in the specification language. The set of decision procedures provided was adequate to verify the specifications of interest. The need for improved support for system behavior visualization is emphasized.

Crane, D. Francis