Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Design verification”

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 523 records · Page 29
All sourcesNASA NTRSDOE OSTI
NASA NTRS2013

Validating an Air Traffic Management Concept of Operation Using Statistical Modeling

Validating a concept of operation for a complex, safety-critical system (like the National Airspace System) is challenging because of the high dimensionality of the controllable parameters and the infinite number of states of the system. In this paper, we use statistical modeling techniques to explore the behavior of a conflict detection and resolution algorithm designed for the terminal airspace. These techniques predict the robustness of the system simulation to both nominal and off-nominal behaviors within the overall airspace. They also can be used to evaluate the output of the simulation against recorded airspace data. Additionally, the techniques carry with them a mathematical value of the worth of each prediction-a statistical uncertainty for any robustness estimate. Uncertainty Quantification (UQ) is the process of quantitative characterization and ultimately a reduction of uncertainties in complex systems. UQ is important for understanding the influence of uncertainties on the behavior of a system and therefore is valuable for design, analysis, and verification and validation. In this paper, we apply advanced statistical modeling methodologies and techniques on an advanced air traffic management system, namely the Terminal Tactical Separation Assured Flight Environment (T-TSAFE). We show initial results for a parameter analysis and safety boundary (envelope) detection in the high-dimensional parameter space. For our boundary analysis, we developed a new sequential approach based upon the design of computer experiments, allowing us to incorporate knowledge from domain experts into our modeling and to determine the most likely boundary shapes and its parameters. We carried out the analysis on system parameters and describe an initial approach that will allow us to include time-series inputs, such as the radar track data, into the analysis

Statistical emulation↗
NASA NTRS1988

Fracture technology for brittle materials

Ceramics materials have the potential for use in high-temperature, fuel-efficient engines. However, because these materials are brittle, their fracture characteristics must be well documented prior to their application. Thus Lewis is working to understand the fracture and strength properties of brittle ceramic and ceramic matrix materials. An understanding of fracture properties aids both designers who are attempting to design high-temperature structures and materials scientists who seek to design more temperature-resistant materials. Both analytical and experimental approaches to fracture analysis are being taken. Methods for testing fracture toughness, crack growth resistance, and strength are being developed. The failure mechanisms at both room and elevated temperatures are also being investigated. Such investigations aid materials scientists in developing better high-temperature materials. Of concern is the anisotropy of ceramic materials and the experimental verification of ceramic design codes that will allow brittle material behavior to be accurately predicted at high temperature.

Salem, Jonathan A.↗
NASA NTRS2000

Operational Considerations when Designing New Ground Systems

The Hubble Space Telescope (HST) launched in April of 1991 with a nominal 15-year old mission. Since then, the HST mission life has been extended to 2010. As is true for all NASA missions, HST is being asked to decrease its operational costs for the remainder of its mission life. Various techniques are being incorporated for cost reductions, with one of the core means being the design of a new and more efficient ground system for HST operations. This new ground system, "Vision 2000", will reduce operational and maintenance costs and also provide the HST Project with added flexibility to react to future changes. Vision 2000 began supporting HST Operations in January of 1999 and will support the mission for the remainder of the mission life. Upgrading a satellite's ground system is a popular approach for reducing costs, but it is also inherently risky. Validating a new ground system can be a severe distraction to a flight team while operating a satellite. Mission data collection and health and safety requirements are rarely, if ever, relaxed during this validation period, forcing flight teams to undertake an additional task while operating the satellite. Additionally, flight teams must usually undergo extensive training to effectively utilize the new system. Once again, this training usually occurs as an additional task, in addition to the nominal satellite operations. While operating the spacecraft, the Flight Team typically assists in the design, validation, and verification of a new ground system. This is a distraction and strain on the Flight Team, but the benefit of using the Flight Team in all phases of ground system development far outweigh the negative aspects. Finally, above the cost of the new system, the integration into the facility with the current control center system are resources and costs not normally taken into account in the design phase of the new system. In addition to the standard issues faced by a Project when upgrading its ground system, the HST Project also must continue to support Space Shuttle servicing missions, which occur approximately every two to three years. This paper will address many of the issues common to all missions when re-hosting ground systems, and those faced by the HST Project in particular.

Walyus, Keith↗
NASA NTRS2014

10 meter Sub-Orbital Large Balloon Reflector (LBR)

The realization of a large, space-based 10 meter class telescope for far-infrared/THz studies has long been a goal of NASA. Such a telescope could study the origins of stars, planets, molecular clouds, and galaxies; providing a much needed means of following-up on tantalizing results from recent successful missions such as Spitzer, Herschel, and SOFIA. Indeed, Herschel began its life in the US space program as the Large Deployable Reflector (LDR) to be assembled in low Earth orbit by shuttle astronauts. Escalating costs and smaller federal budget allocations resulted in a downsizing of the mission. However, by combining successful suborbital balloon and ground-based telescope technologies, the dream of a 10 meter class telescope free of ~99% of the Earth's atmospheric absorption in the far-infrared can be realized. The same telescope can also be used to perform sensitive, high spectral and spatial resolution limb sounding studies of the Earth's atmosphere in greenhouse gases such as CO, ClO, O3, and water, as well as serve as a high flying hub for any number of telecommunications and surveillance activities. Flight times of 100+ days will be possible, with instruments having mass and power requirements in excess of ~500 kg and ~1 kW.Here we present the results of our NIAC Step 1, Phase B design study where each key aspect of the LBR concept is discussed and recommendations made for further study in Phase II.These aspects include realization of a large spherical reflecting surface, spherical corrector, pointing system, instrument module, and service module/gondola. Once each hardware component is introduced, a typical LBR Mission profile is described that enables the realization of a stratospheric 10 meter THz observatory and limb sounder. Verification of the design approach was achieved by using a combination of analytical modelling, lab testing of materials and techniques, and building a 3 meter rooftop LBR prototype.

Telescope↗
NASA NTRS2008

Verification of Pointing Constraints for the Dawn Spacecraft

NASA's Dawn spacecraft, an ion-thrust science mission to Vesta and Ceres, has numerous pointing constraints critical for safe operation. Onboard software automatically chooses target attitudes but enforces only a simplified constraint set at slew endpoints. Onboard fault-protection also uses simplified constraints, and violations can result in safing events that dramatically consume mission margins for missed thrust. Lastly, for funding reasons the operations team is lean, forcing the development of month-long command sequences. These factors place a premium on reliable maneuver design, prediction, and verification against pointing constraints. This paper presents Slewth, a ground tool built to address these concerns.

Vanelli, C. Anthony↗
NASA NTRS2020

Integrated Silicon Platform for Co-planar Design of Vertically Stacked 2.06 THz Mixer Module

The process for fabricating and utilizing the threedimensional Si stack receiver front-end is described in this paper. The capability to have exact dimensionality becomes essential as frequency scales due to the complexity arising in assembly and finer tolerances. Total process yields can be improved through Si fabrication by verifying achievement of specified tolerances lithographically and compatibility to rapid process changes and design fine-tuning. The integrated Si platform with the mounted device is shown in Figure 1. Signal I/O and alignment modalities enable lownoise measurements. Silicon micromachining provides the necessary accuracy for integration at the several THz regime. Particularly, processing and etch recipes have demonstrated smooth surfaces of < 1 μm surface roughness. In consideration is pre-compensating for minute offsets, matching mechanical strain on all interfaces, and including passive alignment verification in the design. As compared to metal blocks, computer numerical controlled (CNC) milling can produce slight burrs in the interfaces resulting in misalignment and resultant strain between two pieces of components. Furthermore, Si integration can make possible arrays of pixel transceivers through compact subsystems for the purpose of measuring multiple lines of spectral content simultaneously in space.

Mehdi, Imran↗
NASA NTRSDate not supplied

Full Lunar Surface Visualization and Simulation Platform

This paper reports the results of the innovative work completed to facilitate the creation of a lunar surface visualization and simulation platform for the entire surface of the moon as a design, test, training, verification, and mission support environment. The mathematical approach to the visualization of the data sets utilizes fractal mathematics to generate not only the highest possible detail that the Lunar Reconnaissance Orbiter (LRO) data can provide, but it also additionally supplies an estimation of surface reflectivity and lighting based upon location on the lunar surface. This level of detail and accuracy is required to conduct accurate integrated crew / vehicle risk assessment throughout the design-to-disposal life cycle of vehicles and their supporting procedures and mission priorities. This process starts with safety assessments of integrated hardware / software / crew/ and support environments. Unlike the Apollo Program, the Artemis Program is not risk tolerant.

Simulation↗
NASA NTRS1991

Lunar in-core thermionic nuclear reactor power system conceptual design

This paper presents a conceptual design of a lunar in-core thermionic reactor power system. The concept consists of a thermionic reactor located in a lunar excavation with surface mounted waste heat radiators. The system was integrated with a proposed lunar base concept representative of recent NASA Space Exploration Initiative studies. The reference mission is a permanently-inhabited lunar base requiring a 550 kWe, 7 year life central power station. Performance parameters and assumptions were based on the Thermionic Fuel Element (TFE) Verification Program. Five design cases were analyzed ranging from conservative to advanced. The cases were selected to provide sensitivity effects on the achievement of TFE program goals.

Mason, Lee S.↗
NASA NTRS1997

Fundamental Hardware Design in PVS

The development of Programmable Logic Devices (PLDs) has introduced programming as a primary tool in the development of digital circuits. This work attempts to create a generic verification environment in which designs can be specified and verified using the Prototype Verification System (PVS). This is accomplished by providing library support for general hardware constructs. The environment is intended for use with any PLD and any PLD programming language. The goal of the environment is to allow the easy translation of digital designs to PVS and provide sufficient support to make verification possible without a great deal of effort.

Leathrum, James F., Jr.↗
NASA NTRS1995

Formal verification of an avionics microprocessor

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

Srivas, Mandayam, K.↗
NASA NTRS1981

Retrofit and acceptance test of 30-cm ion thrusters

Six 30 cm mercury thrusters were modified to the J-series design and evaluated using standardized test procedures. The thruster performance meets the design objectives (lifetime objective requires verification), and documentation (drawings, etc.) for the design is completed and upgraded. The retrofit modifications are described and the test data for the modifications are presented and discussed.

Poeschel, R. L.↗
NASA NTRSDate not supplied

Machine-Learning for Safety Critical Airborne Applications Part II: Case Study

The exceptional progress in the field of Artificial Intelligence (AI) systems, enabled by Machine Learning (ML) technology in recent years provides historic opportunities for the aviation industry. Current certification standards for avionics were developed prior to the ML renaissance and have several fundamental incompatibilities with the ML technology. WG-114 is working hard to release a new standard as soon as possible but for now there is no recognized means of compliance for ML based systems even of low criticality. In this talk, we present the custom ML workflow that can be used comply with all objectives of the current certification standards for a low-criticality (DAL D and C) ML-based system. To illustrate the practical application of the custom ML workflow we present a case study of a system based on a Deep Neural Network (DNN) intended to detect and identify airport runway signs. We present the system design, data generation, training, and verification in detail and describe how the design assurance objectives can be met for a DAL D and DAL C systems.

Johann Schumann↗
NASA NTRS1997

Database Development for Electrical, Electronic, and Electromechanical (EEE) Parts for the International Space Station Alpha

More effective electronic communication processes are needed to transfer contractor and international partner data into NASA and prime contractor baseline database systems. It is estimated that the International Space Station Alpha (ISSA) parts database will contain up to one million parts each of which may require database capabilities for approximately one thousand bytes of data for each part. The resulting gigabyte database must provide easy access to users who will be preparing multiple analyses and reports in order to verify as-designed, as-built, launch, on-orbit, and return configurations for up to 45 missions associated with the construction of the ISSA. Additionally, Internet access to this data base is strongly indicated to allow multiple user access from clients located in many foreign countries. This summer's project involved familiarization and evaluation of the ISSA Electrical, Electronic, and Electromechanical (EEE) Parts data and the process of electronically managing these data. Particular attention was devoted to improving the interfaces among the many elements of the ISSA information system and its global customers and suppliers. Additionally, prototype queries were developed to facilitate the identification of data changes in the data base, verifications that the designs used only approved parts, and certifications that the flight hardware containing EEE parts was ready for flight. This project also resulted in specific recommendations to NASA for further development in the area of EEE parts database development and usage.

Wassil-Grimm, Andrew D.↗
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 NTRS2012

A Model-Based Approach to Engineering Behavior of Complex Aerospace Systems

One of the most challenging yet poorly defined aspects of engineering a complex aerospace system is behavior engineering, including definition, specification, design, implementation, and verification and validation of the system's behaviors. This is especially true for behaviors of highly autonomous and intelligent systems. Behavior engineering is more of an art than a science. As a process it is generally ad-hoc, poorly specified, and inconsistently applied from one project to the next. It uses largely informal representations, and results in system behavior being documented in a wide variety of disparate documents. To address this problem, JPL has undertaken a pilot project to apply its institutional capabilities in Model-Based Systems Engineering to the challenge of specifying complex spacecraft system behavior. This paper describes the results of the work in progress on this project. In particular, we discuss our approach to modeling spacecraft behavior including 1) requirements and design flowdown from system-level to subsystem-level, 2) patterns for behavior decomposition, 3) allocation of behaviors to physical elements in the system, and 4) patterns for capturing V&V activities associated with behavioral requirements. We provide examples of interesting behavior specification patterns, and discuss findings from the pilot project.

SysML↗
NASA NTRS2011

Pattern Recognition for a Flight Dynamics Monte Carlo Simulation

The design, analysis, and verification and validation of a spacecraft relies heavily on Monte Carlo simulations. Modern computational techniques are able to generate large amounts of Monte Carlo data but flight dynamics engineers lack the time and resources to analyze it all. The growing amounts of data combined with the diminished available time of engineers motivates the need to automate the analysis process. Pattern recognition algorithms are an innovative way of analyzing flight dynamics data efficiently. They can search large data sets for specific patterns and highlight critical variables so analysts can focus their analysis efforts. This work combines a few tractable pattern recognition algorithms with basic flight dynamics concepts to build a practical analysis tool for Monte Carlo simulations. Current results show that this tool can quickly and automatically identify individual design parameters, and most importantly, specific combinations of parameters that should be avoided in order to prevent specific system failures. The current version uses a kernel density estimation algorithm and a sequential feature selection algorithm combined with a k-nearest neighbor classifier to find and rank important design parameters. This provides an increased level of confidence in the analysis and saves a significant amount of time.

Restrepo, Carolina↗
NASA NTRS1981

Selecting a software development methodology

The state of the art analytical techniques for the development and verification of digital flight control software is studied and a practical designer oriented development and verification methodology is produced. The effectiveness of the analytic techniques chosen for the development and verification methodology are assessed both technically and financially. Technical assessments analyze the error preventing and detecting capabilities of the chosen technique in all of the pertinent software development phases. Financial assessments describe the cost impact of using the techniques, specifically, the cost of implementing and applying the techniques as well as the relizable cost savings. Both the technical and financial assessment are quantitative where possible. In the case of techniques which cannot be quantitatively assessed, qualitative judgements are expressed about the effectiveness and cost of the techniques. The reasons why quantitative assessments are not possible will be documented.

Jones, R. E.↗