SEARCH · Search NASA

Results for “composite tooling”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

SourceResearch connectionFrom yearThrough year

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

At least 145 records · Page 8

All sources NASA NTRS DOE OSTI

NASA NTRSDate not supplied

Structural Sizing of a Tow-Steered Truss-Braced Wing Box Test Article

Tailoring of composite laminates is traditionally performed by changing the orientation of straight fibers in one or more plies. Modern automated fiber placement machines facilitate placement of bundles of curved fibers (tows) in a process called tow-steering, but additional variables must be used to define the shapes of tow-steered fiber paths. In this paper, the design of a tow-steered truss-braced wing test article called the Structural Wing Experiment Evaluating Truss-bracing 15-ft concept (SWEET-15) is discussed. The SWEET-15 test article is scaled to 18.6% of the span length and chord width of a full-scale vehicle. The test article is designed to withstand +2.5-g (positive limit) and -1.0-g (negative limit) maneuvering loads with a factor of safety of 1.5 under strength and buckling constraints. Design studies were performed using commercial finite element analysis and optimization software in conjunction with a tow-steering modeling tool called ATSCOOL (Automated Tool for Steered COmposite Optimizable Laminates) developed at NASA Langley Research center. A 6.4% weight reduction in the upper cover panels was achieved using a tow-steered layup configuration.

Composites↗

DOE OSTI2022

5.1.6 Demo #6: NanoStitch (NAWAStitch) Multifunctional Composites Trade Validation

The overall objective of the NanoStitch Multifunctional Composites Trade Validation Demonstration project was to determine the value proposition of adding NanoStitch to rapid-cure composite systems for structures used in the expanding sector of advanced air mobility (AAM) and specifically electric vertical take-off and landing (eVTOL) aircraft. The expected value proposition was stronger composite parts, with new multifunctional attributes, that are lower cost to fabricate and maintain. NanoStitch is a new composite innovation where a contiguous vertically aligned carbon nanotube (VACNT) forest is located between each ply of a laminate composite resulting in improved mechanical properties as well as other multifunctional properties such as enhanced thermal and electrical conductivity. NanoStitch was originally distributed by N12, later acquired by NAWA Technologies, now called NAWAStitch, and henceforth referred to in this document as NAWAStitch. Two significant evaluations were framed to help meet the overall objective. First, was Task 1 to evaluate the effects that adding NAWAStitch to a rapid cure material system would have on the mechanical and processing properties of the material. Second, was Task 2 to evaluate the workability of adding NAWAStitch to practical flight demonstration articles. From previous research, it was already known that the application of NAWAStitch to a composite structure can enhance the mechanical properties of that structure. However, this project will help the engineering community understand those benefits and the basic structural strength values to apply when incorporating NAWAStitch material into composite structure that utilizes a rapid-cure resin system, which is novel. Testing showed that by adding NAWAStitch to the prepreg, most material properties were improved because the VACNTs strengthened the resin to fiber interface, and the interface itself, between plies. For example compression strength improved by more than 20%, and erosion resistance by more than 50%. The UDRI team identified two flight demonstration articles through discussions with Aurora Flight Sciences (Aurora) and reviewing literature on air mobility and the eVTOL market. The demonstration articles were a thin skin honeycomb panel and a section from an eVTOL propeller blade. The manufacturing and testing trials of the demonstration articles were as follows: • NAWAStitch added no manufacturing complexity or detriment to the article physical qualities, while at the same time added multifunctional properties such as enhanced rain erosion and electrothermal de-icing besides enhanced mechanical properties • VACNTs did not increase or hurt the mechanical properties of the interface between honeycomb core materials and the thin skin face sheet • Demonstrated successful de-icing function in an eVTOL propeller meeting real-world specifications in uniformity and endurance • Multifunctional eVTOL propeller cost analysis showed a cost savings of at least 67 % for a single propeller blade with multifunctional de-icing capability and improved mechanical properties which equates to a potential savings of $10,116 per eVTOL aircraft with six three-bladed propellers Overall, the results of this project can provide additional tools for the composite industry to optimize energy efficiency through faster and stronger composite parts that are lower cost to fabricate and maintain. Additionally, the results of this effort can help US industry like NAWA America set the stage for rapid growth and establishment of a manufacturing facility in Ohio. The project has given NAWA America the basic understanding of how the addition of VACNTs to a composite structure can affect the mechanical properties and hence point them to potential commercial applications. The project has also provided Teijin Carbon US with another potential material application for their rapid cure materials that are manufactured at the Renegade facility in Miamisburg, OH.

36 MATERIALS SCIENCE↗

NASA NTRS2004

Lipid Biomarkers for a Hypersaline Microbial Mat Community

The use of lipid biomarkers and their carbon isotopic compositions are valuable tools for establishing links to ancient microbial ecosystems. Various lipids associated with specific microbial groups can serve as biomarkers for establishing organism source and function in contemporary microbial ecosystems (membrane lipids), and by analogy, potential relevance to ancient organic-rich sedimentary rocks (geolipids). As witnessed by the stromatolite record, benthic microbial mats grew in shallow water lagoonal environments. Our recent work has focused on lipid biomarker analysis of a potential analogue for such ancient mats growing in a set of hypersaline evaporation ponds at Guerrero Negro, Baja California Sur, Mexico. The aerobic, surface layer of this mat (0 to 1 mm) contained a variety of ester-bound fatty acids (FA) representing a diverse bacterial population including cyanobacteria, sulphate reducers (SRB) and heterotrophs. Biomarkers for microeukaryotes detected in this layer included sterols, C-20 polyunsaturated FA and a highly branched isoprenoid, diagnostic for diatoms. Cyanobacteria were also indicated by the presence of a diagnostic set of mid-chain methylalkanes. C-28, to C-34 wax esters (WXE) present in relatively small amounts in the upper 3 mm of the mat are considered biomarkers for green non-sulphur bacteria. Ether-bound isoprenoids were also identified although in considerably lower abundance than ester-bound FA (approx. 1:l0). These complex ether lipids included archatol, hydroxyarchaeol and a C-40 tetraether, all in small amounts. After ether cleavage with boron tribromide, the major recovered isoprenyl was a C-30:1. This C(sub 30;1) yelded squalane after hydrogenation, a known geobiomarker for hypersaline environments in ancient oils and sediments. In this mat, it represents the dominant Archaeal population. The carbon isotopic composition of biomarker lipids were generally depleted relative to the bulk organic material (delta C-13 TOC -10%). Most depleted were the cyanobacterial methylalkanes at -27% with FA such as the SRB biomarker, 10- methyl C-I6, somewhat heavier at -16%, and WXE at -17%. The C-30:1 isoprenyl was most enriched with delta C-13 in the -7 to -11% range, much too heavy to represent the methanogen population responsible for mat methane values measured at -60%.

Jahnke, Linda↗

DOE OSTI2021

Low-Cost Aero Technology Demonstrations

The main focus of this work was to demonstrate the use of polymeric additive manufacturing (AM) to create tooling for both preforming and consolidation. Polymeric tooling was utilized where both modest and higher pressures are used for part consolidation. The key focus for the AM tooling development was for fabrication of complex structures such as ducting, C-channel stiffened skins, and airfoils where conventional male tooling would typically be trapped in the cured part. The AM tooling was evaluated for use as a tool master used to fabricate and re-shape deformable/re-formable mandrels based on SpinTech’s shape memory composite technology known as Smart Tooling. The AM tooling was also evaluated for use as a mold for composite infusion and consolidation. Key performance parameters were tracked for project schedule completion with each step comprising of “art to part” cycle time, cost, and model fidelity for dimensions, performance, and cost. The primary focus of this demonstration was to determine if a 50% cost reduction was achievable, for each AM tooling-set, as compared to conventional processes. UDRI leveraged project partner SpinTech, who manufactures tools and parts in these categories and thus provided a baseline regarding current best practices and provided valuable feedback during the entirety of this demonstration. This demonstration primarily focused on the use of AM tooling for fabrication of three composite component structures which are typically utilized in aircraft and comprise salient geometric features of broad interest. These components are often tooling intensive and have features requiring extraction of male tools which are usually trapped by the geometry. The three structures selected by the team included: 1) A one-piece airfoil shell comprised of compound contours where male tooling would be trapped unless the part were manufactured in two halves as is typically the case. 2) A one-piece duct used for air handling, comprised of compound contours where male tooling would be trapped unless the part were manufactured in two halves, or a washout mandrel were to be used. 3) A co-cured C-channel stiffened skin where typically C-channels would be individually manufactured and then bonded to a cured skin. The demonstration was comprised of three main tasks: • Task 1: AM Tool Feasibility Study – ensure the AM tooling meets the performance requirements as specified by SpinTech to match baseline performance. • Task 2: Complex Tool Demonstration – Fabricate tooling, preforms, and parts representative of an airfoil and duct. • Task 3: Large Aerostructure Fabrication Demonstration – Fabricate tooling, preforms, and part representative of a C-channel stiffened skin. With the conclusion of this project, a decision tree was developed to determine the key considerations necessary to determine if use of AM tooling for the three selected structures was able to attain the same quality as historically achieved on metallic tooling, while providing a significant cost reduction.

36 MATERIALS SCIENCE↗

DOE OSTI2022

Tailoring compatibilization potential of maleic anhydride–grafted polypropylene by sequential rheochemical processing of polypropylene and polyamide 66 blends

Reactive compatibilization of immiscible polymer blends using a preferred compatibilizer leaves the following question: How much loading of a compatibilizer is good enough and what maximum properties can be achieved? A good understanding of the process can help solve the reutilization of mixed waste plastics. Here, the reactive compatibilization of polypropylene-graft-maleic anhydride (PP-g-MAH) on polypropylene/polyamide 66 (PP/PA66) blends is quantitatively assessed using thermorheological, microoptical, spectroscopic, and x-ray scattering-based characterization tools. The overall compositions of all PP(60%)/PA66(30%)/PP-g-MAH(10%) blends are kept constant while systematically controlling the degree of the chemical reaction by varying the sequential addition of PP-g-MAH to the melt mixture. The first feeding of PP-g-MAH (x%, 0 ≤ x ≤ 10) is conducted at 280°C and the second feeding of (10–x)% is at 200°C. During the first step, a larger amount of chemical activity is observed up to 4%–6% addition of PP-g-MAH. Furthermore, the constant chemical composition allows a systematic comparison of the compatibilizer-dependent thermal, rheological, morphological, and mechanical properties. With an increased degree of interfacial reaction, the size of dispersed PA66 domains decreases to register improved interfacial adhesion with the PP matrix, yielding enhanced Young's modulus and absolute failure strength of the isotropic matrix.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2023

40-meter-long REBCO tapes with critical current over 4,000 A/12 mm at 4.2 K and 13 T by advanced MOCVD

REBa 2 Cu 3 O 7–δ (REBCO, RE = rare earth) tapes doped with 5% and 15% Zr have been scaled up to lengths more than 40 m in a pilot-scale advanced metal organic chemical vapor deposition (A-MOCVD) tool. The precursor compositions used for the long tapes were guided by a study of the influence of (Ba + dopant)/Cu content on the critical current density (J c ) of 5 and 15 mol.% Hf- and Zr-added tapes at 4.2 K and 13 T. The 40-m-long tapes exhibited a critical current (I c ) over 4,000 A/12 mm at 4.2 K and 13 T as well as over 1,400 A/12 mm at 20 K and 20 T. The critical current densities of a 40-m-long tape doped with 5% Zr at 4.2 K measured at the National High Magnetic Field Laboratory (NHMFL) were > 10 MAcm –2 and >5 MAcm –2 at 14 T and 30 T, respectively, which are over three times those of commercial REBCO tapes. The infield J c of 5% Zr-added 40-m-long tapes was similar to those of previously-reported high-performance short samples made with 15% Zr or Hf. These results demonstrate the excellent potential of A-MOCVD for manufacturing high I c REBCO tapes for use in ultrahigh-field magnet applications.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

NASA NTRS1982

Ion beam surface modification

The essential details of a study on the practical applications and mechanisms of polymer sputtering via Argon ion impact are summarized. The potential to modify the properties of polymer surfaces to improve their adherence, durability, biocompatibility, or other desirable properties by ion beam sputtering was emphasized. Ion beam milling can be of benefit as an analytical tool to obtain composition versus depth information. Ion impact from a directed ion gun source specifically etches polymer structures according to their morphologies, therefore this technique may be useful to study unknown or new morphological features. Factors addressed were related to: (1) the texture that arises on a polymer target after ion impact; (2) the chemistry of the top surface after ion impact; (3) the chemistry of sputtered films of polymeric material deposited on substrates placed adjacent to targets during ion impact; and (4) practical properties of textured polymer targets, specifically the wettability and adhesive bonding properties.

Dwight, D. W.↗

NASA NTRS1993

Thermal infrared emission spectroscopy of natural surfaces: Application to desert varnish coatings on rocks

Thermal infrared spectroscopy has become an increasingly important tool for remote compositional analysis and geologic mapping. Most published laboratory measurements have been obtained in bidirectional reflection or transmission, whereas remotely sensed thermal infrared data are obtained by measuring the emitted energy. Section 2 of this paper describes a laboratory technique for determining calibrated emissivities of natural surfaces. Equations are developed to account for the energy reflected from the environment and to determine directly the sample temperature from measurements of hot and cold blackbody targets. Two methods for determining emissivity are developed: one in which only a hot sample measurement is made and the reflected background energy is removed by modeling, and a second in which the sample is cooled and the reflected energy is measured directly. Relative emissivity can be obtained to approximately 1% and absolute emissivities can be obtained to 2-15%, depending on the validity of the assumption that the emissivity of the sample is unity at some wavelength. The emission data agree well within the hemispherically integrated reflection data but point out probelms associated with bidirectional reflectance measurements. Section 3 applies emissivity measurements to the study of layered surfaces consisting of desert varnish coatings on granite and granodiorite rock suites. Two linear models are developed: the first assumes linear mixing of independent emission from the substrate and varnish (checkerboard model); the second models tansmission through an absorbing/emitting medium. Regardless of whether the varnish is or is not relatively transparant and strongly absorptive, the spectral effect of varnish increases linearly with varnish thickness, indicating that thick patches of varnish dominate the spectral properties. As a result, medium varnish thickness can be determined from spectral measurements. In addition, the composition of a substrate can be estimated through varnish layers up to 40-50 micrometers in median thickness, and the composition of the varnish material can be determined if the substrate material is known. The varnishes studied are composed primarily of clay materials, consistent with previous studies of varnish composition.

Christensen, Philip R.↗

NASA NTRS2003

NASA's Earth Observatory and Visible Earth: Imagery and Science on the Internet

The purpose of NASA s Earth Observatory and Visible Earth Web sites is to provide freely-accessible locations on the Internet where the public can obtain new satellite imagery (at resolutions up to a given sensor's maximum) and scientific information about our home planet. Climatic and environmental change are the sites main foci. As such, they both contain ample data visualizations and time-series animations that demonstrate geophysical parameters of particular scientific interest, with emphasis on how and why they vary over time. An Image Composite Editor (ICE) tool will be added to the Earth Observatory in October 2002 that will allow visitors to conduct basic analyses of available image data. For example, users may produce scatter plots to correlate images; or they may probe images to find the precise unit values per pixel of a given data product; or they may build their own true-color and false-color images using multi- spectral data. In particular, the sites are designed to be useful to the science community, public media, educators, and students.

King, Michael D.↗

NASA NTRS2003

Ceramic Matrix Composites (CMC) Life Prediction Development - 2003

Accurate life prediction is critical to successful use of ceramic matrix composites (CMCs). The tools to accomplish this are immature and not oriented toward the behavior of carbon fiber reinforced silicon carbide (C/SiC), the primary system of interest for many reusable and single mission launch vehicle propulsion and airframe applications. This paper describes an approach and progress made to satisfy the need to develop an integrated life prediction system that addresses mechanical durability and environmental degradation of C/SiC.

Levine, Stanley R.↗

NASA NTRS2002

C/sic Life Prediction for Propulsion Applications

Accurate life prediction is critical to successful use of ceramic matrix composites (CMC). The tools to accomplish this are immature and not oriented toward the behavior of carbon fiber reinforced silicon carbide (C/SiC), the primary system of interest for many reusable and single mission launch vehicle propulsion and airframe applications. This paper describes an approach and process made to satisfy the need to develop an integrated life prediction system that addresses mechanical durability and environmental degradation of C/SiC. Issues such as oxidation, steam and hydrogen effects on material behavior are discussed. Preliminary tests indicate that steam will aggressively remove SiC seal coat and matrix in line with past experience. The kinetics of water vapor reaction with carbon fibers is negligible at 600 C, but comparable to air attack at 1200 C. The mitigating effect of steam observed in fiber oxidation studies has also been observed in stress rupture tests. Detailed microscopy of oxidized specimens is being carried out to develop the oxidation model. Carbon oxidation kinetics are reaction controlled at intermediate temperatures and diffusion controlled at high temperatures (approximately 1000 C). Activation energies for T-300 and interface pyrolytic carbon were determined as key inputs to the oxidation model. Crack opening as a function of temperature and stress was calculated. Mechanical property tests to develop and verify the probabilistic life model are very encouraging except for residual strength prediction. Gage width is a key variable governing edge oxidation of seal coated specimens. Future efforts will include architectural effects, enhanced coatings, biaxial tests, and LCF. Modeling will need to account for combined effects.

Levine, Stanley R.↗

NASA NTRS2002

C/SIC Life Prediction for Propulsion Applications

Accurate life prediction is critical to successful use of ceramic matrix composites (CMC). The tools to accomplish this are immature and not oriented toward the behavior of carbon fiber reinforced silicon carbide (C/SiC), the primary system of interest for many reusable and single mission launch vehicle propulsion and airframe applications. This paper describes an approach and progress made to satisfy the need to develop an integrated life prediction system that addresses mechanical durability and environmental degradation of C/SiC. Issues such as oxidation, steam and hydrogen effects on material behavior are discussed. Preliminary tests indicate that stream will aggressively remove SiC seal coat and matrix in line with past experience. The kinetics of water vapor reaction with carbon fibers is negligible at 600 C, but comparable to air attack at 1200 C. The mitigating effect of steam observed in fiber oxidation studies has also been observed in stress rupture tests. Detailed microscopy of oxidized specimens is being carried out to develop the oxidation model. Carbon oxidation kinetics are reaction controlled at intermediate temperatures and diffusion controlled at high temperatures (approx. 1000 C). Activation energies for T-300 and interface pyrolytic carbon were determined as key inputs to the oxidation model. Crack opening as a function of temperature and stress was calculated. Mechanical property tests to develop and verify the probabilistic life model are very encouraging except for residual strength prediction. Gage width is a key variable governing edge oxidation of seal coated specimens. Future efforts will include architectural effects, enhanced coatings, biaxial tests, and LCF. Modeling will need to account for combined effects.

Levine, Stanley R.↗

NASA NTRS2003

Lipid Biomarkers for a Hypersaline Microbial Mat Community

The use of lipid biomarkers and their carbon isotopic compositions are valuable tools for establishing links to ancient microbial ecosystems. As witnessed by the stromatolite record, benthic microbial mats grew in shallow water lagoonal environments where microorganisms had virtually no competition apart from the harsh conditions of hypersalinity, desiccation and intense light. Today, the modern counterparts of these microbial ecosystems find appropriate niches in only a few places where extremes eliminate eukaryotic grazers. Answers to many outstanding questions about the evolution of microorganisms and their environments on early Earth are best answered through study of these extant analogs. Lipids associated with various groups of bacteria can be valuable biomarkers for identification of specific groups of microorganisms both in ancient organic-rich sedimentary rocks (geolipids) and contemporary microbial communities (membrane lipids). Use of compound specific isotope analysis adds additional refinement to the identification of biomarker source, so that it is possible to take advantage of the 3C-depletions associated with various functional groups of organisms (i.e. autotrophs, heterotrophs, methanotrophs, methanogens) responsible for the cycling of carbon within a microbial community. Our recent work has focused on a set of hypersaline evaporation ponds at Guerrero Negro, Baja California Sur, Mexico which support the abundant growth of Microcoleus-dominated microbial mats. Specific biomarkers for diatoms, cyanobacteria, archaea, green nonsulfur (GNS), sulfate reducing, and methanotrophic bacteria have been identified. Analyses of the ester-bound fatty acids indicate a highly diverse microbial community, dominated by photosynthetic organisms at the surface.

Jahnke, Linda L.↗

NASA NTRS2003

C/sic Life Prediction for Propulsion Applications

Levine, Stanley R.↗

NASA NTRS2004

Remote Sensing Information Applied to Geological Study of Planets

The Planetary Geology and Geophysics tasks under this grant have concentrated on the development and testing of tools for remote compositional analyses for the Moon and other airless bodies (especially asteroids). The grant has supported the PI and her students. Detailed analyses of space-weathering analogs were undertaken. Lunar research included development of models for regolith evolution and redistribution of materials across the Moon, with particular emphasis on the interior of South Pole-Aitken Basin. Lunar compositional analyses identified general rock types using Clementine data and mapped their distribution globally and locally based on the type of mafic mineralogy present (or lack thereof). Progress in these areas has been extensively discussed in the literature and in proposals submitted to the PGG program in 2003 and 2004.

Pieters, Carle M.↗

NASA NTRS2009

An Operational Assessment of the MODIS False Color Composite with the Great Falls, Montana National Weather Service

The close and productive collaborations between the NWS Warning and Forecast Office (WFO) in Great Falls, MT and the Short Term Prediction and Research Transition (SPORT) Center at NASA/Marshall Space Flight Center have provided a unique opportunity for science sharing and technology transfer. In particular, SPoRT has provided a false color composite product derived from MODIS data, which is part of NASA's Earth Observing System. This product is designed to delineate snow and ice covered ground, bare ground and clouds. The Great Falls WFO has been a test bed of the MODIS false color composite as a tool in operations to monitor the development and dissipation of snow cover In particular, preliminary applications have shown that the product can be used to monitor snow cover in remote locations as well as ice in rivers. This information can lead to improved assessments of flooding potential during post event conditions where rapid melting and runoff are anticipated. The potential of this product on future geostationary satellites may substantially contribute to the NWS mission by providing enhanced situational awareness. The operational use of this product has been transitioned at WFO Great Falls through a process of product implementation, discussions with the service hydrologist and forecasters, and post event analysis. A concentrated assessment period from January to March, 2008 was initiated to investigate the impact of the MODIS false color product on WFO Great Falls' operations. This presentation will emphasize the impact the MODIS false color product had in the WFO's situational awareness and how best this information can be used to influence operational decisions.

Loss, GIna↗

NASA NTRS2008

NASA Tech Briefs, February 2008

Topics discussed include: Optical Measurement of Mass Flow of a Two-Phase Fluid; Selectable-Tip Corrosion-Testing Electrochemical Cell; Piezoelectric Bolt Breakers and Bolt Fatigue Testers; Improved Measurement of B(sub 22) of Macromolecules in a Flow Cell; Measurements by a Vector Network Analyzer at 325 to 508 GHz; Using Light to Treat Mucositis and Help Wounds Heal; Increasing Discharge Capacities of Li-(CF)(sub n) Cells; Dot-in-Well Quantum-Dot Infrared Photodetectors; Integrated Microbatteries for Implantable Medical Devices; Oxidation Behavior of Carbon Fiber-Reinforced Composites; GIDEP Batching Tool; Generic Spacecraft Model for Real-Time Simulation; Parallel-Processing Software for Creating Mosaic Images; Software for Verifying Image-Correlation Tie Points; Flexcam Image Capture Viewing and Spot Tracking; Low-Pt-Content Anode Catalyst for Direct Methanol Fuel Cells; Graphite/Cyanate Ester Face Sheets for Adaptive Optics; Atomized BaF2-CaF7 for Better-Flowing Plasma-Spray Feedstock; Nanophase Nickel-Zirconium Alloys for Fuel Cells; Vacuum Packaging of MEMS With Multiple Internal Seal Rings; Compact Two-Dimensional Spectrometer Optics; and Fault-Tolerant Coding for State Machines.

Source record↗

NASA NTRS2006

Towards a Compositional SPIN

This paper discusses our initial experience with introducing automated assume-guarantee verification based on learning in the SPIN tool. We believe that compositional verification techniques such as assume-guarantee reasoning could complement the state-reduction techniques that SPIN already supports, thus increasing the size of systems that SPIN can handle. We present a "light-weight" approach to evaluating the benefits of learning-based assume-guarantee reasoning in the context of SPIN: we turn our previous implementation of learning for the LTSA tool into a main program that externally invokes SPIN to provide the model checking-related answers. Despite its performance overheads (which mandate a future implementation within SPIN itself), this approach provides accurate information about the savings in memory. We have experimented with several versions of learning-based assume guarantee reasoning, including a novel heuristic introduced here for generating component assumptions when their environment is unavailable. We illustrate the benefits of learning-based assume-guarantee reasoning in SPIN through the example of a resource arbiter for a spacecraft. Keywords: assume-guarantee reasoning, model checking, learning.

Pasareanu, Corina S.↗