Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Digital assurance”

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 55 records · Page 3
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Smart Inverters, Dumb Risk: Taking Control of IBR Security in the Digital Age

This presentation addresses the security challenges posed by Inverter-Based Resources (IBRs) in the modern energy landscape. The presentation highlights the vulnerabilities and risks associated with IBRs, including the potential for cyber-attacks, the impact of insecure defaults, and the systemic risks posed by supply chain dependencies. Key topics covered include: 1) The increasing digital transformation in energy systems and the associated security risks. 2) Specific vulnerabilities in IBRs, including weak passwords, hardcoded credentials, and insecure web application interfaces. 3) The implications of persistent connectivity and the strategic risks posed by foreign-manufactured components. 4) The role of regulatory frameworks, such as NERC CIP, in addressing these challenges and the limitations of current oversight. 5) Practical solutions for mitigating risks, including secure design practices, vendor risk assessments, and the importance of strong passwords and role-based access control. The presentation underscores the necessity of a comprehensive, system-of-systems approach to securing IBRs, emphasizing the need for collaboration across various stakeholders, including operators, developers, and regulators, to ensure the resilience and security of the energy grid.

24 - POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2025

Defense Resilience Technical Assistance Options - Initial Overview

The Defense Resilience Technical Assistance (TA) project, a collaboration between the DOE Grid Deployment Office and the DoD, aims to enhance energy infrastructure at military installations and utilities and the surrounding community. It focuses on improving energy system performance, addressing power infrastructure inadequacies, enhancing power quality, reducing cyber sabotage impacts, and strengthening digital supply chains. Defense Resilience Technical Assistance Options - Initial Overview. Intend to tailor to the pilot installation.

24 - POWER TRANSMISSION AND DISTRIBUTION↗
NASA NTRS1995

Hardness Assurance and Testing Techniques for High Resolution (12- to 16-bit) Analog-to-Digital Converters

Discussed are hardness assurance and testing techniques to test and evaluate total dose radiation degradation of high resolution A/D converters. Because high-speed, high-resolution converters are critical parts in a digital signal processing or data acquisition system, the evaluation of performance in the early design phase is very important. Converters from three manufacturers are evaluated.

Analog-to-Digital↗
NASA NTRS1983

Qualification of the flight-critical AFTI/F-16 digital flight control system

Qualification considerations for assuring the safety of a life-critical digital flight control system include four major areas: systems interactions, verification, validation, and configuration control. The AFTI/F-16 design, development, and qualification illustrate these considerations. In this paper, qualification concepts, procedures, and methodologies are discussed and illustrated through specific examples.

Mackall, D. A.↗
NASA NTRS2024

Orbital Debris and the NASA Orbital Debris Program Office

This submission includes 11 presentations prepared by NASA for the Trilateral Safety & Mission Assurance (SMA) Conference from June 24-26th at the ESA Centre for Earth Observation. These presentations encompass various safety & mission assurance topics focused on the conference themes of lunar exploration, space sustainability, new commercial partners & challenges, digital engineering, and the assurance of new technologies. These presentations will be shared amongst an international community of SMA practitioners & leadership to promote mutual dialogue on initiatives & challenges of SMA in an evolving spaceflight field.

OSIRIS↗
DOE OSTI2024

Demonstration of Model-Based Design for Digital Controller Using Formal Methods

This report describes work originally performed in FY19 that assembled a workflow enabling formal verification of high-consequence digital controllers. The approach builds on an engineering analysis strategy using multiple abstraction levels (Model-Based Design) and performs exhaustive formal analysis of appropriate levels – here, state machines and C code – to assure always/never properties of digital logic that cannot be verified by testing alone. The operation of the workflow is illustrated using example models and code, including expected failures of verification when properties are violated.

97 MATHEMATICS AND COMPUTING↗
NASA NTRS1974

Error protection capability of space shuttle data bus designs

Error protection assurance in the reliability of digital data communications is discussed. The need for error protection on the space shuttle data bus system has been recognized and specified as a hardware requirement. The error protection techniques of particular concern are those designed into the Shuttle Main Engine Interface (MEI) and the Orbiter Multiplex Interface Adapter (MIA). The techniques and circuit design details proposed for these hardware are analyzed in this report to determine their error protection capability. The capability is calculated in terms of the probability of an undetected word error. Calculated results are reported for a noise environment that ranges from the nominal noise level stated in the hardware specifications to burst levels which may occur in extreme or anomalous conditions.

Proch, G. E.↗
NASA NTRS1984

Digital Soldering-Iron Tester

Instrument reads tip temperature and contact potential in seconds. Tinned soldering tip touched to temperature sensitive button for 4 seconds and to voltage probe for 1 to 3 seconds. Tip temperature and voltage appear on digital displays. Instrument quickly gives assurance conditions are correct for reliable soldering.

Buggle, R. N.↗
NASA NTRS2010

Risk-Informed Safety Assurance and Probabilistic Assessment of Mission-Critical Software-Intensive Systems

This report validates and documents the detailed features and practical application of the framework for software intensive digital systems risk assessment and risk-informed safety assurance presented in the NASA PRA Procedures Guide for Managers and Practitioner. This framework, called herein the "Context-based Software Risk Model" (CSRM), enables the assessment of the contribution of software and software-intensive digital systems to overall system risk, in a manner which is entirely compatible and integrated with the format of a "standard" Probabilistic Risk Assessment (PRA), as currently documented and applied for NASA missions and applications. The CSRM also provides a risk-informed path and criteria for conducting organized and systematic digital system and software testing so that, within this risk-informed paradigm, the achievement of a quantitatively defined level of safety and mission success assurance may be targeted and demonstrated. The framework is based on the concept of context-dependent software risk scenarios and on the modeling of such scenarios via the use of traditional PRA techniques - i.e., event trees and fault trees - in combination with more advanced modeling devices such as the Dynamic Flowgraph Methodology (DFM) or other dynamic logic-modeling representations. The scenarios can be synthesized and quantified in a conditional logic and probabilistic formulation. The application of the CSRM method documented in this report refers to the MiniAERCam system designed and developed by the NASA Johnson Space Center.

Guarro, Sergio B.↗
DOE OSTI2025

Development of a Multi-Robot System for Autonomous Inspection of Nuclear Waste Tank Pits

This paper introduces the overall design plan, development timeline, and preliminary progress of the Autonomous Pit Exploration System project. This project aims to develop an advanced multi-robot system for the efficient inspection of nuclear waste-storage tank pits. The project is structured into three phases: Phase 1 involves data collection and interface definition in collaboration with Hanford Site experts and university partners, focusing on tank riser geometry and hardware solutions. Phase 2 includes the selection of sensors and robot components, detailed mechanical design, and prototyping. Phase 3 integrates all components into a cohesive system managed by a master control package which also incorporates digital twin and surrogate models, and culminates in comprehensive testing and validation at a simulated tank pit at the Idaho National Laboratory. Additionally, the system’s communication design ensures coordinated operation through shared data, power, and control signals. For transportation and deployment, an electric vehicle (EV) is chosen to support the system for a full 10 h shift with better regulatory compliance for field deployment. A telescopic arm design is selected for its simple configuration and superior reach capability and controllability. Preliminary testing utilizes an educational robot to demonstrate the feasibility of splitting computational tasks between edge and cloud computers. Successful simultaneous localization and mapping (SLAM) tasks validate our distributed computing approach. More design considerations are also discussed, including radiation hardness assurance, SLAM performance, software transferability, and digital twinning strategies.

Nuclear waste management↗
NASA NTRSDate not supplied

Instantiating R&M in the Digital Engineering Eco System

Provide an overview of OSMA related activities to help instantiate both Safety & Mission Assurance (SMA) and Reliability & Maintainability (R&M) activities as part of a Digital Engineering Eco System.

Anthony John DiVenti Jr.↗
DOE OSTI2023

Weapons Research Services Division: Overview and Strategy 2024

Weapons Research Services are the principal stewards of data, information, and knowledge for the Weapons program. Empower the NNSA weapons mission through excellence in data stewardship, knowledge access, information assurance, and mission software. Lead the digital transformation of NNSA’s Weapons program data, information, and knowledge towards a more agile future.

45 MILITARY TECHNOLOGY, WEAPONRY, AND NATIONAL DEF↗
NASA NTRS1995

Formal verification of an avionics microprocessor

Formal specification combined with mechanical verification is a promising approach for achieving the extremely high levels of assurance required of safety-critical digital systems. However, many questions remain regarding their use in practice: Can these techniques scale up to industrial systems, where are they likely to be useful, and how should industry go about incorporating them into practice? This report discusses a project undertaken to answer some of these questions, the formal verification of the AAMPS microprocessor. This project consisted of formally specifying in the PVS language a rockwell proprietary microprocessor at both the instruction-set and register-transfer levels and using the PVS theorem prover to show that the microcode correctly implemented the instruction-level specification for a representative subset of instructions. Notable aspects of this project include the use of a formal specification language by practicing hardware and software engineers, the integration of traditional inspections with formal specifications, and the use of a mechanical theorem prover to verify a portion of a commercial, pipelined microprocessor that was not explicitly designed for formal verification.

Srivas, Mandayam, K.↗
NASA NTRS1986

Digital avionics systems - Overview of FAA/NASA/industry-wide briefing

The effects of incorporating digital technology into the design of aircraft on the airworthiness criteria and certification procedures for aircraft are investigated. FAA research programs aimed at providing data for the functional assessment of aircraft which use digital systems for avionics and flight control functions are discussed. The need to establish testing, assurance assessment, and configuration management technologies to insure the reliability of digital systems is discussed; consideration is given to design verification, system performance/robustness, and validation technology.

Larsen, William E.↗
DOE OSTI2025

Safety Assurance of Software and Machine Learning Development for Nuclear Instrumentation and Controls

Digital instrumentation and control (DI&C) systems monitor and control parameters in nuclear power plants. Ensuring their safety is a critical part of ensuring overall plant safety. Nuclear power plant licensing generates thousands of safety documents that could be organized more effectively using a safety assurance case (SAC). We conducted a literature survey of SACs and created a SAC framework for DI&C software using Goal Structuring Notation (GSN). This framework focuses on four software development processes: management & assurance, pre-developed software (PDS) qualification, the Software Development Life Cycle (SDLC), and the Machine Learning Development Life Cycle (MLDLC). We organized our framework using a novel level structure that can be applied to other SACs to improve their clarity. Finally, we demonstrate how our framework can be incorporated as part of a SAC for a larger reactor system.

46 - INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AN↗
DOE OSTI2021

A Preliminary Investigation for the Use of Digital Gamma-Gamma Coincidence Spectrometry to Determine 239 Pu

Gamma-ray spectrometry is one of the most effective ways to determine the activity of 239 Pu, depending on activity levels. However, often high backgrounds in complex spectra with low amounts of 239 Pu can increase detection limits. The effectiveness of the use of gamma-gamma spectrometry in the characterization of 239 Pu was studied for the first time. Using the XIA Pixie-16 digital pulse processor, the gamma-gamma system was studied to establish unshielded background radiation, source to detector distances, Poisson statistics and gating of several gamma-rays from 239 Pu. The results clearly show that the distance between gamma ray spectrometers has a much bigger effort in counting statistics for the gamma-gamma coincidence detectors than a single detector. In addition, measurements demonstrated the background radiation to be virtually negligible, meaning gammagamma spectroscopy can still be very effective without requiring the usual lead shielding. Other measurements were taken to assure Poisson statistics were attained in the digital system. Preliminary measurements revealed 3 orders of magnitude background reduction for the measurement of 239 Pu using gated gamma-rays.

61 RADIATION PROTECTION AND DOSIMETRY↗