Search NASA⌕ Search

SEARCH · Search NASA

Results for “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.

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

At least 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1997

Midcourse Space Experiment Data Certification and Technology Transfer

The University of Alabama in Huntsville contributes to the Technical Management of the Midcourse Space Experiment Program, to the Certification of the Level 2 data produced by the Midcourse Space Experiment's suite of in-orbit imaging radiometers, imaging spectra-radiometers and an interferometer and to the Transfer of the Midcourse Space Experiment Technology to other Government Programs. The Technical Management of the Midcourse Space Experiment Program is expected to continue through out the spacecraft's useful life time, 5 years after its 1996 launch. The Transfer of Midcourse Space Experiment Technology to other government elements is expected to be on a demand basis by the United States Government and other organizations. The University of Alabama Huntsville' contribution specifically supports the nine Ultraviolet Visible Imagers and Spectrographic Imagers (UVISI) and the Pointing and Alignment of all eleven of the science instruments. The science instruments effectively cover the 0.1 to 28 micron spectral region. The Midcourse Space Experiment spacecraft, launched April 24, 1996, is expected to have a 5 year useful lifetime with a 12 month lifetime for the cryogenically cooled IR sensor. A pre-launch, ground based calibration of the instruments provided a basis for the pre-launch certification of the Level 2 data base these instruments produce. With the spacecraft in-orbit the certification of the instruments' Level 2 data base is being extended to the in-orbit environment.

Pollock, David B.↗
NASA NTRS1998

Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop

To address concerns about time and expense associated with software aspects of certification, the Federal Aviation Administration (FAA) began the Streamlining Software Aspects of Certification (SSAC) program. As part of this program, a Technical Team was established to determine whether the cost and time associated with certifying aircraft can be reduced while maintaining or improving safety, with the intent of impacting the FAA's Flight 2000 program. The Technical Team conducted a workshop to gain a better understanding of the major concerns in industry about software cost and schedule. Over 120 people attended the workshop, including representatives from the FAA,commercial transport and general aviation aircraft manufacturers and suppliers, and procurers and developers of non-airborne systems; and, more than 200 issues about software aspects of certification were recorded. This paper provides an overview of the SSAC program, motivation for the workshop, details of the workshop activities and outcomes, and recommendations for follow-on work.

Hayhurst, Kelly J.↗
NASA NTRS1999

Noise Certification Predictions for FJX-2-Powered Aircraft Using Analytic Methods

Williams International Co. is currently developing the 700-pound thrust class FJX-2 turbofan engine for the general Aviation Propulsion Program's Turbine Engine Element. As part of the 1996 NASA-Williams cooperative working agreement, NASA agreed to analytically calculate the noise certification levels of the FJX-2-powered V-Jet II test bed aircraft. Although the V-Jet II is a demonstration aircraft that is unlikely to be produced and certified, the noise results presented here may be considered to be representative of the noise levels of small, general aviation jet aircraft that the FJX-2 would power. A single engine variant of the V-Jet II, the V-Jet I concept airplane, is also considered. Reported in this paper are the analytically predicted FJX-2/V-Jet noise levels appropriate for Federal Aviation Regulation certification. Also reported are FJX-2/V-Jet noise levels using noise metrics appropriate for the propeller-driven aircraft that will be its major market competition, as well as a sensitivity analysis of the certification noise levels to major system uncertainties.

Berton, Jeffrey J.↗
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 NTRS2002

Modular Certification

Airplanes are certified as a whole: there is no established basis for separately certifying some components, particularly software-intensive ones, independently of their specific application in a given airplane. The absence of separate certification inhibits the development of modular components that could be largely "precertified" and used in several different contexts within a single airplane, or across many different airplanes. In this report, we examine the issues in modular certification of software components and propose an approach based on assume-guarantee reasoning. We extend the method from verification to certification by considering behavior in the presence of failures. This exposes the need for partitioning, and separation of assumptions and guarantees into normal and abnormal cases. We then identify three classes of property that must be verified within this framework: safe function, true guarantees, and controlled failure. We identify a particular assume-guarantee proof rule (due to McMillan) that is appropriate to the applications considered, and formally verify its soundness in PVS.

Rushby, John↗
NASA NTRS2006

Crash Certification by Analysis - Are We There Yet?

This paper addresses the issue of crash certification by analysis. This broad topic encompasses many ancillary issues including model validation procedures, uncertainty in test data and analysis models, probabilistic techniques for test-analysis correlation, verification of the mathematical formulation, and establishment of appropriate qualification requirements. This paper will focus on certification requirements for crashworthiness of military helicopters; capabilities of the current analysis codes used for crash modeling and simulation, including some examples of simulations from the literature to illustrate the current approach to model validation; and future directions needed to achieve "crash certification by analysis."

Jackson, Karen E.↗
NASA NTRS2009

Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code

We present an approach to systematically derive safety cases for automatically generated code from information collected during a formal, Hoare-style safety certification of the code. This safety case makes explicit the formal and informal reasoning principles, and reveals the top-level assumptions and external dependencies that must be taken into account; however, the evidence still comes from the formal safety proofs. It uses a generic goal-based argument that is instantiated with respect to the certified safety property (i.e., safety claims) and the program. This will be combined with a complementary safety case that argues the safety of the framework itself, in particular the correctness of the Hoare rules with respect to the safety property and the trustworthiness of the certification system and its individual components. Keywords: Automated code generation, Hoare logic, formal code certification, safety case, Goal Structuring Notation.

Basir, Nurlida↗
NASA NTRS2013

Certification-Based Process Analysis

Space mission architects are often challenged with knowing which investment in technology infusion will have the highest return. Certification-based analysis (CBA) gives architects and technologists a means to communicate the risks and advantages of infusing technologies at various points in a process. Various alternatives can be compared, and requirements based on supporting streamlining or automation can be derived and levied on candidate technologies. CBA is a technique for analyzing a process and identifying potential areas of improvement. The process and analysis products are used to communicate between technologists and architects. Process means any of the standard representations of a production flow; in this case, any individual steps leading to products, which feed into other steps, until the final product is produced at the end. This sort of process is common for space mission operations, where a set of goals is reduced eventually to a fully vetted command sequence to be sent to the spacecraft. Fully vetting a product is synonymous with certification. For some types of products, this is referred to as verification and validation, and for others it is referred to as checking. Fundamentally, certification is the step in the process where one insures that a product works as intended, and contains no flaws.

Knight, Russell L.↗
NASA NTRS2014

Uncertainty Quantification and Certification Prediction of Low-Boom Supersonic Aircraft Configurations

The primary objective of this work was to develop and demonstrate a process for accurate and efficient uncertainty quantification and certification prediction of low-boom, supersonic, transport aircraft. High-fidelity computational fluid dynamics models of multiple low-boom configurations were investigated including the Lockheed Martin SEEB-ALR body of revolution, the NASA 69 Delta Wing, and the Lockheed Martin 1021-01 configuration. A nonintrusive polynomial chaos surrogate modeling approach was used for reduced computational cost of propagating mixed, inherent (aleatory) and model-form (epistemic) uncertainty from both the computation fluid dynamics model and the near-field to ground level propagation model. A methodology has also been introduced to quantify the plausibility of a design to pass a certification under uncertainty. Results of this study include the analysis of each of the three configurations of interest under inviscid and fully turbulent flow assumptions. A comparison of the uncertainty outputs and sensitivity analyses between the configurations is also given. The results of this study illustrate the flexibility and robustness of the developed framework as a tool for uncertainty quantification and certification prediction of low-boom, supersonic aircraft.

West, Thomas K., IV↗
NASA NTRS2008

Towards Certification of a Space System Application of Fault Detection and Isolation

Advanced fault detection, isolation and recovery (FDIR) software is being investigated at NASA as a means to the improve reliability and availability of its space systems. Certification is a critical step in the acceptance of such software. Its attainment hinges on performing the necessary verification and validation to show that the software will fulfill its requirements in the intended setting. Presented herein is our ongoing work to plan for the certification of a pilot application of advanced FDIR software in a NASA setting. We describe the application, and the key challenges and opportunities it offers for certification.

Software verification↗
NASA NTRS2016

Certification Strategies using Run-Time Safety Assurance for Part 23 Autopilot Systems

Part 23 aircraft operation, and in particular general aviation, is relatively unsafe when compared to other common forms of vehicle travel. Currently, there exists technologies that could increase safety statistics for these aircraft; however, the high burden and cost of performing the requisite safety critical certification processes for these systems limits their proliferation. For this reason, many entities, including the Federal Aviation Administration, NASA, and the US Air Force, are considering new options for certification for technologies that will improve aircraft safety. Of particular interest, are low cost autopilot systems for general aviation aircraft, as these systems have the potential to positively and significantly affect safety statistics. This paper proposes new systems and techniques, leveraging run-time verification, for the assurance of general aviation autopilot systems, which would be used to supplement the current certification process and provide a viable path for near-term low-cost implementation. In addition, discussions on preliminary experimentation and building the assurance case for a system, based on these principles, is provided.

automatic collision avoidance↗
NASA NTRS2018

Serious Gaming for Building a Basis of Certification via Trust and Trustworthiness of Autonomous Systems

Autonomous systems governed by a variety of adaptive and nondeterministic algorithms are being planned for inclusion into safety-critical environments, such as unmanned aircraft and space systems in both civilian and military applications. However, until autonomous systems are proven and perceived to be capable and resilient in the face of unanticipated conditions, humans will be reluctant or unable to delegate authority, remaining in control aided by machine-based information and decision support. Proving capability, or trustworthiness, is a necessary component of certification. Perceived capability is a component of trust. Trustworthiness is an attribute of a cyber-physical system that requires context-driven metrics to prove and certify. Trust is an attribute of the agents participating in the system and is gained over time and multiple interactions through trustworthy behavior and transparency. Historically, artificial intelligence and machine learning systems provide answers without explanation - without a rationale or insight into the machine “thinking”. In order to function as trusted teammates, machines must be able to explain their decisions and actions. This transparency is a product of both content and communication. NASA’s Autonomy Teaming & TRAjectories for Complex Trusted Operational Reliability (ATTRACTOR) project seeks to build a basis for certification of autonomous systems via establishing metrics for trustworthiness and trust in multi-agent team interactions, using AI (Artificial Intelligence) explainability and persistent modeling and simulation, in the context of mission planning and execution, with analyzable trajectories. Inspired by Massively Multiplayer Online Role Playing Games (MMORPG) and Serious Gaming, the proposed ATTRACTOR modeling and simulation environment is similar to online gaming environments in which player (aka agent) participants interact with each other, affect their environment, and expect the simulation to persist and change regardless of any individual agent’s active participation. This persistent simulation environment will accommodate individual agents, groups of self-organizing agents, and large-scale infrastructure behavior. The effects of the emerging adaptation and coevolution can be observed and measured to building a basis of measurable trustworthiness and trust, toward certification of safety-critical autonomous systems.

Allen, B. Danette↗
NASA NTRS2019

NASA's Approach to Additive Manufacturing Certification: Methodologies for Qualification of Additively Manufactured Aerospace Hardware

NASA's Approach to Additive Manufacturing Certification: Methodologies for Qualification of Additively Manufactured Aerospace Hardware. This course is intended to provide guidance and practical methodologies on how to establish a qualified process and deliver certifiable hardware per the requirements in MSFC-STD-3716 and MSFC-SPEC-3717. Course Objectives: Reinforce a basic understanding of AM processes; Become familiar with MSFC-STD-3716 and MSFC-SPEC-3717 requirements for metallic spaceflight hardware; Appreciate integrated path to Qualification and Certification; Understand products necessary to get you to Qualification and Certification.

West, Brian↗
NASA NTRS2019

Certification Gap Analysis

This report describes a generic method for addressing any new technology to its associated set of regulations and certification criteria. The result is a framework under which a detailed assessment can be conducted. Using just such a framework, the report maps the detailed updated regulations and evolving ASTM standards to the particular technology planning and tests. As a result, a roadmap of NASA technology is documented that shows clear transfer of technology data to industry (standards developers, as well as technology developers) and the FAA regulatory policy and certification staff upon whom certification and policy will be data-driven. A clear description of benefits and gaps are identified, as well.

Herbert Schlickenmaier↗
NASA NTRS2021

Toward Certification of Machine-Learning Systems for Low Criticality Airborne Applications

The exceptional progress in the field of machine learning (ML) in recent years has attracted a lot of interest in using this technology in aviation. Possible airborne applications of ML include safety-critical functions, which must be developed in compliance with rigorous certification standards of the aviation industry. Current certification standards for the aviation industry were developed prior to the ML renaissance without taking specifics of ML technology into account. There are some fundamental incompatibilities between traditional design assurance approaches and certain aspects of ML-based systems. In this paper, we analyze the current airborne certification standards and show that all objectives of the standards can be achieved for a low-criticality ML-based system if certain assumptions about ML development workflow are applied.

Avionics↗
DOE OSTI2026

CDRL: Certification-Driven Reinforcement Learning for Neutrino Flavor Model Discovery

Many scientific discovery problems require searching combinatorial hypothesis spaces under complex domain constraints. Reinforcement learning (RL) offers a promising approach, but existing methods rely on scalar rewards that provide limited information about why candidate solutions fail, leading agents to repeatedly explore invalid regions. We introduce Certification-Driven Reinforcement Learning (CDRL), a framework that leverages structured feedback from symbolic reasoning tools. When a candidate violates domain constraints, these tools produce certificates identifying the actions responsible for failure. CDRL converts these certificates into reusable constraints that eliminate classes of invalid solutions and guide exploration toward valid regions. We evaluate CDRL on neutrino flavor model discovery in theoretical particle physics, where the hypothesis space exceeds $10^{26}$ possible models, and compare it with the state-of-the-art RL approach previously used for this task. Across three theory spaces, CDRL achieves up to 1.95$\times$ higher valid model rates and up to 6.33$\times$ higher neutrino model rates while evaluating up to 4$\times$ fewer candidates. We further extract 40 interpretable rules from search trajectories using a post-hoc decision-tree framework and show that reusing them as soft constraints yields gains of up to 2$\times$ in valid model rates and 3$\times$ in neutrino model discovery across all three theory spaces. These results suggest that CDRL uncovers reusable structure in combinatorial search spaces and provides a general framework for scientific model discovery.

Jha, Piyush [Georgia Tech., Atlanta; Georgia Tech]↗
NASA NTRSDate not supplied

A HIRF-Map Certification Approach for UAM, AAM, and UAS Vehicles

Advanced Air Mobility (AAM), Urban Air Mobility (UAM), and Unmanned Aerial Systems (UAS) vehicles will fly in airspace similar to Transport Category Rotorcraft, requiring them to meet stringent requirements for High-Intensity Radiated Fields (HIRF) certification. The environment is notably severe, particularly compared to fixed-wing aircraft, due to operations at lower altitudes. This potentially exposes the vehicles to high-power transmitters on the ground, leading to significant challenges. High-level HIRF exposure can result in avionic system upsets, interference, and undesirable effects. Shielding and circuit protection against HIRF pose significant barriers concerning size, weight, and cost, especially for emerging electric vertical take-off and landing (eVTOL) and electric short take-off and landing (eSTOL) vehicles. This paper proposes a novel HIRF protection approach, aiming to reduce costs by certifying vehicles to a "vehicle tolerance level" lower than that required for Transport Category Rotorcraft. The remaining protection is achieved by maintaining a safe distance from known HIRF sources. This distance is calculated based on the vehicle's tolerance level and transmitter characteristics, such as transmit power, antenna beamwidth, and direction. Tailored flight maps are developed to identify transmitters and avoidance zones within an operating area or along a flight path, enabling restricted vehicle operations. Vehicles with higher tolerance levels could have smaller HIRF avoidance zones, allowing them to operate closer to transmitters. Transmitter data are sourced from government databases, such as those of the Federal Communications Commission (FCC) and the National Oceanic and Atmospheric Administration (NOAA). A map tool is developed using Matlab to calculate and visualize HIRF avoidance zones based on available databases. The tool determines stand-off distances based on input vehicle tolerance levels, displaying results on various base maps depicting HIRF-restricted areas. Illustrations cover various FCC transmitters, including AM/FM/TV transmitters, satellite earth stations, and NOAA weather radars. The HIRF zones of smaller transmitters, such as land-mobile radios, pagers, microwave links, and cellular towers, are also illustrated. An example of flight planning around transmitters is provided. For now, airports and government-owned lands are excluded due to limited access to sensitive transmitter data. Despite this approach, a minimum HIRF tolerance level for vehicles may still be necessary to cover mobile devices, cellular base stations, transmitters on other AAM vehicles, and other small power devices not included in the FCC databases. The paper discusses findings and areas for improving existing databases and suggests an approach for better access to sanitized data in more restricted government databases. This method significantly deviates from the standard approach and introduces slightly higher flight-planning complexity. However, the potential cost savings are considerable. Future AAM/UAM/UAS aeronautical charts could potentially incorporate these new HIRF avoidance zones. Keywords—HIRF; Map; AAM; UAM; UAS; Advanced Air Mobility; Urban Air Mobility; Unmanned Aerial Systems; Certification.

HIRF↗
DOE OSTI2022

Impact of WELL certification on occupant satisfaction and perceived health, well-being, and productivity: A multi-office pre- versus post-occupancy evaluation

The WELL Building Standard (WELL) is currently one of the most comprehensive building certification programs that aim to enhance the health and well-being of building occupants. However, there is a lack of systematic evaluation of the effectiveness of WELL in achieving its goal. This study investigates the impact of WELL certification on occupant satisfaction with the workplace and occupant perceived health, well-being, and productivity. More than 1300 pre- and post-occupancy survey responses provided by the nearly same cohort of occupants from six companies in North America were quantitatively analyzed. The results showed that transitioning to WELL certified offices from non-WELL certified offices had a positive impact on occupant satisfaction with the workplace and occupant perceived health, well-being, and productivity, with increases in means from pre-to post-occupancy being highly statistically significant. The majority of the studied occupant satisfaction parameters as well as occupant perceived mental health had large effect sizes. While they improved from pre-to post-occupancy, the analysis revealed small effect sizes for occupant perceived physical health and self-assessed productivity. The majority of the effect sizes for the perceived well-being parameters were large and medium. In addition to analyzing the survey responses in aggregate, the responses were examined at the individual company level to confirm the by-company and aggregate findings aligned.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗