Toward a quantifiable definition of software faults
As part of our on-going work in modeling software faults, we have developed a method of unambiguously identifying and counting faults.
SEARCH · Engineering Papers
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.
As part of our on-going work in modeling software faults, we have developed a method of unambiguously identifying and counting faults.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
This paper will discuss the Probabilistic Risk Assessment (PRA) effort and its involvement with related activities during the development of the Mars Exploration Rover (MER). The Rovers were launched 2003.June.10 (Spirit) and 2003.July.7 (Opportunity), and both have proven very successful. Although designed for a 90-day mission, the Rovers have been operating for over two earth years. This paper will review aspects of how the MER project integrated PRA into the design and development process. A companion paper (Development of the Mars Exploration Rover PRA) will describe the MER PRA and design changes from those results.
Fragment shape is an important factor for conducting reliable orbital debris damage assessments for critical space assets, such as the International Space Station. To date, seven microsatellite impact tests have been completed as part of an ongoing collaboration between Kyushu University and the NASA Orbital Debris Program Office. The target satellites ranged in size from 15 cm 15 cm 15 cm to 20 cm 20 cm 20 cm. Each target satellite was equipped with fully functional electronics, including circuits, battery, and transmitter. Solar panels and multi-layer insulation (MLI) were added to the target satellites of the last two tests. The impact tests were carried out with projectiles of different sizes and impact speeds. All fragments down to about 2 mm in size were collected and analyzed based on their three orthogonal dimensions, x, y, and z, where x is the longest dimension, y is the longest dimension in the plane perpendicular to x, and z is the longest dimension perpendicular to both x and y. Each fragment was also photographed and classified by shape and material composition. This data set serves as the basis of our effort to develop a fragment shape distribution. Two distinct groups can be observed in the x/y versus y/z distribution of the fragments. Objects in the first group typically have large x/y values. Many of them are needle-like objects originating from the fragmentation of carbon fiber reinforced plastic materials used to construct the satellites. Objects in the second group tend to have small x/y values, and many of them are box-like or plate-like objects, depending on their y/z values. Each group forms the corresponding peak in the x/y distribution. However, only one peak can be observed in the y/z distribution. These distributions and how they vary with size, material type, and impact parameters will be described in detail within the paper.
The Excavator Design Validation tool verifies excavator designs by automatically generating control systems and modeling their performance in an accurate simulation of their expected environment. Part of this software design includes interfacing with human operations that can be included in simulation-based studies and validation. This is essential for assessing productivity, versatility, and reliability. This software combines automatic control system generation from CAD (computer-aided design) models, rapid validation of complex mechanism designs, and detailed models of the environment including soil, dust, temperature, remote supervision, and communication latency to create a system of high value. Unique algorithms have been created for controlling and simulating complex robotic mechanisms automatically from just a CAD description. These algorithms are implemented as a commercial cross-platform C++ software toolkit that is configurable using the Extensible Markup Language (XML). The algorithms work with virtually any mobile robotic mechanisms using module descriptions that adhere to the XML standard. In addition, high-fidelity, real-time physics-based simulation algorithms have also been developed that include models of internal forces and the forces produced when a mechanism interacts with the outside world. This capability is combined with an innovative organization for simulation algorithms, new regolith simulation methods, and a unique control and study architecture to make powerful tools with the potential to transform the way NASA verifies and compares excavator designs. Energid's Actin software has been leveraged for this design validation. The architecture includes parametric and Monte Carlo studies tailored for validation of excavator designs and their control by remote human operators. It also includes the ability to interface with third-party software and human-input devices. Two types of simulation models have been adapted: high-fidelity discrete element models and fast analytical models. By using the first to establish parameters for the second, a system has been created that can be executed in real time, or faster than real time, on a desktop PC. This allows Monte Carlo simulations to be performed on a computer platform available to all researchers, and it allows human interaction to be included in a real-time simulation process. Metrics on excavator performance are established that work with the simulation architecture. Both static and dynamic metrics are included.
A full-scale wind tunnel test was recently conducted (March 2009) in the National Full-Scale Aerodynamics Complex (NFAC) 40- by 80-FootWind Tunnel to evaluate the potential of an individual blade control (IBC) system to improve rotor performance and reduce vibrations, loads, and noise for a UH-60A rotor system [1]. This test was the culmination of a long-termcollaborative effort between NASA, U.S. Army, Sikorsky Aircraft Corporation, and ZF Luftfahrttechnik GmbH (ZFL) to demonstrate the benefits of IBC for a UH-60Arotor. Figure 1 shows the UH-60Arotor and IBC system mounted on the NFAC Large Rotor Test Apparatus (LRTA). The IBC concept used in the current study utilizes actuators placed in the rotating frame, one per blade. In particular, the pitch link of the rotor blade was replacedwith an actuator, so that the blade root pitch can be changed independently. This concept, designed for a full-scale UH-60A rotor, was previously tested in the NFAC 80- by 120-FootWind Tunnel in September 2001 at speeds up to 85 knots [2]. For the current test, the same UH-60A rotor and IBC system were tested in the 40- by 80-FootWind Tunnel at speeds up to 170 knots. Figure 2 shows the servo-hydraulic IBC actuator installed between the swashplate and the blade pitch horn. Although previous wind tunnel experiments [3, 4] and analytical studies on IBC [5, 6] have shown the promise to improve the rotor s performance, in-depth correlation studies have not been performed. Thus, the current test provides a unique resource that can be used to assess the accuracy and reliability of prediction methods and refine theoretical models, with the ultimate goal of providing the technology for timely and cost-effective design and development of new rotors. In this paper, rotor performance and loads calculations are carried out using the analyses CAMRAD II and coupled OVERFLOW-2/CAMRAD II and the results are compared with these UH-60A/IBC wind tunnel test data.
To assess the integrity and reliability of an adhesive joint in an automotive composite component, several non-destructive evaluation (NDE) methodologies are correlated to lap shear bond strengths. A glass-fabric-reinforced composite structure was bonded to a metallic structure with a two-part epoxy adhesive. Samples were subsequently cut and tested in shear, and flaws were found in some areas. This study aims to develop a reliable and portable NDE system for service-level adhesive inspection in the automotive industry. The results of the experimental investigation using several NDE methods are presented and discussed. Fiberglass-to-metal bonding is the ideal configuration for NDE via thermography using excitation with induction heating, due to the conductive metal and non-conductive glass-fiber-reinforced composites. Excitation can be either by a research-grade induction heater of highly defined frequency and intensity, or by a service-level heater, such as would be used for sealing windshields in a body shop. The thermographs thus produced can be captured via a high-resolution infrared camera, with principal component analysis and 2D spatial Laplacian processing. Alternatively, the thermographs can be captured by low resolution thermochromic microencapsulated liquid crystal film imaging, which needs no post-processing and can be very inexpensive. These samples were also examined with phased-array ultrasound. The NDE methods are compared to the lap shear values and to each other for approximate cost, accuracy, and time and level of expertise needed.
Two special instruments were custom built for our critical study and manufactured and employed to test the SA materials of interest to cryogenic temperature conditions. We have procured custom manufactured two independent systems such as Thermo -Mechanical Analyzer (TMA) with Three Point Bend Probe (TPBP) module and Dilatometer. TMA can be used to measure Young’ s modulus or elastic modulus (e -modulus). Dilatometer can be used to measure Co -efficient of Thermal Expansion (CTE). We have optimized the materials configuration to measure physical properties of radiated and non -radiated materials for CTE and e -modulus, which will be useful to assess materials and processes reliability for cryogenic temperature applications. We have successfully implemented for some materials that are of interest to solar panels for the planned ECM project to measure CTE and Young's modulus. Also a separate study was undertaken to thermal cycle qualify SAs for ECM project. One can do thermal cycling to temperatures of 50 K and 133 K using liquid Helium (Lq He). This is in reality exorbitantly too expensive and is also inefficient. Furthermore, this is not technically controllable test to 133 K and 50 K temperatures. This is also too expensive to accomplish. Therefore, a vacuum set -up was made along with a cryostat successfully. This is a closed loop system where we do not lose the Helium gas. We were able to get to 35 K for a given test coupon size. These temperatures are lower than what we would intend to qualify the solar array technologies. This will allow to have some margin at cold temperatures. We successfully completed the qualification of solar array technologies down to 50 K temperatures. This is the first time we are reporting this accomplishment. In this paper, we will present the solar array materials properties for cryogenic temperatures down to 20 K temperatures and the thermal cycling qualification test results from 133 K to 50 K for three times the mission life of 120 thermal cycles to meet JPL Design.
Economic assessments of the potential future risks of climate change have been omitting or grossly underestimating many of the most serious consequences for lives and livelihoods because these risks are difficult to quantify precisely and lie outside of human experience. Political and business leaders need to understand the scale of these ‘missing risks’ because they could have drastic and potentially catastrophic impacts on citizens, communities and companies. Scientists are growing in confidence about the evidence for the largest potential impacts of climate change and the rising probability that major thresholds in the Earth’s climate system will be breached as global mean surface temperature rises, particularly if warming exceeds 2°C above the pre-industrial level. These impacts include: (1) Destabilisation of ice sheets and glaciers and consequent sea level rise. (2) Stronger tropical cyclones. (3) Extreme heat impacts. (4) More frequent and intense floods and droughts. (5) Disruptions to oceanic and atmospheric circulation. (6) Destruction of biodiversity and collapse of ecosystems. Many of these impacts will grow and occur concurrently across the world as global temperature climbs. Some of these impacts involve thresholds in the climate system beyond which major impacts accelerate, or become irreversible and unstoppable. When a threshold is breached, it might cause one or more other thresholds to be exceeded as well, leading to a cascade of impacts. Many of these impacts could exceed the capacity of human populations to adapt, and would significantly affect and disrupt the lives and livelihoods of hundreds of millions, if not billions, of people worldwide. These impacts would also undermine economic growth and development, exacerbate poverty and destabilise communities. Economic assessments fail to take account of the potential for large concurrent impacts across the world that would cause mass migration, displacement and conflict, with huge loss of life. Economic assessments that are expressed solely in terms of effects on output (e.g. gross domestic product), or that only extrapolate from past experience, or that use inappropriate discounting, do not provide a clear indication of the potential risks to lives and livelihoods. It is likely that there are additional risks that we are not yet anticipating simply because scientists have not yet detected their possibility, as we have entered a period of climate change that is unprecedented in human history. Some advances are being made in improving economic assessments of climate change impacts but much more progress is required if assessments are to offer reliable guidance for political and business leaders on the biggest risks. The lack of firm quantifications is not a reason to ignore these risks, and when the missing risks are taken into account, the case for strong and urgent action to reduce greenhouse gas emissions becomes even more compelling.
Several standard tests to evaluate key (direct current) DC/DC converter parameters were performed on different models of hybrid radiation-hard DC/DC converters. These tests were done to assess both performance and reliability during space applications that operate the converters at temperatures below the lower military range of -5°C. One of the converters failed near -110°C, but another DC/DC converter model started normally at temperatures as low as 140°C. The latter showed acceptable performance during turn-on, load transient, and synchronization tests even though some minor anomalies were observed. These results show good promise for its use in applications where the DC/DC converters will be operated at lower temperatures. An application circuit was also built and preliminary tests were performed on a commercial (low drop out) LDO type of DC to DC converter with adjustable output voltage. These can be used in point of load (POL) applications. This latter device functioned properly on the few tests that were performed; however, more testing is needed to identify potential issues with space use of this and similar devices.
Extravehicular Activity (EVA) has been known to involve potential risks of biomechanical stresses and injuries to crewmembers. Gathering of EVA motion patterns is necessary for risk analysis and mitigation. However, many existing techniques, such as motion capture systems, are not only cost-prohibitive but are impractical for retrospective analysis of past missions. In this work, a software tool was developed, which can estimate the 3D poses of a spacesuit from photographs or videos, without using special sensors or equipment. The tool is based on the state-of-the-art artificial intelligence and machine learning (AI/ML) system, which was trained by studying and capturing motion patterns of past and current spacesuit test data. The AI/ML tool was further enhanced using synthetically generated data, in which the suit postures, backgrounds, camera angles and illumination conditions were parametrically adjusted and rendered for training. The tool, incorporated the methodologies of Convolutional Neural Network (CNN), was trained, and tested in the cloud computing environment. The trained model was then applied on new imagery and video to extract estimated joint positions and suit outlines. The joint positions were further processed to capture activity (“digging”), pose labels (“bending”), and other useful downstream information. The model performance on new imagery and video was successfully assessed for accuracy and reliability. This AI/ML based posture recognition tool thus allows for the quantification of injury risk and task performance characterization for both current and past missions and training, which can immensely help to improve EVA task and suit design.
Aerosol Optical Depth (AOD) is a crucial parameter for understanding atmospheric aerosol distribution and their impact on climate and air quality. With the growing number of Earth observation satellites, there is an abundance of AOD products derived from various sensors onboard both geostationary and low-orbit satellites. The availability of multiple datasets provides an opportunity to harness the strengths of each sensor and create comprehensive and accurate AOD datasets for climate and air quality studies at different temporal and spatial scales. Our NASA aerosol MEaSURES project has made significant strides in recent years by undertaking the ambitious task of developing an open-source package tailored for fusing AOD products from different sources. The package is based on OOP (Object-Oriented Programming) design and is implemented in Python modules. Generic interfaces enable easy inclusion of large and heterogeneous data. The package may be utilized to produce harmonized AOD datasets with enhanced spatial and temporal coverage. The latest version of the package is able to process and integrate the dark-target AOD data from six different sensors: AHI Himawari-8, ABI GOES-West, ABI GOES-East, MODIS AQUA, MODIS TERRA, and VIIRS SNPP. Rigorous validation and intercomparison studies have been performed to assess the accuracy and reliability of the fused AOD product against ground-based measurements and reference datasets. The open-source nature of the developed package ensures transparency, reproducibility, and community engagement. The research community and stakeholders can access, contribute to, and further improve the fusion methodology, making it adaptable to other studies, or expanding it to include new satellite data as they become available. In this poster presentation, we will introduce the accomplishments and challenges faced during the development of the open-source package for AOD data fusion, and demonstrate the advantages of combining AOD products from the six aforementioned satellite sensors. The presentation aims to foster discussions, collaborations, and future directions in integrating Earth observation and remote sensing data, which may contribute to a better understanding of atmospheric aerosols and their impacts on our environment.
Explore the source record for details and available documents.
Abstract not provided.
Abstract not provided.
Reactor designs with a fast neutron spectrum have recently moved into the research focus for possible Generation IV reactor concepts - a representative of which is the molten salt fast reactor (MSFR). In order to assess the safety and reliability of this reactor concept, it is necessary to obtain knowledge of the system behaviour. An important part of this research concerns the dynamical stability of the MSFR. Research regarding the MSFR stability so far has either been using linearized models for stability criteria or only been examining certain transients at fixed parameter values. This work delivers a comprehensive stability analysis for a non-linearized MSFR model, and a wide range of values for all relevant parameters. For this purpose, a one-dimensional MSFR model was set up, taking neutron kinetics and thermal hydraulics in the form of a system of differential equations into account. The stability of this model was investigated by means of the numerical tool MATCONT, which was used to monitor the evolution of a so-called fixed-point solution, here referring to the steady state at operating conditions of the system, while system parameters got varied. The MATCONT analyses showed no loss of stability for any of the considered parameter variations and no solutions that might co-exist in parallel with the steady-state fixed-point solution. Therefore these results indicate a stable fixed point to which all solution transients converge, making the considered MSFR model insusceptible to deviations from the equilibrium. (authors)
Corrosion of materials presents a significant challenge for the long-term operation of molten salt reactors. This study aims to identify the most effective techniques for evaluating the corrosion performance of materials in molten salts, with a focus on the effects of galvanic corrosion and dissimilar materials. A reliable testing methodology for assessing material corrosion in molten chloride salts has been successfully developed. The corrosion of Alloy 316H in molten NaCl-MgCl2 salt was found to be significantly accelerated by galvanic corrosion. Additionally, the presence of dissimilar materials resulted in a slight increase in the corrosion rate of Alloy 316H in NaCl-MgCl2 salt. Microstructural characterization was utilized to understand the corrosion behavior of test samples under different conditions. Common trends observed across samples include chromium depletion and iron enrichment near corroded surfaces. Molybdenum enrichment along grain boundaries and corrosion surfaces was also frequently noted.