Search NASA⌕ Search

Engineering topics

C Michael Holloway

Publications and source records attributed to C Michael Holloway.

12 records
All sourcesNASA NTRSDOE OSTI
NASA NTRS2023

The Friendly Argument Notation (FAN): 2023 Version

This document constitutes the official description of the current iteration of the Friendly Argument Notation (FAN). This new version provides several enhancements to the original 2020 instantiation, while maintaining essential compatibility with it. Specifically, the new version enables distinguishing between deductive and non-deductive arguments, removes the requirement for always providing an explicit statement of reasoning, and relaxes the rules for when labels may be used. The primary intended use of FAN is unchanged: creating and evaluating arguments about safety-critical systems, specifically the types of arguments common within safety and assurance cases.

language↗
NASA NTRS2023

Aggregating Confidence: A Problem and A Solution

This paper has two main purposes: to articulate a concern about assessing arguments based on confidence; and to provide an assessment procedure which takes this concern into account. The concern is that confidence is a tricky notion for non-deductive Arguments: doubts inherent in Reasoning coalesces with doubts inherent in Premises. And, within a Compound Argument, this may happen many times over, thus accumulating in unpredictable ways. We explain two procedures we have developed to help address the concern in a methodical way.

language↗
NASA NTRS2021

A Primer on Argument Assessment

This paper follows up A Primer on Argument by providing introductory information about how to assess arguments. The structure is as follows. The opening section identifies and summarizes prerequisite information a reader needs to understand to understand this document. Section 2 introduces a way (but not the only way) to assess atomic arguments. Section 3 does the same for compound arguments. Section 4 wraps everything up. Appendix A collects the crucial information in one place. Appendix B explicates a detailed assessment example. The paper is published as a white paper because it is intended to be updated as additional experience is gained with its use.

argument↗
NASA NTRS2021

A Primer on Argument

The purpose of this document is to provide a common understanding of terms, concepts, principles, and uses of argument. It emphasizes the practical over the theoretical and the simple over the complicated.

argument↗
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 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↗