Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “software defect analysis”

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

Model for Simulating a Spiral Software-Development Process

A discrete-event simulation model, and a computer program that implements the model, have been developed as means of analyzing a spiral software-development process. This model can be tailored to specific development environments for use by software project managers in making quantitative cases for deciding among different software-development processes, courses of action, and cost estimates. A spiral process can be contrasted with a waterfall process, which is a traditional process that consists of a sequence of activities that include analysis of requirements, design, coding, testing, and support. A spiral process is an iterative process that can be regarded as a repeating modified waterfall process. Each iteration includes assessment of risk, analysis of requirements, design, coding, testing, delivery, and evaluation. A key difference between a spiral and a waterfall process is that a spiral process can accommodate changes in requirements at each iteration, whereas in a waterfall process, requirements are considered to be fixed from the beginning and, therefore, a waterfall process is not flexible enough for some projects, especially those in which requirements are not known at the beginning or may change during development. For a given project, a spiral process may cost more and take more time than does a waterfall process, but may better satisfy a customer's expectations and needs. Models for simulating various waterfall processes have been developed previously, but until now, there have been no models for simulating spiral processes. The present spiral-process-simulating model and the software that implements it were developed by extending a discrete-event simulation process model of the IEEE 12207 Software Development Process, which was built using commercially available software known as the Process Analysis Tradeoff Tool (PATT). Typical inputs to PATT models include industry-average values of product size (expressed as number of lines of code), productivity (number of lines of code per hour), and number of defects per source line of code. The user provides the number of resources, the overall percent of effort that should be allocated to each process step, and the number of desired staff members for each step. The output of PATT includes the size of the product, a measure of effort, a measure of rework effort, the duration of the entire process, and the numbers of injected, detected, and corrected defects as well as a number of other interesting features. In the development of the present model, steps were added to the IEEE 12207 waterfall process, and this model and its implementing software were made to run repeatedly through the sequence of steps, each repetition representing an iteration in a spiral process. Because the IEEE 12207 model is founded on a waterfall paradigm, it enables direct comparison of spiral and waterfall processes. The model can be used throughout a software-development project to analyze the project as more information becomes available. For instance, data from early iterations can be used as inputs to the model, and the model can be used to estimate the time and cost of carrying the project to completion.

Mizell, Carolyn↗
DOE OSTI2018

Localized Deformation Investigation in Irradiated Materials via Electron Microscopy, EBSD, and In-Situ Mechanical Testing

This report describes the preliminary results of an analysis of dislocation defect structures in nondeformed and deformed austenitic stainless steels – materials of light water reactor internal components. The analysis was performed using an advanced modern approach: high-resolution electron backscatter diffraction (HR-EBSD). Work was performed at Oak Ridge National Laboratory’s Low Activation Materials Development and Analysis (LAMDA) facility. The report is divided into sections describing specific aspects of the project. Section 1 describes the necessity and importance of the defect microstructure analysis and demonstrates that there are very limited data regarding dislocation and defect population at the meso-level (i.e., a grain or group of interacting grains). Section 1 also introduces the HR-EBSD approach used in this research and provides a limited background. Section 2 describes the scanning electron microscope/EBSD systems available at the LAMDA facility, materials investigated in the present work, and hardware and software requirements for the HR-EBSD analysis. Section 3 provides preliminary HR-EBSD results for nonirradiated austenitic stainless steel in contrast to and in comparison with the conventional EBSD outcome. Section 4 describes the HR-EBSD results for austenitic stainless steel irradiated in a commercial-type nuclear power plant and subjected to in-situ mechanical testing. The analysis is focused on mapping and analyzing the geometrically necessary dislocations before and after deformation at small strain levels. As expected, the results will be beneficial for performing corrosion tests, including electrochemical microscopy, which is currently being performed within the Light Water Reactor Sustainability program at the University of California–Los Angeles (Dr. G. Sant). Section 5 summarizes the work performed, presents conclusions, and discusses future activities for this research.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗
NASA NTRS1982

Track train dynamics analysis and test program: Methodology development for the derailment safety analysis of six-axle locomotives

The operational safety of six axle locomotives is analyzed. A locomotive model with corresponding data on suspension characteristics, a method of track defect characterization, and a method of characterizing operational safety are used. A user oriented software package was developed as part of the methodology and was used to study the effect (on operational safety) of various locomotive parameters and operational conditions such as speed, tractive effort, and track curvature. The operational safety of three different locomotive designs was investigated.

Marcotte, P. P.↗
NASA NTRS2001

Advanced Finite Element Modeling of Low Cycle Fatigue Crack Growth

This document (a viewgraph presentation) assumes a crack-like defect of a size which may be missed in inspection will exist in most critical location of any critical structure or component. Flaw existence assumption is usually, but not always, conservative based on past experiences in NASA and knowledge of manufacturing processes. Cyclic, environmental, and sustained loads used to generate stresses on models. Fracture Mechanics analysis used to predict crack growth and residual strength. Must show that defective structure will still provide four times required mission lifetime. Special exemptions cover redundant structures, low risk parts, etc. Assessments require specialized software tools, experienced analysts, and reliable material crack growth rate test database.

Gregg, Wayne↗
DOE OSTI2018

Mechanical Testing of Innovated Composite Polymer Material for using in Manufacture of Railway Sleepers

Faculty of Engineering at Shoubra has been funded to start a project for manufacturing railway sleepers from plastic wastes and iron slag to replace imported wooden sleepers. In this paper, performance of wooden sleepers in tracks of Egyptian Railways, including high cost and material defects as well as reasons to find out a new sleeper will be presented. Previous studies for using composite materials in manufacturing railway sleepers are illustrated. Mechanical testing has been carried out to determine the important properties of the new mixture; hence results are compared with the minimum requirements of the international railway standards. Linear analysis has been conducted using 3D-SAP2000 software to simulate the actual performance of the proposed sleeper. It is found that the testing results are larger than the required values. Thus; it is concluded that the tested material is effective and adequate to be used in manufacture of railway sleepers.

36 MATERIALS SCIENCE↗
DOE OSTI2018

New surface characterization tools for alumina based refractory material exposed to cavitation - Image analysis and pattern recognition approach

Highlights: • Surface degradation was monitored via mass loss measurement. • Observation of surface damage destruction was done using image analysis. • Shape parameters of surface defects change during cavitation. • Shape parameters changes are correlated to mass loss measurements. - Abstract: The aim of this study was to examine the influence of cavitation erosion on the morphology of defects formed on the surfaces of alumina-based materials. The alumina-based samples were exposed to cavitation erosion for 42 min. The damages that occurred were monitored at predefined time intervals by measuring the mass loss and observing the sample surfaces. Digital images of surfaces were processed using an image analysis software package to define morphological characteristics of the damages occurred. The calculated morphological parameters were subjected to analysis by pattern recognition techniques to correlate the appearance of particular morphological characteristics with the behavior of the material during cavitation erosion. The newly established method in describing cavitation erosion which uses pattern recognition approach for treatments of morphological parameters calculated for damages by image analysis tools gave the results efficient for material characterization as the traditional one.

36 MATERIALS SCIENCE↗
NASA NTRS2018

Software Formal Inspections Standard

The purpose of this Standard is to define the requirements for a software inspection process aimed at detecting and eliminating defects as early as possible in the software life cycle. This process can be used for any documented product; however, this Standard focuses on its use for software products - i.e., software code, plans, manuals, etc. The process provides for the collection and analysis of inspection data to improve the inspection process as well as the quality of the software.

Wetherholt, Martha S.↗
NASA NTRS2011

Software Testing and Verification in Climate Model Development

Over the past 30 years most climate models have grown from relatively simple representations of a few atmospheric processes to a complex multi-disciplinary system. Computer infrastructure over that period has gone from punch card mainframes to modem parallel clusters. Model implementations have become complex, brittle, and increasingly difficult to extend and maintain. Existing verification processes for model implementations rely almost exclusively upon some combination of detailed analysis of output from full climate simulations and system-level regression tests. In additional to being quite costly in terms of developer time and computing resources, these testing methodologies are limited in terms of the types of defects that can be detected, isolated and diagnosed. Mitigating these weaknesses of coarse-grained testing with finer-grained "unit" tests has been perceived as cumbersome and counter-productive. In the commercial software sector, recent advances in tools and methodology have led to a renaissance for systematic fine-grained testing. We discuss the availability of analogous tools for scientific software and examine benefits that similar testing methodologies could bring to climate modeling software. We describe the unique challenges faced when testing complex numerical algorithms and suggest techniques to minimize and/or eliminate the difficulties.

Clune, Thomas L.↗
DOE OSTI2024

Characterizing structural features of two-dimensional particle systems through Voronoi topology

This paper introduces a new approach toward characterizing local structural features of two-dimensional particle systems. The approach can accurately identify and characterize defects in high-temperature crystals, distinguish a wide range of nominally disordered systems, and robustly describe complex structures such as grain boundaries. This paper also introduces two-dimensional functionality into the open-source software program VoroTop which automates this analysis. This software package is built on a recently-introduced multithreaded version of V ORO ++, enabling the analysis of systems with billions of particles on high-performance computer architectures.

36 MATERIALS SCIENCE↗
NASA NTRS2012

In-Situ Nondestructive Evaluation of Kevlar(Registered Trademark)and Carbon Fiber Reinforced Composite Micromechanics for Improved Composite Overwrapped Pressure Vessel Health Monitoring

NASA has been faced with recertification and life extension issues for epoxy-impregnated Kevlar 49 (K/Ep) and carbon (C/Ep) composite overwrapped pressure vessels (COPVs) used in various systems on the Space Shuttle and International Space Station, respectively. Each COPV has varying criticality, damage and repair histories, time at pressure, and pressure cycles. COPVs are of particular concern due to the insidious and catastrophic burst-before-leak failure mode caused by stress rupture (SR) of the composite overwrap. SR life has been defined [1] as the minimum time during which the composite maintains structural integrity considering the combined effects of stress level(s), time at stress level(s), and associated environment. SR has none of the features of predictability associated with metal pressure vessels, such as crack geometry, growth rate and size, or other features that lend themselves to nondestructive evaluation (NDE). In essence, the variability or surprise factor associated with SR cannot be eliminated. C/Ep COPVs are also susceptible to impact damage that can lead to reduced burst pressure even when the amount of damage to the COPV is below the visual detection threshold [2], thus necessitating implementation of a mechanical damage control plan [1]. Last, COPVs can also fail prematurely due to material or design noncompliance. In each case (SR, impact or noncompliance), out-of-family behavior is expected leading to a higher probability of failure at a given stress, hence, greater uncertainty in performance. For these reasons, NASA has been actively engaged in research to develop NDE methods that can be used during post-manufacture qualification, in-service inspection, and in-situ structural health monitoring. Acoustic emission (AE) is one of the more promising NDE techniques for detecting and monitoring, in real-time, the strain energy release and corresponding stress-wave propagation produced by actively growing flaws and defects in composite materials [3,4,5,6,7,8]. To gain further insight into the mechanisms responsible for composite rupture, broadband modal acoustic emission analysis was used. Also, since AE data reduction proved to be very time consuming, specialized data reduction software was written to automate the process.

Waller, Jess↗
NASA NTRSDate not supplied

Degradation of Carbon Fiber Microstructures Due to Oxidative Etch Pitting

In order to understand the influence of etch pits on the material properties of carbon fiber microstructures, we use the Porous Microstructure Analysis (PuMA) software to create realistic pitted structures from virgin fiber structures and then analyze their degradation as the degree of pitting increases. For that purpose, we developed a pitting module within PuMA that creates pits with user-defined geometry (shape, size) and distribution (defect density) on the surface of arbitrary microstructures. In this work, we consider FiberForm microstructures, which are commonly used as the base material for ablative thermal protection systems (TPS). Using the new pitting module, we mimic the evolution of etch pits on FiberForm as it occurs from oxidation in ablative heating environments, by first importing the virgin FiberForm structure from a micrograph scan and then imposing different pitting conditions by varying pit radii and defect densities. We then leverage PuMA’s capabilities to calculate material properties for each structure. The results clearly show the degradation of thermal conductivity and structural integrity as etch pits grow, and furthermore highlight the complex evolution of the surface topology, which results in significant changes of the flowgeometry and chemical gas-surface interactions. Furthermore, a comparison of these changes with the case of shrinking fibers, which has heretofore been the standard for modelling ablation of carbon structures, yields significant differences. For example, we observe the formation of small chunks of fibers as pits grow in size, which could be released into the surrounding flow environment as spallation particles. This motivates us to continue our efforts of modelling pitting as an integral part of the structural degradation of carbon fiber structures in oxidation environments, which will ultimately improve our understanding of failure mechanisms in those materials.

PuMA↗
NASA NTRSDate not supplied

Degradation of Carbon Fiber Microstructures Due to Oxidative Etch Pitting

In order to understand the influence of etch pits on the material properties of carbon fiber microstructures, we use the Porous Microstructure Analysis (PuMA) software to create realistic pitted structures from virgin fiber structures and then analyze their degradation as the degree of pitting increases. For that purpose, we developed a pitting module within PuMA that creates pits with user-defined geometry (shape, size) and distribution (defect density) on the surface of arbitrary microstructures. In this work, we consider FiberForm microstructures, which are commonly used as the base material for ablative thermal protection systems (TPS). Using the new pitting module, we mimic the evolution of etch pits on FiberForm as it occurs from oxidation in ablative heating environments, by first importing the virgin FiberForm structure from a micrograph scan and then imposing different pitting conditions by varying pit radii and defect densities. We then leverage PuMA’s capabilities to calculate material properties for each structure. The results clearly show the degradation of thermal conductivity and structural integrity as etch pits grow, and furthermore highlight the complex evolution of the surface topology, which results in significant changes of the flowgeometry and chemical gas-surface interactions. Furthermore, a comparison of these changes with the case of shrinking fibers, which has heretofore been the standard for modelling ablation of carbon structures, yields significant differences. For example, we observe the formation of small chunks of fibers as pits grow in size, which could be released into the surrounding flow environment as spallation particles. This motivates us to continue our efforts of modelling pitting as an integral part of the structural degradation of carbon fiber structures in oxidation environments, which will ultimately improve our understanding of failure mechanisms in those materials.

PuMA↗
NASA NTRS1994

Robotic NDE inspection of advanced solid rocket motor casings

The Advanced Solid Rocket Motor program determined the need to inspect ASRM forgings and segments for potentially catastrophic defects. To minimize costs, an automated eddy current inspection system was designed and manufactured for inspection of ASRM forgings in the initial phases of production. This system utilizes custom manipulators and motion control algorithms and integrated six channel eddy current data acquisition and analysis hardware and software. Total system integration is through a personal computer based workcell controller. Segment inspection demands the use of a gantry robot for the EMAT/ET inspection system. The EMAT/ET system utilized similar mechanical compliancy and software logic to accommodate complex part geometries. EMAT provides volumetric inspection capability while eddy current is limited to surface and near surface inspection. Each aspect of the systems are applicable to other industries, such as, inspection of pressure vessels, weld inspection, and traditional ultrasonic inspection applications.

Mcneelege, Glenn E.↗
DOE OSTI2022

FY22 Progress Report: SRNL Analysis of ICCWR LCM and WAMS Data for Corrosion and Cracking

Algorithms for machine learning and data analysis for the 3013 Surveillance Program are being developed in an ongoing collaborative effort by the Savannah River National Laboratory (SRNL) and the University of South Carolina (USC). To detect the presence of corrosion and cracking, data is collected from large binary files generated by a Laser Confocal Microscope (LCM) or Wide Area 3D Measurement System (WAMS). Software is being developed to use the physical attributes in the data files (e.g., height, color, and grayscale values; all as functions of a location in a plane projection) to detect the presence of surface corrosion and cracking. A user-friendly Matlab Graphical User Interface (GUI) that reads data from either LCM or WAMS files was developed to integrate input data with software developed for processing and evaluation. The GUI can selectively download binary data, interrogate data attributes, label data for training ML algorithms, flag significant features, execute Machine Learning (ML) algorithms, output parameters from trained ML algorithms, report ML model accuracy with respect to labeled data, and generate graphical representations for various analyses. Surface defects can be called out by setting user-specified thresholds, feature based analysis or machine learning algorithms. Enhancements to data labeling capability have been developed to address this essential precursor to application of ML routines. Efficient labeling is particularly important in view of the very large volume of data required to train ML algorithms.

3013 Corrosion↗
NASA NTRS2003

Experimental Evaluation of Verification and Validation Tools on Martian Rover Software

To achieve its science objectives in deep space exploration, NASA has a need for science platform vehicles to autonomously make control decisions in a time frame that excludes intervention from Earth-based controllers. Round-trip light-time is one significant factor motivating autonomy capability, another factor is the need to reduce ground support operations cost. An unsolved problem potentially impeding the adoption of autonomy capability is the verification and validation of such software systems, which exhibit far more behaviors (and hence distinct execution paths in the software) than is typical in current deepspace platforms. Hence the need for a study to benchmark advanced Verification and Validation (V&V) tools on representative autonomy software. The objective of the study was to access the maturity of different technologies, to provide data indicative of potential synergies between them, and to identify gaps in the technologies with respect to the challenge of autonomy V&V. The study consisted of two parts: first, a set of relatively independent case studies of different tools on the same autonomy code, second a carefully controlled experiment with human participants on a subset of these technologies. This paper describes the second part of the study. Overall, nearly four hundred hours of data on human use of three different advanced V&V tools were accumulated, with a control group that used conventional testing methods. The experiment simulated four independent V&V teams debugging three successive versions of an executive controller for a Martian Rover. Defects were carefully seeded into the three versions based on a profile of defects from CVS logs that occurred in the actual development of the executive controller. The rest of the document is structured a s follows. In section 2 and 3, we respectively describe the tools used in the study and the rover software that was analyzed. In section 4 the methodology for the experiment is described; this includes the code preparation, seeding of defects, participant training and experimental setup. Next we give a qualitative overview of how the experiment went from the point of view of each technology; model checking (section 5), static analysis (section 6), runtime analysis (section 7) and testing (section 8). The find section gives some preliminary quantitative results on how the tools compared.

Brat, Guillaume↗
NASA NTRS1993

Applying formal methods and object-oriented analysis to existing flight software

Correctness is paramount for safety-critical software control systems. Critical software failures in medical radiation treatment, communications, and defense are familiar to the public. The significant quantity of software malfunctions regularly reported to the software engineering community, the laws concerning liability, and a recent NRC Aeronautics and Space Engineering Board report additionally motivate the use of error-reducing and defect detection software development techniques. The benefits of formal methods in requirements driven software development ('forward engineering') is well documented. One advantage of rigorously engineering software is that formal notations are precise, verifiable, and facilitate automated processing. This paper describes the application of formal methods to reverse engineering, where formal specifications are developed for a portion of the shuttle on-orbit digital autopilot (DAP). Three objectives of the project were to: demonstrate the use of formal methods on a shuttle application, facilitate the incorporation and validation of new requirements for the system, and verify the safety-critical properties to be exhibited by the software.

Cheng, Betty H. C.↗
NASA NTRS2016

Microarray Data Analysis of Space Grown Arabidopsis Leaves for Genes Important in Vascular Patterning

Venation patterning in leaves is a major determinant of photosynthesis efficiency because of its dependency on vascular transport of photoassimilates, water, and minerals. Arabidopsis thaliana grown in microgravity show delayed growth and leaf maturation. Gene expression data from the roots, hypocotyl, and leaves of A. thaliana grown during spaceflight vs. ground control analyzed by Affymetrix microarray are available through NASAs GeneLab (GLDS-7). We analyzed the data for differential expression of genes in leaves resulting from the effects of spaceflight on vascular patterning. Two genes were found by preliminary analysis to be upregulated during spaceflight that may be related to vascular formation. The genes are responsible for coding an ARGOS like protein (potentially affecting cell elongation in the leaves), and an F-boxkelch-repeat protein (possibly contributing to protoxylem specification). Further analysis that will focus on raw data quality assessment and a moderated t-test may further confirm upregulation of the two genes and/or identify other gene candidates. Plants defective in these genes will then be assessed for phenotype by the mapping and quantification of leaf vascular patterning by NASAs VESsel GENeration (VESGEN) software to model specific vascular differences of plants grown in spaceflight.

Weitzeal, A. J.↗