Search NASA⌕ Search

SEARCH · Search NASA

Results for “co-evolution”

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
All sourcesNASA NTRSDOE OSTI
NASA NTRS1993

The RNA-world and co-evolution hypothesis and the origin of life: Implications, research strategies and perspectives

The applicability of the RNA-world and co-evolution hypothesis to the study of the very first stages of the origin of life is discussed. The discussion focuses on the basic differences between the two hypotheses and their implications, with regard to the reconstruction methodology, ribosome emergence, balance between ribozymes and protein enzymes, and their major difficultites. Additional complexities of the two hypotheses, such as membranes and the energy source of the first reactions, are not treated in the present work. A central element in the proposed experimental strategies is the study of the catalytic activites of very small peptides and RNA-like oligomers, according to existing, as well as to yet-to-be-invented scenarios of the two hypothesis under consideration. It is suggested that the novel directed molecular evolution technology, and molecular computational modeling, can be applied to this research. This strategy is assumed to be essential for the suggested goal of future studies of the origin of life, namely, the establishment of a `Primordial Darwinian entity'.

Lahav, Noam↗
NASA NTRS1999

Autonomous Agents: The Origins and Co-Evolution of Reproducing Molecular Systems

The central aim of this award concerned an investigation into, and adequate formulation of, the concept of an "autonomous agent." If we consider a bacterium swimming upstream in a glucose gradient, we are willing to say of the bacterium that it is going to get food. That is, we are willing, and do, describe the bacterium as acting on its own behalf in an environment. All free living cells are, in this sense, autonomous agents. But the bacterium is "just" a set of molecules. We define an autonomous agent as a physical system able to act on its own behalf in an environment, then ask, "What must a physical system be to be an autonomous agent?" The tentative definition for a molecular autonomous agent is that it must be self-reproducing and carry out at least one thermodynamic work cycle. The work carried out in this grant involved, among other features, the development of a detailed model of a molecular autonomous agent, and study of the kinetics of this system. In particular, a molecular autonomous agent must, by the above tentative definition, not only reproduce, but must carry out at least one work cycle. I took, as a simple example of a self-reproducing molecular system, the single-stranded DNA hexamer 3'CCGCGG5' which can line up and ligate its two complementary trimers, 5'CCG3' and 5'CGG3'. But the two ligated trimers constitute the same molecular sequence in the 3' to 5' direction as the initial hexamer, hence this system is autocatalytic. On the other hand the above system is not yet an autonomous agent. At the minimum, autonomous agents, as I have defined them, are a new class of chemical reaction network. At a maximum, they may constitute a proper definition of life itself.

Kauffman, Stuart↗
NASA NTRS1999

Co-evolution for Problem Simplification

This paper explores a co-evolutionary approach applicable to difficult problems with limited failure/success performance feedback. Like familiar "predator-prey" frameworks this algorithm evolves two populations of individuals - the solutions (predators) and the problems (prey). The approach extends previous work by rewarding only the problems that match their difficulty to the level of solut,ion competence. In complex problem domains with limited feedback, this "tractability constraint" helps provide an adaptive fitness gradient that, effectively differentiates the candidate solutions. The algorithm generates selective pressure toward the evolution of increasingly competent solutions by rewarding solution generality and uniqueness and problem tractability and difficulty. Relative (inverse-fitness) and absolute (static objective function) approaches to evaluating problem difficulty are explored and discussed. On a simple control task, this co-evolutionary algorithm was found to have significant advantages over a genetic algorithm with either a static fitness function or a fitness function that changes on a hand-tuned schedule.

Haith, Gary L.↗
DOE OSTI2024

Cosmic quenching and scaling laws for the evolution of supermassive black holes and host galaxies

ABSTRACT Observations suggest a co-evolution of supermassive black holes (SMBHs) and host galaxies. In this paper, we consider the mass and energy flow in a near-equilibrium bulge suffused by gases of varying temperatures. By assuming the rate of energy flow independent of the distance r from the bulge center and the local virial equilibrium for permeated gases on scale r, a key parameter $\varepsilon _b$ was identified that quantifies the mass and energy flow in gases and the efficiency of gas cooling (or the "specific" cooling rate per unit mass), and thus regulates the co-evolution of both SMBHs and hosts. With the help of Illustris simulations and observations, we determined the redshift variation $\varepsilon _b\propto (1+z)^{5/2}$. A higher $\varepsilon _b$ in the early Universe means a higher specific cooling rate that allows rapid evolution of SMBHs and hosts. This simple theory, characterized by a single parameter $\varepsilon _b$, provides the dominant mean cosmic evolution of SMBHs and hosts. All other transient phenomena may only contribute to the dispersion around this mean evolution. Based on this theory and relevant assumptions, scaling laws involving $\varepsilon _b$ were identified for the evolution of SMBHs and hosts. For host galaxies, the mass–size relation $M_b\propto \varepsilon _b^{2/3}r_b^{5/3}G^{-1}$, the dispersion–size relation $\sigma _b^2\propto (\varepsilon _b r_b)^{2/3}\propto (1+z)$, or the mass–dispersion relation $M_b\propto \varepsilon _b^{-1}G^{-1}\sigma _b^5$ were identified, where $r_b\propto (1+z)^{-1}$ is the bulge size. For SMBHs, three evolution phases were found involving an initial rapid growth stage with a rising luminosity $L_B\propto (\varepsilon _b M_{\rm BH})^{4/5}$, a transition stage with a declining $L_B\propto \varepsilon _b^2 M_{\rm BH} \propto (1+z)^5$, and a dormant stage with $L_B\propto (\varepsilon _b M_{\rm BH})^{4/3}$. Our results suggest a rapid initial super-Eddington growth in a short period with a new redshift-dependent luminosity limit $L_X\propto\varepsilon _b^{4/5}M_{\rm BH}^{4/5}G^{-1/5}c$, in contrast to the Eddington limit. Analytical solutions were formulated for the BH mass function $\Phi _{\rm BH}$, active galactic nucleus (AGN) mass function $\Phi _{\rm AGN}$, and duty cycle U that predict $\Phi _L\propto L^{-1/5}$ for the faint-end luminosity function, $\Phi _{\rm AGN}\propto M^{-1/5}$ for small-mass-end AGN mass function $\Phi _L$, and $U\propto M^{-1/5}$ at high redshift.

(galaxies:) quasars: supermassive black holes↗
DOE OSTI2025

LiCl–Based Aqueous Electrolytes for Efficient Iron Electrodeposition

This study investigates room temperature, aqueous electrolytes for efficient iron electrodeposition. Specifically, a novel lithium chloride-based electrolyte was identified to suppress hydrogen evolution while promoting fast kinetics of iron electrodeposition, achieving high coulombic efficiency (>90%) at high current densities (>400 mA cm −2 ). Electrochemical analysis of the partial current densities of iron deposition and hydrogen co-evolution revealed that water reduction is kinetically suppressed in this electrolyte, resulting in an increase in the measured coulombic efficiency. Furthermore, a detailed investigation of the iron speciation and their complexation was performed, which revealed that, in concentrated LiCl-containing electrolytes, the ferrous (Fe 2+ ) species coordinate with chloride rather than water, enhancing deposition kinetics. The combined effect of enhanced electrodeposition kinetics and suppressed water activity provide elevated coulombic efficiency. Overall, this paper develops an understanding of anion and cation effects on the mechanism of electrodeposition and hydrogen co-evolution in concentrated electrolytes in search of improved aqueous media (e.g., concentrated LiCl) for efficient metal electro-synthesis.

Lvovich, William [Case Western Reserve University,↗
DOE OSTI2025

Cosmological moduli and non-perturbative production of axions

Cosmological moduli generically come to dominate the energy density of the early universe, and thereby trigger an early matter dominated era. Such non-standard cosmological histories are expected to have profound effects on the evolution and production of axion cold dark matter and dark radiation, as well as their prospects for detection. We consider moduli-axion couplings and investigate the early history of the coupled system, considering closely the evolution of the homogeneous modulus field, the back-reaction from the axion, and the energy densities of the two fields. A particular point of interest is the enhancement of axion production from modulus decay, due to tachyonic and parametric resonant instabilities, and the implications of such production on the cosmological moduli problem, axion dark radiation, and the available parameter space for axion dark matter. Using an effective field theory approach, WKB-based semi-analytical analysis, and detailed numerical estimates of the co-evolution of the system, we evaluate the expected decay efficiency of the modulus to axions. The effects of higher-order operators are studied and implications for UV-complete frameworks such as the Large Volume Scenarios in Type IIB string theory are considered in detail.

Axions and ALPs↗
DOE OSTI2025

MX precipitate behavior in an irradiated advanced Fe-9Cr steel: Self-ion irradiation effects on phase stability

In an effort to optimize Fe-9Cr reduced activation ferritic/martensitic (RAFM) steels and to inform the design and operation of fusion reactors, this work represents the first in a series of cohesive studies dedicated to the evolution of MX-TiC precipitates under accelerated single and dual ion irradiations. This study investigates CNA9, a simplified Fe-9Cr RAFM steel featuring initial MX-TiC precipitate densities of (2.3±0.3)×10²¹ m⁻³. This material was subjected to single self-ion irradiation at damage levels ranging from 1 to 100 displacements per atom (dpa) over a temperature range of 300 to 600°C, with a nominal dose rate of 7×10⁻⁴ dpa/s. Irradiation-induced coarsening was observed, as evidenced by statistically significant increases in mean diameter sizes, at 15 dpa at both 500°C and 600°C, whereas no coarsening was noted at 300°C or 400°C. Further, complete dissolution of precipitates occurred at damage levels of 50 and 100 dpa across the two temperatures tested (300°C and 500°C) while no significant changes were observed at any doses below 15 dpa at 500°C. Experimentally parameterized recoil resolution modeling suggests that the observed radiation stability of MX-TiC precipitates is intricately linked to diffusional changes of solutes resulting from the co-evolution of microstructural features within the experiments. The findings align with current theoretical perspectives on radiation-induced precipitate stability in complex alloys.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Protein Data Bank (PDB): Fifty-three years young and having a transformative impact on science and society

This review article describes the co-evolution of structural biology as a discipline and the Protein Data Bank (PDB), established in 1971 as the first open-access data resource in biology by like-minded structural scientists. As the PDB archive grew in size and scope to encompass macromolecular crystallography, NMR spectroscopy, and cryo-electron microscopy, new technologies were developed to ingest, validate, curate, store, and distribute the information. Community engagement ensured that the needs of structural biologists (data depositors) and data consumers were met. Today, the archive houses more than 230,000 experimentally determined structures of proteins, nucleic acids, and macromolecular machines and their complexes with one another and small-molecule ligands. Aggregate costs of PDB data preservation are ~1% of the cost of structure determination. The enormous impact of PDB data on basic and applied research and education across the natural and medical sciences is presented and highlighted with illustrative examples. Enablement of de novo protein structure prediction (AlphaFold2, RoseTTAfold, OpenFold, etc.) is the most widely appreciated benefit of having a corpus of rigorously validated, expertly curated 3D biostructure data.

bioinformatics↗
DOE OSTI2025

A miniature CRISPR–Cas10 enzyme confers immunity by inhibitory signalling

Microbial and viral co-evolution has created immunity mechanisms involving oligonucleotide signalling that share mechanistic features with human antiviral systems1. In these pathways, including cyclic oligonucleotide-based antiphage signalling systems (CBASSs) and type III CRISPR systems in bacteria and cyclic GMP–AMP synthase–stimulator of interferon genes (cGAS–STING) in humans, oligonucleotide synthesis occurs upon detection of virus or foreign genetic material in the cell, triggering the antiviral response2, 3–4. Here, in an unexpected inversion of this process, we show that the CRISPR-related enzyme mCpol synthesizes cyclic oligonucleotides constitutively as part of an active mechanism that represses a toxic effector. Cell-based experiments demonstrated that the absence or loss of mCpol-produced cyclic oligonucleotides triggers cell death, preventing the spread of viruses that attempt immune evasion by depleting host cyclic nucleotides. Structural and mechanistic investigation revealed mCpol to be a di-adenylate cyclase whose product, c-di-AMP, prevents toxic oligomerization of the effector protein 2TMβ. Analysis of cells by fluorescence microscopy showed that lack of mCpol allows 2TMβ-mediated cell death due to inner membrane collapse. These findings unveil a powerful defence strategy against virus-mediated immune suppression, expanding our understanding of the role of oligonucleotides in immunity.

Doherty, Erin E↗
DOE OSTI2026

Neural operator transformers capture bifurcating drift-wave turbulence in fusion plasma simulations

Self-consistent modeling of turbulence-driven transport is critical for optimizing confinement in magnetically confined fusion plasmas, such as tokamaks and stellarators. In particular, capturing the long-term co-evolution of turbulence, flow, and background plasma profiles remains computationally challenging. Direct numerical simulation of these multiscale, highly nonlinear processes is often demanding and impractical for real-time control or design optimization. To address this bottleneck, we investigate transformer-based neural operator partial differential equation surrogates for emulating the dynamics of drift-wave turbulence bifurcation mediated by zonal flows, using the modified Hasegawa–Wakatani (MHW) model as a prototypical system. We find that the finetuned neural operator model has excellent performance in capturing the multi-spatiotemporal-scales of MHW turbulence bifurcation and is robust to testing on rare and out-of-distribution dynamics. Specifically, we demonstrate that a single unified model accurately predicts both quasi-steady-state turbulence and a wide range of dynamical transition processes, such as nonlinear saturation, spontaneous suppression of turbulence, and the emergence of macroscopic zonal flows, over time horizons vastly exceeding the local turbulence correlation time. This computationally efficient approach establishes a strong foundation for fast, AI-based modeling of complex, multiscale phenomena in magnetized fusion plasmas.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2026

Vegetation heterogeneity reflects soil thermal state and surface soil displacement in a thawing permafrost landscape

Thawing permafrost has the potential to dramatically alter the physical and ecological structure of northern landscapes. Warming of the Arctic and subsequent degradation of permafrost have created a need to assess the stability and movement of soils on hillslopes and the potential impacts on ecosystem structure. In this work, we explore the relationships among vegetation heterogeneity, soil temperature, and soil surface displacements observed from 2019 to 2022 in a watershed in the discontinuous permafrost region on the Seward Peninsula of Alaska. Vegetation heterogeneity was measured as the standard deviation (SD) of the normalized difference vegetation index (NDVI) from 3 m PlanetScope satellite imagery around each soil temperature and active layer thickness observation. Locations of observations were clustered into three soil thermal groups, warm, intermediate, and cold, based on soil temperature and active layer thickness. Average annual horizontal surface displacements were significantly lower for soils within the warm thermal group (median = 0.033 m yr −1 ) compared to soils within the cold thermal group (median = 0.090 m yr −1 ; p < 0.001). Conversely, vegetation heterogeneity was significantly higher in the warm (median = 0.014 SD NDVI; p = 0.002) and intermediate (median = 0.015 SD NDVI; p = 0.002) groups compared with the cold thermal group (median = 0.012 SD NDVI), suggesting a warming-induced shift in vegetation community complexity. Because of the observed associations of ground surface displacement rates and vegetation heterogeneity with soil thermal state, we hypothesize that warming soil conditions induce changes in the rates and patterns of hillslope erosion due to an increase in surface movement as near-surface permafrost thaws, followed by a decrease as the permafrost table deepens and excess ice content diminishes. The transition to warm soils promotes surface ecosystem transformation, shifting the dominant vegetation at the site, given the warming climatic conditions of the region. We integrated our observations of soil temperature, vegetation heterogeneity, and soil surface displacements into a conceptual model that describes the co-evolution of hillslopes and vegetation in warming permafrost environments, which is currently unrepresented in earth system models.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2024

Viral niche-partitioning: comparative genomics of giant viruses across environmental gradients in a high Arctic freshwater-saltwater lake

Giant viruses (GVs; Nucleocytoviricota) impact the biology and ecology of a wide range of eukaryotic hosts, with implications for global biogeochemical cycles. Here, we investigated GV niche separation in highly stratified Lake A at the northern coast of Ellesmere Island, Nunavut, Canada. This lake is composed of a layer of ice-covered freshwater that overlies saltwater derived from the ancient Arctic Ocean, and it therefore provides a broad gradient of environmental conditions and ecological habitats, each with a distinct protist community and rich assemblages of associated GVs. The upper layer (mixolimnion) had measurable light and oxygen, and contained diverse GVs linked to photosynthetic protists, indicating adaptation to surface biotic and abiotic conditions. In contrast, the saline lower layer (monimolimnion), lacking oxygen and light, hosted GVs associated with predicted heterotrophic protists, some of which are known for a predatory lifestyle, and with several viral genes suggesting adaptation to deep-water anaerobic conditions. Our observations underscore the coupling between physical and chemical gradients, microeukaryotes and their associated GVs in Lake A, and provide insight into the potential for GVs to directly and indirectly impact host metabolism. There were similarities between the genetic composition of GVs and the metabolic processes of their potential hosts, implying co-evolution and niche-adaptation within the lake habitats. Notably, we found a greater presence of viral rhodopsins in deeper water layers, suggesting an evolutionary relationship with potential hosts capable of supplementing their energetic needs to thrive in low energy, anoxic conditions.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2024

Galaxy Zoo DESI: large-scale bars as a secular mechanism for triggering AGNs

ABSTRACT Despite the evidence that supermassive black holes (SMBHs) co-evolve with their host galaxy, and that most of the growth of these SMBHs occurs via merger-free processes, the underlying mechanisms which drive this secular co-evolution are poorly understood. We investigate the role that both strong and weak large-scale galactic bars play in mediating this relationship. Using 48 871 disc galaxies in a volume-limited sample from Galaxy Zoo DESI, we analyse the active galactic nucleus (AGN) fraction in strongly barred, weakly barred, and unbarred galaxies up to $z = 0.1$ over a range of stellar masses and colours. After controlling for stellar mass and colour, we find that the optically selected AGN fraction is $31.6 \pm 0.9$ per cent in strongly barred galaxies, $23.3 \pm 0.8$ per cent in weakly barred galaxies, and $14.2 \pm 0.6$ per cent in unbarred disc galaxies. These are highly statistically robust results, strengthening the tantalizing results in earlier works. Strongly barred galaxies have a higher fraction of AGNs than weakly barred galaxies, which in turn have a higher fraction than unbarred galaxies. Thus, while bars are not required in order to grow an SMBH in a disc galaxy, large-scale galactic bars appear to facilitate AGN fuelling, and the presence of a strong bar makes a disc galaxy more than twice as likely to host an AGN than an unbarred galaxy at all galaxy stellar masses and colours.

Astronomy & Astrophysics↗
DOE OSTI2025

Structural decomposition of merger-free galaxies hosting luminous AGNs

ABSTRACT Active galactic nucleus (AGN) growth in disc-dominated, merger-free galaxies is poorly understood, largely due to the difficulty in disentangling the AGN emission from that of the host galaxy. By carefully separating this emission, we examine the differences between AGNs in galaxies hosting a (possibly) merger-grown, classical bulge, and AGNs in secularly grown, truly bulgeless disc galaxies. We use galfit to obtain robust, accurate morphologies of 100 disc-dominated galaxies imaged with the Hubble Space Telescope. Adopting an inclusive definition of classical bulges, we detect a classical bulge component in $53.3 \pm 0.5$ per cent of the galaxies. These bulges were not visible in Sloan Digital Sky Survey photometry, however these galaxies are still unambiguously disc-dominated, with an average bulge-to-total luminosity ratio of $0.1 \pm 0.1$. We find some correlation between bulge mass and black hole mass for disc-dominated galaxies, though this correlation is significantly weaker in comparison to the relation for bulge-dominated or elliptical galaxies. Furthermore, a significant fraction ($\gtrsim 90$ per cent) of our black holes are overly massive when compared to the relationship for elliptical galaxies. We find a weak correlation between total stellar mass and black hole mass for the disc-dominated galaxies, hinting that the stochasticity of black hole–galaxy co-evolution may be higher in disc-dominated than bulge-dominated systems.

Fahey, Matthew J.↗
DOE OSTI2025

Choline Chloride-Based Water-in-Salt Electrolyte for Efficient Iron Electrodeposition

Electrochemical production of iron is a promising low-cost and modular approach to replace the traditional blast furnace. Aqueous electrolytes for iron electrolysis are advantageous as they can be operated at near-ambient temperatures, but they suffer from inefficiencies due to the parasitic hydrogen evolution reaction. In this work, we identify a new water-in-salt electrolyte (WiSE) based on choline chloride (ChCl) for high coulombic efficiency (>85%) iron deposition. Electrochemical analysis of the partial current densities of iron plating and hydrogen co-evolution revealed that, at optimal WiSE compositions, water reduction is kinetically suppressed resulting in an increase in the Fe plating efficiency. Decreased coordination of water and increased coordination of choline’s alcohol group with the Fe 2+ ion were observed through 1 H NMR providing evidence that water reduction is kinetically suppressed in WiSE. Additionally, Raman spectroscopy revealed that complexation effects (with Cl – ) reduce Fe 2+ diffusion coefficients and corresponding limiting currents as the ChCl concentration is increased. This results in an optimal WiSE composition (4 M ChCl + 1 M FeCl 2 ) that provides kinetic suppression of HER but also low transport resistance to Fe plating yielding 85% coulombic efficiency at high current densities.

Sinclair, Nicholas Scott [Case Western Reserve Uni↗
DOE OSTI2025

Woody Plant Transformation: Current Status, Challenges, and Future Perspectives

Woody plants, comprising forest and fruit tree species, provide essential ecological and economic benefits to society. Their genetic improvement is challenging due to long generation intervals and high heterozygosity. Genetic transformation, which combines targeted DNA delivery with plant regeneration from transformed cells, offers a powerful alternative to accelerating their domestication and improvement. Agrobacterium tumefaciens, Rhizobium rhizogenes, and particle bombardment have been widely used for DNA delivery into a wide variety of explants, including leaves, stems, hypocotyls, roots, and embryos, with regeneration occurring via direct organogenesis, callus-mediated organogenesis, somatic embryogenesis, or hairy root formation. Despite successes, conventional approaches are hampered by low efficiency, genotype dependency, and a reliance on challenging tissue culture. This review provides a critical analysis of the current landscape in woody plant transformation, moving beyond a simple summary of techniques to evaluate the co-evolution of established platforms with disruptive technologies. Key advances among these include the use of developmental regulators to engineer regeneration, the rise in in planta systems to bypass tissue culture, and the imperative for DNA-free genome editing to meet regulatory and public expectations. By examining species-specific breakthroughs in key genera, including Populus, Malus, Citrus, and Pinus, this review highlights a paradigm shift from empirical optimization towards rational, predictable engineering of woody plants for a sustainable future.

Agrobacterium tumefaciens↗
DOE OSTI2024

Evaluating downscaled products with expected hydroclimatic co-variances

Abstract. There has been widespread adoption of downscaled products amongst practitioners and stakeholders to ascertain risk from climate hazards at the local scale (e.g., ∼ 5 km resolution). Such products must nevertheless be consistent with physical laws to be credible and of value to users. Here we evaluate statistically and dynamically downscaled products by examining local co-evolution of downscaled temperature and precipitation during convective and frontal precipitation events (two mechanisms testable with just temperature and precipitation). We find that two widely used statistical downscaling techniques (Localized Constructed Analogs version 2, LOCA2, and Seasonal Trends and Analysis of Residuals Empirical Statistical Downscaling Model, STAR-ESDM) generally preserve expected co-variances during convective precipitation events over the historical and future projected intervals as compared to European Centre for Medium-Range Weather Forecasts Reanalysis v5 (ERA5) and two observation-based data products (Livneh and nClimGrid-Daily). However, both techniques dampen future intensification of frontal precipitation that is otherwise robustly captured in global climate models (i.e., prior to downscaling) and with process-based dynamical downscaling across five different regional climate models. In the case of LOCA2, this leads to appreciable underestimation of future frontal precipitation event intensity. This study is one of the first to quantify a likely ramification of the stationarity assumption underlying statistical downscaling methods and identify a phenomenon where projections of future change diverge depending on data production method employed. Finally, our work proposes expected co-variances during convective and frontal precipitation as useful evaluation diagnostics that can be universally applied to a wide range of statistically downscaled products.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1995

An approach to verification and validation of a reliable multicasting protocol: Extended Abstract

This paper describes the process of implementing a complex communications protocol that provides reliable delivery of data in multicast-capable, packet-switching telecommunication networks. The protocol, called the Reliable Multicasting Protocol (RMP), was developed incrementally using a combination of formal and informal techniques in an attempt to ensure the correctness of its implementation. Our development process involved three concurrent activities: (1) the initial construction and incremental enhancement of a formal state model of the protocol machine; (2) the initial coding and incremental enhancement of the implementation; and (3) model-based testing of iterative implementations of the protocol. These activities were carried out by two separate teams: a design team and a V&V team. The design team built the first version of RMP with limited functionality to handle only nominal requirements of data delivery. This initial version did not handle off-nominal cases such as network partitions or site failures. Meanwhile, the V&V team concurrently developed a formal model of the requirements using a variant of SCR-based state tables. Based on these requirements tables, the V&V team developed test cases to exercise the implementation. In a series of iterative steps, the design team added new functionality to the implementation while the V&V team kept the state model in fidelity with the implementation. This was done by generating test cases based on suspected errant or off-nominal behaviors predicted by the current model. If the execution of a test in the model and implementation agreed, then the test either found a potential problem or verified a required behavior. However, if the execution of a test was different in the model and implementation, then the differences helped identify inconsistencies between the model and implementation. In either case, the dialogue between both teams drove the co-evolution of the model and implementation. We have found that this interactive, iterative approach to development allows software designers to focus on delivery of nominal functionality while the V&V team can focus on analysis of off nominal cases. Testing serves as the vehicle for keeping the model and implementation in fidelity with each other. This paper describes (1) our experiences in developing our process model; and (2) three example problems found during the development of RMP. Although RMP has provided our research effort with a rich set of test cases, it also has practical applications within NASA. For example, RMP is being considered for use in the NASA EOSDIS project due to its significant performance benefits in applications that need to replicate large amounts of data to many network sites.

Callahan, John R.↗