Engineering Papers⌕ Search

SEARCH · Engineering Papers

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 127 records · Page 7
All sourcesNASA NTRSDOE OSTI
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 OSTI2015

New Whole-House Solutions Case Study: Meeting DOE Challenge Home Program Certification - Chicago, IL; Denver, CO; Devens, MA

In this project, three production home builders—K. Hovnanian Homes, David Weekley Homes, and Transformations, Inc.—partnered with Building America team Building Science Corporation to evaluate the certification of five test homes to the new DOE Challenge Home program performance standard (now DOE Zero Energy Ready Home program). The builders identified key benefits and barriers that impacted the certification of the test homes, and the likelihood of whether DOE Challenge Home certification would be pursued in future homes

BSC↗
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↗
DOE OSTI2020

Communication-efficient certificate revocation management for Advanced Metering Infrastructure and IoT Integration

Advanced Metering Infrastructure forms a communication network for the collection of power data from smart meters in Smart Grid. As the communication between smart meters could be secured utilizing public-key cryptography, however, public-key cryptography still has certain challenges in terms of certificate revocation and management particularly related distribution and storage overhead of revoked certificates. To address this challenge, in this work, we propose a novel revocation management approach by utilizing cryptographic accumulators which reduces the space requirements for revocation information significantly and thus enables efficient distribution of such information to all smart meters. We implemented the proposed approach on both ns-3 network simulator and a testbed. We demonstrated its superior performance with respect to traditional methods for revocation management.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Establishment of a Nationwide Plasma Science and Fusion Energy Certification and Apprenticeship Programs

Here we propose the establishment of a national Plasma Science and Fusion Energy training program that will combine professional development certification courses with hands-on apprenticeship opportunities. The program should be developed by a collaboration of stakeholders (academia, national laboratories, and industry) and should offer pathways for students from community colleges (CCs), minority-serving institutions (MSIs), high school graduates, and veterans. We argue that certification courses offer fast and flexible discipline-specific education that can be rapidly translated into marketable skills through hands-on apprenticeship opportunities. Furthermore, we first list major findings and recommendations related to the fusion workforce and discuss how to address them through the establishment of the proposed training program. We then highlight the appropriateness of this format for engagement with CCs, MSIs, high schools, and veteran employment services. In the final section, we provide a strategy for the establishment of the program, along with a tentative timeline and projected costs.

Certification↗
DOE OSTI2012

Home Energy Professional Certifications (Fact Sheet)

As the weatherization and home energy upgrade industries expand and gain recognition, the need for a qualified workforce becomes more apparent. The certification component of the Guidelines project was designed to create meaningful and lasting careers for weatherization workers. Intended for experienced home energy professionals, the four new certifications focus on the most common jobs in the industry: energy auditor, retrofit installer technician, crew leader, and quality control inspector.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2025

Insights and Impacts of Credentials: Energy Auditor, Quality Control Inspector, and Certification Updates

Join this session to learn about recent and upcoming Home Energy Professional credential and resource updates from the National Renewable Laboratory (NREL) in support of the U.S. Department of Energy's Weatherization Assistance Program (WAP). NREL staff will provide an in-depth overview of improvements to the EA and QCI certification schemes. Be prepared to provide feedback and share new ideas in pursuit of continuous improvement within WAP. These certifications are critical to ensuring the highest standards of quality, safety, and efficiency within the Weatherization Assistance Program, helping to elevate the skills of professionals and drive the program's overall success.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2019

The Critical Role of International Standards and Certification for the Marine Energy Industry

In 2007 the International Electrotechnical Commission (IEC) initiated Technical Committee (TC) IEC/TC 114 to develop standards for marine energy converters including wave, tidal and other water current converters. Following the inaugural plenary meeting in 2008, the first IEC/TC 114 Technical Specification (TS), Terminology, was published in 2011 and significant work on the development of other TSs is ongoing. Initial conformity assessment activities began in 2011 and the Marine Energy Operational Management Committee (ME-OMC) of the IEC Renewable Energy (IECRE) System was established in 2014. An update on the status of international, consensus-based, marine energy standards and certification deliverables will be provided, including the development of Renewable Energy Test Reports (RETRs) under the IECRE. Currently, IEC/TC 114 has fourteen participating member (P-Member) countries and thirteen observer member (O-Member) countries. Nine Project Teams (PTs), two Ad-hoc Groups (AHGs), and seven Maintenance Teams (MTs) are engaged in writing new TSs, assessing information on TS applications and preparing the published TSs for release of 2nd Editions. To date, IEC/TC 114 has published ten TSs covering subjects including wave and tidal energy converter performance assessment and wave and tidal resource assessment. Additional TSs are expected to be published in 2019 covering river and ocean thermal energy converters and resources, among others. TSs developed by IEC/TC 114 and applied by the industry are essential to reduce risk and increase confidence in marine energy systems. These TSs serve as the fundamental underpinnings of international, 3rd party conformity assessment systems, such as the IECRE. The IECRE is currently comprised of fifteen Member Bodies and operates three Sectors: Marine Energy (ME), Solar Photovoltaic (PV) and Wind Energy (WE). The IECRE ME sector has reached a critical milestone in the development of 3rd party conformity assessment deliverables for the marine energy industry. With the approval of IECRE 03 Ed. 2 and OD 300-200 Ed. 1, the ME Sector established a mechanism for the acceptance of Renewable Energy Test Laboratories (RETLs) with a scope in the IEC TS 62600-200 (Power Performance Assessment of Electricity Producing Tidal Energy Converters). A three-year transition period for test laboratory self- assessment based on ISO/IEC 17025 accreditation has been implemented to encourage RETL participation in the ME Sector. A detailed review of IEC/TC 114 and ME-OMC activities is provided and the critical connection between the development and implementation of international standards, and the associated conformity assessment rules and procedures, and the continued growth and commercial success of the marine energy industry is highlighted and examined. Emphasis is given to the role standards and certification play in risk reduction, improved quality and reliability, and increased confidence for the entire range of industry stakeholders.

16 TIDAL AND WAVE POWER↗