Search NASA⌕ Search

SEARCH · Search NASA

Results for “Independent Study Project”

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

SIM Lite Astrometric Observatory Progress Report

The SIM Lite Astrometric Observatory (aka SIM Lite), a micro-arcsecond astrometry space mission, has been developed in response to NASA's indefinite deferral of the SIM PlanetQuest mission. The SIM Lite mission, while significantly more affordable than the SIM PlanetQuest mission concept, still addresses the full breadth of SIM science envisioned by two previous National Research Council (NRC) Astrophysics Decadal Surveys at the most stringent 'Goal' level of astrometric measurement performance envisioned in those surveys. Over the past two years, the project has completed the conceptual design of the SIM Lite mission using only the completed SIM technology; published a 250 page book describing the science and mission design (available at the SIM website: http://sim.jpl.nasa.gov); been subject to an independent cost and technical readiness assessment by the Aerospace Corporation; and submitted a number of information responses to the NRC Astro2010 Decadal Survey. The project also conducted an exoplanet-finding capability double blind study that clearly demonstrated the ability of the mission to survey 60 to 100 nearby sun-like dwarf stars for terrestrial, habitable zone planets in complex planetary systems. Additionally, the project has continued Engineering Risk Reduction activities by building brassboard (form, fit and function to flight) version of key instrument elements and subjecting them to flight qualification environmental and performance testing. This paper summarizes the progress over the last two years and the current state of the SIM Lite project.

exoplanet↗
NASA NTRS2016

Attentional Modulation of Eye Torsion Responses

Eye movements generally have both reflexive and voluntary aspects, but torsional eye movements are usually thought of as a reflexive response to image rotation around the line of sight (torsional OKN) or to head roll (torsional VOR). In this study we asked whether torsional responses could be modulated by attention in a case where two stimuli rotated independently, and whether attention would influence the latency of responses. The display consisted of rear-projected radial "pinwheel" gratings, with an inner annulus segment extending from the center to 22 degrees eccentricity, and an outer annulus segment extending from 22 degrees out to 45 degrees eccentricity. The two segments rotated around the center in independent random walks, stepping randomly 4 degrees clockwise or counterclockwise at 60 Hz. Subjects were asked to attend to one or the other while keeping fixation steady at the center of the display. To encourage attention on one or the other segment of the display, subjects were asked to move a joystick in synchrony with the back and forth rotations of one part of the image while ignoring the other. Eye torsion was recorded with the scleral search coil technique, sampled at 500 Hz. All four subjects showed roughly 50% stronger torsion responses to the attended compared to unattended segments. Latency varied from 100 to 150 msec across subjects and was unchanged by attention. These findings suggest that attention can influence eye movement responses that are not typically under voluntary control.

attention↗
NASA NTRS2016

Attentional Modulation of Eye Torsion Responses

Eye movements generally have both reflexive and voluntary aspects, but torsional eye movements are usually thought of as a reflexive response to image rotation around the line of sight (torsional OKN) or to head roll (torsional VOR). In this study we asked whether torsional responses could be modulated by attention in a case where two stimuli rotated independently, and whether attention would influence the latency of responses. The display consisted of rear-projected radial pinwheel gratings, with an inner annulus segment extending from the center to 22 degrees eccentricity, and an outer annulus segment extending from 22 degrees out to 45 degrees eccentricity. The two segments rotated around the center in independent random walks, stepping randomly 4 degrees clockwise or counterclockwise at 60 Hz. Subjects were asked to attend to one or the other while keeping fixation steady at the center of the display. To encourage attention on one or the other segment of the display, subjects were asked to move a joystick in synchrony with the back and forth rotations of one part of the image while ignoring the other. Eye torsion was recorded with the scleral search coil technique, sampled at 500 Hz. All four subjects showed roughly 50 stronger torsion responses to the attended compared to unattended segments. Latency varied from 100 to 150 msec across subjects and was unchanged by attention. These findings suggest that attention can influence eye movement responses that are not typically under voluntary control.

ocular torsion↗
NASA NTRS1993

Studies for Io's extended atmosphere and neutral clouds and their impact on the local satellite atmosphere and on the planetary magnetosphere

The research performed in this project is divided in two main investigations: (1) the synthesis and analysis of a collection of independent observations for Io's sodium corona, its sodium extended atmosphere, and the sodium cloud, and (2) the analysis of a (System III longitude correlated) space-time 'bite-out' near western elongation in the 1981 sodium cloud images from the JPL Table Mountain Sodium Cloud Data Set. For the first investigation, modeling analysis of the collective observed spatial profiles has shown that they are reproduced by adopting at Io's exobase a modified sputtering flux speed distribution function which is peaked near 0.5 km/s and has a small high-speed (15-20 km/s) nonisotropic component. The nonisotropic high-speed component is consistent with earlier modeling of the trailing directional feature. For the second investigation, modeling analysis of the 'bite-out' observed near western elongation (but not eastern elongation) has shown that it is reproduced in model calculation by adopting a plasma torus description for the sodium lifetime that is inherently asymmetric in System III longitudes of the active sector and that also has an east-west asymmetry. The east-west and System III longitude asymmetries were determined from independent observations for the plasma torus in 1981. The presence of the 'bite-out' feature only near western elongation may be understood in terms of the relative value for sodium of its lifetime and its transport time through the System III enhanced plasma torus region.

Smyth, William H.↗
DOE OSTI2016

Planck intermediate results: XXXV. Probing the role of the magnetic field in the formation of structure in molecular clouds

Within ten nearby (d < 450 pc) Gould belt molecular clouds we evaluate in this paper statistically the relative orientation between the magnetic field projected on the plane of sky, inferred from the polarized thermal emission of Galactic dust observed by Planck at 353 GHz, and the gas column density structures, quantified by the gradient of the column density, N H . The selected regions, covering several degrees in size, are analysed at an effective angular resolution of 10' FWHM, thus sampling physical scales from 0.4 to 40 pc in the nearest cloud. The column densities in the selected regions range from N H ≈ 10 21 to10 23 cm -2 , and hence they correspond to the bulk of the molecular clouds. The relative orientation is evaluated pixel by pixel and analysed in bins of column density using the novel statistical tool called “histogram of relative orientations”. Throughout this study, we assume that the polarized emission observed by Planck at 353 GHz is representative of the projected morphology of the magnetic field in each region, i.e., we assume a constant dust grain alignment efficiency, independent of the local environment. Within most clouds we find that the relative orientation changes progressively with increasing N H , from mostly parallel or having no preferred orientation to mostly perpendicular. In simulations of magnetohydrodynamic turbulence in molecular clouds this trend in relative orientation is a signature of Alfvénic or sub-Alfvénic turbulence, implying that the magnetic field is significant for the gas dynamics at the scales probed by Planck. Finally, we compare the deduced magnetic field strength with estimates we obtain from other methods and discuss the implications of the Planck observations for the general picture of molecular cloud formation and evolution.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2019

Early Career Award: Decoupling the Electronic and Geometric Parameters of Metal Nanocatalysts

Central in many industrial processes (e.g., petroleum refining) and the realization of new energy platforms (e.g., fuel cells and biomass conversion) is heterogeneous catalysis. The performance of a catalyst is governed by interplay between electronic and geometric factors, but controlling these parameters to achieve efficient catalysis remains a grand challenge. The overall goal of this project was to decouple the electronic and geometric parameters of nanoscale metal catalysts for independent manipulation through the design and use of new architecturally controlled bimetallic nanocrystals. Specifically, shape-controlled core@shell nanocrystals were studied as catalysts. The binary composition of these structures provided a means of electronic control while the shape of the nanocrystals provided geometric control. Through a series of experiments with nanocrystals of different shapes and bimetallic compositions, the electronic and geometric parameters of such metal nanocatalysts were effectively decoupled for independent manipulation of catalyst performance. These concepts were applied toward new nanocatalysts for semihydrogenation, formic acid electrooxidation and for the oxygen reduction reaction. Ultimately, with the development of new synthetic strategies toward bimetallic nanocrystals, this research has advanced the design and synthesis of bimetallic nanocrystals as catalysts for diverse chemical transformations.

36 MATERIALS SCIENCE↗
NASA NTRS2000

Advanced Risk Reduction Tool (ARRT) Special Case Study Report: Science and Engineering Technical Assessments (SETA) Program

This special case study report presents the Science and Engineering Technical Assessments (SETA) team's findings for exploring the correlation between the underlying models of Advanced Risk Reduction Tool (ARRT) relative to how it identifies, estimates, and integrates Independent Verification & Validation (IV&V) activities. The special case study was conducted under the provisions of SETA Contract Task Order (CTO) 15 and the approved technical approach documented in the CTO-15 Modification #1 Task Project Plan.

Kirsch, Paul J.↗
NASA NTRS2011

An Integrated Hydrological and Water Management Study of the Entire Nile River System - Lake Victoria to Nile Delta

The Nile basin River system spans 3 million km(exp 2) distributed over ten nations. The eight upstream riparian nations, Ethiopia, Eretria, Uganda, Rwanda, Burundi, Congo, Tanzania and Kenya are the source of approximately 86% of the water inputs to the Nile, while the two downstream riparian countries Sudan and Egypt, presently rely on the river's flow for most of the their needs. Both climate and agriculture contribute to the complicated nature of Nile River management: precipitation in the headwaters regions of Ethiopia and Lake Victoria is variable on a seasonal and inter-annual basis, while demand for irrigation water in the arid downstream region is consistently high. The Nile is, perhaps, one of the most difficult trans-boundary water issue in the world, and this study would be the first initiative to combine NASA satellite observations with the hydrologic models study the overall water balance in a to comprehensive manner. The cornerstone application of NASA's Earth Science Research Results under this project are the NASA Land Data Assimilation System (LDAS) and the USDA Atmosphere-land Exchange Inverse (ALEXI) model. These two complementary research results are methodologically independent methods for using NASA observations to support water resource analysis in data poor regions. Where an LDAS uses multiple sources of satellite data to inform prognostic simulations of hydrological process, ALEXI diagnoses evapotranspiration and water stress on the basis of thermal infrared satellite imagery. Specifically, this work integrates NASA Land Data Assimilation systems into the water management decision support systems that member countries of the Nile Basin Initiative (NBI) and Regional Center for Mapping of Resources for Development (RCMRD, located in Nairobi, Kenya) use in water resource analysis, agricultural planning, and acute drought response to support sustainable development of Nile Basin water resources. The project is motivated by the recognition that accurate, frequent, and spatially distributed estimates of the water balance are necessary for effective water management. This creates a challenge for watersheds that are large, include data poor regions, and/or span multiple nations. All of these descriptors apply to the Nile River basin, yet successful management of the Nile is critical for development and political stability in the region. For this reason, improved hydrological data to support cooperative water management in the Nile basin is a priority for USAID, the US State Department, the World Bank and other international organizations. In this project, the U.S. based research team is working with partners at RCMRD, Nile Basin Initiative (NBI), and their member national-level agencies to develop satellite-based land cover maps, satellite-derived evapotranspiration estimates (using the ALEXI algorithm), and NASA's Land Data Assimilation System (LDAS) customized to match identified information needs. The cornerstone applied sciences product of the project is the development of a customized "Nile LDAS" that will produce optimal estimates of hydrological states and fluxes, as vetted against the in situ observations of NBI and RCMRD member organizations and independent satellite-derived hydrological estimates. Nile LDAS will be applied to improve the reliability of emerging Decision Support Systems in applications that include drought monitoring, reservoir management, and irrigation planning. The end-users such as RCMRD, NBI, Ethiopian and Kenya Meteorological and Famine Early Warning System Network (FEWSNet) will be the eventual benefactors of this work. There will be a capacity building process involving the above end-user organizations and transfer the models and the results for these organizations to execute for future use. The team has already initiated this study and the early results of first years' work are shown. The plan is to complete this work by late 2013.

Habib, Shahid↗
DOE OSTI2017

Models and methods for assessing the value of HVDC and MVDC technologies in modern power grids

This report reflects the results of U.S. Department of Energy’s (DOE) Grid Modernization project 0074 “Models and methods for assessing the value of HVDC [high-voltage direct current] and MTDC [multi-terminal direct current] technologies in modern power grids.” The work was done by the Pacific Northwest National Laboratory (PNNL) and Oak Ridge National Laboratory (ORNL) in cooperation with Mid-Continent Independent System Operator (MISO) and Siemens. The main motivation of this study was to show the benefit of using direct current (DC) systems larger than those in existence today as they overlap with the alternating current (AC) systems. Proper use of their flexibility in terms of active/reactive power control and fast response can provide much-needed services to the grid at the same time as moving large blocks of energy to take advantage of cost diversity. Ultimately, the project’s success will enable decision-makers and investors to make well-informed decisions regarding this use of DC systems. This project showed the technical feasibility of HVDC macrogrid for frequency control and congestion relief in addition to bulk power transfers. Industry-established models for commonly used technologies were employed, along with high-fidelity models for recently developed HVDC converter technologies; like the modular multilevel converters (MMCs), a voltage source converters (VSC). Models for General Electric Positive Sequence Load Flow (GE PSLF) and Siemens Power System Simulator (PSS/E), widely used analysis programs, were for the first time adapted to include at the same time both Western Electricity Coordinating Council (WECC) and Eastern Interconnection (EI), the two largest North American interconnections. The high-fidelity models and their control were developed in detail for MMC system and extended to HVDC systems in point-to-point and in three-node multi-terminal configurations. Using a continental-level mixed AC-DC grid model, and using a HVDC macrogrid power flow and transient stability model, the results showed that the HVDC macrogrid relieved congestion and mitigated loop flows in AC networks, and provided up to 24% improvement in frequency responses. These are realistic studies, based on the 2025 heavy summer and EI multi-regional modeling working group (MMWG) 2026 summer peak cases. This work developed high-fidelity models and simulation algorithms to understand the dynamics of MMC. The developed models and simulation algorithms are up to 25 times faster than the existing algorithms. Models and control algorithms for high-fidelity models were designed and tested for point-to-point and multi-terminal configurations. The multi-terminal configuration was tested connecting simplified models of EI, WI, and Electric Reliability Council of Texas (ERCOT). The developed models showed up to 45% improvement in frequency response with the connection of all the three asynchronous interconnections in the United States using fast and advanced DC technologies like the multi-terminal MMC-DC system. Future work will look into developing high-fidelity models of other advanced DC technologies, combining high-fidelity models with the continental-level model, incorporating additional services. More scenarios involving large-scale HVDC and MTDC will be evaluated.

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2025

United States multi-sector land use and land cover base maps to support human and Earth system models

Abstract Earth System Models (ESMs) require current and future projections of land use and landcover change (LULC) to simulate land-atmospheric interactions and global biogeochemical cycles. Among the most utilized land systems in ESMs are the Community Land Model (CLM) and the Land-Use Harmonization 2 (LUH2) products. Regional studies also use these products by extending coarse projections to finer resolutions via downscaling or by using multisector dynamic (MSD) models. One such MSD model is the Global Change Analysis Model (GCAM), which has its own independent land module, but often relies on CLM or LUH2 as spatial inputs for its base years. However, this requires harmonization of thematically incongruent land systems at multiple spatial resolutions, leading to uncertainty and error propagation. To resolve these issues, we develop a thematically consistent LULC system for the conterminous United States adaptable to multiple MSD frameworks to support research at a regional level. Using empirically derived spatial products, we developed a series of base maps for multiple contemporary years of observation at a 30-m resolution that support flexibility and interchangeability amongst LUH2, CLM, and GCAM classification systems.

Oliver, Jay↗
NASA NTRS1992

Periglacial and glacial analogs for Martian landforms

The list of useful terrestrial analogs for Martian landforms has been expanded to include: features developed by desiccation processes; catastrophic flood features associated with boulder-sized materials; and sorted ground developed at a density boundary. Quantitative analytical techniques developed for physical geography have been adapted and applied to planetary studies, including: quantification of the patterns of polygonally fractured ground to describe pattern randomness independent of pattern size, with possible correlation to the mechanism of origin and quantification of the relative area of a geomorphic feature or region in comparison to planetary scale. Information about Martian geomorphology studied in this project was presented at professional meetings world-wide, at seven colleges and universities, in two interactive televised courses, and as part of two books. Overall, this project has expanded the understanding of the range of terrestrial analogs for Martian landforms, including identifying several new analogs. The processes that created these terrestrial features are characterized by both cold temperatures and low humidity, and therefore both freeze-thaw and desiccation processes are important. All these results support the conclusion that water has played a significant role in the geomorphic history of Mars.

Rossbacher, Lisa A.↗
NASA NTRS2024

SiC Charged Particle Telescope GRC Independent Research and Development (IRAD) Program End of Project Final Report

In an advancement over the state-of-the art, NASA Glenn Research Center (GRC) has developed a large area silicon carbide (SiC)-based charged particle telescope through an Independent Research and Development (IRAD) project. The telescope has been demonstrated to have improved noise characteristics and resolution than previous SiC detectors. This improvement will meet the challenges of compact multidirectional robust radiation detector systems to study a wide range of elementary particle mass and energies. In order to provide a complete understanding of how energetic processes internal and external to the solar system shape magnetospheres, atmospheres, and surfaces, in situ particle observations should include measurements of Solar Energetic Particles (SEP) and Galactic Cosmic Rays (GCR), along with solar wind and plasma. The potential temperature stability, tolerance to high radiation environments, and low noise characteristics expected in SiC-based detectors can have advantages over the state-of-the-art silicon detectors. These advantages will allow the detectors to be deployed in small compact systems on a variety of platforms, enabling compact structures for small satellite platforms with improved data quality.

Field and particle detectors↗
DOE OSTI2019

Conceptual design of a quadrupole kicker and study of beam dynamics for generating echoes in IOTA

In this project we design dipole and quadrupole stripline kickers for echo generation in the IOTA ring. We developed a semi-analytic solver for dipole and quadrupole kickers with curved plates of innitesimal thickness, and independently validated it against a nite element software code (FEMM). The analytic series converges rapidly and is in agreement with FEMM within 5% everywhere except at the tips of the plates. We also consider nite thickness plates of dierent shapes (curved and parallel) and compare the central eld quality and characteristic impedance. We nd that in the dipole case, the parallel plates provide better eld quality than curved plates while in the quadrupole case, the dierence is not signicant. The characteristic impedance of relevant modes are computed. Matching the characteristic impedance to an external load is necessary to prevent unwanted re ection and ringing.

43 PARTICLE ACCELERATORS↗
NASA NTRS2014

WetLab-2: Tools for Conducting On-Orbit Quantitative Real-Time Gene Expression Analysis on ISS

The objective of NASA Ames Research Centers WetLab-2 Project is to place on the ISS a research platform capable of conducting gene expression analysis via quantitative real-time PCR (qRT-PCR) of biological specimens sampled or cultured on orbit. The project has selected a Commercial-Off-The-Shelf (COTS) qRT-PCR system, the Cepheid SmartCycler and will fly it in its COTS configuration. The SmartCycler has a number of advantages including modular design (16 independent PCR modules), low power consumption, rapid ramp times and the ability to detect up to four separate fluorescent channels at one time enabling multiplex assays that can be used for normalization and to study multiple genes of interest in each module. The team is currently working with Cepheid to enable the downlink of data from the ISS to the ground and provide uplink capabilities for programming, commanding, monitoring, and instrument maintenance. The project has adapted commercial technology to design a module that can lyse cells and extract RNA of sufficient quality and quantity for use in qRT-PCR reactions while using a housekeeping gene to normalize RNA concentration and integrity. The WetLab-2 system is capable of processing multiple sample types ranging from microbial cultures to animal tissues dissected on-orbit. The ability to conduct qRT-PCR on-orbit eliminates the confounding effects on gene expression of reentry stresses and shock acting on live cells and organisms or the concern of RNA degradation of fixed samples. The system can be used to validate terrestrial analyses of samples returned from ISS by providing on-orbit gene expression benchmarking prior to sample return. The ability to get on orbit data will provide investigators with the opportunity to adjust experiment parameters for subsequent trials based on the real-time data analysis without need for sample return and re-flight. Researchers will also be able to sample multigenerational changes in organisms. Finally, the system can be used for analysis of air, surface, water, and clinical samples to monitor environmental contaminants and crew health. The verification flight of the instrument is scheduled to launch on SpaceX-7 in June 2015.

quantitative PCR↗
DOE OSTI2017

Deep Controlled Source Electro-Magnetic Sensing: A Cost Effective, Long-Term Tool for Sequestration Monitoring

The proposed system was designed to operate as a permanent, autonomous monitoring and data collection system that can provide much higher temporal data density than can be achieved economically with 3-Dimensional (3D) seismic surveys. It can operate over broad areas for long periods of time providing full 3D data sets on a monthly basis at a very low cost. By borrowing techniques commonly used in marine CSEM, structural information from background seismic surveys can be incorporated into the CSEM modeling to provide high resolution models of CO 2 progression within reservoirs. The system uses borehole-based vertical-electric-dipole sources placed at reservoir depths in the formation. The electric and magnetic fields induced by this source are received on the surface using an array of stations. The project was conducted in three phases. Phase I demonstrated the feasibility of the system to collect static/reference data at the Ketzin CO 2 storage pilot site in Germany. In Phase I, numerical modeling was used to determine the optimal configurations and requirements for sensor sensitivity and data accuracy. Based on the model results, existing hardware and software were modified. The CSEM system was then field tested at the Ketzin site. The data were imaged and the results were compared with independent studies of the reservoir and overburden geo-electrical characteristics. Phase II demonstrated the ability to provide sensitive, cost-effective measurement of changes in reservoir properties and changes in the overlying formations using a second round of measurements at the Ketzin site. A prototype autonomous recording system was developed and tested as a subset of the measurement points. Phase III of the project quantified the advantages (and disadvantages) of the fully autonomous data collection subsystems by comparing them with repeated measurements made with mobile stations. The Phase III also provided an additional time point in measuring post-closure changes in and above the Ketzin CO 2 injection site. Validation of the CSEM field survey results were completed using a method such as other alternative and available field site data.

58 GEOSCIENCES↗
NASA NTRS1994

Theoretical determination of chemical rate constants using novel time-dependent methods

The work completed within the grant period 10/1/91 through 12/31/93 falls primarily in the area of reaction dynamics using both quantum and classical mechanical methodologies. Essentially four projects have been completed and have been or are in preparation of being published. The majority of time was spent in the determination of reaction rate coefficients in the area of hydrocarbon fuel combustion reactions which are relevant to NASA's High Speed Research Program (HSRP). These reaction coefficients are important in the design of novel jet engines with low NOx emissions, which through a series of catalytic reactions contribute to the deterioration of the earth's ozone layer. A second area of research studied concerned the control of chemical reactivity using ultrashort (femtosecond) laser pulses. Recent advances in pulsed-laser technologies have opened up a vast new field to be investigated both experimentally and theoretically. The photodissociation of molecules adsorbed on surfaces using novel time-independent quantum mechanical methods was a third project. And finally, using state-of-the-art, high level ab initio electronic structure methods in conjunction with accurate quantum dynamical methods, the rovibrational energy levels of a triatomic molecule with two nonhydrogen atoms (HCN) were calculated to unprecedented levels of agreement between theory and experiment.

Dateo, Christopher E.↗
NASA NTRS2015

Crew-Aided Autonomous Navigation Project

Manual capability to perform star/planet-limb sightings provides a cheap, simple, and robust backup navigation source for exploration missions independent from the ground. Sextant sightings from spacecraft were first exercised in Gemini and flew as the loss-of-communications backup for all Apollo missions. This study seeks to procure and characterize error sources of navigation-grade sextants for feasibility of taking star and planetary limb sightings from inside a spacecraft. A series of similar studies was performed in the early/mid-1960s in preparation for Apollo missions, and one goal of this study is to modernize and update those findings. This technique has the potential to deliver significant risk mitigation, validation, and backup to more complex low-TRL automated systems under development involving cameras.

Holt, Greg↗
NASA NTRS2017

Formal Methods Tool Qualification

Formal methods tools have been shown to be effective at finding defects in safety-critical digital systems including avionics systems. The publication of DO-178C and the accompanying formal methods supplement DO-333 allows applicants to obtain certification credit for the use of formal methods without providing justification for them as an alternative method. This project conducted an extensive study of existing formal methods tools, identifying obstacles to their qualification and proposing mitigations for those obstacles. Further, it interprets the qualification guidance for existing formal methods tools and provides case study examples for open source tools. This project also investigates the feasibility of verifying formal methods tools by generating proof certificates which capture proof of the formal methods tool's claim, which can be checked by an independent, proof certificate checking tool. Finally, the project investigates the feasibility of qualifying this proof certificate checker, in the DO-330 framework, in lieu of qualifying the model checker itself.

Wagner, Lucas G.↗