Search NASA⌕ Search

SEARCH · Search NASA

Results for “reactive separations”

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 325 records · Page 18

Pd3Ag(111) as a Model System for Hydrogen Separation Membranes: Combined Effects of CO Adsorption and Surface Termination on the Activation of Molecular Hydrogen

Abstract The co-adsorption of hydrogen and carbon monoxide on Pd 3 Ag(111) alloy surfaces has been studied as a model system for Pd-Ag alloys in membrane and catalysis applications using periodic density functional theory calculations (PW91-GGA). We explored the effects of Pd–Ag surface composition, since segregation of silver towards and away from the surface has been suggested to explain the experimentally observed changes in H 2 activation, CO inhibition and reactivity. We found that CO pre-adsorbed on the surface weakens the adsorption of H on Pd 3 Ag(111) alloy surfaces irrespective of whether the surface termination corresponds to the bulk Pd 3 Ag composition, or is purely Pd-terminated. A higher coverage of H with CO present is obtained for the Pd-terminated surface; this surface also exhibits a larger range of chemical potentials for co-adsorbed hydrogen and CO. The barrier for H 2 activation increases with increasing CO coverage, but the surface composition has the largest impact on H 2 activation at intermediate CO coverage. The results imply that Pd-based membranes with typically ~ 23 wt% Ag are less prone to CO poisoning if the surface becomes Pd-terminated.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Iron-modified biochar-based bilayer permeable reactive barrier for Cr(VI) removal

In this study, iron (Fe)-modified biochar (FeBC) has been developed to remove hexavalent chromium (Cr(VI)) from groundwater and is suitable for use in permeable reactive barriers (PRBs). However, Cr(VI) removal behavior and chemical processes in FeBC-based PRBs are not fully understood, and the potential for Fe release has not been addressed. In this study, three FeBC-based PRBs were assessed in column experiments for 563 days with respect to their ability to remove Cr(VI). Bilayer column filled with FeBC+limestone and BC+limestone in two separate layers (FeBC_Ca_BC) showed the best performance in terms of Cr(VI) removal with a low treatment cost. The corrosion of FeBC was mainly related to pH and Cr(VI) concentration rather than flow rate. Leached Fe was attenuated by BC and limestone and reutilized in FeBC_Ca_BC. Cr(VI) was reduced to Cr(III) and then adsorbed or precipitated on the biochars. Cr and Fe formed inner-sphere complexes and then transformed from double corner sharing to edge sharing. During the reaction, Cr penetrated from the surface to the interior of the biochars and became a more stable species. This study provides evidence of the effectiveness of a new combination of biochars for Cr(VI) removal and insights into the reaction mechanisms.

42 ENGINEERING↗

Film properties of high performance semi-interpenetrating polyimide networks

Consideration is given to an approach to provide a semi-IPN in which two constituent materials have nearly the same chemical structure and polymer chain length. A reactive endcapped LARC-TPI polyamic acid having a formulated molecular weight of 20,000 is prepared and then combined with various quantities of a commercial LARC-TPI polyamic acid solution. The polyimide films of semi-IPNs are tested along with two constituent materials. The physical and mechanical properties of the polyimide films are presented. The applicability of using this approach to minimize phase separation and to maximize long-term phase stability is discussed. The concept of controlling morphology by chemistry is proven for providing LARC-TPI based semi-2-IPNs. A very long chain LARC-TPI endcapped with a nadic group exhibits physical properties almost identical to unendcapped LARC-TPI.

Gerber, M. K.↗

Covalent Triazine Framework-Derived Membranes: Engineered Sol–Gel Construction and Gas Separation Application

Covalent triazine frameworks (CTFs) represent one of the most extensively studied organic networks characterized by graphitic π-conjugated structures linked by aza-fused rings, possessing unique features such as compositions of light elements (e.g., C, H, and N), porous architectures abundant heteroatom involvement, and extensively conjugated structures. In addition, the textural and chemical structures of CTFs could be engineered via synthesis control to accommodate diverse applications. CTF materials with notable characteristics, including plentiful (ultra-)micropores, high surface areas, and the presence of CO 2 -philic functional groups involving nitrogen (N), oxygen (O), and fluorine (F), hold great promise as potential candidates for anthropogenic CO 2 capture and sequestration (CCS) applications. However, the conventional high-temperature involved ionothermal procedures and the solution-based coupling pathway only afforded CTF materials in powder form, which is difficult to be processed toward membrane formation. Successful fabrication of CTF-derived membranes will rely on the development of alternative polymerization approaches as well as structural engineering to afford membrane architectures with controllable porosity distribution and active interaction sites with CO 2 benefiting the CO 2 separation procedure. In this Account, a demonstration of the latest progress in the development of CTF-derived membranes was provided. The CTF membranes were mainly synthesized via a superacid (e.g., CF 3 SO 3 H)-promoted sol–gel approach involving the polymerization of aromatic nitrile monomers. The formation of the triazine unit through the trimerization of cyano groups served as the cross-linkers, resulting in the creation of π-conjugated networks alongside the arenes present in the starting materials. The aromatic nitrile monomers with rigid and sterically hindered structures were required to afford CTF membranes with nanoporous architectures. The acidity of the superacid and reactivity of the aromatic monomers played critical roles in the polymerization efficiency. The monomer diversity and synthesis tunability endowed the introduction of CO 2 -philic functionalities (e.g., pyrazole and fluorine) within the CTF skeletons, and integration of ionic moieties was achieved by adopting FSO 3 H with stronger acidity as the catalyst and aromatic nitrile monomers with pyrazine structures. To ensure the successful construction of fluorinated CTF membranes, it is important to avoid any fluorines on the ortho-position of the cyano groups on the benzene ring. Through control over the monomers and reaction conditions, flexible, transparent, and insoluble CTF membranes could be fabricated. The sol–gel method could be further expanded to membrane fabrication through acetyl-to-benzene transformation through synthesis control. The mild oxidation-exfoliation-filtration method was also demonstrated to fabricate substrate-supported CTF membranes. The as-afforded membranes are well characterized to determine the structural features and provide information to study the structure-performance relationship. Here, the application of CTF membranes in CO 2 separation was summarized, focusing on the approaches being developed to enhance CO 2 uptake and separation performance. In addition to utilizing the pristine CTF membranes for gas separation, functionalized carbon molecular sieve membranes could be obtained from the pyrolysis of thermally stable CTF membrane precursors toward efficient CO 2 separation, benefiting from the abundant ultramicropores being created during the pyrolysis/decomposition procedure and involvement of CO 2 -philic functionalities such as fluorine and nitrogen-containing moieties. Based on these achievements, unsolved issues in CTF membrane-related fabrication and applications, including the potential solution approaches, have been proposed to advance the application of CTF membranes.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Low-temperature upcycling of polyolefins into liquid alkanes via tandem cracking-alkylation

Selective upcycling of polyolefin waste has been hampered by the relatively high temperatures that are required to cleave the carbon-carbon (C–C) bonds at reasonably high rates. We present a distinctive approach that uses a highly ionic reaction environment to increase the polymer reactivity and lower the energy of ionic transition states. Combining endothermic cleavage of the polymer C–C bonds with exothermic alkylation reactions of the cracking products enables full conversion of polyethylene and polypropylene to liquid isoalkanes (C 6 to C 10 ) at temperatures below 100°C. Both reactions are catalyzed by a Lewis acidic species that is generated in a chloroaluminate ionic liquid. The alkylate product forms a separate phase and is easily separated from the reactant catalyst mixture. The process can convert unprocessed postconsumer items to high-quality liquid alkanes with high yields.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

Converter-Interfaced CHP Plant for Improved Grid-Integration, Flexibility and Resiliency

GE Research and its partner GE Renewables have proposed the use of an interface converter solution to increase the penetration of small to medium-sized CHP (1MWe to 20MWe) into distribution grids and improve their flexibility and grid support capability. Indeed, the proposed interface converter solution thanks to presence of the grid-ready inverter, allows to streamline the compliance to grid codes requirements, reduce the interconnection delays and costs and ultimately one of the main barriers for CHP adoption by commercial and industrial facilities. An additional benefit provided by the interface converter is the use of the grid-ready inverter for reactive power which eliminates the need of sizing the generator for that capability. These two benefits highly favor the economic feasibility of converter-interfaced CHP. Five user cases, each in one of the leading U.S states for CHP potential reported by the DOE in its estimation of the U.S Technical Potential of CHP, were selected to compare the economic performances of converter-interfaced CHP as compared with directly-coupled. They include a college campus in California, a hospital in New York, a water reclamation plant in Texas, a hotel in Minnesota, and a large office building in Pennsylvania. Results showed that, the presence of the interface converter allows to increase the return on investment (ROI) by 0.5 to 2 percentage points in most of the cases (4 of 5). Indeed, the interface converter by shortening the interconnection process allows to accelerate revenues while reducing interconnection costs. Added to the reduced cost of the required generator these savings trade favorably the capital cost of the converter. The analysis also showed that the profitability of the converter-interfaced CHP is highly sensitive to the energy price, interconnection delay, and converter cost. However, it appears that if the interface converter can shorten the interconnection process by at least 6 months, adopting this solution will be more economically viable than directly-coupled configuration in almost all the +23,000 sites of the U.S Technical Potential CHP. The evaluation of the benefits of a converter-interfaced CHP also showed that it enables higher ROI when coupled with other distributed energy resources (DER) such as battery energy systems (BESS) or solar photovoltaic (PV). Indeed, in those scenario, the grid-ready inverter included in the interface converter eliminates the need of separate inverters if DC-coupling is used. On the technical performance, it has been verified that the presence of the interface converter allows to reduce by 70% to 80% the CHP short-circuit contribution to grid faults. This not only reduces the mechanical and thermal stresses exposed to the CHP electrical components but also increases the grid hosting capacity which ultimately enables higher penetrations CHP. Another key benefit of the interface converter validated with hardware-in-the-loop simulations and testing is its superior capability for reactive power support. Indeed, using a power hardware testbed with two +700kW inverters configured in back-to-back, a microgrid controller and actual facilities loads it was demonstrated that the presence of the interface converter can help maintain a power factor near ~1 or regulate the voltage to ~1.0pu at the point of common coupling. This benefit can be highly valuable if in the future, due to higher penetration of renewable distributed energy resources (DER), utilities start billing demand charge based on kVA instead of kW as currently. It was also validated that converter-interfaced CHP can dispatch heat and power commands and seamlessly switch between the two modes while consistently controlling the power factor or voltage at PCC. Indeed, the power hardware testing showed that grid-connected converter-interfaced CHP can follow either the power or heat demand while maintaining a unity power factor at converter output. This research proved that the adoption of an interface converter as the solution for interconnection of CHP system into the distribution grid can greatly improve the economic feasibility of small to medium-sized CHP as well as the plant power quality, flexibility and resiliency. Additionally, it allows increased penetrations of CHP into the distribution grid, extends their grid support capability, and facilitates the integration of BESS and PV DER by streamlining their collocation within the same facilities. This ultimately provides an opportunity for commercial and small industrial facilities in the U.S to accelerate their energy transition thanks to the high energy efficiency of CHP systems and its reliable, flexible, and resilient microgrid operation when interconnected with an interface converter.

24 POWER TRANSMISSION AND DISTRIBUTION↗

Metal-Centered Photoredox Catalysis using d 6 Transition Metal-based Chromophores

Controlling excited-state reactivity in transition metal chromophores is central to light-driven chemistry, with applications spanning from solar energy conversion to photoredox catalysis. Ru(II) and Ir(III) chromophores currently dominate applications within this field due to their long-lived charge-transfer (CT) excited states, which support bimolecular electron transfer chemistry. However, their elemental scarcity and relative lack of selectivity for differentiating oxidative versus reductive pathways has in part motivated the exploration of alternative platforms that could, in principle, offer distinct mechanistic opportunities. Earth-abundant, valence-isoelectronic 3d 6 complexes of Fe(II) and Co(III) have attracted significant attention due to their electronic similarity to Ru(II) and Ir(III), suggesting the potential for complementary photophysical behavior. In contrast to their heavier congeners, however, the weaker ligand fields of first-row transition metals promote rapid relaxation from initially populated CT states to low-lying metal-centered (MC) excited states, typically of 5 T 2 or 3 T 1 character. Because these MC states involve redistribution of electron density within MC d-orbitals rather than charge separation between metal and ligand orbitals, they were historically considered poor candidates for use in photochemical transformations.

Charge transfer↗

Unequal {110} Facets: The Potential Role of Intraparticle Heterogeneity and Facet Termination in Photoelectrochemical Activity of Single BiVO 4 Particles

BiVO 4 photoanodes are promising for solar water splitting, with photogenerated electrons and holes preferentially reacting at top {010} and lateral {110} facets, respectively. However, the mechanisms driving this facet-dependent reactivity remain unclear. Here, in this study, we investigate facet-dependent photocurrent and material heterogeneity using correlative scanning photoelectrochemical microscopy (SPCM), electron beam induced current (EBIC) mapping, and mid-IR scattering scanning near-field optical microscopy (s-SNOM). SPCM measurements of 62 BiVO 4 particles confirmed higher photocurrents at lateral {110} facets compared to top {010} facets, but unexpectedly revealed variations in photocurrent among lateral facets within the same particle. Variations in lateral facet surface termination could explain the intraparticle-level reactivity heterogeneity, consistent with theoretical predictions. Nano-FTIR spectroscopy and Raman microspectroscopy indicated significant materials chemistry heterogeneity within individual particles and facets that could be attributed to variations in lattice vibration distortions that enhance the overlap between Bi 6s and O 2p orbitals. The increased orbital overlap is significant as it potentially increases hole mobility in the valence band and potentially explains the lateral facet-dependent charge separation efficiency observed in photocurrent maps. Facet-dependent electrical and EBIC measurements showed no space charge regions at interfacet junctions or metal-BiVO 4 contacts under vacuum, suggesting that photogenerated holes beneath top {010} facets are unlikely to transport to lateral {110} facets to drive water/sulfite oxidation. These findings indicate the potential influence of distinct bulk properties and surface termination chemistries across different particles and facets, highlighting the importance of carefully controlling defects and surface chemistry during sample growth to optimize photocatalytic performance.

BiVO4↗

Mobility Spectrometer Studies on Hydrazine and Ammonia Detection

An airborne vapor analyzer for detecting sub- to low- parts-per-million (ppm) hydrazine in the presence of higher concentration levels of ammonia has been under development for the Orion program. The detector is based on ambient pressure ionization and ion mobility characterization. The detector encompasses: 1) a membrane inlet to exclude particulate and aerosols from the analyzer inlet; 2) a method to separate hydrazine from ammonia which would otherwise lead to loss of calibration and quantitative accuracy for the hydrazine determination; and 3) response and quantitative determinations for both hydrazine and ammonia. Laboratory studies were made to explore some of these features including mobility measurements mindful of power, size, and weight issues. The study recommended the use of a mobility spectrometer of traditional design with a reagent gas and equipped with an inlet transfer line of bonded phase fused silica tube. The inlet transfer line provided gas phase separation of neutrals of ammonia from hydrazine at 50 C simplifying significantly the ionization chemistry that underlies response in a mobility spectrometer. Performance of the analyzer was acceptable between ranges of 30 to 80 C for both the pre-fractionation column and the drift tube. An inlet comprised of a combined membrane with valve-less injector allowed high speed quantitative determination of ammonia and hydrazine without cross reactivity from common metabolites such as alcohols, esters, and aldehydes. Preliminary test results and some of the design features are discussed.

Niu, William↗

Experimental Investigations into the Corrosion of Alloy 625 Using NaCl-PuCl3 Molten Salt in a Natural Circulation Microloop

Molten salt reactors (MSRs) can potentially revolutionize the nuclear industry by providing a path to a near-zero nuclear waste fuel cycle, contributing to more sustainable energy sources. As a plethora of MSR developers in the United States work toward an aggressive commercialization timeline, many of their fueled-salts—notably, chloride-based compositions—have limited operational testing with nuclear material. Licensing and operating these reactors require an understanding of corrosion effects on reactor materials of construction under operational conditions. The TerraPower Molten Chloride Fast Reactor (MCFR) is a liquid-fueled chloride-salt fast reactor which has received notable interest from the utility sector based on its desirable economic characteristics. The reactor operates at low pressure but does not require the use of highly reactive chemicals, leading to a reduced use of concrete and steel during construction. Additionally, liquid fuel allows for inherently stable behavior and natural circulation during a loss-of-site-power scenario. MCFR can be refueled while operating which makes it compatible with variable generation sources such as wind and solar. MCFR is a breed-and-burn in-situ reactor that does not implement any chemical processing or separations in the fuel cycle. Only mechanical filtration of noble metals and off-gassing of noble gases are utilized while the actinides stay mixed with the fuel at all times. The MCFR will require technology development to reach commercialization. With a breed-and-burn in-situ reactor like MCFR, the transmutation of fertile U-238 to fissile Pu-239 allows for much greater fuel utilization.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Reactively-sputtered zinc semiconductor films of high conductivity for heterojunction devices

A high conductivity, n-doped semiconductor film is produced from zinc, or Zn and Cd, and group VI elements selected from Se, S and Te in a reactive magnetron sputtering system having a chamber with one or two targets, a substrate holder, means for heating the substrate holder, and an electric field for ionizing gases in the chamber. Zinc or a compound of Zn and Cd is placed in the position of one of the two targets and doping material in the position of the other of the two targets. Zn and Cd may be placed in separate targets while a dopant is placed in the third target. Another possibility is to place an alloy of Zn and dopant, or Zn, Cd and dopant in one target, thus using only one target. A flow of the inert gas is ionized and directed toward said targets, while a flow of a reactant gas consisting of hydrides of the group VI elements is directed toward a substrate on the holder. The targets are biased to attract negatively ionized inert gas. The desired stochiometry for high conductivity is achieved by controlling the temperature of the substrate, and partial pressures of the gases, and the target power and total pressure of the gases in the chamber.

Stirn, Richard J.↗

Effect of ionizing radiation on PuO2 and surrogate oxide materials under storage conditions

The stockpile of plutonium separated from used nuclear fuel amounts to many 100s of tonnes. The majority of this plutonium is stored as PuO2 powder packaged in multi-can containers. The conditions during the packaging of reprocessed PuO2 for long term storage are closely controlled to limit water uptake as radiolytic decomposition of any adsorbed water will lead to the formation of both a potentially flammable atmosphere containing molecular hydrogen as well as reactive oxygen species which may be incorporated into the oxide phase. Consequently, the safety case for the long-term storage of PuO2 requires a complete understanding of the fundamental physical, chemical and materials degradation processes occurring at the water-oxide interface inside the storage canisters. This study investigates the effect of ionizing radiation on PuO2 and various surrogate oxides under atmospheres potentially encountered in storage canisters.

11 - NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Comparative techno-economic analysis of synthetic renewable natural gas production via reactive CO 2 capture and conversion

Reactive CO 2 capture and conversion (RCC) is an emerging carbon management strategy that integrates CO 2 capture and conversion and avoids intermediate CO 2 purification. In this study, we design an RCC process to capture atmospheric CO 2 and react it with renewable hydrogen to produce synthetic renewable natural gas (SRNG), which serves as a carbon-neutral energy source and a chemical form of long-duration renewable energy storage. We assess the technological potential of RCC through process modeling, techno-economic, carbon footprint, and sensitivity analyses. Our findings demonstrate that RCC offers energy savings and comparable cost to separated capture and conversion processes. The cost is dominated by renewable hydrogen and material replacement cost. SRNG produced via RCC is competitive with existing low-carbon natural gas technologies and presents a promising low-cost option for long-duration energy storage. This work highlights the potential for deploying RCC technologies within a circular carbon economy and the scientific and technical challenges that must be overcome for material and technology developers.

03 NATURAL GAS↗

Infectious Disease Risk Associated with Space Flight

This slide presentation opens with views of the shuttle in various stages of preparation for launch, a few moments after launch prior to external fuel tank separation, a few pictures of the earth,and several pictures of astronomical interest. The presentation reviews the factors effecting the risks of infectious disease during space flight, such as the crew, water, food, air, surfaces and payloads and the factors that increase disease risk, the factors affecting the risk of infectious disease during spaceflight, and the environmental factors affecting immunity, such as stress. One factor in space infectious disease is latent viral reactivation, such as herpes. There are comparisons of the incidence of viral reactivation in space, and in other analogous situations (such as bed rest, or isolation). There is discussion of shingles, and the pain and results of treatment. There is a further discussion of the changes in microbial pathogen characteristics, using salmonella as an example of the increased virulence of microbes during spaceflight. A factor involved in the risk of infectious disease is stress.

Pierson, Duane L.↗

Gas‐Phase Ion‐Molecule Interactions in a Collision Reaction Cell with ICP‐MS / MS : Investigations with CO 2 as the Reaction Gas

Carbon dioxide (CO 2 ) was used as a reaction gas to investigate the gas‐phase ion‐molecule interactions using the Agilent 8900 ICP‐MS/MS. A solution containing forty‐five elements representative of the periodic table was used to supply the ions to react with CO 2 in the collision/reaction cell (CRC). The only significant product ions formed were monoxides. The general reactivity was shown to be consistent with density functional theory (DFT)‐predicted reaction enthalpies, such that all predicted exothermic reactions produced product ions at levels of at least 1% of the unreacted ion. Most endothermic reactions observed had sufficient kinetic energy in excess of the reaction enthalpies. Our results suggest that reaction enthalpy is a reasonable predictor of reactivity with CO 2 on the timescales of the interactions in non‐thermal ICP‐MS/MS systems. The ease and rapidity of data collection with the ICP‐MS/MS and DFT calculations using the NWChem suite has value given the scarcity of thermochemical data of CO 2 reactions in the literature. These studies are especially useful for the identification of targeted reaction chemistries to be leveraged for analytical method development, such as for the inline separation of isobaric interferences from analytes of interest.

36 MATERIALS SCIENCE↗

Silicon oxidation in fluoride solutions

Silicon is produced in a NaF, Na2SiF6, and Na matrix when SiF4 is reduced by metallic sodium. Hydrogen is evolved during acid leaching to separate the silicon from the accompanying reaction products, NaF and Na2SiF6. The hydrogen evolution reaction was studied under conditions simulating leaching conditions by making suspensions of the dry silicon powder in aqueous fluoride solutions. The mechanism for the hydrogen evolution is discussed in terms of spontaneous oxidation of silicon resulting from the cooperative effects of (1) elemental sodium in the silicon that reacts with water to remove a protective silica layer, leaving clean reactive silicon, and (2) fluoride in solution that complexes with the oxidized silicon in solution and retards formation of a protective hydrous oxide gel.

Sancier, K. M.↗

Stability and convergence of nuclear detonations in white dwarf collisions

We investigate the numerical stability of thermonuclear detonations in 1D accelerated reactive shocks and 2D binary collisions of equal-mass magnetized and unmagnetized white dwarf stars. To achieve high resolution at initiation sites, we devised geometric gridding and mesh velocity strategies specially adapted to the unique requirements of head-on collisional geometries, scenarios in which one expects maximum production of iron-group products. We study the effects of grid resolution and the limiting of temperature, energy, and reactants for different stellar masses, separations, magnetic fields, inigenerationtial compositions, detonation mechanisms, and limiter parameters across a range of cell sizes from 1 to 100 km. Our results set bounds on the parameter space of limiter amplitudes for which both temperature- and energy-limiting procedures yield consistent and monotonically convergent solutions. Within these bounds, we find that grid resolutions of 5 km or better are necessary for uncertainties in total released energy and iron-group products to drop below 10%. Intermediate-mass products (e.g., calcium) exhibit similar convergence trends but with somewhat greater uncertainty. These conclusions apply equally to pure C/O white dwarfs, multispecies compositions (including helium shells), magnetized and unmagnetized cores, and either single or multiple detonation scenarios.

79 ASTRONOMY AND ASTROPHYSICS↗

Compositional Realizability Checking within FRET

A set of requirements for a reactive system is realizable if, for any sequence of inputs that satisfy the assumptions on the environment, the guarantees always hold. Realizability checking is essential to ensure that an implementation can be constructed that satisfies the requirements. We propose a framework that supports users in the non-trivial task of developing realizable requirements. Our framework uses architectural information to automatically de-compose a set of requirements into subsets that can be analyzed separately, and therefore more efficiently. It then integrates existing algorithms in order to detect unrealizability, identify minimal sets of conflicting requirements, and compute counterexamples. The capability to focus on minimal conflict sets is key for localizing and correcting the sources of unrealizability. Our approach supports this process by enabling users to interactively visualize and explore the produced conflict sets and counterexamples. We have implemented our framework in the open-source Formal Requirements Elicitation Tool (FRET), and have used it on a variety of industrial-level case studies, showcasing the strengths of our approach in terms of raw performance, as well as diagnostic potential.

FRET↗