SEARCH · Search NASA

Results for “safety certification”

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.

At least 181 records · Page 10

All sources NASA NTRS DOE OSTI

NASA NTRS2002

AutoBayes/CC: Combining Program Synthesis with Automatic Code Certification: System Description

Code certification is a lightweight approach to formally demonstrate software quality. It concentrates on aspects of software quality that can be defined and formalized via properties, e.g., operator safety or memory safety. Its basic idea is to require code producers to provide formal proofs that their code satisfies these quality properties. The proofs serve as certificates which can be checked independently, by the code consumer or by certification authorities, e.g., the FAA. It is the idea underlying such approaches as proof-carrying code [6]. Code certification can be viewed as a more practical version of traditional Hoare-style program verification. The properties to be verified are fairly simple and regular so that it is often possible to use an automated theorem prover to automatically discharge all emerging proof obligations. Usually, however, the programmer must still splice auxiliary annotations (e.g., loop invariants) into the program to facilitate the proofs. For complex properties or larger programs this quickly becomes the limiting factor for the applicability of current certification approaches.

Whalen, Michael↗

NASA NTRS1977

Installation package for air flat plate collector

The Solar 2 dimensions are four feet by eight feet by two and one half inches. The collector weighs 130 pounds and has an effective solar collection area of over 29.5 square feet. This area represents 95 percent of the total surface of the collector. The installation, operation and maintenance manual, safety hazard analysis, special handling instructions, materials list, installation concept drawings, warranty and certification statement are included in the installation package.

Source record↗

NASA NTRS1990

The aerospace plane design challenge: Credible computational fluid dynamics results

Computational fluid dynamics (CFD) is necessary in the design processes of all current aerospace plane programs. Single-stage-to-orbit (STTO) aerospace planes with air-breathing supersonic combustion are going to be largely designed by means of CFD. The challenge of the aerospace plane design is to provide credible CFD results to work from, to assess the risk associated with the use of those results, and to certify CFD codes that produce credible results. To establish the credibility of CFD results used in design, the following topics are discussed: CFD validation vis-a-vis measurable fluid dynamics (MFD) validation; responsibility for credibility; credibility requirement; and a guide for establishing credibility. Quantification of CFD uncertainties helps to assess success risk and safety risks, and the development of CFD as a design tool requires code certification. This challenge is managed by designing the designers to use CFD effectively, by ensuring quality control, and by balancing the design process. For designing the designers, the following topics are discussed: how CFD design technology is developed; the reasons Japanese companies, by and large, produce goods of higher quality than the U.S. counterparts; teamwork as a new way of doing business; and how ideas, quality, and teaming can be brought together. Quality control for reducing the loss imparted to the society begins with the quality of the CFD results used in the design process, and balancing the design process means using a judicious balance of CFD and MFD.

Mehta, Unmeel B.↗

NASA NTRS2008

Operational Experience with Long Duration Wildfire Mapping: UAS Missions Over the Western United States

The National Aeronautics and Space Administration, United States Forest Service, and National Interagency Fire Center have developed a partnership to develop and demonstrate technology to improve airborne wildfire imaging and data dissemination. In the summer of 2007, a multi-spectral infrared scanner was integrated into NASA's Ikhana Unmanned Aircraft System (UAS) (a General Atomics Predator-B) and launched on four long duration wildfire mapping demonstration missions covering eight western states. Extensive safety analysis, contingency planning, and mission coordination were key to securing an FAA certificate of authorization (COA) to operate in the national airspace. Infrared images were autonomously geo-rectified, transmitted to the ground station by satellite communications, and networked to fire incident commanders within 15 minutes of acquisition. Close coordination with air traffic control ensured a safe operation, and allowed real-time redirection around inclement weather and other minor changes to the flight plan. All objectives of the mission demonstrations were achieved. In late October, wind-driven wildfires erupted in five southern California counties. State and national emergency operations agencies requested Ikhana to help assess and manage the wildfires. Four additional missions were launched over a 5-day period, with near realtime images delivered to multiple emergency operations centers and fire incident commands managing 10 fires.

Hall, Philip↗

NASA NTRS2009

PCC Framework for Program-Generators

In this paper, we propose a proof-carrying code framework for program-generators. The enabling technique is abstract parsing, a static string analysis technique, which is used as a component for generating and validating certificates. Our framework provides an efficient solution for certifying program-generators whose safety properties are expressed in terms of the grammar representing the generated program. The fixed-point solution of the analysis is generated and attached with the program-generator on the code producer side. The consumer receives the code with a fixed-point solution and validates that the received fixed point is indeed a fixed point of the received code. This validation can be done in a single pass.

Kong, Soonho↗

NASA NTRS2019

Assurance of Autonomy

This presentation gives an overview of the research directions taken by the System Wide Safety project (NASA ARMD) with respect to the assurance of autonomy to support certification of aviation systems for emerging markets. The talk gives an overview of the project and a quick overview of some of the research tools being developed at NASA Ames.

Brat, Guillaume↗

NASA NTRS2020

Unified Analysis of Aerospace Structures through Implementation of Rapid Tools into a Stress Framework

Rapid structural analysis tools have become an important part of the design cycle for aerospace companies for the last several decades. As these tools have been developed over time, there is often little consideration for shared software infrastructure between the tools, which makes design and analysis cumbersome due to a lack of commonality in input and output data and reporting, as well as poor traceability of results. Under the Rapid Tools task of the Advanced Composites Consortium (ACC), four aerospace tools were recently implemented or enhanced in the HyperSizer stress framework and then evaluated by this consortium of industry and government organizations. The framework provides an automated software environment for executing the rapid tools for analysis and sizing, quantifying margins of safety for thousands of load cases, and generating reports in support of FAA certification. This paper describes the process by which the tools were enhanced or implemented in the stress framework under the ACC project, and the evaluation conducted by industry consortium members.

Craig S Collier↗

NASA NTRSDate not supplied

An Overview of the NASA Lift+Cruise eVTOL Crash Test

Introduction – NASA RVLT Project Impact Dynamics / Crash Safety Task - Task Objective: “To improve the crashworthiness and impact safety of Urban Air Mobility (UAM) vehicle and provide data to simplify the certification process. Efforts will include development of validated computational models of these vehicles, as well as other impacting bodies such as birds and drones. Efforts will also focus on developing and evaluating energy absorbing and crush properties of emerging and non-traditional composite materials and processes. Finally, occupant protection will be addressed using computational models and physical assets as it pertains to all rotorcraft environments.” - Problem Statement: “There currently is a lack of data for requirements regarding the crashworthy performance of UAM vehicles and impact loads generated by a bird strike. To address this technology gap, NASA will develop test guidelines, adopt modeling methodologies demonstrating capability for ‘certification by analysis’, acquire vehicle and occupant data on full-scale representative vehicles, and provide data/guidance to consensus standards organizations and the UAM community.” - 4 Main focus points - The investigation of occupant injury using physical and computational assets - The development of energy absorbing technology - The generation of data from sub- and full-scale crash test data - The execution of advanced finite element modelling techniques

evtol↗

NASA NTRS2018

Quality Assurance Surveillance Tool Designed for SLS EM-1 Certificate of Flight Readiness

Exploration Mission-1 (EM-1) is an uncrewed mission that is launching on the Space Launch System (SLS) Block 1 vehicle. This is a critical flight test for the agency's human deep space exploration goals. Exploration Ground Systems (EGS) Quality (SA-F2) is responsible for providing Quality Assurance Surveillance Plans (QASPs) for NASA contracts and facilities. A QASP assures products and services are provided to EGS in accordance with the contract requirements. In order to encapsulate the multiple KSC Safety and Mission Assurance surveillance and audit activities that need to be accomplished specifically for EM-1 Certificate of Flight Reediness (CoFR), a QASP tool needed to be implemented. This tool would be able to intuitively track Work Authorization Documents (WADs) under development by Test Operations Support Contract (TOSC), reviewed and accepted WADs, Government Mandatory Inspection Points (GMIPs), Nonconformances (NCs), Material Review Board (MRB) Status, Corrective Actions, Alterations, Deviations, and Waivers for flight hardware and Ground Support Equipment (GSE). This would help ensure that all SLS EM-1 flight hardware and related GSE surveillances and requirements are being recognized and completed with zero constraints identified for the mission.

Morris, Patrick↗

NASA NTRS2006

Formal Approaches to Ensuring the Safety of Space Software

A viewgraph describing formal approaches taken to assure the safety of space software is presented. The topics include: 1) Certifiable Program Generation; 2) Certification Framework; 3) Annotation Generation; 4) Experiments; and 5) Future Work.

Denney, Ewen↗

NASA NTRSDate not supplied

Bootstrapping Multi-Agent Unmanned Aerial Vehicle (UAV) System Integration Using Ground-Based Assets: Lessons Learned

In support of the Autonomy Teaming and TRAjectories for Complex Trusted Operational Reliability (ATTRACTOR) project, a fleet of unmanned ground vehicles (UGVs) was developed as a test and evaluation (T\&E) platform to reduce system integration gaps between simulation and live flight hardware. While simulation and hardware-in-the-loop bench testing provide adequate environments for preliminary validation, differences in system deployment architecture, software interfaces, and hardware infrastructure increase the risks to safety, property, and the project. Given ATTRACTOR’s goal of establishing a basis of certification of trust and trustworthiness in multi-agent autonomous systems, bridging these gaps was critical to successful project execution and feasibility assessment. In this paper we present the UGV fleet and its role in speeding up system integration, smoothing the transition from simulation to flight, and providing researchers an easy-to-use hardware test bed. An overview of the hardware and software on-board the vehicles is provided along with supporting infrastructure. The system integration process is documented including results in supporting both the overarching design reference mission (DRM) of ATTRACTOR and individual research efforts conducted since the creation of the fleet. Finally, we discuss the practical lessons learned regarding the testing, deployment, and operation of multi-agent autonomous systems.

Matthew P. Vaughan↗

NASA NTRSDate not supplied

Leveling Arguments: Easier Said Than Done

The aerospace industry’s current desire to rapidly adopt new technologies is inconsistent with the traditional approach to creating new aerospace certification standards. To address this, an FAA-sponsored international Overarching Properties Working Group comprising industry representatives and certifying agencies has introduced the concept of Overarching Properties (OPs). OPs provide a foundation for proposing alternative Means of Compliance (MoC) by demonstrating a product's possession of the Intent, Correctness, and Innocuity properties. Handling criticality levels with the OPs is in its infancy but still required to integrate alternative MoC into the existing aerospace certification infrastructure. This paper examines the impact of criticality levels on the creation and evaluation of OP-related arguments (OPRAs), specifically focusing on the Auxiliary Power Unit (APU) system. The study highlights the need for tailored OPRA creation based on assigned criticality levels and proposes self-assessment techniques to strengthen arguments. This research serves as a stepping stone in exploring criticality levels for OPs and bridging the gap in aerospace certification practices.

argument↗

NASA NTRS2010

Validation and Verification of Future Integrated Safety-Critical Systems Operating under Off-Nominal Conditions

Loss of control remains one of the largest contributors to aircraft fatal accidents worldwide. Aircraft loss-of-control accidents are highly complex in that they can result from numerous causal and contributing factors acting alone or (more often) in combination. Hence, there is no single intervention strategy to prevent these accidents and reducing them will require a holistic integrated intervention capability. Future onboard integrated system technologies developed for preventing loss of vehicle control accidents must be able to assure safe operation under the associated off-nominal conditions. The transition of these technologies into the commercial fleet will require their extensive validation and verification (V and V) and ultimate certification. The V and V of complex integrated systems poses major nontrivial technical challenges particularly for safety-critical operation under highly off-nominal conditions associated with aircraft loss-of-control events. This paper summarizes the V and V problem and presents a proposed process that could be applied to complex integrated safety-critical systems developed for preventing aircraft loss-of-control accidents. A summary of recent research accomplishments in this effort is also provided.

Belcastro, Christine M.↗

NASA NTRS2016

Commercial Crew Program and the Safety Technical Review Board

The Commercial Crew Program (CCP) is unique to any other program office at NASA. After the agency suffered devastating budget cuts and the Shuttle Program retired, the U.S. gave up its human spaceflight capabilities. Since 2011 the U.S. has been dependent on Russia to transport American astronauts and cargo to the International Space Station (ISS) and back. NASA adapted and formed CCP, which gives private, domestic, aerospace companies unprecedented reign over America's next ride to space. The program began back in 2010 with 5 companies and is now in the final phase of certification with 2 commercial partners. The Commercial Crew Program is made up of 7 divisions, each working rigorously with the commercial providers to complete the certification phase. One of these 7 divisions is Systems Engineering and Integration (SE&I) which is partly comprised of the Safety Technical Review Board (STRB). The STRB is primarily concerned with mitigating improbable, but catastrophic hazards. It does this by identifying, managing, and tracking these hazards in reports. With the STRB being in SE&I, it significantly contributes to the overall certification of the partners' vehicles. After the partners receive agency certification approval, they will have the capability to provide the U.S. with a reliable, safe, and cost-effective means of human spaceflight and cargo transport to the ISS and back.

crew transportation system↗

NASA NTRS2008

Quo Vadis Payload Safety?

As we complete the preparations for the fourth Hubble Space Telescope (HST) servicing mission, we note an anniversary approaching: it was 30 years ago in July that the first HST payload safety review panel meeting was held. This, in turn, was just over a year after the very first payload safety review, a Phase 0 review for the Tracking and Data Relay Satellite and its Inertial Upper Stage, held in June of 1977. In adapting a process that had been used in the review and certification of earlier Skylab payloads, National Aeronautics and Space Administration (NASA) engineers sought to preserve the lessons learned in the development of technical payload safety requirements, while creating a new process that would serve the very different needs of the new space shuttle program. Their success in this undertaking is substantiated by the fact that this process and these requirements have proven to be remarkably robust, flexible, and adaptable. Furthermore, the payload safety process has, to date, served us well in the critical mission of safeguarding our astronauts, cosmonauts, and spaceflight participants. Both the technical requirements and their interpretation, as well as the associated process requirements have grown, evolved, been streamlined, and have been adapted to fit multiple programs, including the International Space Station (ISS) program, the Shuttle/Mir program, and most recently the United States Constellation program. From its earliest days, it was anticipated that the payload safety process would be international in scope, and so it has been. European Space Agency (ESA), Japan Aerospace Exploration Agency (JAXA), German Space Agency (DLR), Canadian Space Agency (CSA), Russian Space Agency (RSA), and many additional countries have flown payloads on both the space shuttle and on the ISS. Our close cooperation and long-term working relationships have culminated in the franchising of the payload safety review process itself to our partners in ESA, which in turn will serve as a roadmap for extending the franchise to other Partners.

Fodroci, Michael P.↗

NASA NTRS1997

Certification of a Modified Research Public Aircraft

NASA Ames Research Center has several aircraft that have been modified to conduct aeronautical and scientific research. NASA's purpose is to provide research to improve safety of flight and support scientific research for Mission to Planet Earth. Our research and platform aircraft have been modified to fit the needs of the scientific and research programs. Because NASA's aircraft have been modified and operated as public aircraft, certification of airworthiness on many are not current. Some of our aircraft are military aircraft and were never certificated. This paper discusses the process of bringing a modified B200 King Air aircraft certification current to meet Federal Aviation Regulations.

Forsyth, T. J.↗

NASA NTRS1996

Conversion-Integration of MSFC Nonlinear Signal Diagnostic Analysis Algorithms for Realtime Execution of MSFC's MPP Prototype System

NASA's advanced propulsion system Small Scale Magnetic Disturbances/Advanced Technology Development (SSME/ATD) has been undergoing extensive flight certification and developmental testing, which involves large numbers of health monitoring measurements. To enhance engine safety and reliability, detailed analysis and evaluation of the measurement signals are mandatory to assess its dynamic characteristics and operational condition. Efficient and reliable signal detection techniques will reduce the risk of catastrophic system failures and expedite the evaluation of both flight and ground test data, and thereby reduce launch turn-around time. During the development of SSME, ASRI participated in the research and development of several advanced non- linear signal diagnostic methods for health monitoring and failure prediction in turbomachinery components. However, due to the intensive computational requirement associated with such advanced analysis tasks, current SSME dynamic data analysis and diagnostic evaluation is performed off-line following flight or ground test with a typical diagnostic turnaround time of one to two days. The objective of MSFC's MPP Prototype System is to eliminate such 'diagnostic lag time' by achieving signal processing and analysis in real-time. Such an on-line diagnostic system can provide sufficient lead time to initiate corrective action and also to enable efficient scheduling of inspection, maintenance and repair activities. The major objective of this project was to convert and implement a number of advanced nonlinear diagnostic DSP algorithms in a format consistent with that required for integration into the Vanderbilt Multigraph Architecture (MGA) Model Based Programming environment. This effort will allow the real-time execution of these algorithms using the MSFC MPP Prototype System. ASRI has completed the software conversion and integration of a sequence of nonlinear signal analysis techniques specified in the SOW for real-time execution on MSFC's MPP Prototype. This report documents and summarizes the results of the contract tasks; provides the complete computer source code; including all FORTRAN/C Utilities; and all other utilities/supporting software libraries that are required for operation.

Jong, Jen-Yi↗

NASA NTRS2016

ISS Crew Transportation and Services Requirements Document

The ISS Crew Transportation and Services Requirements Document (CCT-REQ-1130) contains all technical, safety, and crew health medical requirements that are mandatory for achieving a Crew Transportation System Certification that will allow for International Space Station delivery and return of NASA crew and limited cargo. Previously approved on TN23183.

CCT-REQ-1130↗