SEARCH · Engineering Papers

Results for “Code Inspection”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

102 records · Page 6

All sources NASA NTRS DOE OSTI

NASA NTRS1995

The AAMP5/AAMP-FV project

This presentation describes a project, formal verification of the microcode in the AAMP5 microprocessor, conducted to explore how formal techniques for specification and verification could be introduced into an industrial process. Sponsored by the Systems Validation Branch of NASA Langley and by Collins Commercial Avionics, a division of Rockwell International, it was conducted by Collins and the SRI International Computer Science Laboratory. The project consisted of specifying in the PVS language developed by SRI a portion of a Rockwell proprietary microprocessor, the AAMP5, at both the instruction set and register-transfer levels and using the PVS theorem prover to prove the microcode correct for a representative subset of instructions. While this presentation includes a brief technical overview, its emphasis is on the lessons learned in using PVS for an example of this size and the implications for using formal methods in an industrial setting. The central result of this project was to demonstrate the feasibility of formally specifying a commercial microprocessor and the use of mechanical proofs of correctness to verify microcode. This is particularly significant since the AAMP5 was not designed for formal verification, but to provide a more than three fold performance improvement, by pipelining instruction execution, while remaining object code compatible with the earlier AAMP2. As a consequence, the AAMP5 is one of the most complex microprocessors to which formal methods have been applied. Another key result was the discovery of both actual and seeded errors. Two actual microcode errors were discovered and corrected during development of the formal specification, illustrating the value of simply creating a precise specification. Two seeded errors were systematically uncovered while doing correctness proofs. One of these was an actual error that had been discovered after first fabrication but left in the microcode provided to SRI. The other error was designed to be unlikely to be detected by walkthroughs, testing, or simulation. Several other results emerged during the project, including the ease with which practicing engineers became comfortable with PVS, the need for libraries of general purpose theories, the usefulness of formal specification in revealing errors, the natural fit between formal specification and inspections, the difficulty of selecting the best style of specification for a new problem domain, the high level of assurance provided by proofs of correctness, and the need to engineer proof strategies for reuse.

Miller, Steven P.↗

NASA NTRSDate not supplied

Metrological and Spectral Characterization of the Aspera Flight Optics

Aspera is a NASA's Astrophysics Pioneers mission, led by the University of Arizona. The aim of this mission is to study the presence of hot gasses (T=10^5-10^6 K) in the circumgalactic medium (CGM) and how the flow of these gasses affects galactic formation. One key enabling technology in the Aspera optical system is the use of more efficient UV-reflective optical coatings particularly at around 103.2 nm where the O VI emission line is located . In order to meet radiometric effective area requirements, the Goddard Space Flight Center (GSFC) code 551 Optics Branch applied Al (aluminum) + eLiF (enhanced lithium fluoride) on these optics, where the Al+LiF is annealed at elevated temperature (~250˚C) after the deposition and thus providing an improved version of the Al+LiF used in FUSE . Furthermore, these optics are encapsulated with a thin film of atomic layer deposited MgF2 at the Jet Propulsion Laboratory for enhanced durability . The efficiency and durability of these coatings depends on the quality of the optical surface in terms of cleanliness and roughness. Roughness increases the scatter off the coating and reduces the specular reflectance, and surface contaminants can accommodate moisture and other contaminants, increase scattering, and are weak points in the coating that may affect adhesion and subsequently the longevity of these coatings. Extensive optical metrology is necessary to minimize and quantify the impact of surface roughness and contaminants on optical surfaces. In this proceeding we report the inspection procedure implemented for Aspera optics at GSFC, from initial receiving of the optics to post-coating. Inspection includes Atomic Force Microscopy (AFM), Scanning White Light Interferometry (SWILI), Dark Field Microscopy (DFM), Phase Shifting Interferometry (PSI), and Vacuum ultraviolet (VUV) spectroscopy. Combinations of these techniques are used to inspect flight optics at each of the following steps: i) as-received, pre-cleaning inspection, ii) pre-coating, post-cleaning inspection, and iii) post-coating inspection. The evolution of roughness and other surface inspections such as contaminants are compared between each step to quantify the effect each step has on the flight optics. The final far ultraviolet (FUV) spectral performance of witness samples coated with the flight optics are presented.

Far Ultraviolet (FUV)↗

NASA NTRS2015

Software Validation via Model Animation

This paper explores a new approach to validating software implementations that have been produced from formally-verified algorithms. Although visual inspection gives some confidence that the implementations faithfully reflect the formal models, it does not provide complete assurance that the software is correct. The proposed approach, which is based on animation of formal specifications, compares the outputs computed by the software implementations on a given suite of input values to the outputs computed by the formal models on the same inputs, and determines if they are equal up to a given tolerance. The approach is illustrated on a prototype air traffic management system that computes simple kinematic trajectories for aircraft. Proofs for the mathematical models of the system's algorithms are carried out in the Prototype Verification System (PVS). The animation tool PVSio is used to evaluate the formal models on a set of randomly generated test cases. Output values computed by PVSio are compared against output values computed by the actual software. This comparison improves the assurance that the translation from formal models to code is faithful and that, for example, floating point errors do not greatly affect correctness and safety properties.

Dutle, Aaron M.↗

NASA NTRS2006

Fracture Mechanics Analysis of LH2 Feed Line Flow Liners

Inspections of the Space Shuttle Main Engine revealed fatigue cracks growing from slots in the flow liner of the liquid hydrogen (LH2) feed lines. During flight, the flow liners experience complex loading induced by flow of LH2 and the resonance characteristics of the structure. The flow liners are made of Inconel 718 and had previously not been considered a fracture critical component. However, fatigue failure of a flow liner could have catastrophic effect on the Shuttle engines. A fracture mechanics study was performed to determine if a damage tolerance approach to life management was possible and to determine the sensitivity to the load spectra, material properties, and crack size. The load spectra were derived separately from ground tests and material properties were obtained from coupon tests. The stress-intensity factors for the fatigue cracks were determined from a shell-dynamics approach that simulated the dominant resonant frequencies. Life predictions were obtained using the NASGRO life prediction code. The results indicated that adequate life could not be demonstrated for initial crack lengths of the size that could be detected by traditional NDE techniques.

James, Mark A.↗

NASA NTRS2005

NASA Tech Briefs, August 2005

Topics include: Hidden Identification on Parts: Magnetic Machine-Readable Matrix Symbols; System for Processing Coded OFDM Under Doppler and Fading; Multipurpose Hyperspectral Imaging System; Magnetic-Flux-Compensated Voltage Divider; High-Performance Satellite/Terrestrial-Network Gateway; Internet-Based System for Voice Communication With the ISS; Stripline/Microstrip Transition in Multilayer Circuit Board; Dual-Band Feed for a Microwave Reflector Antenna; Quadratic Programming for Allocating Control Effort; Range Process Simulation Tool; Simulator of Space Communication Networks; Computing Q-D Relationships for Storage of Rocket Fuels; Contour Error Map Algorithm; Portfolio Analysis Tool; Glass Frit Filters for Collecting Metal Oxide Nanoparticles; Anhydrous Proton-Conducting Membranes for Fuel Cells; Portable Electron-Beam Free-Form Fabrication System; Miniature Laboratory for Detecting Sparse Biomolecules; Multicompartment Liquid-Cooling/Warming Protective Garments; Laser Metrology for an Optical-Path-Length Modulator; PCM Passive Cooling System Containing Active Subsystems; Automated Electrostatics Environmental Chamber; Estimating Aeroheating of a 3D Body Using a 2D Flow Solver; Artificial Immune System for Recognizing Patterns; Computing the Thermodynamic State of a Cryogenic Fluid; Safety and Mission Assurance Performance Metric; Magnetic Control of Concentration Gradient in Microgravity; Avionics for a Small Robotic Inspection Spacecraft; and Simulation of Dynamics of a Flexible Miniature Airplane.

Source record↗

NASA NTRS1994

SIGMA: A Knowledge-Based Simulation Tool Applied to Ecosystem Modeling

The need for better technology to facilitate building, sharing and reusing models is generally recognized within the ecosystem modeling community. The Scientists' Intelligent Graphical Modelling Assistant (SIGMA) creates an environment for model building, sharing and reuse which provides an alternative to more conventional approaches which too often yield poorly documented, awkwardly structured model code. The SIGMA interface presents the user a list of model quantities which can be selected for computation. Equations to calculate the model quantities may be chosen from an existing library of ecosystem modeling equations, or built using a specialized equation editor. Inputs for dim equations may be supplied by data or by calculation from other equations. Each variable and equation is expressed using ecological terminology and scientific units, and is documented with explanatory descriptions and optional literature citations. Automatic scientific unit conversion is supported and only physically-consistent equations are accepted by the system. The system uses knowledge-based semantic conditions to decide which equations in its library make sense to apply in a given situation, and supplies these to the user for selection. "Me equations and variables are graphically represented as a flow diagram which provides a complete summary of the model. Forest-BGC, a stand-level model that simulates photosynthesis and evapo-transpiration for conifer canopies, was originally implemented in Fortran and subsequenty re-implemented using SIGMA. The SIGMA version reproduces daily results and also provides a knowledge base which greatly facilitates inspection, modification and extension of Forest-BGC.

Dungan, Jennifer L.↗

NASA NTRSDate not supplied

Autonomous In-space Construction, Maintenance, and Reconfiguration Using Programmable Meta-Material

NASA ARC's Coded Structures Laboratory (CSL) is developing autonomous construction, maintenance, and reconfiguration technologies to meet long-duration and deep space infrastructure needs, in accordance with long-term NASA goals of "in-space reliance" and "mass-less exploration." We seek to achieve these capabilities by utilizing a "programmable meta-material" approach that integrates emerging advances in materials (mechanical meta-materials), manufacturing (cooperative mobile robotics), and autonomy (multi-agent planning algorithms). Through the ARMADAS project, we have shown assembly of high-performance engineered cellular materials using multiple cooperating mobile robotic assemblers. In this paper, we describe how such a programmable meta-material architecture may shift the paradigm of how we design, build, manufacture, and operate future space infrastructure and assets. The core of a programmable meta-material architecture consists of 3 main technology sub-areas: the structure, the assembly agents, and the assembly algorithms. We co-design these systems to ensure an adaptable system that can create and reconfigure structures from a base set of building block components. From this core technology, we can branch out and expand the capability of the system through additional secondary component types and robotic agents to perform activities such as inspections, maintenance, repair, payload installation, or perform power and communications interconnect. As these technologies mature, future designers will be able to utilize the system to rapidly integrate and operate assets in space or on planetary surfaces from a set of well-tested part library, or create their own modules to integrate into the system. A core trait to the development of this system is the automation approach. Because of the modular and functional discrete (pixel-like) nature of the structural system, a diverse set of powerful algorithms for analysis, planning, and simulation can be adapted and leveraged to optimize construction, maintenance, and dynamic reorganization (as hardware with programmable form and function). With an ability to free the design space from launch vehicle constraints and fundamentally shift how a mission is designed and conducted, we discuss the influence of a programmable meta-material architecture on mission design, build, and operations. For the "design phase", we discuss project lifecycle effects, costs, time, and performance. For the "build phase", we discuss reusability, ISRU, manufacturing, material logistics, and scalability. And for "operations", we discuss autonomy, maintenance and upgrades, reliability, and reconfiguration. Autonomy and modularity are the primary enabling traits of this system. Engineering systems that utilize a modular and reconfiguration building block approach such as digital communication and computation systems, currently lead all other areas of technology in size and complexity scalability. NASA is extending the benefits and flexibility of digital systems to hardware systems, to optimize materials lifecycle management and expand our space exploration mission capabilities.

in space assembly↗

NASA NTRSDate not supplied

Identifying Emerging Safety Threats Through Topic Modeling in the Aviation Safety Reporting System: A Covid-19 Study

The NASA Aviation Safety Reporting System (ASRS) is a voluntary, confidential aviation safety reporting system. The ASRS receives reports from pilots, air traffic controllers, flight attendants, and others involved in aviation operations. The reports are de-identified and coded by ASRS expert safety analysts, and a short descriptive synopsis is written to describe the safety issue. The de-identified reports are then disseminated to the aviation community in many ways, including via an online database, Safety Alert Bulletins, For Your Information Notices, and the CALLBACK newsletter. In this work, we consider whether we can improve the grouping, linking, and understanding of safety concerns through topic modeling. Specifically, we use topic modeling as a building block to identify emerging safety threats over time. This unsupervised approach, we argue, offers the flexibility to identify new emerging themes in this large dataset by constructing different timelines based on the content similarity of ASRS report narratives. This method's unsupervised nature improves upon related research, which is limited to pre-defined labels and therefore can not fully capture emerging safety threats. We apply our method to all ASRS reports in 2020 to assess if the generated timelines can highlight COVID-19 as it is emerging as a safety threat in incoming ASRS reports. We perform both a quantitative and qualitative evaluation of the automatically constructed timelines. The qualitative evaluation is performed by describing the evolution of top terms in the timelines, generated by our method, which we found explicitly convey the themes of COVID-19. Separately, we use a set of 1,213 COVID-19 reports from 2020 that were manually identified by ASRS analysts to quantitatively evaluate the COVID-19 reports distribution across the timelines. Our results have shown that COVID-19 emergence can be identified using the top terms that were generated by topic modeling. The top terms in topic modeling therefore can serve as a summary alternative to manually inspecting reports. Moreover, leveraging the manually identified COVID-19 reports, we found the manually identified timelines accounted for over 70% of the COVID-19 reports curated by the ASRS analysts, which demonstrates the potential of this approach for facilitating the understanding of safety concerns as they emerge and evolve. This method shows great potential to understand aerospace safety threats and other narrative- driven incident report databases.

ASRS↗

NASA NTRSDate not supplied

Identifying Emerging Safety Threats Through Topic Modeling in the Aviation Safety Reporting System: A COVID-19 Study

ASRS↗

NASA NTRS1990

An automatic gore panel mapping system

The Automatic Gore Mapping System is being developed to reduce the time and labor costs associated with manufacturing the External Tank. The present chem-milling processes and procedures are discussed. The down loading of the simulation of the system has to be performed to verify that the simulation package will translate the simulation code into robot code. Also a simulation of this system has to be programmed for a gantry robot instead of the articulating robot that is presently in the system. It was discovered using the simulation package that the articulation robot cannot reach all the point on some of the panels, therefore when the system is ready for production, a gantry robot will be used. Also a hydrosensor system is being developed to replace the point-to-point contact probe. The hydrosensor will allow the robot to perform a non-contact continuous scan of the panel. It will also provide a faster scan of the panel because it will eliminate the in-and-out movement required for the present end effector. The system software is currently being modified so that the hydrosensor will work with the system. The hydrosensor consists of a Krautkramer-Branson transducer encased in a plexiglass nozzle. The water stream pumped through the nozzle is the couplant for the probe. Also, software is being written so that the robot will have the ability to draw the contour lines on the panel displaying the out-of-tolerance regions. Presently the contour lines can only be displayed on the computer screens. Research is also being performed on improving and automating the method of scribing the panels. Presently the panels are manually scribed with a sharp knife. The use of a low power laser or water jet is being studied as a method of scribing the panels. The contour drawing pen will be replaced with scribing tool and the robot will then move along the contour lines. With these developments the Automatic Gore Mapping Systems will provide a reduction in time and labor costs associated with manufacturing the External Task. The system also has the potential of inspecting other manufactured parts.

Shiver, John D.↗

NASA NTRS2010

Electrical Capacitance Volume Tomography with High-Contrast Dielectrics

The Electrical Capacitance Volume Tomography (ECVT) system has been designed to complement the tools created to sense the presence of water in nonconductive spacecraft materials, by helping to not only find the approximate location of moisture but also its quantity and depth. The ECVT system has been created for use with a new image reconstruction algorithm capable of imaging high-contrast dielectric distributions. Rather than relying solely on mutual capacitance readings as is done in traditional electrical capacitance tomography applications, this method reconstructs high-resolution images using only the self-capacitance measurements. The image reconstruction method assumes that the material under inspection consists of a binary dielectric distribution, with either a high relative dielectric value representing the water or a low dielectric value for the background material. By constraining the unknown dielectric material to one of two values, the inverse math problem that must be solved to generate the image is no longer ill-determined. The image resolution becomes limited only by the accuracy and resolution of the measurement circuitry. Images were reconstructed using this method with both synthetic and real data acquired using an aluminum structure inserted at different positions within the sensing region. The cuboid geometry of the system has two parallel planes of 16 conductors arranged in a 4 4 pattern. The electrode geometry consists of parallel planes of copper conductors, connected through custom-built switch electronics, to a commercially available capacitance to digital converter. The figure shows two 4 4 arrays of electrodes milled from square sections of copper-clad circuit-board material and mounted on two pieces of glass-filled plastic backing, which were cut to approximately square shapes, 10 cm on a side. Each electrode is placed on 2.0-cm centers. The parallel arrays were mounted with the electrode arrays approximately 3 cm apart. The open ends were surrounded by a metal guard to reduce the sensitivity of the electrodes to outside interference and to help maintain the spacing between the arrays. Other uses for this innovation potentially include quantifying the amount of commodity remaining in the fuel and oxidizer tanks while on-orbit without having to fire spacecraft engines. Another orbit application is moisture sensing in plant-growth experiments because microgravity causes moisture in soil to distribute itself in unusual ways. At the moment, the hardware and image reconstruction technique may only be of interest to people involved in nondestructive evaluation. The reconstructed image takes almost a full week to reproduce with existing computer power. However, because computer power and speeds follows Moore s Law, execution times are likely to become acceptable within the next five to eight years. The code was written in Mathematica for dedicated use with the ECVT system. In its present form, it is not suitable to be used directly as a consumer product. However, the code could be likely improved by rewriting it in a compiled language such as C or Fortran.

Nurge, Mark↗

NASA NTRS2007

Investigation of MMOD Impact on STS-115 Shuttle Payload Bay Door Radiator

The Orbiter radiator system consists of eight individual 4.6 m x 3.2 m panels located with four on each payload bay door. Forward panels #1 and #2 are 2.3 cm thick while the aft panels #3 and #4 have a smaller overall thickness of 1.3 cm. The honeycomb radiator panels consist of 0.028 cm thick Aluminum 2024-T81 facesheets and Al5056-H39 cores. The face-sheets are topped with 0.005 in. (0.127 mm) silver-Teflon tape. The radiators are located on the inside of the shuttle payload bay doors, which are closed during ascent and reentry, limiting damage to the on-orbit portion of the mission. Post-flight inspections at the Kennedy Space Center (KSC) following the STS-115 mission revealed a large micrometeoroid/orbital debris (MMOD) impact near the hinge line on the #4 starboard payload bay door radiator panel. The features of this impact make it the largest ever recorded on an orbiter payload bay door radiator. The general location of the damage site and the adjacent radiator panels can be seen in Figure 2. Initial measurements of the defect indicated that the hole in the facesheet was 0.108 in. (2.74 mm) in diameter. Figure 3 shows an image of the front side damage. Subsequent observations revealed exit damage on the rear facesheet. Impact damage features on the rear facesheet included a 0.03 in. diameter hole (0.76 mm), a approx.0.05 in. tall bulge (approx.1.3 mm), and a larger approx.0.2 in. tall bulge (approx.5.1 mm) that exhibited a crack over 0.27 in. (6.8 mm) long. A large approx.1 in. (25 mm) diameter region of the honeycomb core was also damaged. Refer to Figure 4 for an image of the backside damage to the panel. No damage was found on thermal blankets or payload bay door structure under the radiator panel. Figure 5 shows the front facesheet with the thermal tape removed. Ultrasound examination indicated a maximum facesheet debond extent of approximately 1 in. (25 mm) from the entry hole. X-ray examinations revealed damage to an estimated 31 honeycomb cells with an extent of 0.85 in. x 1.1 in. (21.6 x 27.9 mm). Pieces of the radiator at and surrounding the impact site were recovered during the repair procedures at KSC. They included the thermal tape, front facesheet, honeycomb core, and rear facesheet. These articles were examined at JSC using a scanning electron microscope (SEM) with an energy dispersive x-ray spectrometer (EDS). Figure 6 shows SEM images of the entry hole in the facesheet. The asymmetric height of the lip may be attributed to projectile shape and impact angle. Numerous instances of a glass-fiber organic matrix composite were observed in the facesheet tape sample. The fibers were approximately 10 micrometers in diameter and variable lengths. EDS analysis indicated a composition of Mg, Ca, Al, Si, and O. Figures 7 and 8 present images of the fiber bundles, which were believed to be circuit board material based on similarity in fiber diameter, orientation, consistency, and composition. A test program was initiated in an attempt to simulate the observed damage to the radiator facesheet and honeycomb. Twelve test shots were performed using projectiles cut from a 1.6 mm thick fiberglass circuit board substrate panel. Results from test HITF07017, shown in figures 9 and 10, correlates with the observed impact features reasonably well. The test was performed at 4.14 km/sec with an impact angle of 45 degrees using a cylindrical projectile with a diameter and length of 1.25 mm. The fiberglass circuit board material had a density of 1.65 g/cu cm, giving a projectile mass of 2.53 mg. An analysis was performed using the Bumper code to estimate the probability of impact to the shuttle from a 1.25 mm diameter particle. Table 1 shows a 1.6% chance (impact odds = 1 in 62) of a 1.25 mm or larger MMOD impact on the radiators of the vehicle during a typical ISS mission. There is a 0.4% chance (impact odds = 1 in 260) that a 1.25 mm or larger MMOD particle would impact the RCC wing leading edge and nose cap during a typical miion. Figure 11 illustrates the vulnerable areas of the wing leading edge reinforced carbon-carbon (RCC), an area of the vehicle that is very sensitive to impact damage. The highlighted red, orange, yellow, and light green areas would be expected to experience critical damage if impacted by an OD particle such as the one that hit the RH4 radiator panel on STS-115.

Hyde, J.↗