Search NASA⌕ Search

SEARCH · Search NASA

Results for “overarching properties”

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 19 records
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

False Beliefs about the Overarching Properties and Overarching Properties Related Arguments

False beliefs about new ideas are not new. They happen all the time, for a wide variety of reasons. Although the Overarching Properties are solidly grounded in time-honored principles, they constitute a novel expression of those ideas, and newness-based false beliefs about them are to be expected. Similarly, although Overarching Properties Related Arguments are solidly grounded in thousands of years of study of the principles of argumentation, they introduce concepts and applications that are novel to many engineers and engineering managers. So, false beliefs about them are also to be expected. Indeed, false beliefs have arisen and are spreading in the wild about both the Overarching Properties and Overarching Properties Related Arguments. This paper seeks to dispel three known false beliefs about each concept.

overarching properties↗
NASA NTRS2019

Understanding the Overarching Properties

This document explains the purpose, history, and philosophy of the Overarching Properties, and explains the specific details of each property, the relationships among them, and some practical considerations that attach to their use. Although it has been extensively reviewed by over a dozen members of the Overarching Properties Working Group, it does not constitute official guidance, nor does it necessarily express a unanimously agreed view of the Working Group on every detail.

C Michael Holloway↗
NASA NTRSDate not supplied

Overarching Properties as Means of Compliance: An Industrial Case Study

The Overarching Properties (OPs) have been created by an inter-national working group and are being evaluated by the National Aeronautics and Space Administration (NASA), the Federal Aviation Administration (FAA), industry, and other certifying agencies in an effort to streamline certification processes. Their intent is to facilitate the use of alternative approaches and to al-low flexibility to combine the system, software, and complex hardware certification. The hope is that the FAA may eventually establish an Advisory Circular that offers the OPs as a Means of Compliance (MoC) for software approval (and eventually systems and hardware) by showing the product possesses the three OPs: Intent (specification of the intended behavior), Correctness (implementation of the intended behavior) and Innocuity (safety of unintended behavior). In the certification community, there is still a concern about the practicability of using such high level properties in certification. This paper aims to address that concern by showing possession of the OPs in an industrial case study using assurance arguments. The two main contributions of this paper are: a certification process based on OPs as Means of Compliance, and a certification argument for an on-board physical model of an UAV, as industrial example. We pro-pose a hybrid approach for the certification process that combines OPs with existing certification standards. Thus, OPs can be used for parts of a system that uses technologies that are not supported by current standards or for which existing standards require additional effort without commensurate additional safety assurance.

certification↗
NASA NTRS2020

A Primer on Argument (Overarching Properties Edition)

The purpose of this document is to establish for the Overarching Properties Working Group (OPWG) a common understanding of the terms, concepts, principles, and uses of argument. It emphasizes the practical over the theoretical and the simple over the complicated.

argument↗
NASA NTRS2021

Retrospectively Documenting Satisfaction of the Overarching Properties: An Exploratory Prototype

Software-intensive aviation systems are typically developed in accordance with recognized development process, safety analysis, and software development standards such as SAE ARP4754A, SAE ARP4761, and RTCA DO-178C. Efforts to streamline assurance processes and make them flexible enough to handle future assurance challenges have produced the Overarching Properties (OPs) for airworthiness approval. Each of the three OPs is a property systems must possess to be certifiable. There is no mandated means of documenting possession of the OPs. To explore possible means, we have prepared retrospective documentation showing that a specimen software system possesses the OPs. The specimen system, Safeguard, enforces geofencing restrictions on unmanned aerial vehicles. Our OP-possession case for its airborne component comprises eight arguments in the Goal Structuring Notation (GSN): a main argument for each OP and five cross-cutting auxiliary arguments. We present this argument as an example for discussion and further research, e.g., into means of assessing OP possession.

safety case↗
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 NTRSDate not supplied

Certification Considerations for Adaptive Stress Testing of Airborne Software

eduAdaptive Stress Testing (AST) has shown promise in identifying errant corner cases in complex software used in aerospace applications including Flight Management Systems (FMS). The strength of AST is performing test-based verification of complex aerospace software intensive systems at scale in simulated operational environments.Simulating and capturing the realistic operational complexities in integrated verification environments may exposeflaws in the softwareprior to field deployment, whereas the software may perform just fine to traditional requirements-basedunit and component level testing.AST can be used to test the whole system.Individual components may behave safely, but together can result in complex interactions and emergent failures, so it is important to test at the integrated system level.Motivated by the observed benefitsat the prototype proof of concept scale, this paper considers how AST may be integrated into a production workflow and used to generate objective evidence in a processthat delivers certified aerospace software.The research includes evaluation of alignment with both DO-178C and Overarching Properties(OP). The paper addresses questions such as “where should AST fit in the Plan for Software Aspects of Certification (PSAC) and Software Verification Plan (SVP), what aspects of AST do not fit, and what objectives does it satisfy?” The paper concludes that AST is in fact useful at locating errors in complex airborne application software and in doing so provides benefits to suppliers and end users. Furthermore, AST appears appropriate to add value in both DO-178Cbased and Overarching Properties based certification approaches.

certification↗
NASA NTRS2018

Biocene 2018 - Welcome to the Period of New Life

Biocene is the period of new life. When our descendants look back at this period in time, they will see evidence, in the geologic and electronic record, of anthropic climate change, growing population, and scarcity of resources. But they will also see the rebirth of human ingenuity as we overcame the challenges that faced us through nature-inspired exploration. The Periodic Table of Life (PeTaL) is a proposed tool and open source framework that uses artificial intelligence to aid in the systematic inquiry of biology for its application to human systems. This presentation defines the PeTaL concept and workflow. Biomimicry, biophysics, biomimetics, bionics and numerous other terms refer to the use of biology and biological principles to inform practices in other disciplines. For the most part, the domain of inquiry in these fields have been confined to extant biological models with the proponents of biomimicry often citing the evolutionary success of extant organisms relative to extinct ones. The primary objective of this paper is to expand the domain of inquiry for human processes that seek to model those that are, were or could be found in nature with examples that relate to the field of aerospace and to spur development of tools that can work together to accelerate the use of artificial intelligence in problem solving. Specifically specialized fields such as paleomimesis, anthropomimesis and physioteleology are proposed in conjunction with artificial evolution. Blockchain technology may be vital in allowing open source design tools such as PeTaL to democratize design and yet protect intellectual property. The overarching philosophy outlined here can be thought of as physiomimetics, a holistic and systematic way of learning from natural history. The backbone of PeTaL integrates an unstructured database with an ontological model consisting of function, morphology, environment, state of matter and ecosystem. Tools include text classification, thesaurus, data visualization, and analysis. Applications of PeTaL include guiding human space exploration, understanding human and geological history, and discovering new or extinct life.

Biocene↗
NASA NTRS2003

Laboratory for Atmospheres 2002 Technical Highlights

How can we improve our ability to predict the weather-tomorrow, next week, and into the future? How is the Earth's climate changing? What causes such change? And what are its costs? What can the atmospheres of distant planets teach us about our own planet and its evolution? The Laboratory for Atmospheres is helping to answer these and other scientific questions about our planet and its neighbors. The Laboratory conducts a broad theoretical and experimental research program studying all aspects of the atmospheres of the Earth and other planets, including their structural, dynamical, radiative, and chemical properties, with the overarching goal to provide better understanding and to improve prediction of the Earth's climate. Vigorous research is central to NASA's exploration of the frontiers of knowledge. NASA scientists play a key role in conceiving new space missions, providing mission requirements, and carrying out research to explore the behavior of planetary systems, including, notably, the Earth's. Our Laboratory's scientists also supply outside scientists with technical assistance and scientific data to further investigations not immediately addressed by NASA itself. Laboratory scientists submit competitive research proposals with diverse scientific or technological approaches to NASA and other Federal agencies to acquire research support. The Laboratory management strives to provide a working environment that promotes creativity, competition, and openness. The Laboratory for Atmospheres is a vital participant in NASA's research program. Our Laboratory often has relatively large programs, sizable satellite missions, or observational campaigns that require the cooperative and collaborative efforts of many scientists. We ensure an appropriate balance between our scientists' responsibility for these large collaborative projects and their need for an active individual research agenda. This balance allows members of the Laboratory to continuously improve their scientific credentials. The Laboratory places high importance on promoting and measuring quality in its scientific research. We strive to assure high quality through peer-review funding processes that support approximately 90% of the work in the Laboratory. The overall quality of our scientific efforts is evaluated periodically by committees of advisors from the external scientific community, as detailed in Appendix 2 of this document. Members of the Laboratory interact with the general public to support a wide range of interests in the atmospheric sciences. Among other activities, the Laboratory raises the public's awareness of atmospheric science by presenting public lectures and demonstrations, by making scientific data available to wide audiences, by teaching, and by mentoring students and teachers. Section 6 presents details of the Laboratory's outreach activities during 2002. The Laboratory is also committed to addressing the demographic imbalances that exist today in the atmospheric and space sciences. We must address these imbalances for our field to enjoy the full benefit of all of the Nation's talent. The Laboratory makes substantial efforts to attract new scientists to the fields of atmospheric and space sciences. We strongly encourage the establishment of partnerships with Federal and state agencies that have operational responsibilities to promote the societal application of Earth sciences.

Steven E. Platnick↗
NASA NTRSDate not supplied

Fundamental Regolith Properties, Handling and Water Capture (FLEET)

Overarching goal is to demonstrate, through modeling and fundamental tests, five design concepts, including: one design concept for fundamental excavation force reduction, two design concepts for regolith soil handling, and two design concepts for mobile water collection.

Lunar Regolith↗
DOE OSTI2024

Search for 3D topological superconductors using laser-based spectroscopy (Final Technical Report)

The three-dimensional topological superconductor (3D TSC) is a novel quantum phase of matter that is predicted to exhibit exotic thermal and electrical properties, which may serve applications ranging from precision thermal management and sensing technologies to fault-tolerant quantum information processing. Over the past decade, there has been an intensive effort to realize 1D and 2D TSCs by artificially engineering them from combinations of already existing materials. For example, coupling conventional superconductors to spin-orbit coupled 1D nanowires or to 2D topological insulator surfaces by the proximity effect provides a route to realizing 1D and 2D TSCs respectively. However no artificial engineering strategy is available for a 3D TSC. Therefore, current searches are limited to intrinsically superconducting compounds whose topological properties are difficult to predict. The overarching goal of this project was to realize and to identify 3D TSCs in bulk single crystals using novel laser-based spectroscopic techniques. One major thrust was to develop ultralow temperature and ultra-high-resolution angle-resolved photoemission spectroscopy (ARPES) to directly measure the dispersion of Majorana excitations that are predicted to exist on the surfaces of 3D TSCs. Another major thrust was to develop a rational route to realize 3D TSCs by identifying their precursor phases. It is theoretically proposed that the critical fluctuations of certain ordered electronic phases can mediate Cooper pairing in odd-parity channels and lead to topological superconductivity. Therefore, 3D TSCs may potentially emerge upon suppressing these inversion symmetry broken precursor phases to a critical point with external perturbations such as pressure, strain or even light. To test this hypothesis, we studied candidate materials using a suite of symmetry-sensitive optical probes including rotational anisotropy optical second harmonic generation (RA-SHG) and time-resolved coherent phonon spectroscopy, all operable under high-pressure and low temperature environments.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗
NASA NTRSDate not supplied

Remote Marine Aerosol Properties over the Western North Atlantic Ocean during NAAMES

The overarching goal of this postdoctoral project is: quantitatively assess and constrain the aerosol budgets in the remote North Atlantic marine boundary layer, under a wide range of aerosol emission sources, meteorological states to improve process-level understanding of marine aerosol-cloud interactions critical to adequately link observations and climate modelling.

Aerosol NAAMES↗