False Beliefs about the Overarching Properties & Overarching Properties Related Arguments
Explore the source record for details and available documents.
SEARCH · Search NASA
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.
Explore the source record for details and available documents.
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.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
Explore the source record for details and available documents.
The Overarching Properties (OPs) distill the essence of the implicit properties that decades of practice have determined an aviation system or subsystem must possess to be eligible for approval by relevant authorities. This document presents the fundamentals of construction and assessment for explicit arguments that conclude a system or subsystem possesses the OPs.
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.
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.
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.
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.
Explore the source record for details and available documents.
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.
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.
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.
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.
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.
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.
The Top-of-Atmosphere (TOA) Shortwave (SW) Direct Aerosol Radiative Effect (DARE) in all-sky conditions (i.e., aerosols in clear skies and aerosols above and below all types of clouds) is the global change in upwelling radiative flux due to aerosols. It is one of the strongest indicators of global climate change due to aerosols. SW DARE at TOA depends on the Earth’s surface albedo, cloud fraction, cloud optical properties, and aerosol optical properties, which are all challenging to accurately characterize from space. The overarching goals of our project are to provide state-of-the-art observational all-sky TOA SW DARE, along with guidance on which aerosol and/or cloud properties are the most important to measure, and at which spatio-temporal scales, for accurate DARE observations. We compute all-sky DARE based on state-of-the-art cloud and aerosol retrieval algorithms from CALIOP (Cloud–Aerosol Lidar with Orthogonal Polarization) and MODIS (Moderate Resolution Imaging spectroradiometer) satellite sensors, as well as aerosol intensive properties from MERRA-2 (Modern-Era Retrospective Analysis for Research and Applications, version 2) simulations over three specific regions of the Atlantic Ocean from 2012 to 2016. In this symposium, we present a characterization of the cloud and aerosol optical and physical properties and the observational TOA SW DARE along three individual satellite tracks in the Southeast Atlantic region -- on September 18 and 20, 2016 and August 13, 2017. We then quantify the impact of assuming homogeneous cloud or aerosol fields in space-based TOA SW DARE calculations. And, finally, the resulting space-based all-skies aerosol vertical distribution and DARE calculations are evaluated using remote sensing observations from coincident suborbital flights from the NASA ORACLES (the ObseRvations of Aerosols above CLouds and their intEractionS, ORACLES field campaign) field campaign. The NASA Atmospheric Observing System (AOS) mission addresses the NASA Aerosol, Cloud, Convection and Precipitation (ACCP) designated observables and proposes, as one of its aerosol objectives, to reduce uncertainties in estimates of global mean all-sky SW DARE at TOA. Well characterizing clouds, aerosol vertical distributions, aerosol types and associated all-skies DARE over the Atlantic Ocean will inform the AOS community on where, when, how, and how often the satellite retrievals should be performed to estimate DARE and reduce all-skies DARE uncertainties most accurately. These comprehensive characterizations will also identify the key regions and times when the AOS (or other ACCP-related) suborbital missions should be conducted to evaluate and improve the AOS space-based observations and retrievals.