Search NASA⌕ Search

SEARCH · Search NASA

Results for “Safety assurance”

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 73 records · Page 4

Comprehensive Lifecycle for Assuring System Safety

CLASS is a novel approach to the enhancement of system safety in which the system safety case becomes the focus of safety engineering throughout the system lifecycle. CLASS also expands the role of the safety case across all phases of the system's lifetime, from concept formation to decommissioning. As CLASS has been developed, the concept has been generalized to a more comprehensive notion of assurance becoming the driving goal, where safety is an important special case. This report summarizes major aspects of CLASS and contains a bibliography of papers that provide additional details.

Knight, John C.↗

The In-time Aviation Safety Management System Concept for Part 135 Operators

Transformations of the National Airspace System, such as envisioned with Advanced Air Mobility, will enable improvements for managing and assuring safety for Part 135 transportation of passengers and cargo. The purpose of this paper is to describe the In-time Aviation Safety Management System (IASMS) Concept of Operations (ConOps) and how its innovations such as using predictive analytics could benefit operators for risk management and safety assurance. The National Academies recommended development of an IASMS ConOps to secure a safe future NAS. Part 135 operators are currently not required to have a formal safety management system.

Kyle K. Ellis↗

Formal Methods Applications in Air Transportation

The U.S. air transportation system is the most productive in the world, moving far more people and goods than any other. It is also the safest system in the world, thanks in part to its venerable air traffic control system. But as demand for air travel continues to grow, the air traffic control system s aging infrastructure and labor-intensive procedures are impinging on its ability to keep pace with demand. And that impinges on the growth of our economy. Air traffic control modernization has long held the promise of a more efficient air transportation system. Part of NASA s current mission is to develop advanced automation and operational concepts that will expand the capacity of our national airspace system while still maintaining its excellent record for safety. It is a challenging mission, as efforts to modernize have, for decades, been hamstrung by the inability to assure safety to the satisfaction of system operators, system regulators, and/or the traveling public. In this talk, we ll provide a brief history of air traffic control, focusing on the tension between efficiency and safety assurance, and the promise of formal methods going forward.

Farley, Todd↗

Air Traffic Management Research at NASA

The U.S. air transportation system is the most productive in the world, moving far more people and goods than any other. It is also the safest system in the world, thanks in part to its venerable air traffic control system. But as demand for air travel continues to grow, the air traffic control systems aging infrastructure and labor-intensive procedures are impinging on its ability to keep pace with demand. And that impinges on the growth of our economy. Part of NASA's current mission in aeronautics research is to invent new technologies and procedures for ATC that will enable our national airspace system to accommodate the increasing demand for air transportation well into the next generation while still maintaining its excellent record for safety. It is a challenging mission, as efforts to modernize have, for decades, been hamstrung by the inability to assure safety to the satisfaction of system operators, system regulators, and/or the traveling public. In this talk, we'll provide a brief history of air traffic control, focusing on the tension between efficiency and safety assurance, and we'll highlight some new NASA technologies coming down the pike.

Farley, Todd↗

An In-time Aviation Safety Management System (IASMS) Concept of Operations for Vertiport Design and Operations

The National Airspace System is foreseen to undergo revolutionary change with Urban Air Mobility (UAM) and its use of vertiports to transport passengers and cargo. To assure safety with UAM and more broadly with Advanced Air Mobility (AAM), the National Academies recommended an In-time Aviation Safety Management System (IASMS) that is extensible to the design and operation of vertiports. Vertiport designs will scale in several dimensions including physical size and infrastructure depending upon location and in the Services, Functions, and Capabilities required for assuring safety with increasingly complex vertiport designs and operations. These operations will be enabled by evolving technologies including electric vertical takeoff and landing (eVTOL) aircraft for passenger-and cargo-carrying commercial transportation. Within this construct, safety hazards and risk mitigations involving predictive data analytics and modeling will be used. Use cases and future challenges are examined to guide maturation of the IASMS ConOps for vertiports.

K Ellis↗

MARVEL Lessons Learned – 2026 Edition Fabrication, Fuel Procurement, Quality Assurance, and Safety Basis

The Microreactor Applications Research Validation and Evaluation (MARVEL) project is intended to be among the first U.S. advanced reactor demonstrations in four decades. By virtue of being sponsored directly by the U.S. Department of Energy (DOE), the reactor is expected to benefit the broader nuclear community by exercising design processes, safety reviews, and supply chains. This project is committed to publicly documenting key lessons learned along the way toward demonstration. Building on a 2025 report that focused on lessons learned from guard vessel fabrication and Primary Coolant Apparatus Test (PCAT) testing (Abou-Jaoude et al. 2025), this 2026 edition captures findings spanning structural fabrication, quality assurance (QA), reactivity control system (RCS) assembly, fuel fabrication and shipment, safety basis development, balance-of-plant design, and overall reactor design.

21 - SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLAN↗

Defining Services, Functions, and Capabilities for an Advanced Air Mobility (AAM) In-time Aviation Safety Management System (IASMS)

NASA’s vision for Advanced Air Mobility (AAM) Mission is to help emerging aviation markets to safely develop an air transportation system that moves people and cargo between places previously not served or underserved by aviation. The integration of new operational paradigms and vehicle classes in this system requires a transformation of the National Airspace System (NAS) that includes substantive changes critical for assuring safety. These changes are compelled by unique challenges posed by AAM to the safety management system (SMS). These challenges were assessed by committees of the National Academies in their reports on a vision for an In-time Aviation Safety Management System (IASMS) and a blueprint for AAM [1,2]. In their description of an IASMS, the top recommendation was development of a concept of operations (ConOps) for IASMS. This paper describes the high-priority recommendations from the National Academies for its IASMS vision and how they are addressed through a distributed system-of-systems architecture. The IASMS architecture is structured on the services, functions, and capabilities (SFCs) necessary for In-time System-wide Safety Assurance (ISSA)initially developed for urban air mobility (UAM). The paper then posits where these SFCs would reside across vehicles, airspace, or service suppliers such as Supplemental Data Service Providers (SDSPs), and how SFCs scale with increasing complexity in design and operations of AAM. SFCs are foundational building blocks for a system that targets an individual or family of risks using a Monitor-Assess-Mitigate risk paradigm for anomalies, precursors and trends. An IASMS could be conceived that uses a portfolio of SFCs for AAM in general or prioritizes SFCs for a specific domain or operation.

K Ellis↗

Architecture and Information Requirements to Assess and Predict Flight Safety Risks During Highly Autonomous Urban Flight Operations

As aviation adopts new and increasingly complex operational paradigms, vehicle types, and technologies to broaden airspace capability and efficiency, maintaining a safe system will require recognition and timely mitigation of new safety issues as they emerge and before significant consequences occur. A shift toward a more predictive risk mitigation capability becomes critical to meet this challenge. In-time safety assurance comprises monitoring, assessment, and mitigation functions that proactively reduce risk in complex operational environments where the interplay of hazards may not be known (and therefore not accounted for) during design. These functions can also help to understand and predict emergent effects caused by the increased use of automation or autonomous functions that may exhibit unexpected non-deterministic behaviors. The envisioned monitoring and assessment functions can look for precursors, anomalies, and trends (PATs) by applying model-based and data-driven methods. Outputs would then drive downstream mitigation(s) if needed to reduce risk. These mitigations may be accomplished using traditional design revision processes or via operational (and sometimes automated) mechanisms. The latter refers to the ‘in-time’ aspect of the system concept. This report comprises architecture and information requirements and considerations toward enabling such a capability within the domain of low altitude highly autonomous urban flight operations. This domain may span, for example, public-use surveillance missions flown by small unmanned aircraft (e.g., infrastructure inspection, facility management, emergency response, law enforcement, and/or security) to transportation missions flown by larger aircraft that may carry passengers or deliver products. Caveat: Any stated requirements in this report should be considered initial requirements that are intended to drive research and development (R&D). These initial requirements are likely to evolve based on R&D findings, refinement of operational concepts, industry advances, and new industry or regulatory policies or standards related to safety assurance.

Young, Steven↗

Water Vapor Sensors Go Sky-High to Assure Aircraft Safety

JPL used a special tunable diode laser, which NASA scientists could tune to different wavelengths, like a radio being tuned to different frequencies, to accurately target specific molecules and detect small traces of gas. This tunable diode laser was designed to emit near-infrared light at wavelengths absorbed by the gas or gases being detected. The light energy being absorbed by the target gas is related to the molecules present. This is usually measured in parts per million or parts per billion. Multiple measurements are made every second, making the system quick to respond to variations in the target gas. NASA scientists developed this technology as part of the 1999 Mars Polar Lander mission to explore the possibility of life-giving elements on Mars. NASA has since used the tunable diode laser-based gas sensor on aircraft and on balloons to successfully study weather and climate, global warming, emissions from aircraft, and numerous other areas where chemical gas analysis is needed. SpectraSensors, Inc., was formed in 1999 as a spinoff company of JPL, to commercialize tunable diode laser-based analyzers for industrial gas-sensing applications (Spinoff 2000). Now, the San Dimas, California-based firm has come back to the market with a new product featuring the NASA-developed instrument for atmospheric monitoring. This instrument is now helping aircraft avoid hazardous weather conditions and enabling the National Weather Service to provide more accurate weather forecasts.

Source record↗

Space Launch System (SLS) Safety, Mission Assurance, and Risk Mitigation

SLS Driving Objectives: I. Safe: a) Human-rated to provide safe and reliable systems for human missions. b) Protecting the public, NASA workforce, high-value equipment and property, and the environment from potential harm. II. Affordable: a) Maximum use of common elements and existing assets, infrastructure, and workforce. b) Constrained budget environment. c) Competitive opportunities for affordability on-ramps. III. Sustainable: a) Initial capability: 70 metric tons (t), 2017-2021. 1) Serves as primary transportation for Orion and exploration missions. 2) Provides back-up capability for crew/cargo to ISS. b) Evolved capability: 105 t and 130 t, post-2021. 1) Offers large volume for science missions and payloads. 2) Modular and flexible, right-sized for mission requirements.

May, Todd↗

NASA's Office Safety Mission Assurance Efforts to Improve Non-destructive Evaluation Methods for Additive Manufacturing and In-Space Inspection

National Aeronautics and Space Administration (NASA) continues to push the boundary of manned flight. Current mission profiles include flights to the Moon and Mars. Many of these missions require advance manufacturing and planned off planet resource utilization. As NASA continues to develop highly advance materials and manufacturing techniques to meet these mission profiles, inspection of these increasingly complex parts has had to evolve as well. Additive manufacturing is coming to the forefront as a primary manufacturing technique but offers unique challenges when inspection and certification are required. NASA has been working diligently to be a leader in developing and utilizing inspection techniques capable of inspecting these highly advanced parts. Additionally additive manufacturing techniques can also be used to build parts in space and provides a vehicle for in-situ resource utilization for off world missions. As NASA and its commercial crew partners move forward, inspection techniques will need to continue to advance to ensure safe manned space flight. In this talk NASA will highlight many of the advanced nondestructive evaluation efforts going on across the agency, as well as providing highlights for points of infusion for helping NASA meet its future mission goals.

NDE↗

Growing the NASA Safety and Mission Assurance (SMA) Workforce of Tomorrow

The NASA Safety Center (NSC) was established in2006 in response to Columbia Accident Investigation Board (CAIB) recommendations to strengthen NASA’s safety program. The NSC supports all NASA centers and facilities. The NSC fosters world-class Safety and Mission Assurance (SMA) support for NASA programs and projects through professional development activities and the advancement of the following SMA technical disciplines: - Aviation Safety - Operational Safety - Quality Engineering - Reliability and Maintainability - SMA Technical Leadership - Software Assurance - System Safety The NSC’s Technical Excellence Office (TEO) is charged with encouraging technical excellence in NASA’s SMA community primarily through professional development products and services. TEO’s first initiative was the SMA Technical Excellence Program (STEP). STEP is a career-oriented, professional development roadmap for safety professionals, which is designed for the employee to learn specific knowledge and skills to improve performance in their current role.

Safety and Mission Assurance↗

Towards a Formal Basis for Modular Safety Cases

Safety assurance using argument-based safety cases is an accepted best-practice in many safety-critical sectors. Goal Structuring Notation (GSN), which is widely used for presenting safety arguments graphically, provides a notion of modular arguments to support the goal of incremental certification. Despite the efforts at standardization, GSN remains an informal notation whereas the GSN standard contains appreciable ambiguity especially concerning modular extensions. This, in turn, presents challenges when developing tools and methods to intelligently manipulate modular GSN arguments. This paper develops the elements of a theory of modular safety cases, leveraging our previous work on formalizing GSN arguments. Using example argument structures we highlight some ambiguities arising through the existing guidance, present the intuition underlying the theory, clarify syntax, and address modular arguments, contracts, well-formedness and well-scopedness of modules. Based on this theory, we have a preliminary implementation of modular arguments in our toolset, AdvoCATE.

Safety↗

ICAROUS: Integrated Configurable Architecture for Unmanned Systems

NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling near-term, safe operations of small UAS vehicles in uncontrolled airspace, i.e., Class G airspace. A far-term goal of UTM research and development is to accommodate the expected rise in small UAS traffic density throughout the National Airspace System (NAS) at low altitudes for beyond visual line-of-sight operations. This video describes a new capability referred to as ICAROUS (Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems), which is being developed under the auspices of the UTM project. ICAROUS is a software architecture comprised of highly assured algorithms for building safety-centric, autonomous, unmanned aircraft applications. Central to the development of the ICAROUS algorithms is the use of well-established formal methods to guarantee higher levels of safety assurance by monitoring and bounding the behavior of autonomous systems. The core autonomy-enabling capabilities in ICAROUS include constraint conformance monitoring and autonomous detect and avoid functions. ICAROUS also provides a highly configurable user interface that enables the modular integration of mission-specific software components.

Consiglio, Maria C.↗

ICAROUS - Integrated Configurable Algorithms for Reliable Operations Of Unmanned Systems

NASA's Unmanned Aerial System (UAS) Traffic Management (UTM) project aims at enabling near-term, safe operations of small UAS vehicles in uncontrolled airspace, i.e., Class G airspace. A far-term goal of UTM research and development is to accommodate the expected rise in small UAS traffic density throughout the National Airspace System (NAS) at low altitudes for beyond visual line-of-sight operations. This paper describes a new capability referred to as ICAROUS (Integrated Configurable Algorithms for Reliable Operations of Unmanned Systems), which is being developed under the UTM project. ICAROUS is a software architecture comprised of highly assured algorithms for building safety-centric, autonomous, unmanned aircraft applications. Central to the development of the ICAROUS algorithms is the use of well-established formal methods to guarantee higher levels of safety assurance by monitoring and bounding the behavior of autonomous systems. The core autonomy-enabling capabilities in ICAROUS include constraint conformance monitoring and contingency control functions. ICAROUS also provides a highly configurable user interface that enables the modular integration of mission-specific software components.

Consiglio, María↗