Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Data Reuse”

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 541 records · Page 30
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Modeling MTS pyrolysis and SiC deposition kinetics using principal component analysis and neural networks

Accurate chemical kinetics modeling is crucial for improving the efficiency of chemical processing and synthesis of ceramic matrix composites. Detailed kinetic models are computationally expensive due to the large number of transported chemical species, while the simplified physics-based models, such as single-step global mechanisms, are efficient but often overlook key chemical intermediates and pathways. Recent deep learning approaches promise accurate and cost-effective models. Yet, they require additional closures for the transported nonlinear latent variables, complicating integration with existing solvers. In this work, we develop a hybrid linear—nonlinear reduced model for silicon carbide deposition from methyltrichlorosilane precursor by combining principal component analysis (PCA) and autoencoder (AE) neural network (NN) approaches. PCA is used to identify a smaller set of linear transport variables, enabling direct reuse of conventional transport solvers. NNs then reconstruct the full chemical state from these reduced variables. We demonstrate the method on a chemical vapor deposition reactor—comprising a gas-phase pyrolysis plug flow reactor and a heterogeneous surface reactor—over a wide range of temperatures, pressures, and residence times. Our PCA–AE model achieves high accuracy with only five transported scalars, achieving an eightfold cost reduction compared to detailed mechanisms, in both a priori (using data from the test set only) and a posteriori (coupled with a differential equation solver). In conclusion, notable errors arise primarily near training domain boundaries and for long residence times, indicating the need for domain shift indicators and better long-horizon predictions in future reduced chemistry model development.

autoencoder neural networks↗
NASA NTRS1972

High temperature insulation materials for reradiative thermal protection systems

Results are presented of a two year program to evaluate packaged thermal insulations for use under a metallic radiative TPS of a shuttle orbiter vehicle. Evaluations demonstrated their survival for up to 100 mission reuse cycles under shuttle acoustic and thermal loads with peak temperatures of 1000 F, 1800 F, 2000 F, 2200 F and 2500 F. The specimens were composed of low density refractory fiber felts, packaged in thin gage metal foils. In addition, studies were conducted on the venting requirements of the packages, salt spray resistance of the metal foils, and the thermal conductivity of many of the insulations as a function of temperature and ambient air pressure. Data is also presented on the radiant energy transport through insulations, and back-scattering coefficients were experimentally determined as a function of source temperature.

Hughes, T. A.↗
DOE OSTI2026

Innovations Driven by Advanced Characterization to Strategize Critical Mineral Production and Beneficial Reuse from Fossil Energy Waste

Critical minerals (CM), such as rare earth elements (REE), cobalt, nickel, and lithium, have important uses in modern electronics and advanced manufacturing, yet are vulnerable to potential supply chain disruptions. Relatively abundant and readily available fossil energy (FE) wastes, such as coal combustion ash, acid mine drainage (AMD) and treatment solids (AMD solids), and Oil and Gas (O&G) drilling wastes (drill cuttings and produced waters) are under consideration as CM feedstocks. The National Energy Technology Laboratory (NETL) has studied CM resources for various FE wastes as part of the U.S. Department of Energy’s mission of bolstering the domestic CM supply, and makes the data available to the public on EDX at sites such as the NEWTS group. Advanced characterization utilizing synchrotron x-ray techniques coupled with laboratory extractions has been performed to identify CM hosting phases in these FE wastes to inform CM recoverability mechanisms. Novel methods to selectively recover CMs while co-producing other valuable byproducts have been developed. Successful examples discussed here include: (1) The identification of REE/Co/Ni/Sc binding and hosting phases in select FE waste (coal combustion ash and AMD solids), resulting in the development of a patented CM step-extraction process, (2) coupled production of functional sorbents from these extraction wastes and for CM recovery. A pilot-scale testing to evaluate the patent’s technical feasibility for extracting REE from coal ash on a barrel scale has been successfully performed. Additionally, (3) evaluation and measurements of brine geochemistry from U.S. O&G produced waters has informed a high Li recovery potential from Marcellus Shale produced water. NETL researchers have been developing tailored pre-treatment processes, an innovative and highly durable lithium sorbent, and geochemical model guided precipitation to accelerate Li production from the Marcellus Shale produced waters. These innovations driven by characterization are integral for maximizing and advancing the potential for CM recovery while offsetting the cost and environmental footprint for FE waste management.

critical mineral processing↗
NASA NTRS1982

Signalling characteristics in satellite-aided land mobile communications

The feasibility of land mobile radio communications has been demonstrated by a large number of experiments with NASA's ATS satellites. Significant differences in the propagation characteristics of satellite and terrestrial mobile signal paths were observed in the experiments. Terrestrial paths are best in cities where they can provide frequency reuse and assure communication by bouncing signals around obstructions. Satellites may be best in thinly populated areas because they eliminate the need for many tower mounted relays. The satellite paths do not have the severe Rayleigh fading that limits the range and signal quality of terrestrial paths if the satellite is above approximately ten degrees elevation, a value easily achieved for the United States. The experiments verified that high quality voice communications and other functions, such as data transmission and vehicle position surveillance, are easily accomplished through geostationary satellites with vehicle transmitter power and antenna gain no different than those of terrestrial mobile communications.

Anderson, R. E.↗
NASA NTRS1987

A NASA initiative: Software engineering for reliable complex systems

The objective is the development of methods, technology, and skills that will enable NASA to cost-effectively specify, build, and manage reliable software which can evolve and be maintained over an extended period. The need for such software is rooted in the increasing integration of software and computing components into NASA systems. Current NASA Software Engineering expertise was applied toward some of the largest reliable systems including: shuttle launch; ground support; shuttle simulation; minor control; satellite tracking; and scientific data systems. Unfortunately, no theory exists for reliable complex software systems. NASA is seeking to fill this theoretical gap through a number of approaches. One such approach is to conduct research on theoretical foundations for managing complex software systems. It includes: communication models, new and modified paradigms, and life-cycle models. Another approach is research in the theoretical foundations for reliable software development and validation. It focuses upon formal specifications, programming languages, software engineering systems, software reuse, formal verification, and software safety. Further approaches involve benchmarking a NASA software environment, experimentation within the NASA context, evolution of present NASA methodology, and transfer of technology to the space station software support environment.

Holcomb, Lee B.↗
DOE OSTI2022

areaDetector/ADTimePix3

ADTimePix3 is an open‑source EPICS areaDetector driver for TimePix3 pixel detectors from Advanced Scientific Instruments (ASI). It provides a complete control and data‑acquisition interface between EPICS and the Serval server, supporting both real detectors (single‑chip and 2×2 quad configurations) and the TimePix3 emulator. The driver configures measurements via an HTTP/JSON REST API and acquires data through high‑rate TCP streams for raw events, images, and histograms. It offers real‑time preview and accumulated images, Time‑of‑Flight histogram processing, pixel masking (including Binary Pixel Configuration files and hot‑pixel tools), extensive health and status monitoring, and integration with standard areaDetector plugins for file saving and downstream analysis. ADTimePix3 is designed for Linux 64‑bit systems (tested on Ubuntu and RHEL) and is distributed under an MIT license with additional institutional disclaimers, enabling reuse and extension in photon science beamlines and other TimePix3‑based experimental facilities.

Gofron, Kaz↗
NASA NTRS1972

Technical report analysis and design: Study of solid rocket motors for a space shuttle booster, volume 2, book 1, supplement 1

An analysis and design effort was conducted as part of the study of solid rocket motor for a space shuttle booster. The 156-inch-diameter, parallel burn solid rocket motor was selected as its baseline because it is transportable and is the most cost-effective, reliable system that has been developed and demonstrated. The basic approach was to concentrate on the selected baseline design, and to draw from the baseline sufficient data to describe the alternate approaches also studied. The following conclusions were reached with respect to technical feasibility of the use of solid rocket booster motors for the space shuttle vehicle: (1) The 156-inch, parallel-burn baseline SRM design meets NASA's study requirements while incorporating conservative safety factors. (2) The solid rocket motor booster represents a cost-effective approach. (3) Baseline costs are conservative and are based on a demonstrated design. (4) Recovery and reuse are feasible and offer substantial cost savings. (5) Abort can be accomplished successfully. (6) Ecological effects are acceptable.

Source record↗
NASA NTRS1972

Study of repeater technology for advanced multifunctional communications satellites

Investigations are presented concerning design concepts and implementation approaches for the satellite communication repeater subsystems of advanced multifunctional satellites. In such systems the important concepts are the use of multiple antenna beams, repeater switching (routing), and efficient spectrum utilization through frequency reuse. An information base on these techniques was developed and tradeoff analyses were made of repeater design concepts, with the work design taken in a broad sense to include modulation beam coverage patterns. There were five major areas of study: requirements analysis and processing; study of interbeam interference in multibeam systems; characterization of multiple-beam switching repeaters; estimation of repeater weight and power for a number of alternatives; and tradeoff analyses based on these weight and power data.

Source record↗
NASA NTRS2013

Development of the Orion Crew-Service Module Umbilical Retention and Release Mechanism

The Orion CSM umbilical retention and release mechanism supports and protects all of the cross-module commodities between the spacecrafts crew and service modules. These commodities include explosive transfer lines, wiring for power and data, and flexible hoses for ground purge and life support systems. The mechanism employs a single separation interface which is retained with pyrotechnically actuated separation bolts and supports roughly two dozen electrical and fluid connectors. When module separation is commanded, either for nominal on-orbit CONOPS or in the event of an abort, the mechanism must release the separation interface and sever all commodity connections within milliseconds of command receipt. There are a number of unique and novel aspects of the design solution developed by the Orion mechanisms team. The design is highly modular and can easily be adapted to other vehiclesmodules and alternate commodity sets. It will be flight tested during Orions Exploration Flight Test 1 (EFT-1) in 2014, and the Orion team anticipates reuse of the design for all future missions. The design packages fluid, electrical, and ordnance disconnects in a single separation interface. It supports abort separations even in cases where aerodynamic loading prevents the deployment of the umbilical arm. Unlike the Apollo CSM umbilical which was a destructive separation device, the Orion design is resettable and flight units can be tested for separation performance prior to flight.Initial development testing of the mechanisms separation interface resulted in binding failures due to connector misalignments. The separation interface was redesigned with a robust linear guide system, and the connector separation and boom deployment were separated into two discretely sequenced events. These changes addressed the root cause of the binding failure by providing better control of connector alignment. The new design was tuned and validated analytically via Monte Carlo simulation. The analytical validation was followed by a repeat of the initial test suite plus test cases at thermal extremes and test cases with imposed mechanical failures demonstrating fault tolerance. The mechanism was then exposed to the qualification vibration environment. Finally, separation testing was performed at full speed with live ordnance.All tests of the redesigned mechanism resulted in successful separation of the umbilical interface with adequate force margins and timing. The test data showed good agreement with the predictions of the Monte Carlo simulation. The simulation proved invaluable due to the number of variables affecting the separation and the uncertainty associated with each. The simulation allowed for rapid assessment of numerous trades and contingency scenarios, and can be easily reconfigured for varying commodity sets and connector layouts.

Separation↗
DOE OSTI2024

MARSAME Radiological Release Report for Metal Items from Technical Area 53, Set 28

Environmental Protection and Compliance, Environmental Stewardship Group (EPC-ES) has evaluated the survey results for metal items from the Los Alamos Neutron Science Center (LANSCE) at Technical Area 53 (TA-53) and found that the metal items described in Table 1 of this report (identified by Radiation Protection [RP] Tracking Numbers) meet the criteria for unrestricted release under Department of Energy (DOE) Order 458.1 Chg 4, Radiation Protection of the Public and the Environment (DOE 2020) and can be recycled. This conclusion is based on the known history of the metal items and radiation survey data (see the completed RP-Form-031 LANSCE Metals Clearance Log [LANL 2021a] for each item in Attachment 1). Process knowledge indicates that items were released from radiological areas, including radiation areas, prior to the implementation of the 2000 metals moratorium. Therefore, the items are considered unencumbered and are not subject to the moratorium suspension on metal recycling from DOE facilities. Additionally, Los Alamos National Laboratory (LANL) has determined that there is no practical opportunity for internal DOE reuse of this metal. Process knowledge indicates that these metal items were unlikely to ever be in direct contact with the beam and thus are unlikely to have become activated. Surface contamination measurements (both total and removable) showed either no detectable radioactivity or activity levels within the range of background. All measurements for volumetric contamination were indistinguishable from background based on calculated decision limits. Additionally, all gamma isotopic surveys conducted for defense-in depth showed no identifiable gamma radiation from beam activation.

61 RADIATION PROTECTION AND DOSIMETRY↗
NASA NTRS2018

GEONEX: Progressive Conditional Generative Adversarial Training Using Transfer learning

Obtaining accurate segmentation on large scale images is an open problem in deep learning. The main problem is the amount of labeled data that exists for large scale images. Traditionally, the common solution to this problem is to crop the large images into smaller images to increase the amount of available data and train a Conditional Generative Adversarial Network (CGAN). CGANs are currently the state of the art in image to image translation and provide better accuracy than the traditional method of training a encoder based conv-net architecture to minimize the loss at each pixel. This method can produce noisy and discontinuous images with inaccurate results. We seek to solve this problem by utilizing the concepts of transfer learning and progressive training to create a CGAN that can segment large scale images with a limited amount of labeled data. In transfer learning we recognize that many learned features are applicable to many classes from multiple domains. This introduces the concept of feature reusability, which is the basis for finetuning. Progressive training got its start in training models on the same images at different resolutions. In this work we instead train a GAN on increasing image scales by transferring the weights from the smaller scales to the larger scales. The learned features at the smaller scales are continually reused and applied to larger scales to create a CGAN that can perform accurate segmentation on large scale images. We apply this method to detect building footprints on very high-resolution overhead imagery (e.g Digital Globe and high resolution airborne platforms).

GEONEX↗
NASA NTRS1995

AP reclamation and reuse in RSRM propellant

A solid propellant ingredient reclamation pilot plant has been evaluated at the Strategic Operations of Thiokol Corporation, located in Brigham City, Utah. The plant produces AP wet cake (95 percent AP, 5 percent water) for recycling at AP vendors. AP has been obtained from two standard propellant binder systems (PBAN and HTPB). Analytical work conducted at Thiokol indicates that the vendor-recrystallized AP meets Space Shuttle propellant specification requirements. Thiokol has processed 1-, 5-, and 600-gallon propellant mixes with the recrystallized AP. Processing, cast, cure, ballistic, mechanical, and safety properties have been evaluated. Phillips Laboratory static-test-fired 70-pound and 800-pound BATES motors. The data indicate that propellant processed with reclaimed AP has nominal properties.

Miks, Kathryn F.↗
DOE OSTI2020

Durability of Disposable N95 Mask Material When Exposed to Improvised Ozone Gas Disinfection

The principle finding of this report is that both commercial and a novel material used for N95 mask filters can endure many cycles of disinfection by ozone gas (20 ppm for 30 minutes) without detectable degradation or loss of filtration efficiency. N95 masks and surgical masks (hereafter referred to as masks) typically use a filtration material fabricated from meltblown polypropylene. To achieve maximum filtration efficiency while maintaining a reasonable pressure drop, these nonwoven fabrics are also electrostatically charged (corona discharge is the most common method used), to maximize attraction and capture of aerosols and solid particulates. Under normal circumstances, the reuse of masks is generally discouraged, but in times of crisis has become a necessity, making disinfection after each use a necessity. To be acceptable, any disinfection procedure must cause minimal degradation to the performance of the filter material. Possible performance degradation mechanisms include mechanical damage, loss of electrostatic charge, or both. One of the most practical and direct ways to measure combined mechanical and electrostatic integrity, and the subsequent ability to reuse mask filter material, is by the direct measurement of filtration efficiency. In this paper, we report that small numbers of disinfection cycles at reasonable virucidal doses of ozone do not significantly degrade the filtration efficiency of meltblown polypropylene filter material. By comparison, laundering quickly results in a significant loss of filtration efficiency and requires subsequent recharging to restore the electrostatic charge and filtration efficiency. A common assumption among biomedical scientists that ozone is far too destructive for this application. However, these direct measurements show that mask materials, specifically the filtration material, can withstand dozens of ozone disinfection cycles without any measurable degradation of filtration efficiency, nor any visible discoloration or loss of fiber integrity. The data are clear: when subjected to a virucidal dose of ozone for a much longer duration than is required for viral inactivation, there was no degradation of N95 filtration efficiency. The specific dosages of ozone needed for ~99% viral inactivation are thought to be at least 10 ppm for up to 30 minutes based upon an extensive literature review, but to standardize our testing, we consider a dose of 20 ppm for 30 minutes to be a reasonable and conservatively high ozone disinfection cycle. Finally, the material tested in this study withstood dosages of up to 200 ppm for 90 minutes, or alternatively 20 ppm for up to 36 hours, without detectable degradation, and further testing suggests that up to 30 or more disinfection cycles (at 20 ppm for 30 minutes) would result in less than a 5% loss of filtration efficiency. This report does not address the effect of ozone cycling on other mask components, such as elastics.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2021

DYFLOW: A flexible framework for orchestrating scientific workflows on supercomputers

Modern scientific workflows are increasing in complexity with growth in computation power, incorporation of non-traditional computation methods, and advances in technologies enabling data streaming to support on-the-fly computation. These workflows have unpredictable runtime behaviors, and a fixed, predetermined resource assignment on supercomputers can be inefficient for overall performance and throughput. Inability to change resource assignments further limits the scientists to avail of science-driven opportunities or respond to failures.We introduce DYFLOW, a flexible framework that orchestrates scientific workflows on supercomputers based on user-designed policies. DYFLOW compartmentalizes orchestration stages into simplified constructs, and end-users can program and reuse them according to their workflow requirements through an easy-to-use interface. These constructs hide the intricacies involved in runtime management from end-users, for instance, procurement of information to understand the workflow state, assessment, and supervision of the runtime changes. DYFLOW is designed to work alongside existing workflow management systems and reuse the available (static) support for workflow management. We have integrated DYFLOW with an existing workflow management tool as a demonstration. With experiments performed on use cases from three types of scientific workflows and two different parallel architectures, we show that DYFLOW achieves the desired orchestration incurring a small cost to carry out the runtime changes.

Singhal, Swati↗
NASA NTRS2005

Lessons Learned in the Livingstone 2 on Earth Observing One Flight Experiment

The Livingstone 2 (L2) model-based diagnosis software is a reusable diagnostic tool for monitoring complex systems. In 2004, L2 was integrated with the JPL Autonomous Sciencecraft Experiment (ASE) and deployed on-board Goddard's Earth Observing One (EO-1) remote sensing satellite, to monitor and diagnose the EO-1 space science instruments and imaging sequence. This paper reports on lessons learned from this flight experiment. The goals for this experiment, including validation of minimum success criteria and of a series of diagnostic scenarios, have all been successfully net. Long-term operations in space are on-going, as a test of the maturity of the system, with L2 performance remaining flawless. L2 has demonstrated the ability to track the state of the system during nominal operations, detect simulated abnormalities in operations and isolate failures to their root cause fault. Specific advances demonstrated include diagnosis of ambiguity groups rather than a single fault candidate; hypothesis revision given new sensor evidence about the state of the system; and the capability to check for faults in a dynamic system without having to wait until the system is quiescent. The major benefits of this advanced health management technology are to increase mission duration and reliability through intelligent fault protection, and robust autonomous operations with reduced dependency on supervisory operations from Earth. The work-load for operators will be reduced by telemetry of processed state-of-health information rather than raw data. The long-term vision is that of making diagnosis available to the onboard planner or executive, allowing autonomy software to re-plan in order to work around known component failures. For a system that is expected to evolve substantially over its lifetime, as for the International Space Station, the model-based approach has definite advantages over rule-based expert systems and limit-checking fault protection systems, as these do not scale well. The model-based approach facilitates reuse of the L2 diagnostic software; only the model of the system to be diagnosed and telemetry monitoring software has to be rebuilt for a new system or expanded for a growing system. The hierarchical L2 model supports modularity and expendability, and as such is suitable solution for integrated system health management as envisioned for systems-of-systems.

Hayden, Sandra C.↗
DOE OSTI2025

Comparative life cycle assessment of a modular cross-laminated timber residential building designed for disassembly and reuse versus traditional wood frame construction

There is a need for affordable housing across the U.S., with high-performance modular and prefabricated buildings providing a logical avenue for meeting some of this demand. However, there is a need to balance high performance construction – including low emissions – with affordability. To provide a proof-of-concept in meeting these goals, the Circular Home is a cross-laminated timber (CLT)-based deconstructible and reconfigurable single-family residence that meets high performance targets in moisture, energy, design, economics, and life cycle assessment (LCA). This study focuses on the LCA, presenting a cradle-to-cradle whole-building life cycle assessment (WBLCA) for the Circular Home and a functionally equivalent Baseline Home constructed with traditional materials and methods. The functional unit is 1 m 2 of gross floor area across 60 years. Revit building information models (BIM) provided material quantities and Tally LCA was utilized for impact data (inclusive of biogenic carbon sequestration), supplemented with manufacturer environmental product declarations (EPDs). The Circular Home outperforms the baseline residence in most measured impact categories, including global warming potential (GWP), producing −2.73 kgCO 2 eq/m 2 in embodied emissions, whereas the modeled baseline has an embodied GWP of 428 kgCO 2 eq/m 2 . The careful material selection and advanced building design optimizes performance, with the Circular Home containing only −0.006 times the embodied emissions and −0.02 times the operational emissions of its traditional counterpart. Finally, the unique contribution of this work is in the environmental impact comparison of a high-performance modular CLT structure that can be affordably scaled and mass produced in a U.S. market, compared to typical single family home construction.

Circularity↗
NASA NTRS2001

Flight Computer Processing Avionics for Space Station Microgravity Experiments: A Risk Assessment of Commercial Off-the-Shelf Utilization

NASA/Marshall Space Flight Center (MSFC) is continually looking for ways to reduce the costs and schedule and minimize the technical risks during the development of microgravity programs. One of the more prominent ways to minimize the cost and schedule is to use off-the-shelf hardware (OTS). However, the use of OTS often increases the risk. This paper addresses relevant factors considered during the selection and utilization of commercial off-the-shelf (COTS) flight computer processing equipment for the control of space station microgravity experiments. The paper will also discuss how to minimize the technical risks when using COTS processing hardware. Two microgravity experiments for which the COTS processing equipment is being evaluated for are the Equiaxed Dendritic Solidification Experiment (EDSE) and the Self-diffusion in Liquid Elements (SDLE) experiment. Since MSFC is the lead center for Microgravity research, EDSE and SDLE processor selection will be closely watched by other experiments that are being designed to meet payload carrier requirements. This includes the payload carriers planned for the International Space Station (ISS). The purpose of EDSE is to continue to investigate microstructural evolution of, and thermal interactions between multiple dendrites growing under diffusion controlled conditions. The purpose of SDLE is to determine accurate self-diffusivity data as a function of temperature for liquid elements selected as representative of class-like structures. In 1999 MSFC initiated a Center Director's Discretionary Fund (CDDF) effort to investigate and determine the optimal commercial data bus architecture that could lead to faster, better, and lower cost data acquisition systems for the control of microgravity experiments. As part of this effort various commercial data acquisition systems were acquired and evaluated. This included equipment with various form factors, (3U, 6U, others) and equipment that utilized various bus structures, (VME, PC104, STD bus). This evaluation of hardware was performed in conjunction with a trade study that considered over twenty (20) different factors relevant to the selection of an optimum design approach. These factors included; safety, sizing and timing, radiation hardness and single event upset, power consumption, heat dissipation, size and volume, expected service life, maintainability, heritage, operating systems, requirements for software reuse, availability of compatible interface boards, relative cost, schedule, reliability, EMI/EMC factors, "hot swap" capability, standards for conduction cooling, I/O capabilities, unique carrier requirements and operating system considerations. The approach to evaluate Safety as part of this study included a review of the Preliminary Hazard Analysis (PHA) for each of the experiment designs and a determination of how each hazard could be addressed and eliminated when different processors were selected. This included evaluating various design approaches and trade-offs between fault tolerant designs and fail-safe designs in accordance with NSTS 1700.7B. This will include the results of radiation testing where available. Various operating systems, such as VxWorks, Linux, QNX, and Embedded NT are evaluated and the advantages and disadvantages of their utilization are also addressed. Design implementation strategies for the various operating systems are considered and discussed. This paper presents the results and recommendations from this trade study. Preliminary conclusions from this study are that safety concerns from lack or radiation testing on COTS equipment can be addressed by additional testing and design considerations, the PC104 bus provided adequate I/O for the SDLE and EDSE microgravity experiments, and PC104 bus components offered significant advantages over VME and cPCI for weight and space reductions.

Estes, Howard↗
NASA NTRS2013

A Formal Basis for Safety Case Patterns

By capturing common structures of successful arguments, safety case patterns provide an approach for reusing strategies for reasoning about safety. In the current state of the practice, patterns exist as descriptive specifications with informal semantics, which not only offer little opportunity for more sophisticated usage such as automated instantiation, composition and manipulation, but also impede standardization efforts and tool interoperability. To address these concerns, this paper gives (i) a formal definition for safety case patterns, clarifying both restrictions on the usage of multiplicity and well-founded recursion in structural abstraction, (ii) formal semantics to patterns, and (iii) a generic data model and algorithm for pattern instantiation. We illustrate our contributions by application to a new pattern, the requirements breakdown pattern, which builds upon our previous work

Formal Methods↗