Search NASA⌕ Search

SEARCH · Search NASA

Results for “System Advisor Model”

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.

1,762 records · Page 74
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Fluid-Thermal-Structural Interactions Induced by an Asymmetric Shock-Wave/Boundary-Layer Interaction in a Mach-6 Compression Corner

An experimental study is conducted of the fluid-thermal-structural interaction of a clamped compliant panel exposed to a three dimensional shock-wave/boundary-layer interaction (SWBLI) induced by a Mach-6 compression ramp with a spanwise nonuniform incoming boundary layer. The nonuniform boundary layer was produced by placing trips on one side of the upstream flat plate, resulting in largely turbulent flow on the tripped side and transitional flow on the untripped side. Measurements of the flowfield confirmed that the tripped boundary layer contained elevated levels of unsteadiness, and the SWBLI was observed to vary from attached to fully separated as the ramp angle was increased from 10◦ to 38◦; the separation region on the tripped side of the panel was noticeably smaller, showing the elevated turbulence levels of the tripped-side flow to remain relatively localized rather than diffusing across the whole model. Full-field, time-resolved panel deformations were measured using high-speed photogrammetry and the vibrational response at each compression angle was characterized. Although the measured modes conformed largely to those from classical clamped-plate theory, some skewing of the mode shapes was observed. IR thermography highlighted regions of the compliant region where elevated temperatures were likely to promote thermal softening effects to the transient panel response. The quasi-static deformation and stress field was used to characterize the internal stress factor of each mode and showed a meaningful relationship between transient panel response and stress contained within each mode: modes with antinodes lying in high-stress areas of the plate tended to exhibit increases in vibrational frequency and decreases in vibrational power, whereas the opposite was true for modes with antinodes in low-stress areas.

Spectral Proper Orthogonal Decomposition↗
DOE OSTI2025

AUTOIGNITION DELAY TIMES FOR REFORMATE GAS MIXTURES FROM METHANE GAS ENGINES

Methane slip is a prominent issue in natural gas reciprocating engines that are used in transportation and marine applications. The incomplete combustion that results in methane slip can be resolved with the introduction of hydrogen within the combustion mixture to improve methane oxidation and further enable combustion within the engine crevices where methane has previously remained unreacted. Steam methane reforming (SMR) is a common method used to produce hydrogen and can be used to design an onboard device to reduce methane slip from reciprocating engines. The development of this reformer device requires the validation of high-fidelity chemical kinetic models at the low temperatures of the crevice volumes of these engines. In this work, auto-ignition data is obtained using a shock tube at lean (φ—0.714 or λ—1.4) and stoichiometric (φ, λ = 1) equivalence ratios spanning a temperature range of 1042–1234 K at the 80-bar operating pressure of the test engine. Blends of methane, hydrogen, and reformate products from the SMR reaction are shock-heated in synthetic air, with the ignition delay time measured using an OH* chemiluminescence detector at 310 nm and a CH* detector at 430 nm. The experimental results are compared to several state-of-the-art chemical kinetic mechanisms from the literature. In general, most of the mechanisms show very good agreement with experiments at higher temperatures, with simulation results showing little deviation from experiments at lower temperatures. A sensitivity analysis was conducted, and the results reveal that the reaction H2 + CH3O2 = H + CH3O2H has a very significant role in determining low-temperature ignition delay times (IDTs) of SMR mixtures. These findings provide valuable insights into the chemical kinetics governing methane reformate combustion and contribute to the optimization of onboard reformer designs aimed at mitigating methane slip in natural gas-fueled engines.

Fraze, Matthew↗
NASA NTRSDate not supplied

LBFD X-59 Propulsion Overview

The LBFD X-59 Propulsion Overview is prepared in support of a panel session at the 2026 AIAA Aviation Conference. The overview covers highlights of the X-59 propulsion system, a short history of propulsion testing at NASA GRC, A summary of X-59 ground testing, a summary of X-59 flight testing, and finally some lessons learned.

Aerodynamic↗
DOE OSTI2026

Chronology of ungrouped achondrites Northwest Africa 11119 and 7325/8486: implications for early evolution of a heterogeneous crust on a differentiated planetesimal

The chronology of ungrouped achondrites provides key insights into the timeline of igneous activity in the early Solar System. Two ungrouped achondrites – Northwest Africa (NWA) 11119 (andesite-dacite) and NWA 8486 and its pair NWA 7325 (olivine gabbro) – are the focus of this study, where their chronologies are investigated using multiple high-resolution techniques. Here we report the lead-lead (207Pb-206Pb) and manganese-chromium (53Mn-53Cr) systematics of NWA 11119, as well as the 207Pb-206Pb systematics of NWA 8486 alongside aluminum-magnesium (26Al-26Mg) systematics for NWA 7325. The U-corrected 207Pb-206Pb ages of NWA 11119 and the combined ages of NWA 7325/8486 are 4566.4 ± 0.8 Ma and 4563.8 ± 1.9 Ma, respectively. Additionally, we report the 53Mn-53Cr age of NWA 11119 to be 4564.4 ± 2.5 Ma and the 26Al-26Mg age of NWA 7325/8486 to be 4563.1 ± 0.3 Ma. The formation of NWA 11119 requires partial melting of a (likely chondritic) source reservoir leading to eruption of Si rich, alkali depleted magmas, while NWA 7325/8486 likely formed from a chemically fractionated reservoir with superchondritic Al/Mg. The clear geochemical and isotopic similarities of these achondrites, combined with the chronology reported here, is suggestive of formation of these two ungrouped achondrites on a common parent body which likely formed in the inner Solar System and experienced early differentiation under reducing conditions. If these achondrites did share a parent body, it would suggest that primary asteroids in the early Solar System commonly produced mineralogically and geochemically heterogeneous crusts. While mineralogical and geochemical heterogeneity is known to exist in the (mostly mafic) crust of asteroid Vesta, our findings show that even more significant crustal heterogeneity (representing felsic and mafic compositions) may exist on other asteroids.

Cartwright, Julia [University of Leicester, UK]↗
DOE OSTI2026

The 10 September 2025 M w 4.1 Earthquake in Northeastern Utah, United States: An Archetypal Continental Mantle Event

The 10 September 2025 M w 4.1 earthquake in northeastern Utah, United States, had a focal depth 68 km beneath sea level, which is ∼20–25 km greater than estimates of local crustal thickness, making it a rare example of a continental mantle earthquake (CME). The focal depth is well resolved from arrival-time inversion (nearest station ∼13 km away) and moment tensor inversion of regional waveforms. Similar to other CMEs in the Intermountain West, there were no obvious aftershocks or foreshocks, and the waveforms were enriched in high-frequency energy. Spectral modeling gives a stress drop of ∼80 MPa and a radiation efficiency of ∼0.08, albeit with large uncertainties. The high stress drop and low radiation efficiency are consistent with a dissipative source process such as thermal runaway. Also similar to previous Intermountain West CMEs, the event occurred along the boundary of the Archean Wyoming craton, where pressure–temperature conditions favor ductile deformation. We hypothesize that edge-driven or regional-scale mantle convection produces increased strain rates near the craton boundary that make either conventional brittle failure or thermal runaway feasible at relatively high pressure–temperature conditions. High conductivity inferred around the edge of the craton may suggest that fluids also contribute to CME occurrence.

Koper, Keith D. [Univ. of Utah, Salt Lake City, UT↗
DOE OSTI2026

Maximizing dynamic range and performance of anatase TiO 2 ECRAM through structure and programming

Here, in this study, we investigate the structure-dependent modulation characteristics of all-solid-state three-terminal electrochemical random-access memory (ECRAM) based on an anatase Li x TiO 2 channel. By directly comparing “asymmetric” and “symmetric” ECRAM device architectures, we reveal significant insight into the impact of a non-zero gate-drain open-circuit voltage and its influence on voltage vs. current-controlled gating. We also explore the impact of potentiation/depression write parameters on the symmetry, linearity, and dynamic range of the device response. Together, initial results from optimizing structure and programming approaches yielded unprecedented G max /G min ratios of >1,000 for ECRAM and hundreds of tunable memory states with excellent linearity and symmetry. Simulations based on these ECRAM devices further illustrate the promise of this analog memory technology, achieving near 2% classification error in the MNIST digit recognition benchmark for a range of training parameters compared to a theoretical best of 1.66% and outperforming other device models extracted from the literature.

AIHWKit↗
DOE OSTI1994

Nuclear Safety [Vol. 35, No. 2, July-December 1994]

Nuclear Safety is a journal that covers significant issues in the field of nuclear safety. Its primary scope is safety in the design, construction, operation, and decommissioning of nuclear power reactors worldwide and the research and analysis activities that promote this goal, but it also encompasses the safety aspects of the entire nuclear fuel cycle, including fuel fabrication, spent-fuel processing and handling, and nuclear waste disposal, the handling of fissionable materials and radioisotopes, and the environmental effects of all these activities. Table of Contents for this issue follows. GENERAL SAFETY CONSIDERATIONS: 179 Consideration of Postaccident Consequences in the Determination of Safety Objectives for Future Nuclear Power Plants in France, D. Queniart, A. Sugier, and J. Lochard; ACCIDENT ANALYSIS: 187 Nuclear Safety Research: The Phebus FP Severe Accident Experimental Program, P. von der Hardt, A. V. Jones, C. Lecomte, and A. Tattegrain; 205 Containment Performance Analysis of the Advanced Neutron Source Reactor at the Oak Ridge National Laboratory, S. H. Kim, R. P. Taleyarkhan, and V. Georgevich; 213 Assessment of Fission Product Deposits in the Reactor Coolant System: The DEVAP Program, G. Le Marois and M. Megnin; 222 Erratum to “A Review of the Available Information on the Triggering Stage of a Steam Explosion," Vol. 35, No. 1, CONTROL AND INSTRUMENTATION: 223 Effects of Normal Aging on Calibration and Response Time of Nuclear Plant Resistance Temperature Detectors and Pressure Sensors, H. M. Hashemian; DESIGN FEATURES: 235 Defense in Depth Against the Hydrogen Risk—A European Research Program, F. Fineschi; ENVIRONMENTAL EFFECTS: 246 Technical Note: A Preliminary Analysis of the Risks to Hong Kong Resulting from Potential Accidents of Daya Bay Nuclear Power Plant, Z. Shi and X. Wei; OPERATING EXPERIENCES: 253 Reactor Shutdown Experience, Compiled by J. W. Cletcher; SPECIAL SECTION ON TMI-2 VESSEL INVESTIGATION PROJECT: 256 Three Mile Island—New Findings 15 Years After the Accident A. M. Rubin and E. Beckjord; 269 Relocation of Molten Material to the TMI-2 Lower Head, J. R. Wolf, D. W. Akers, and L. A. Neimark; 280 Insight Into the TMI-2 Core Material Relocation Through Examination of Instrument Tube Nozzles, L. A. Neimark; 288 Physical and Radiochemical Examinations of Debris from the TMI-2 Lower Head, D. W. Akers and B. K. Schuetz; 301 Results of Metallographic Examinations and Mechanical Tests of Pressure Vessel Samples from the TMI-2 Lower Head, D. R. Diercks and G. E. Korth; 313 Margin-to-Failure Calculations for the TMI-2 Vessel, J. Rempe, L. Stickler, S. Chavez, G. Thinnes, R. Witt, and M. Corradini; U.S. NUCLEAR REGULATORY COMMISSION INFORMATION AND ANALYSES: 328 1993 Accident Sequence Precursor (ASP) Program Results, L. N. Vanden Heuvel, J. W. Cletcher, D. A. Copinger, J. W. Minarick, B. W. Dolan, and P. D. O’Reilley; RECENT DEVELOPMENTS: 339 Reports, Standards, and Safety Guides, D. S. Queener; 345 Proposed Rule Changes as of June 30, 1994; ANNOUNCEMENTS: 234 Thirty-First Annual Meeting of the National Council on Radiation Protection and Measurements; 356 1995 International Incineration Conference; 358 Fifth International Controls and Instrumentation Conference; 359 ANS International Topical Meeting on Safety of Operating Reactors; 359 Fifth International Conference on Nuclear Criticality Safety; 360 International Conference on Probabilistic Safety Assessment Methodology and Applications; 351 The Authors; 357 Reviewers of Nuclear Safety, Vol. 35.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

Acute Exposure to Aerosolized Nanoplastics Modulates Redox-Linked Immune Responses in Human Airway Epithelium

Micro- and nanoplastics (MPs and NPs) are pervasive environmental pollutants detected in aquatic ecosystems, with emerging evidence suggesting their presence in airborne particles generated by water body motion. Inhalation exposure to airborne MPs and NPs remains understudied despite documented links between occupational exposure to these particles and adverse respiratory outcomes, including airway inflammation, oxidative stress, and chronic respiratory diseases. This study explored the effects of acute NP exposure on a fully differentiated 3D human airway epithelial model derived from 14 healthy donors. Airway epithelium was exposed to aerosolized 50 nm polystyrene NPs at concentrations ranging from 2.5 to 2500 µg/mL for three minutes per day over three days. Functional assays revealed no significant alterations in tissue integrity, cell survival, mucociliary clearance, or cilia beat frequency, suggesting intact epithelial function post-exposure. However, cytokine and chemokine profiling identified a significant five-fold increase in CCL3 (MIP-1α), a neutrophilic chemoattractant, in NP-exposed samples compared to controls. This was corroborated by increased neutrophil chemotaxis in response to conditioned media from NP-exposed tissues, indicating a pro-inflammatory neutrophilic response. Conversely, levels of interleukins (IL-21, IL-2, IL-15), CXCL10, and TGF-β were significantly reduced, suggesting immunomodulatory effects that may impair adaptive immune responses and tissue repair mechanisms. These findings demonstrate that short-term exposure to NP-containing aerosols induces a distinct pro-inflammatory response in airway epithelium, characterized by enhanced neutrophil recruitment and reduced secretion of key immune modulators. These findings underscore the potential for aerosolized NPs to induce oxidative and inflammatory stress, raising concerns about their long-term impact on respiratory health and redox regulation.

Biochemistry & Molecular Biology↗
NASA NTRS1993

Research and development of high thermal stability fuels

Increases in aircraft performance are leading to increases in the thermal stress on the primary aircraft coolant--the fuel. Fuel thermal stability limitations may offset future aircraft performance gains. The Air Force's Wright Laboratory is sponsoring several research programs to address this problem. The development of an additive package for JP-8 to improve its thermal stability is the primary focus of this paper. This program involves extensive testing of fuels and additives in a variety of test devices, culminating in tests in a fuel system simulator and engine tests. These tests involve Air Force personnel, on-site contractors (University of Dayton Research Institute, Systems Research Laboratories), Pratt and Whitney Aircraft Co., additive manufacturers, and Sandia National Laboratory. The test devices include several flowing and static tests, where the behavior of a fuel is investigated in a wide variety of environments. The study of several baseline fuels in these devices has led to some new insights into the mechanisms of fuel thermal (in)stability. It is becoming clear that a fuel's tendency to oxidize (to form peroxides, for example) is often inversely proportional to its tendency to form insoluble deposits.

T Edwards↗
NASA NTRS2026

Distribution of Extraterrestrial Nucleobases, Other N-Heterocycles, and Their Precursors in A Sample From Asteroid Bennu

The recent discovery of all five canonical nucleobases in samples from Bennu provides compelling evidence that some of life’s ingredients were synthesized abiotically in the parent body of this asteroid and/or its precedent components. However, due to the sample availability and the limited method for the analysis, the detailed distribution of nucleobases in the samples remains elusive. Here we report the concentrations of a diverse suite of nitrogen (N)-heterocycles including nucleobases extracted by 2% and 20% hydrochloric acid from a homogenized Bennu sample. The detection of both canonical and non-canonical nucleobase pairs confirms that these biologically important compounds are extraterrestrial. Pyrimidines are more abundant than purines—like the Orgueil meteorite, but unlike the Murchison meteorite and asteroid Ryugu samples—suggesting preferential synthesis in ammonia-rich ices from the outer Solar System. The distribution of other N-heterocycles is consistent with extensive aqueous alteration on the parent body. High concentrations of urea underscore its role in N-heterocycle synthesis. Our findings offer important information on the prebiotic inventory of N-heterocycles in the Solar System.

Yasuhiro Oba↗
NASA NTRS2019

International Space Station Lithium-Ion Battery Status

When originally launched, the International Space Station (ISS) primary Electric Power System (EPS) used Nickel-Hydrogen (Ni-H2) batteries to store electrical energy. The electricity for the space station is generated by its solar arrays, which charge batteries during insolation for subsequent discharge during eclipse. The Ni-H2 batteries were designed to operate for ten years at a 35% depth of discharge (DOD) maximum during normal operation in a Low Earth Orbit. For service beyond that period, upgraded Li-Ion Orbital Replacement Units (ORUs) were designed. These are the largest Li-Ion batteries ever utilized for a human rated spacecraft. The first set of six Ni-H2 batteries was replaced by Li-Ion batteries in December 2016; the second set of six was launched in September 2018 and installed in March 2019. The third set of six were launched in September 2019. Three batteries were installed in September 2019, with the remaining three to be installed in January 2020. This paper will include a brief overview of the ISS Li-Ion battery system architecture, start up of the second and third set of 6 batteries and the on-orbit status of all 18 batteries, plus the status of the Li-Ion cell life testing.

Lithium-Ion↗
NASA NTRS2020

The Slow Demise of the Long-Lived Sn 2005ip

The Type IIn supernova (SN IIn) 2005ip is one of the most well-studied and long-lasting examples of an SN interacting with its circumstellar environment. The optical light curve plateaued at a nearly constant level for more than five years, suggesting ongoing shock interaction with an extended and clumpy circumstellar medium (CSM). Here, we present continued observations of the SN from ∼1000 to 5000 d post-explosion at all wavelengths, including X-ray, ultraviolet, near-infrared (NIR), and mid-infrared. The UV spectra probe the pre-explosion mass loss and show evidence for CNO processing. From the bolometric light curve, we find that the total radiated energy is in excess of 10 50 erg, the progenitor star’s pre-explosion mass-loss rate was >~ 1 × 10 −2 Mꙩ yr −1 , and the total mass lost shortly before explosion was >~1Mꙩ, though the mass lost could have been considerably larger depending on the efficiency for the conversion of kinetic energy to radiation. The ultraviolet through NIR spectrum is characterized by two high-density components, one with narrow high-ionization lines, and one with broader low-ionization H I, He I, [OI], Mg II, and Fe II lines. The rich Fe II spectrum is strongly affected by Lyα fluorescence, consistent with spectral modelling. Both the Balmer and He I lines indicate a decreasing CSM density during the late interaction period. We find similarities to SN 1988Z, which shows a comparable change in spectrum at around the same time during its very slow decline. These results suggest that, at long last, the shock interaction in SN 2005ip may finally be on the decline.

stars↗
DOE OSTI2024

Determining Stellar Elemental Abundances from DESI Spectra with the Data-driven Payne

Abstract Stellar abundances for a large number of stars provide key information for the study of Galactic formation history. Large spectroscopic surveys such as the Dark Energy Spectroscopic Instrument (DESI) and LAMOST take median-to-low-resolution (R≲ 5000) spectra in the full optical wavelength range for millions of stars. However, the line-blending effect in these spectra causes great challenges for elemental abundance determination. Here we employDD-Payne, a data-driven method regularized by differential spectra from stellar physical models, to the DESI early data release spectra for stellar abundance determination. Our implementation delivers 15 labels, including effective temperatureT eff , surface gravity log g , microturbulence velocityv mic , and the abundances for 12 individual elements, namely C, N, O, Mg, Al, Si, Ca, Ti, Cr, Mn, Fe, and Ni. Given a spectral signal-to-noise ratio of 100 per pixel, the internal precisions of the label estimates are about 20 K forT eff , 0.05 dex for log g , and 0.05 dex for most elemental abundances. These results agree with the theoretical limits from the Crámer–Rao bound calculation within a factor of 2. The majority of the accreted halo stars contributed by the Gaia–Enceladus–Sausage are discernible from the disk and in situ halo populations in the resultant [Mg/Fe]–[Fe/H] and [Al/Fe]–[Fe/H] abundance spaces. We also provide distance and orbital parameters for the sample stars, which spread over a distance out to ∼100 kpc. The DESI sample has a significantly higher fraction of distant (or metal-poor) stars than the other existing spectroscopic surveys, making it a powerful data set for studying the Galactic outskirts. The catalog is publicly available.

Astronomy & Astrophysics↗
DOE OSTI2026

Selectivity mechanisms of ion intercalation in Prussian blue analogs

Prussian blue analogs (PBAs) are a family of materials with facile, reversible, and selective ion transport capability for various ions via electrochemical intercalation, owing to their vacancy structure. The large tunable compositional space of PBAs allows for manipulation of intercalation behavior and selectivity by controlling structural vacancy level through choice of transition metal centers and modifications to the synthesis process. However, a lack of understanding of the mechanisms of ion selectivity hinders the material’s design process. Here, for this work, we investigated the origins of ion selectivity using a model PBA, copper hexacyanoferrate, and focused on eight technologically and biologically prominent ions, for which we determined a sequence of selectivity: Rb + > K + > Na + > Ba 2+ > Sr 2+ ≈ Ca 2+ > Mg 2+ > Li + . We provide electrochemical, structural, and redox evidence of strong correlation between the ion identity, the dominant charge-compensating redox, and preferred occupancy site. Specifically, using synchrotron anomalous X-ray diffraction (AXRD), we reveal that monovalent ions exhibit significant association with the corner sites of the unit cell and iron redox, whereas divalent ions display affinity toward the center site with higher ratios of copper redox. Informed by selectivity results, we applied CuHCFe to Li purification and achieved 99.9% purity. Our findings demonstrate an approach to elucidating ion intercalation behavior in order to distinguish and manipulate material properties to optimize separation performance.

Prussian blue analog↗
DOE OSTI2026

Co-Location of Cellulosic Bioethanol and Alcohol-to-Jet (ATJ) Production Facilities for Targeted Scale-Up of Sustainable Aviation Fuel (SAF) Production

Achieving aerospace industry net-zero emissions by 2050 requires rapid scaling of sustainable aviation fuel (SAF) production. Leveraging existing infrastructure, proven technologies like Alcohol-to-Jet (ATJ), and low carbon intensity (CI) feedstocks (e.g., switchgrass and miscanthus) can support this transition and help achieve near-term emissions reduction targets. This study evaluates the implications of lignocellulosic ethanol biorefinery siting and integration with petroleum refineries to produce SAF across 1000 sites randomly sampled from areas suitable for perennial grasses in the U.S. rainfed region. To better understand the logistics of material transport and handoffs, we integrated models of biomass harvest, transport, ethanol, and ATJ production in a stochastic framework based on Monte Carlo simulations to characterize SAF minimum selling price (MSP) and carbon intensity (CI), considering site-specific parameters (e.g., feedstock production, transportation, taxes, incentives). The results indicate trade-offs between MSP and CI across locations, with median MSP ranging from 7.9 to 12.8 USD·gal −1 and CI from −9.7 to 39.4 gCO 2 e·MJ −1 . Despite high estimated decarbonization costs (580 USD·tonCO 2 e −1 ), our results indicate that site-specific deployment of ATJ with low-CI feedstocks can improve sustainability outcomes. The framework provides a systematic approach to assess cost and sustainability trade-offs across locations, considering the end-to-end supply chain and supporting an informed investment in SAF production.

09 BIOMASS FUELS↗
NASA NTRS1984

Ni-cd Battery Life Expectancy in Geosynchronous Orbit

The feasibility of using nickel cadmium batteries as an alternate if flight qualified NiH2 batteries are not available is explored. Battery life expectancy data being a key element of power system design, an attempt is made to review the literature, life test data and in orbit performance data to develop an up to date estimate of life expectancy for NiCd batteries in a geosynchronous orbit.

Broderick, R. J.↗
NASA NTRS1984

In Flight Performance of a Six Ampere-hour Nickel-cadmium Battery in Low Earth Orbit

Flight data for 17,000 orbital cycles are reviewed and summarized. The nickel cadmium battery system operated without failure or abnormality. Battery trend analysis used in determining the feasibility of extending mission life is discussed. The life test data for 20% depth of discharge indicates design life requirements would be reached even at a deeper depth of discharge.

Mcdermott, J. K.↗
NASA NTRS1993

Formal Functional Test Designs with a Test Representation Language

The application of the category-partition method to the test design phase of hardware, software, or system test development is discussed. The method provides a formal framework for reducing the total number of possible test cases to a minimum logical subset for effective testing. An automatic tool and a formal language were developed to implement the method and produce the specification of test cases.

J M Hops↗