Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Direct integration approach”

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 613 records · Page 34
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Improved Phased Array Imaging of a Model Jet

An advanced phased array system, OptiNav Array 48, and a new deconvolution algorithm, TIDY, have been used to make octave band images of supersonic and subsonic jet noise produced by the NASA Glenn Small Hot Jet Acoustic Rig (SHJAR). The results are much more detailed than previous jet noise images. Shock cell structures and the production of screech in an underexpanded supersonic jet are observed directly. Some trends are similar to observations using spherical and elliptic mirrors that partially informed the two-source model of jet noise, but the radial distribution of high frequency noise near the nozzle appears to differ from expectations of this model. The beamforming approach has been validated by agreement between the integrated image results and the conventional microphone data.

Dougherty, Robert P.↗
NASA NTRS2018

Overview of Heatshield for Extreme Entry Environment Technology (HEEET) Project

The objective of the Heatshield for Extreme Entry Environment Technology (HEEET) projects is to mature a 3-D Woven Thermal Protection System (TPS) to Technical Readiness Level (TRL) 6 to support future NASA missions to destinations such as Venus and Saturn. Destinations that have extreme entry environments with heat fluxes up to 5000 watts per square centimeter and pressures up to 5 atmospheres, entry environments that NASA has not flown since Pioneer-Venus and Galileo. The scope of the project is broad and can be split into roughly four areas, Manufacturing/Integration, Structural Testing and Analysis, Thermal Testing and Analysis and Documentation. Manufactruing/Integration covers from raw materials, piece part fabrication to final integration on a 1-meter base diameter 45-degree sphere cone Engineering Test Unit (ETU). A key aspect of the project was to transfer as much of the manufacturing technology to industry in preparation to support future mission infusion. The forming, infusion and machining approaches were transferred to Fiber Materials Inc. and FMI then fabricated the piece parts from which the ETU was manufactured. The base 3D-woven material consists of a dual layer weave with a high density outer layer to manage recession in the system and a lower density, lower thermal conductivity inner layer to manage the heat load. At the start of the project it was understood that due to weaving limitations the heat shield was going to be manufactured from a series of tiles. And it was recognized that the development of a seam solution that met the structural and thermal requirements of the system was going to be the most challenging aspect of the project. It was also recognized that the seam design would drive the final integration approach and therefore the integration of the ETU was kept in-house within NASA. A final seam concept has been successfully developed and implemented on the ETU and will be discussed. The structural testing and analysis covers from characterization of the different layers of the infused material as functions of weave direction and temperature, to sub-component level testing such as 4-pt bend testing at sub-ambient and elevated temperature. ETU test results are used to validate the structural models developed using the element and sub-component level tests. Given the seam has to perform both structurally and aerothermally during entry a novel 4-pt bend test fixture was developed allowing articles to be tested while the front surface is heated with a laser. These tests are intended to establish the system's structural capability during entry. A broad range of aerothermal tests (arcjet tests) are being performed to develop material response models for predicting the required TPS thickness to meet a mission's needs and to evaluate failure modes. These tests establish the capability of the system and assure robustness of the system during entry. The final aspect of the project is to develop a comprehensive Design and Data Book such that a future mission will have the information necessary to adopt the technology. This presentation will provide an overview and status of the project and describe the status of the tehnology maturation level for the inner and outer planet as well as earth entry sample return missions.

Ellerby, Don↗
NASA NTRS1992

Conjunctive programming: An interactive approach to software system synthesis

This report introduces a technique of software documentation called conjunctive programming and discusses its role in the development and maintenance of software systems. The report also describes the conjoin tool, an adjunct to assist practitioners. Aimed at supporting software reuse while conforming with conventional development practices, conjunctive programming is defined as the extraction, integration, and embellishment of pertinent information obtained directly from an existing database of software artifacts, such as specifications, source code, configuration data, link-edit scripts, utility files, and other relevant information, into a product that achieves desired levels of detail, content, and production quality. Conjunctive programs typically include automatically generated tables of contents, indexes, cross references, bibliographic citations, tables, and figures (including graphics and illustrations). This report presents an example of conjunctive programming by documenting the use and implementation of the conjoin program.

Tausworthe, Robert C.↗
DOE OSTI2024

Advanced Reactors Spent Fuel & Waste Science and Technology Program

Based on the higher interest in Advanced Reactor (AR) deployment (e.g., ARDP ) for potential new fuel cycles, the Spent Fuel & Waste Science and Technology (SFWST) Program has begun to evaluate the possible implications of long-term management and final disposition of potential Advance Reactor spent nuclear fuels (SNF) that would be generated in potential advanced reactors. Safely managing and dispositioning the potential future AR SNF, and any other associated radioactive wastes, is the primary focus of this initial preliminary assessment of those. This paper summarizes three primary tasks the Spent Fuel & Waste Science and Technology (SFWST) Program is executing (or collaborating on) related to the back end of the nuclear fuel cycle (BENFC) for potential future advanced reactors: 1. Advanced Reactors Spent Fuel and Waste Streams: Strategies for the BENFC This set of activities define a high-level strategy for how to systematically approach, identify, and close research and development (R&D) gaps/potential issues associated with long-term management and final disposition of AR SNF and other possible AR waste streams. This task involves summarizing advanced reactor concepts, their likely SNF and other waste forms, and identifying previous experience with similar materials, for example from DOE-managed SNF, with closely related characteristics to the potential future AR SNF. Technical R&D gaps between the breadth of detailed understanding for safe storage, transportation and disposal of the existing light water reactor SNF fuel cycle (e.g., see NASEM, 2022) and potential future fuel cycles based on advanced reactors would then be identified. 2. Characterization and Packaging Options of Advanced Reactor SNF These activities evaluate characteristics and packaging options for advanced reactor spent fuel forms. The fuel forms are categorized into three types: (1) tri-structural isotropic (TRISO), (2) metallic, and (3) fuel salt. Emphasis is given to TRISO and metallic SNF and additional waste streams from such AR as driven by the near-term anticipated operation of the Xe-100 and the Natrium reactors as advanced-reactor demonstrations1. Preliminary information for the spent-fuel salt discharged from molten-salt reactors (MSRs) is examined to provide a baseline for future efforts. All calculations and assumptions in this work are based on publicly available information. The following characteristics are calculated or estimated for use in the preliminary assessments: SNF volume and mass, radiation/activity levels through time, thermal conditions through time, potential radionuclide source terms, chemical interactions and evolutions, disposal inventories, and waste-form lifetime. Using those characteristics, calculations to determine the applicability of existing canister designs were performed. These evaluations included geometric (e.g., dimension, volume) and mass/weight considerations, known operational approaches and loading procedures, physical and chemical considerations/conditions for storage environments, as-loaded radiation, thermal, and criticality analyses to identify constraints for storage, transportation, and disposal. 3. Back-End Management of Advanced Reactors (BEMAR) The DOE NE-8 organization has defined an Integrated Project Team to evaluate the Back End Management of Advanced Reactors (BEMAR) (includes DOE staff from a range of organizations (e.g., NE-81, NE-82, OCED) and national laboratory technical staff within the DOE NE-81 and NE-82 programs). This BEMAR group works directly with advance reactors developers to assess for the DOE the technical feasibility of storage, transportation, and disposal of AR SNF based on the characteristics provided by the developers to DOE (much of which is proprietary). The BEMAR is also tasked to develop rough-order-of-magnitude cost estimates to compare the waste management system for individual advanced reactors to existing light-water reactor management practices. To accomplish this, the BEMAR group is implementing a Systems Engineering approach.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2026

Path integral molecular dynamics: A high-fidelity approach to quantum dynamics of electrons

We investigate electron transport in the uniform electron gas using ring-polymer molecular dynamics (RPMD). Working in the weakly coupled, non-degenerate regime, we use RPMD to probe how the onset of quantum diffraction effects at high temperature reshapes electron–electron collisions and leads to a classical-to-quantum crossover in macroscopic transport properties. Static thermodynamics obtained with RPMD are consistent with the weak-coupling equation of state, confirming correct quantum Boltzmann sampling. Real-time transport extracted from mean square displacements exhibits the expected ballistic-to-diffusive transition and a systematic reduction of the electronic self-diffusivity as quantum effects strengthen, due to quantum diffraction modifying electron–electron collisions. Direct ring-polymer scattering simulations reveal diffractive “softening” of binary deflections, providing a micro-to-macro link between collision physics and diffusion. The present study establishes RPMD as a quantitative, trajectory-based tool for electron transport across the classical–quantum crossover and furnishes benchmarks for improving Coulomb-log interpolation models. We outline extensions to multi-component plasmas and a path to incorporate Fermi–Dirac statistics within path-integral dynamics.

Electronic transport↗
NASA NTRSDate not supplied

A Holistic DSMC Transport Database for Re-Entry and Ablation Modeling

Hybrid simulation frameworks combining Computational Fluid Dynamics (CFD) and Direct Simulation Monte Carlo (DSMC) are frequently employed to efficiently perform high-fidelity solutions of environments containing combined continuum/rarified flow. The use of DSMC, a stochastic, particle-based method, is necessary for high-Knudsen flow where continuum-based assumptions governing CFD break down. However, the DSMC methodology is generally very computationally inefficient to model the continuum regime. In a CFD/DSMC hybrid approach, obtaining an accurate, high-fidelity solution hinges on the consistent treatment of transport properties and the used thermo-chemical models employed within the two solvers. In principle, in regions where CFD and DSMC are both employed, the same gas mixture under the same conditions should have the same properties, regardless of simulation type. Observed differences should be due to non-equilibrium processes, rather than differences in physical models. While the transport models governing CFD and DSMC simulations are starkly different, they can effectively be linked via their use of reduced Chapman-Enskog collision integrals. In CFD, these integrals are typically stored as fitted polynomial expressions and used to directly compute gas transport properties via mixing rules or the full Chapman-Enskog formulation. In DSMC, they can be used to derive the collision parameters needed for the phenomenological collision cross-section models that govern particle interactions, via a Nelder-Mead optimization scheme. The goal of this work is to provide a unified DSMC transport database encompassing the vast majority of known gas species encountered during atmospheric entry, on Earth or any other Solar body. This goal is largely possible due to recently performed ab-initio quantum chemistry calculations. Combined with other high-fidelity literature sources, the planned database will consist of collision integral data for over 200 neutral and ionized species and over 17000 binary collisions. From these collision integrals, Nelder-Mead optimization is used to compute Variable Soft Sphere (VSS) collision model parameters for DSMC, fitted from 300 K to 20000 K. Initial comparisons of transport properties of relevant equilibrium gas mixtures show great agreement between CFD and DSMC-derived results. The completed database will be able to be readily applied to model binary collisions of any gas mixture containing the included species over the specified temperature range, making it a valuable tool for future planetary probe modeling efforts. An example is shown below. Equilibrium mixture transport properties for a 19-species Titan atmospheric model [4] are computed using both fitted VSS parameters and the original CFD collision integral values. Deviations in computed properties between the two approaches is less than 5% for the entire temperature range.

M R Gosma↗
DOE OSTI2024

Heterogeneous Integration Technologies for High-temperature, High-density, Low-profile Power Modules of Wide Bandgap Devices in Electric Drive Applications (Final Technical Report)

The goal of this project is to develop packaging technologies for making high-temperature, high-density, and low-profile wide-bandgap (WBG) power electronics modules for electric drives. These modules are aimed at enabling the DOE’s University Consortium to reach its 2025 inverter targets of ≥ 100 kW/L and ≤ 2.7 $/kW. The specific objectives are to: design and fabricate SiC half-bridge power modules with double-sided cooling and parasitic inductances < 5 nH, heat flux density > 400 W/cm 2 , and working junction temperature of 200 o C; design, fabricate, and deliver a gate driver with double-sided cooled modules for the construction of a 100 kW/L inverter at Oak Ridge National Lab; and design and prototype intelligent gate drivers with integrated current sensor and a low-profile DC-DC power supply with air-core transformer for testing power modules at 200 o C junction temperature. We followed an iterative technical approach of design, simulation, fabrication, and testing of various versions of modules, current sensors, and power supply. The state-of-the-art silicon carbide devices rated at 1.2 kV and 149 A were packaged by sintered-silver bonding on an aluminum nitride direct-bond-copper substrate for high thermal conductivity, high working temperature, and high joint reliability. Porous silver posts were used to interconnect the device’s source pads to the other direct-bond-copper substrate for low mechanical stresses, ease of manufacturing, and double-sided cooling. A current sensor based on package parasitic inductance was developed to measure switching current. A dynamic feedback scheme was developed to compensate the effect of parasitic resistance and temperature variation. A constant-current class-E dc-dc converter with air-core transformer was developed. Air-core transformer was used due to the unavailability of magnetic core at high temperatures. Gate driver and power supply were integrated with the double-side cooled, high temperature SiC power modules for testing the modules at 200 o C junction temperature. Double-pulse and continuous testing of the integrated technologies validated the design and fabrication of the three component technologies. Throughout the project, we overcame the challenge for design verification caused by low prototyping yield, which then helped train the graduate students, the future workforce, to learn the engineering know-how for low-cost manufacturing of reliable products. Below is a summary of the major accomplishments of this project: development of a prototyping process for fabricating double-side cooled (1200 V, 149 A) SiC phase-leg modules capable of working to 200 o C Tj; simulation and experimental verification of the improvement of thermo-mechanical reliability of the double-side cooled SiC phase-leg module by using rigid encapsulant; design and experimental validation of a current sensor based on package parasitic inductance and a compensation solution for eliminating the effect of parasitic resistance; design and experimental validation of a low-profile power supply with six-output air-core transformer for gate driver; functional demonstration of a SiC phase-leg module integrated with its gate driver, current sensor, and an air-core power supply at 200 o C Tj in a double-pulse switching test setup and Buck converter continuous test setup; successful completion of six PhD and two MS students who are or will work at Apple Inc., Tesla Inc., Wolfspeed Inc., Microchip Inc., Monolithic Power Systems Inc., and LG Magna Inc.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2026

Unconventional magnon-mediated spin torque enabled by ferroelectric domain engineering in multiferroic BiFeO 3

Spin current provides an energy-efficient approach for manipulating magnetization, when its spin polarization aligns with the magnetization direction. However, conventional spin-source materials possess high crystalline symmetry, restricting spin polarization to be orthogonal to both spin and charge current directions. Here, we overcome this limitation by utilizing the concept of magnon-mediated spin-orbit torque through integration of the insulating multiferroic BiFeO 3 with a conventional spin-source material. We observe that spin polarization generated by conventional spin-source material can excite unconventional magnon polarization due to the interplay between cycloidal antiferromagnetic order and the ferroelectric domain structure in BiFeO 3 . This produces an unconventional magnon torque that allows deterministic, field‑free switching of in‑plane magnetization collinear with the current direction, unattainable with conventional spin-source materials. Our results establish multiferroic-based heterostructure as a symmetry‑engineered magnon spin source, paving the way for low-power spintronic devices.

Liang, Yuhan [Tsinghua Univ., Beijing (China); Cor↗
DOE OSTI2023

Design and Stability Analysis of Control System in Multiport Autonomous Reconfigurable Solar Power Plants (MARS)

The Multiport Autonomous Reconfigurable Solar Power Plant (MARS) is an integrated photovoltaic (PV) power generation and energy storage system (ESS), that is designed to connect to both alternating current (AC) transmission grids and high-voltage direct current (HVDC) links. It is a three-phase plant consisting of numerous components with a complex hardware and hierarchical control architecture. This paper presents an approach to decouple the multivariable system of MARS using a recursive reduced-order and boundary layer system methodology. This approach enables efficient computation of the control parameters for the Ll, L2, and L3 controllers. To validate the effectiveness of the proposed control strategy, cyclic tests in accordance with pre-defined performance criteria using controller Hardware-in-the-Loop (cHIL) experiments are conducted. The results demonstrate that the MARS system operates consistently under steady-state conditions. Furthermore, the dynamic response of the MARS system to various grid events is analyzed, underlining the resilience of MARS in presence of faults or loss of generation within the connected WECC system.

Xia, Qian↗
DOE OSTI2021

Toward a Generalizable Framework of Disturbance Ecology Through Crowdsourced Science

Disturbances fundamentally alter ecosystem functions, yet predicting their impacts remains a key scientific challenge. While the study of disturbances is ubiquitous across many ecological disciplines, there is no agreed-upon, cross-disciplinary foundation for discussing or quantifying the complexity of disturbances, and no consistent terminology or methodologies exist. This inconsistency presents an increasingly urgent challenge due to accelerating global change and the threat of interacting disturbances that can destabilize ecosystem responses. By harvesting the expertise of an interdisciplinary cohort of contributors spanning 42 institutions across 15 countries, we identified an essential limitation in disturbance ecology: the word ‘disturbance’ is used interchangeably to refer to both the events that cause, and the consequences of, ecological change, despite fundamental distinctions between the two meanings. In response, we developed a generalizable framework of ecosystem disturbances, providing a well-defined lexicon for understanding disturbances across perspectives and scales. The framework results from ideas that resonate across multiple scientific disciplines and provides a baseline standard to compare disturbances across fields. This framework can be supplemented by discipline-specific variables to provide maximum benefit to both inter- and intra-disciplinary research. To support future syntheses and meta-analyses of disturbance research, we also encourage researchers to be explicit in how they define disturbance drivers and impacts, and we recommend minimum reporting standards that are applicable regardless of scale. Finally, we discuss the primary factors we considered when developing a baseline framework and propose four future directions to advance our interdisciplinary understanding of disturbances and their social-ecological impacts: integrating across ecological scales, understanding disturbance interactions, establishing baselines and trajectories, and developing process-based models and ecological forecasting initiatives. Our experience through this process motivates us to encourage the wider scientific community to continue to explore new approaches for leveraging Open Science principles in generating creative and multidisciplinary ideas.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS1980

The optimization air separation plants for combined cycle MHD-power plant applications

Some of the design approaches being employed during a current supported study directed at developing an improved air separation process for the production of oxygen enriched air for magnetohydrodynamics (MHD) combustion are outlined. The ultimate objective is to arrive at conceptual designs of air separation plants, optimized for minimum specific power consumption and capital investment costs, for integration with MHD combined cycle power plants.

Juhasz, A. J.↗
NASA NTRS1980

A mixed-mode crack analysis of isotropic solids using conservation laws of elasticity

A simple and convenient method of analysis for studying two-dimensional mixed-mode crack problems is presented. The analysis is formulated on the basis of conservation laws of elasticity and of fundamental relationships in fracture mechanics. The problem is reduced to the determination of mixed-mode stress-intensity factor solutions in terms of conservation integrals involving known auxiliary solutions. One of the salient features of the present analysis is that the stress-intensity solutions can be determined directly by using information extracted in the far field. Several examples with solutions available in the literature are solved to examine the accuracy and other characteristics of the current approach. This method is demonstrated to be superior in its numerical simplicity and computational efficiency to other approaches. Solutions of more complicated and practical engineering fracture problems dealing with the crack emanating from a circular hole are presented also to illustrate the capacity of this method

Yau, J. F.↗
NASA NTRS1981

A new payload integration method

This paper introduces a new payload integration method. The system equations of motion are derived in terms of interface-restrained booster and payload modes. These system equations are directly integrated, avoiding the solution of an expensive eigenvalue problem. A modified Newmark-Chan-Beta numerical scheme is used to perform this integration. Due to the unique form of the system equations it is possible to achieve significant savings. A similar savings is feasible for the computation of the internal loads. This new approach does not involve approximations. Although completely general, the presented technique is most effective when the number of interface degrees of freedom is relatively small. Both determinate and indeterminate interfaces are allowed.

Engels, R. C.↗
NASA NTRS1988

Three-dimensional unsteady transonic viscous-inviscid interaction using the Euler and boundary-layer equations

The objective of this study is the development of a numerical technique which can provide three-dimensional, time-accurate, compressible, turbulent flow solutions in a practical and relatively economical way. The approach taken is that of the method of viscous-inviscid interaction. The Euler equations are assumed to govern the outer inviscid portion of the flow, and the viscous layer close to the solid wall is described by a set of integral boundary-layer equations. The viscous solutions are obtained in a direct fashion with a weighted-average phase error scheme. The method of equivalent sources is used for viscous-inviscid coupling. Steady-state and unsteady computations for an AGARD airfoil and a wing show that satisfactory engineering solutions can be obtained for attached, high Reynolds number flows using this method. Quasi-unsteady interactions are shown to produce similar results to those provided by true-unsteady interactions. Considerable computer resources can be saved for some cases by using quasi-unsteady interactions.

Whitfield, David L.↗
NASA NTRS2004

Miniaturized multiplex label-free electronic chip for rapid nucleic acid analysis based on carbon nanotube nanoelectrode arrays

BACKGROUND: Reducing cost and time is the major concern in clinical diagnostics, particularly in molecular diagnostics. Miniaturization technologies have been recognized as promising solutions to provide low-cost microchips for diagnostics. With the recent advancement in nanotechnologies, it is possible to further improve detection sensitivity and simplify sample preparation by incorporating nanoscale elements in diagnostics devices. A fusion of micro- and nanotechnologies with biology has great potential for the development of low-cost disposable chips for rapid molecular analysis that can be carried out with simple handheld devices. APPROACH: Vertically aligned multiwalled carbon nanotubes (MWNTs) are fabricated on predeposited microelectrode pads and encapsulated in SiO2 dielectrics with only the very end exposed at the surface to form an inlaid nanoelectrode array (NEA). The NEA is used to collect the electrochemical signal associated with the target molecules binding to the probe molecules, which are covalently attached to the end of the MWNTs. CONTENT: A 3 x 3 microelectrode array is presented to demonstrate the miniaturization and multiplexing capability. A randomly distributed MWNT NEA is fabricated on each microelectrode pad. Selective functionalization of the MWNT end with a specific oligonucleotide probe and passivation of the SiO2 surface with ethylene glycol moieties are discussed. Ru(bpy)2+ -mediator-amplified guanine oxidation is used to directly measure the electrochemical signal associated with target molecules. SUMMARY: The discussed MWNT NEAs have ultrahigh sensitivity in direct electrochemical detection of guanine bases in the nucleic acid target. Fewer than approximately 1000 target nucleic acid molecules can be measured with a single microelectrode pad of approximately 20 x 20 microm2, which approaches the detection limit of laser scanners in fluorescence-based DNA microarray techniques. MWNT NEAs can be easily integrated with microelectronic circuitry and microfluidics for development of a fully automated system for rapid molecular analysis with minimum cost.

Carbon↗
NASA NTRS2010

A Proactive and Top-Down Approach to Managing Risk at NASA

Our ultimate goal is to manage risk in a holistic and coherent fashion across the Agency: a) The RIDM process is intended to risk-inform direction-setting decisions. c) The CRM process is intended to manage risk associated with the implementation of baseline performance requirements. Currently we are working on: a) Enhancements to the CRM process. b) Better integration of the RIDM and CRM processes. c) Better integration of institutional risk considerations into RM framework.

Dezfuli, Homayoon↗
NASA NTRSDate not supplied

From Requirements to Autonomous Flight: An Overview of the Monitoring ICAROUS Project

The Independent Configurable Architecture for Reliable Operations of Unmanned Systems(ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous operations of unmanned aircraft applications. This paper provides an overview of Monitoring ICAROUS, a project whose objective is to provide a formal approach to generating runtime monitors for autonomous systems from requirements written in a structured natural language. This approach integrates FRET, a formal requirement elicitation and authoring tool, and Copilot, a runtime verification framework. FRET is used to specify formal requirements in structured natural language. These requirements are translated into temporal logic formulae. Copilot is then used to generate executable runtime monitors from these temporal logic specifications. The generated monitors are directly integrated into ICAROUS to perform runtime verification during flight.

Formal Methods↗
NASA NTRSDate not supplied

Monitoring ICAROUS: From Requirements to Autonomous Flight

The Independent Configurable Architecture for Reliable Operations of Unmanned Systems (ICAROUS) is a software architecture incorporating a set of algorithms to enable autonomous operations of unmanned aircraft applications. This paper provides an overview of Monitoring ICAROUS, a project whose objective is to provide a formal approach to generating runtime monitors for autonomous systems from requirements written in a structured natural language. This approach integrates FRET, a formal requirement elicitation and authoring tool, and Copilot, a runtime verification framework. FRET is used to specify formal requirements in structured natural language. These requirements are translated into temporal logic formulae. Copilot is then used to generate executable runtime monitors from these temporal logic specifications. The generated monitors are directly integrated into ICAROUS to perform runtime verification during flight.

Formal Methods↗