Search NASASearch

Engineering topics

C. Michael Holloway

Publications and source records attributed to C. Michael Holloway.

Towards a Coherent View of Evidence in Safety Assurance

This paper explains why labeling something as evidence does not make it special and proposes a systematic approach for avoiding giving the word more authority than it warrants in rational inquiry about the real world.

evidence

The Friendly Argument Notation (FAN)

This document defines and explains through examples the Friendly Argument Notation (FAN). FAN builds on previous work investigating text-based ways to express arguments [2, 3]. Its primary intended use is for creating and evaluating arguments about safety-critical systems, especially the types of arguments common within safety and assurance cases [4], but nothing in its design constrains its use to that domain. Compared to existing notations commonly used within this domain (for example [6]), FAN corresponds more closely to traditional argument concepts (for example [1]), allows greater flexibility in expression, provides for including counter-arguments, and requires less knowledge of computer-science-specific concepts. Only time and use will determine how beneficial these differences are in practice. This paper concentrates on showing how FAN looks to someone who is using it manually to develop or assess arguments. A later document will concentrate on providing the information necessary for software tools to be created for FAN.

arugment

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