Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “software reliability model”

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 559 records · Page 31
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Lunar Search & Rescue Applications of Lunar GNSS

Accurate lunar navigation and timing knowledge provides for the development of safety-critical services in the cislunar and lunar surface domain. Currently under development, the Goddard Space Flight Center’s (GSFC) Search and Rescue Mission Office is investigating and integrating search and rescue (SAR) capability into planned and future lunar communication and navigation interfaces. Lunar Search and Rescue (LunaSAR) development has a stated end-goal for assured, reliable, and timely indication of distress events for a wide variety of lunar surface users, including government-sponsored, commercial, and international users. LunaSAR performance requirements are modelled after the current terrestrial Cospas-Sarsat distress notification system, leveraging an internationally robust global navigation satellite system (GNSS) ecosystem as a core element of survivor locating capability. This presentation will discuss NASA’s work to develop user-focused distress messaging capabilities including infusion of example sensor data for triggering of automated distress alerts coupled with location-tagging. Additionally, the presentation will examine overall message structures, rotating fields for use in bi-directional distress messaging, and specific use cases based on NASA’s lunar exploration and lunar communication relay architectures. Modelling and simulation of LunaSAR use by individual lunar explorers will be discussed, based on notional industry and government design reference missions and mission considerations. Results from GSFC-funded Internal Research and Development (IRAD) efforts will be detailed, including successful distress message formulation simulating the ingestion of example legacy space suit telemetry fields. Hardware-in-the-loop testing using high-reliability software defined radio (SDR) modules serve as an example of IRAD successes and the framework for technical requirements. Architectural development and technical evolution from 2020 to 2021 included alignment of LunaSAR distress waveforms with ongoing NASA LunaNet interoperability development, as well as engagement with NASA Lunar Spectrum authorities for allocation of UHF-band distress frequencies on the lunar surface. S-Band and UHF-band transmission characteristics will be detailed, along with band-specific applications of each emission type. Additionally, examples of ingestion and formatting of GNSS signals (using historical terrestrial National Marine Electronics Association-formatted GNSS data) will be detailed, underscoring lunar user needs for a common lunar GNSS receiver output message framework. Maturity and ability to support evolving lunar exploration goals has been demonstrated and will be detailed, with maturity gaps such as position, navigation, and timing (PNT) and lunar reference frames identified within the context of distress message generation. Provision of LunaSAR services for lunar surface users represents a new era of ensured safety for lunar explorers and builds off of forty years of the Cospas-Sarsat program, underscoring the importance of lunar GNSS for safety-critical applications and growing interest in safe, reliable lunar surface operations. Enabled by new GNSS systems being developed by government and industry partners, NASA will continue to evolve and integrate lunar GNSS types into distress message generation, with a focus on compact and efficient message transmission over various lunar communication links. When fielded, LunaSAR will be the first dedicated search and rescue notification system employed on another celestial body. Robust lunar navigation and timing services form the core of LunaSAR capabilities, allowing for system syncing with time-dominant sensors, and high-accuracy location of those in distress while engaged in lunar surface activities.

Search and Rescue↗
DOE OSTI2018

Development of a Spouted Bed Reactor for Chemical Looping Combustion

We have investigated a novel gas/solid contacting configuration for chemical looping combustion (CLC) with potential operating benefits. CLC configurations are typically able to achieve high fuel conversion efficiencies at the expense of high operating costs and low system reliability. The spouted fluid bed (SB) was identified as an improved reactor configuration for CLC, since it typically exhibits high heat transfer rates and offers the ability to use lower gas flows for material movement compared to bubbling beds (BB). Multiphase Flow with Interphase eXchanges (MFIX) software was used to establish a spouted fluid bed reactor design. An experimental setup was built to supplement the model. The experimental setup was also modified for testing under high temperature, reacting conditions (1073–1273 K). The setup was operated in either a spouted fluid bed or a bubbling bed regime to compare the performance attributes of each. Results for the reactor configurations are presented for CLC using a mixture of carbon monoxide and hydrogen as fuel. Compared to the bubbling bed, the spouted fluid bed reactor achieved an equivalent or better fuel conversion at a lower pressure drop over the material bed. The spouted fluid bed design represents a viable configuration to improve gas/solid contacting for efficient fuel conversion, lower energy requirements for material movement and increase operational robustness for CLC. The research laid the groundwork for future research into a multi-phase reacting flow CLC system. The system will be developed from computational fluid dynamic modeling and pilot-scale testing to expedite the development of CLC technologies.

Energy & Fuels↗
NASA NTRS1989

Automatic control of cryogenic wind tunnels

Inadequate Reynolds number similarity in testing of scaled models affects the quality of aerodynamic data from wind tunnels. This is due to scale effects of boundary-layer shock wave interaction which is likely to be severe at transonic speeds. The idea of operation of wind tunnels using test gas cooled to cryogenic temperatures has yielded a quantrum jump in the ability to realize full scale Reynolds number flow similarity in small transonic tunnels. In such tunnels, the basic flow control problem consists of obtaining and maintaining the desired test section flow parameters. Mach number, Reynolds number, and dynamic pressure are the three flow parameters that are usually required to be kept constant during the period of model aerodynamic data acquisition. The series of activity involved in modeling, control law development, mechanization of the control laws on a microcomputer, and the performance of a globally stable automatic control system for the 0.3-m Transonic Cryogenic Tunnel (TCT) are discussed. A lumped multi-variable nonlinear dynamic model of the cryogenic tunnel, generation of a set of linear control laws for small perturbation, and nonlinear control strategy for large set point changes including tunnel trajectory control are described. The details of mechanization of the control laws on a 16 bit microcomputer system, the software features, operator interface, the display and safety are discussed. The controller is shown to provide globally stable and reliable temperature control to + or - 0.2 K, pressure to + or - 0.07 psi and Mach number to + or - 0.002 of the set point value. This performance is obtained both during large set point commands as for a tunnel cooldown, and during aerodynamic data acquisition with intrusive activity like geometrical changes in the test section such as angle of attack changes, drag rake movements, wall adaptation and sidewall boundary-layer removal. Feasibility of the use of an automatic Reynolds number control mode with fixed Mach number control is demonstrated.

Balakrishna, S.↗
NASA NTRS1993

Modeling the data management system of Space Station Freedom with DEPEND

Some of the features and capabilities of the DEPEND simulation-based modeling tool are described. A study of a 1553B local bus subsystem of the Space Station Freedom Data Management System (SSF DMS) is used to illustrate some types of system behavior that can be important to reliability and performance evaluations of this type of spacecraft. A DEPEND model of the subsystem is used to illustrate how these types of system behavior can be modeled, and shows what kinds of engineering and design questions can be answered through the use of these modeling techniques. DEPEND's process-based simulation environment is shown to provide a flexible method for modeling complex interactions between hardware and software elements of a fault-tolerant computing system.

Olson, Daniel P.↗
DOE OSTI2017

Smart building management vs. intuitive human control—Lessons learnt from an office building in Hungary

We report that smart building management and control are adopted nowadays to achieve zero-net energy use in buildings. However, without considering the human dimension, technologies alone do not necessarily guarantee high performance in buildings. An office building was designed and built according to state-of-the-art design and energy management principles in 2008. Despite the expectations of high performance, the owner was facing high utility bills and low user comfort in the building located in Budapest, Hungary. The objective of the project was to evaluate the energy performance and comfort indices of the building, to identify the causes of malfunction and to elaborate a comprehensive energy concept. Firstly, current building conditions and operation parameters were evaluated. Our investigation found that the state-of-the-art building management system was in good conditions but it was operated by building operators and occupants who are not aware of the building management practice. The energy consumption patterns of the building were simulated with energy modelling software. The baseline model was calibrated to annual measured energy consumption, using actual occupant behaviour and presence, based on results of self-reported surveys, occupancy sensors and fan-coil usage data. Realistic occupant behaviour models can capture diversity of occupant behaviour and better represent the real energy use of the building. This way our findings and the effect of our proposed improvements could be more reliable. As part of our final comprehensive energy concept, we proposed intervention measures that would increase indoor thermal comfort and decrease energy consumption of the building. A parametric study was carried out to evaluate and quantify energy, comfort and return on investment of each measure. It was found that in the best case the building could save 23% of annual energy use. Lastly, future work includes the follow-up of: occupant reactions to intervention measures, the realized energy savings, the measurement of occupant satisfaction and behavioural changes.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗
DOE OSTI2014

Simulation studies on the standing and traveling wave thermoacoustic prime movers

Thermoacoustic systems have been a focus of recent research due to its structural simplicity, high reliability due to absence of moving parts, and can be driven by low grade energy such as fuel, gas, solar energy, waste heat etc. There has been extensive research on both standing wave and traveling wave systems. Towards the development of such systems, simulations can be carried out by several methods such as (a) solving the energy equation, (b) enthalpy flow model, (c) DeltaEC, a free software available from LANL, USA (d) Computational Fluid Dynamics (CFD) etc. We present here the simulation studies of standing wave and traveling wave thermoacoustic prime movers using CFD and DeltaEC. The CFD analysis is carried out using Fluent 6.3.26, incorporating the necessary boundary conditions with different working fluids at different operating pressures. The results obtained by CFD are compared with those obtained using DeltaEC. Also, the CFD simulation of the thermoacoustically driven refrigerator is presented.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

AOI.1 Application of Artificial Intelligence techniques enabling coal fired power plants the ability to achieve higher efficiency, improved availability, and increased reliability of their operations (Final Report)

During this effort, SparkCognition with support from the Electric Power Research Institute (EPRI) was tasked with applying artificial intelligence (AI) to improve the reliability, efficiency, and safety of operations at a coal-fired plant. By implementing AI techniques, like machine learning (ML), it is believed that operators can leverage existing data sources to gain more insights such as advanced warning of machine degradation. With enough lead time, a reliability engineer can take action to minimize, or even avoid, impact to production. To complete this work effort, SparkCognition developed and refined an ML-based model using sensor data for a Steam Turbine unit at a host site. The models were deployed in an online, web-based solution that allows users to visualize model outputs and supporting data. The final solution, based on SparkCognition’s proprietary software platform called SparkPredict®, was shared with EPRI who completed an online evaluation of results to determine the solution’s ability to detect actionable events.

20 FOSSIL-FUELED POWER PLANTS↗
NASA NTRS1991

Design for Validation

The use of computer hardware and software in life-critical applications, such as for civil air transports, demands the use of rigorous formal mathematical validation procedures. However, formal specification and verification will only be tractable if the system is designed in a manner that lends itself to formal methods. Likewise, accurate reliability analysis will only be tractable if the number of interacting components that must be individually included in a single reliability model is kept to a low number and if their failure behavior interactions can be modeled simply. Also, the system must be designed such that the system reliability does not directly depend on system parameters that cannot be accurately determined. This paper presents a design methodology based on the concept of designing a system in such a manner that it can be rigorously validated, or "design for validation."

Johnson, Sally C.↗
DOE OSTI2022

System Modeling Frameworks for Wind Turbines and Plants: Review and Requirements Specifications

System modeling frameworks for wind turbines and plants are used by research groups and industry to design wind energy systems that take into account key trade-offs across performance, cost, and reliability at both the turbine and plant level. The frameworks are exercised using a variety of multi-disciplinary design, analysis and optimization (MDAO) methods. To improve inter-operability and foster collaboration, this report proposes a classification system for the frameworks along dimensions of model fidelity and scope. The classification system is first motivated with reviews the state-of-the-art in the development of software frameworks for integrated wind turbine and plant simulation. Within each major wind turbine and power plant subsystem, a matrix is developed for the disciplines used and the fidelity levels with which each discipline can be modeled. The existing frameworks are then classified according to the matrix. Next, an ontology is proposed that will allow for standardizing how data is transferred between the most common discipline-fidelity combinations used in the frameworks. A common representation of data creates the ability to 1) share system descriptions and analysis results, supporting more transparent benchmarks and comparison, and 2) integrate models together into workflows within and across organizations for improving the efficiency and performance of wind turbine and power plant design processes. Ultimately, this integration leads to better overall wind energy system designs with high performance and low costs.

17 WIND ENERGY↗
DOE OSTI2019

Nailing the Peak: City-Scale, Building-Specific Load Factor and Contribution to a Utility’s Hour of Critical Generation

Maintaining electrical generation assets to meet peak demand increases the cost of providing electricity to a country’s buildings and insufficient assets can result in power outages. In order to keep reliable electricity costs low for consumers and demand charges low for utilities, there exist markets and financial incentives for limiting consumption during peak demand.The team has partnered with an electrical distributor servicing a 1,390 km2 area and 178,368 buildings with the aim of using urban-scale building energy modelling to inform business decisions necessary for the operation of their electric grid. A suite of software has been developed that allows the scalable creation of a “digital twin” for all buildings in the utility’s service area. This virtual utility area is analysed for targeted deployment of new technologies or policies to assess building-specific savings, effects on critically-loaded grid infrastructure (e.g. feeders, substations), and aggregated impact to utility-scale operations.This work leverages 15-minute data from each building to compare actual and simulated monthly peak-hour demand and assessment of the load factor for each building. Findings include market characterization via clustering of relative energy use profiles for ~180,000 buildings as well as simulation-informed savings opportunities indicating residential load factors of 0.17, commercial load factors of 0.2-0.4 depending on year of construction, and general load factors of 0.16-0.5 depending on building type.

New, Joshua↗
NASA NTRSDate not supplied

Simulated Ice Shapes on the High Lift Common Research Model Using LEWICE3D

Computational icing tools consist of predicting two distinct problems, the dry air aerodynamics around the iced or uniced vehicle and the accretion of ice due to inclement weather. A desire exists to advance these tools such that they can be reliably used earlier in the design process to limit the need for more costly flight and wind tunnel testing. To achieve these goals the computational tools need to be benchmarked and validated against high quality experimental data sets to raise the software’s Technology Readiness Level. An ongoing collaborative effort between NASA and Boeing Commercial Airplanes is focused on obtaining this required experimental data and subsequently benchmarking and/or validating the tools that predict the aerodynamics around the iced and uniced vehicle. Currently the scope of this effort is focused on the usage of simulated ice shapes to be representative of the iced vehicle. This presentation discusses the generation of those simulated ice shapes.

Icing↗
DOE OSTI2017

A Pattern Language for High-Performance Computing Resilience

High-performance computing systems (HPC) provide powerful capabilities for modeling, simulation, and data analytics for a broad class of computational problems. They enable extreme performance of the order of quadrillion floating-point arithmetic calculations per second by aggregating the power of millions of compute, memory, networking and storage components. With the rapidly growing scale and complexity of HPC systems for achieving even greater performance, ensuring their reliable operation in the face of system degradations and failures is a critical challenge. System fault events often lead the scientific applications to produce incorrect results, or may even cause their untimely termination. The sheer number of components in modern extreme-scale HPC systems and the complex interactions and dependencies among the hardware and software components, the applications, and the physical environment makes the design of practical solutions that support fault resilience a complex undertaking. To manage this complexity, we developed a methodology for designing HPC resilience solutions using design patterns. We codified the well-known techniques for handling faults, errors and failures that have been devised, applied and improved upon over the past three decades in the form of design patterns. In this paper, we present a pattern language to enable a structured approach to the development of HPC resilience solutions. The pattern language reveals the relations among the resilience patterns and provides the means to explore alternative techniques for handling a specific fault model that may have different efficiency and complexity characteristics. Using the pattern language enables the design and implementation of comprehensive resilience solutions as a set of interconnected resilience patterns that can be instantiated across layers of the system stack.

Hukerikar, Saurabh↗
NASA NTRS1988

Automatically generated acceptance test: A software reliability experiment

This study presents results of a software reliability experiment investigating the feasibility of a new error detection method. The method can be used as an acceptance test and is solely based on empirical data about the behavior of internal states of a program. The experimental design uses the existing environment of a multi-version experiment previously conducted at the NASA Langley Research Center, in which the launch interceptor problem is used as a model. This allows the controlled experimental investigation of versions with well-known single and multiple faults, and the availability of an oracle permits the determination of the error detection performance of the test. Fault interaction phenomena are observed that have an amplifying effect on the number of error occurrences. Preliminary results indicate that all faults examined so far are detected by the acceptance test. This shows promise for further investigations, and for the employment of this test method on other applications.

Protzel, Peter W.↗
NASA NTRS1990

Systems Engineering and Integration (SE and I)

The issue of technology advancement and future space transportation vehicles is addressed. The challenge is to develop systems which can be evolved and improved in small incremental steps where each increment reduces present cost, improves, reliability, or does neither but sets the stage for a second incremental upgrade that does. Future requirements are interface standards for commercial off the shelf products to aid in the development of integrated facilities; enhanced automated code generation system slightly coupled to specification and design documentation; modeling tools that support data flow analysis; and shared project data bases consisting of technical characteristics cast information, measurement parameters, and reusable software programs. Topics addressed include: advanced avionics development strategy; risk analysis and management; tool quality management; low cost avionics; cost estimation and benefits; computer aided software engineering; computer systems and software safety; system testability; and advanced avionics laboratories - and rapid prototyping. This presentation is represented by viewgraphs only.

Chevers, ED↗
NASA NTRS2002

Virtual Engineering and Science Team - Reusable Autonomy for Spacecraft Subsystems

In this paper we address the design, development, and evaluation of the Virtual Engineering and Science Team (VEST) tool - a revolutionary way to achieve onboard subsystem/instrument autonomy. VEST directly addresses the technology needed for advanced autonomy enablers for spacecraft subsystems. It will significantly support the efficient and cost effective realization of on-board autonomy and contribute directly to realizing the concept of an intelligent autonomous spacecraft. VEST will support the evolution of a subsystem/instrument model that is probably correct and from that model the automatic generation of the code needed to support the autonomous operation of what was modeled. VEST will directly support the integration of the efforts of engineers, scientists, and software technologists. This integration of efforts will be a significant advancement over the way things are currently accomplished. The model, developed through the use of VEST, will be the basis for the physical construction of the subsystem/instrument and the generated code will support its autonomous operation once in space. The close coupling between the model and the code, in the same tool environment, will help ensure that correct and reliable operational control of the subsystem/instrument is achieved.VEST will provide a thoroughly modern interface that will allow users to easily and intuitively input subsystem/instrument requirements and visually get back the system's reaction to the correctness and compatibility of the inputs as the model evolves. User interface/interaction, logic, theorem proving, rule-based and model-based reasoning, and automatic code generation are some of the basic technologies that will be brought into play in realizing VEST.

Bailin, Sidney C.↗
DOE OSTI2015

Simulations of hybrid system varying solar radiation and microturbine response time

Hybrid power systems, such as combinations of renewable power sources with intermittent power production and non-renewable power sources, theoretically increase the reliability and thus integration of renewable sources in the electrical system. However, a recent increase in the number of hybrid installations has sparked interest in the effects of their connection to the grid, especially in remote areas. This paper analyses a photovoltaic-gas microturbine hybrid system dimensioned to be installed in La Paz (Mexico).The research presented in this paper studies and quantifies the effects on the total electric power produced, varying both the solar radiation and the gas microturbine response time. The gas microturbine and the photovoltaic panels are modelled using Matlab/Simulink software, obtaining a platform where different tests to simulate real conditions have been executed. They consist of diverse ramps of irradiance that replicate solar radiation variations, and different microturbine response times reproduced by the time constants of a first order transfer function that models the microturbine dynamic response. The results obtained show that when radiation varies quickly it does not produce significant differences in the power guarantee or the microturbine gas consumption, to any microturbine response time. However, these two parameters are highly variable with smooth radiance variations. The maximum total power variation decreases greatly as the radiation variation gets lower. In addition, by decreasing the microturbine response time, it is possible to appreciably increase the power guarantee although the maximum power variation and gas consumption increase. Only in cases of low radiation variation is there no appreciable difference in the maximum power variation obtained by the different turbine response times.

14 SOLAR ENERGY↗
DOE OSTI2020

Coupled Electro-Thermal Analysis of Permanent Magnet Synchronous Motor for Electric Vehicles

Permanent magnet synchronous motors (PMSM) are extensively used in electric vehicles. However, high internal heat generation and inefficient heat dissipation often limit the operational reliability, and longevity of the PMSM. Therefore, proper quantification of heat generation in electric motor and advanced embedded motor cooling techniques remain topics of immense interest. In order to accurately predict electro-magnetic performance, i.e., efficiency, component-wise heat losses and the corresponding temperature distribution of a jacket cooled machine, this paper presents a two-way iteratively coupled electro-thermal modeling framework. Finite element based software Motor-CAD has been utilized for electro-magnetic performance calculation of BMW i3 PMSM. Finite volume based computational fluid dynamics/heat transfer (CFD/HT) software ANSYS® FLUENT® has been employed to simulate the temperature distribution of the PMSM, using the electro-magnetic losses as heat input. Computed heat losses, stator, winding, rotor, and magnet temperatures are utilized as coupling parameters between the electro-magnetic and thermal models. A conventional one-way coupling algorithm has also been developed and compared to the newly proposed two-way coupling algorithm. Numerical results confirm that at high current density, one-way coupling algorithm significantly over-predicts the motor temperature compared to the two-way algorithm. A comprehensive analysis has been carried out to characterize the influences of current density, speed, and forced convection heat transfer coefficient on the heat losses, overall efficiency, and maximum temperature of the PMSM. Lastly, an efficiency map has been interpreted from the coupled electro-magnetic simulation.

42 ENGINEERING↗
DOE OSTI2024

Quantified Fast Frequency Response of Inverter-Based Resources for Bulk-Power System Study

Quantifying fast frequency response (FFR) of inverter-based resources (IBRs) is crucial for robust frequency regulation, managing resources, and improving system reliability in the power grids with high penetration levels of IBRs. This paper proposes a concept of frequency response scheme that its response is quantifiable and applicable to the generic IBR models. To achieve this, a stepwise-energy function is derived as a control module by considering operational constraints of IBRs. Then the module is implemented along with generic IBR models in electromagnetic transient (EMT) and electromechanical-based software. To quantify the FFR, the implemented module calculates available incremental active power for a specific time duration. This energy profile is being updated depending on IBR’s operating conditions and is provided into a power grid upon detecting a frequency event. Thus, due to this characteristic, this scheme can quantify the FFR and enable applicable IBRs to provide their available headroom within frequency arrest period. Thereby, this scheme can help estimate IBRs’ frequency response and is more effective in improving the initial frequency response than frequency-dependent control schemes: rate-of-change-of-frequency based and droop-based control schemes. The performance of the proposed scheme was tested under different IBR penetration levels using PSLF and PSCAD simulators.

Kim, Jinho↗