C. Michael Holloway's Publications

Ten of My Favorite Papers (reverse chronological order)

  1. Holloway, C. Michael; and Graydon, Patrick J: "Explicate '78: Assurance Case Applicability to Digital Systems", DOT/FAA/TC-17/67, January 2018.
    (The published version was edited without my participation. The differences between the submitted version and the published version are not substantial, but nearly all of the humor of the submitted version was excised.)
  2. Holloway, C. Michael; Knight, John C.; and McDermid, John A.: "Neither Pollyanna nor Chicken Little: Thoughts on the Ethics of Automation", 2014 IEEE International Symposium on Ethics in Engineering, Science and Technology, 23-24 May 2014, Chicago, Illinois.
  3. Holloway, C. M.; Johnson, C. W.: "Reducing our Ignorance: Finding Answers to Certain Epistemic Questions for Software Systems", IET 6th International Conference on System Safety, 20-22 September 2011, Birmingham, UK.
  4. Holloway, C. M.; Johnson, C. W.; Collins, K. R.: "A Safety Conundrum Illustrated: Logic, Mathematics, and Science are not Enough", IET 5th International Conference on System Safety, 18-20 October 2010, Manchester, UK.
  5. Greenwell, William S; Knight, John C.; Holloway, C. Michael; Pease, Jacob J.: "A Taxonomy of Fallacies in System Safety Arguments", 24th International System Safety Conference, 31 July - 4 August 2006, Albuquerque, NM.
  6. Holloway, C. M.; Johnson, C. W.: "Why System Safety Professionals Should Read Accident Reports", IET 1st International Conference on System Safety, 6-8 June 2006, London, UK.
  7. Holloway, C. Michael; Johnson, Chris W.: "On the Prevalence of Organizational Factors in Recent U.S. Transportation Accidents", 23rd International System Safety Conference, 22-26 August 2005, San Diego, CA.
  8. Holloway, C. Michael; Johnson, Chris W.: "Distribution of Causes in Selected U.S. Aviation Accident Reports Between 1996 and 2003," 22nd International System Safety Conference, 2-6 August 2004, Providence, RI.
  9. Holloway, C. Michael: "Issues in Software Safety: Polly Ann Smith Co. v. Ned I. Ludd", Proceedings of the 20th International System Safety Conference, 5-9 August 2002, Denver, CO. (An earlier version of this paper was presented at the 2nd Meeting of the U.S. Software System Safety Working Group, Cambridge, MA, 19-20 February 2002)
  10. Holloway, C. Michael: "From Bridges and Rockets, Lessons for Software Systems", Proceedings of the 17th International System Safety Conference, August 16-21, 1999, Orlando, FL.

Other Refereed & Invited Papers & Talks

  1. Heaver, Emily; Holloway, C. Michael: Assurance Arguments for the Non-graphically-inclined: Two Approaches, NASA/TM-2017-219650, July 2017.
  2. Graydon, Patrick; Holloway, C. Michael: An Investigation of Proposed Techniques for Quantifying Confidence in Assurance Arguments, Safety Science, vol. 92, pp. 53-65, Feb. 2017.
  3. Graydon, Patrick; Holloway, C. Michael: An Investigation of Proposed Techniques for Quantifying Confidence in Assurance Arguments, NASA/TM-2016-219195, May 2016.
  4. Graydon, P. J.; Holloway, C. M.: "Evidence Under a Magnifying Glass: Thoughts on Safety Argument Epistemology", IET 10th System Safety and Cyber Security Conference, October 2015, Bristol, UK.
  5. Graydon, Patrick; Holloway, C. Michael: "Planning the Unplanned Experiment: Towards Assessing the Efficacy of Standards for Safety-Critical Software", NASA/TM-2015-218804, September 2015.
  6. Holloway, C. Michael: "Explicate '78: Uncovering the Implicit Assurance Case in DO-178C", Engineering Systems for Safety. Proceedings of the 23rd Safety-critical Systems Symposium, M. Parsons & T. Anderson (eds), 2-5 February 2015, Bristol, UK.
  7. Holloway, C. M:. "Towards Understanding the DO-178C / ED-12C Assurance Case", IET 7th International Conference on System Safety, October 2012, Edinburgh, Scotland.
  8. Johnson, C. W.; Oltedal, H. A.; Holloway, C. M.: "Comparing the Identification of Recommendations by Different Accident Investigators Using a Common Methodology", IET 7th International Conference on System Safety, October 2012, Edinburgh, Scotland.
  9. Johnson, C. W.; Holloway, C. M.: "A Possible Approach for Addressing Neglected Human Factors Issues of Systems Engineering", IET 6th International Conference on System Safety, September 20-22, 2011, Birmingham, UK.
  10. Johnson, C. W.; Holloway, C. M.: "Safety Arguments for Next Generation, Location Aware Computing", IET 5th International Conference on System Safety, 18-20 October 2010, Manchester, UK.
  11. Holloway, C. M.; Johnson, C. W.: "Epistemic Questions & Answers for Software System Safety", 28th International System Safety Conference, 30 August - 3 September 2010, Minneapolis, Minnesota.
  12. Holloway, C. M.; Johnson, C. W.: "Towards a Comprehensive Consideration of Epistemic Questions in Software System Safety", IET 4th International Conference on System Safety, 25-26 October 2009, London, UK.
  13. Holloway, C. M.: "Safety Case Notations: Alternatives for the Non-Graphically Inclined?" IET 3nd International Conference on System Safety, 21-23 October 2008, Birmingham, UK.
  14. Holloway, C. M.; Johnson, C. W.: "How Past Loss of Control Accidents May Inform Safety Cases for Advanced Control Systems for Commercial Aircraft" IET 3nd International Conference on System Safety, 21-23 October 2008, Birmingham, UK.
  15. Johnson, Chris W.; Shea, Christine; Holloway, C. Michael: "The Role of Trust and Interaction in Global Positioning System Related Accidents", 26th International System Safety Conference, 25-29 August 2008, Vancouver, British Columbia, Canada.
  16. Johnson, Chris.; Holloway, Michael: "A Historical Perspective on Aviation Accident Investigation", Safety Systems, Volume 17, Number 2, January 2008. (Invited paper for the 50th issue of the Safety-Critical Systems Club newsletter)
  17. Johnson, C. W.; Holloway, C. M.: "The Dangers of Failure Masking in Fault-Tolerant Software: Aspects of a Recent In-Flight Upset Event", IET 2nd International Conference on System Safety, 22-24 October 2007, London, UK.
  18. Johnson, C. W; Holloway, C. M.: "A Longitudinal Analysis of the Causal Factors in Major Maritime Accidents in the USA and Canada (1996-2006)", The Safety of Systems: Proceedings of the 15th Safety-Critical Systems Symposium, F. Redmill and T. Anderson (eds), 13-15 February 2007, Bristol, UK.
  19. Holloway, C. Michael: "Safety, Risk, and Other Misunderstood Ideas", IET 1st International Conference on System Safety, (unpublished keynote address) 6-8 June 2006, London, UK.
  20. Johnson, C. W.; Holloway, C. M.: "Questioning the Role of Requirements Engineering in the Causes of Safety-Critical Software Failures", IET 1st International Conference on System Safety, 6-8 June 2006, London, UK.
  21. Johnson, Chris W.; Holloway, C. Michael: "`Systemic Failures' and `Human Error' in Canadian TSB Aviation Accident Reports between 1996 and 2002," Proceedings of HCI in Aerospace 2004, 29 September - 1 October 2004, Toulouse, France.
  22. Johnson, Chris W.; Holloway, C. Michael: "The ESA/NASA SOHO Mission Interruption: Using the STAMP Accident Analysis Technique for a Software Related `Mishap'", Software: Practice and Experience, Volume 33, Number 12, October 2003, pp. 1177-1198.
  23. Johnson, Chris W.; Holloway, C. Michael: "A Survey of Logic Formalisms to Support Mishap Analysis", Reliability Engineering and Systems Safety, Volume 80, Issue 3, June 2003, pp. 271-291.
  24. Hanks, Kimberly S.; Knight, John C.; and Holloway, C. Michael: "The Role of Natural Language in Accident Investigation and Reporting Guidelines," 2002 Workshop on the Investigation and Reporting of Incidents and Accidents, Glasgow, Scotland, July 2002.
  25. Hayhurst, Kelly J; Holloway, C. Michael: "Challenges in Software Aspects of Aviation Systems", Proceedings of the 26 Annual NASA Goddard Software Engineering Workshop (IEEE/NASA SEW-26), 27-29 November 2001, Greenbelt, MD, pp. 7-13.
  26. Arthur, James D.; Groner, Markus K.; Hayhurst, Kelly J.; and Holloway. C. Michael: "Evaluating the Effectiveness of Independent Verification and Validation", IEEE Computer, October 1999, Volume 32, No. 10, pp. 79-83.
  27. Holloway, C. Michael; Butler, Ricky W.: "Impediments to Industrial Use of Formal Methods", IEEE Computer, April 1996, Volume 29, No.4, pp. 25-26.
  28. C. Michael Holloway: The Syntax of Dragoon: Evaluation and Recommendations, NASA Technical Memorandum 4385, July 1992.
  29. C. Michael Holloway: A Survey of Functional Programming Language Principles, NASA Technical Memorandum 89019, September 1986.

Other Papers & Conference Presentations

  1. Graydon, Patrick; Holloway, C. Michael: "Planning the Unplanned Experiment: Towards Assessing the Efficacy of Standards for Safety-Critical Software", 33rd International System Safety Conference, 24-27 August 2015, San Diego, CA.
  2. Holloway, C. Michael: "Making the Implicit Explicit: Towards an Assurance Case for DO-178C", 31st International System Safety Conference, 12-16 August 2013, Boston, MA.
  3. Brown, Sean; Holloway, C. Michael: "Analyzing a Midair Collision Over the Hudson River", 30th International System Safety Conference, 6-10 August 2012, Atlanta, GA.
  4. Holloway, C. M.; Johnson, C. W.: "A Look at Aircraft Accident Analysis in the Early Days: Do Early 20th Century Accident Investigation Techniques Have Any Lessons for Today?", IET 2nd International Conference on System Safety, 22-24 October 2007, London, UK.
  5. Holloway, C. Michael: "Software and Accidents: A Discussion about the Past & Speculation about the Future", 2006 Software and Complex Electronic Hardware Standardization Conference, June 2006, Atlanta, GA. (slides are available on request)
  6. Hayhurst, Kelly J.; Holloway, C. Michael: "Visions of Automation and Realities of Certification" Infotech@Aerospace, 26-29 September 2005, Arlington, VA. (No link is provided because I was quite unhappy with the compromises that were made to the paper to pass internal review. If you feel compelled to see it, you can find it through NTRS.)
  7. Johnson, Chris W.; Holloway, C. Michael: "A Technique for Showing Causal Arguments in Accident Reports", 23rd International System Safety Conference, 22-26 August 2005, San Diego, CA.
  8. Holloway, C. Michael: "Why You Should Read Accident Reports", 2005 Software and Complex Electronic Hardware Standardization Conference, July 2005, Norfolk, VA. (slides are available on request)
  9. Greenwell, William S.; Holloway, C. Michael; Knight, John C.: "A Taxonomy of Fallacies in System Safety Arguments", Technical Report CS-2005-02, University of Virginia Department of Computer Science, December 2004.
  10. Hayhurst, Kelly J.; Holloway, C. Michael: "Considering Object Oriented Technology in Aviation Applications", Proceedings of the 22nd Digital Avionics Systems Conference, 12-16 October 2003, Indianapolis, IN, paper 3.B.1.
  11. Holloway, C. Michael; Hayhurst, Kelly J.: "Software System Safety & the NASA Aeronautics Blueprint", Proceedings of the 21st International System Safety Conference, 4-8 August 2003, Ottawa, Ontario, Canada, pp. 1183-1192.
  12. Johnson, Chris W.; Holloway, C. Michael: "The Strengths and Weaknesses of Logic Formalisms to Support Mishap Analysis", Proceedings of the 21st International System Safety Conference, 4-8 August 2003, Ottawa, Ontario, Canada, pp. 1133-1142.
  13. Hayhurst, Kelly J; Holloway, C. Michael: "Aviation Software Guidelines", IEEE Software, Volume 19, Number 5, Sep/Oct 2002.
  14. Hayhurst, Kelly J; Holloway, C. Michael; Dorsey, Cheryl A.; Knight, John C.; Leveson, Nancy G.; McCormick, G. Frank; Yang, Jeffrey C.: Streamlining Software Aspects of Certification: Technical Team Report on the First Industry Workshop, NASA TM-1998-207648, April 1998.
  15. Holloway, C. Michael: "Why Engineers Should Consider Formal Methods", Proceedings of the 16th AIAA/IEEE Digital Avionics Systems Conference, October 26-30, 1997, Irvine CA, Volume 1, pages 1.3-16 - 1.3-22.
  16. Holloway, C. Michael: "Ada 95 and Safety-Critical Software", 14th AIAA/IEEE Digital Avionics Systems Conference, November 1995, pp 504-509.
  17. Butler, Ricky; Caldwell, James; Carreno, Victor; Holloway, Michael; Miner, Paul; and Di Vito, Ben: "NASA Langley's Research and Technology Transfer Program in Formal Methods", 10th Annual Conference on Computer Assurance (COMPASS 95), June 1995, Gaithersburg, MD
  18. C. Michael Holloway: "Software Engineering and Epistemology", Software Engineering Notes, Volume 20, No. 2, April 1995.
  19. Butler, Ricky W.; Di Vito, Ben L.; and Holloway, C. Michael: Formal Design and Verification of a Reliable Computing Platform For Real-Time Control (Phase 3 Results), NASA Technical Memorandum 109140, August, 1994.

Selected Presentations

  1. C. Michael Holloway: Applying the Results of "A Conditional Resolution of the Apparent Paradox of Self-Deception" to Research. A talk delivered to my branch in May 1999.
  2. C. Michael Holloway: An Overview of Why...Because...Analysis (WBA). A talk delivered to my branch in March 1999.
  3. C. Michael Holloway; Ben Di Vito; David Guaspari; Michael Smith: Formal Methods: Fact vs. Fiction, Panel Summary and Position Papers in TRI-Ada'94, November 1994, Baltimore, MD
  4. Holloway, C. Michael: "Epistemology, Software Enginering, and Formal Methods", extended abstract and presentation in The Role of Computers in Research and Development at Langley Research Center, NASA Conference Publication 10159, October 1994, pages 570-595.

Compilations

  1. Hayhurst, Kelly J; Holloway, C. Michael (compilers): Proceedings of the Second Workshop on the Investigation and Reporting of Incidents and Accidents, NASA/CP-2003-212642, NASA Langley Research Center, Hampton, Virginia, September 2003.
  2. Holloway, C. Michael (compiler): Lfm2000: Fifth NASA Langley Formal Methods Workshop, NASA/CP-2000-210100, NASA Langley Research Center, Hampton, Virginia, June 2000.
  3. Holloway, C. Michael; Hayhurst, Kelly J. (editors): Lfm97: Fourth NASA Langley Formal Methods Workshop, NASA Conference Publication 3356, NASA Langley Research Center, Hampton, Virginia, September 1997.
  4. Holloway, C. Michael (editor): Third NASA Langley Formal Methods Workshop, NASA Conference Publication 10176, NASA Langley Research Center, Hampton, Virginia, June 1995.
  5. Johnson, Sally C.; Holloway, C. Michael; and Butler, Ricky W. (editors): Second NASA Formal Methods Workshop 1992. NASA Conference Publication 10110, NASA Langley Research Center, Hampton, Virginia, November 1992.
last modified: 2018-09-05 (11:20:48)