Mallory S. Graydon

Mallory is a Research Computer Scientist at NASA Langley Research Center in Hampton, Virginia, USA. She has worked as a Software Design Engineer building software for medical devices and for test and measurement applications, as a Research Associate at the University of York (UK), and as a Researcher at Mälardalen University (Sweden). Mallory’s research on safety assurance for software-intensive systems has covered safety process planning, review of safety arguments, assurance of changes to legacy systems, safety cases for component-based systems, mixed-criticality hard real time scheduling, formal argumentation, and argument confidence.

Her work explores the efficacy and appropriateness of argument-based approaches to civil aviation safety assurance. Mallory co-organized the 2014 workshop on Planning the Unplanned Experiment: Assessing the Efficacy of Standards for Safety Critical Software.

Selected publications:

• P. J. Graydon. The Simple Assurance Argument Interchange Format (SAAIF) manual. Technical Memorandum NASA/TM-2018-219837, National Aeronautics and Space Administration, Hampton, VA, USA, June 2018. (pdf)
• P. J. Graydon. The safety argumentation schools of thought. In Proceedings of the Workshop on Argumentation for Agreement and Assurance (AAA), Tokyo, Japan, November 2017. (pdf)
• P. J. Graydon. The many conflicting visions of ‘safety case’. In Proceedings of the 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) Workshops (DSN-W), pages 103–104, Denver, CO, USA, June 2017. IEEE Computer Society. Fast abstract. doi:10.1109/DSN-W.2017.12.
• P. J. Graydon and C. M. Holloway. An investigation of proposed techniques for quantifying confidence in assurance arguments. Safety Science, 92:53–65, February 2017. doi:10.1016/j.ssci.2016.09.014.
• P. J. Graydon. Defining Baconian Probability for use in assurance argumentation. Technical Memorandum NASA/TM-2016-219341, National Aeronautics and Space Administration, Hampton, VA, USA, October 2016. (pdf)
• P. J. Graydon and C. M. Holloway. An investigation of proposed techniques for quantifying confidence in assurance arguments. Technical Memorandum NASA/TM-2016-219195, National Aeronautics and Space Administration, Hampton, VA, USA, May 2016. (pdf)
• P. J. Graydon and C. M. Holloway. Planning the unplanned experiment: Towards assessing the efficacy of standards for safety-critical software. Journal of System Safety, Spring 2016.
• P. J. Graydon and C. M. Holloway. “Evidence” under a magnifying glass: Thoughts on safety argument epistemology. In Proceedings of the IET System Safety and Cyber Security Conference, pages 6–11, Bristol, UK, October 2015. (pdf)
• P. J. Graydon and C. M. Holloway. Planning the unplanned experiment: Assessing the efficacy of standards for safety critical software. Technical Memorandum NASA/TM-2015-218804, National Aeronautics and Space Administration, Langley Research Center, Hampton, VA, USA, September 2015. (pdf)
• P. J. Graydon and C. M. Holloway. Planning the unplanned experiment: Towards assessing the efficacy of standards for safety-critical software. In Proceedings of the 33rd International System Safety Conference (ISSC), San Diego, CA, USA, August 2015. System Safety Society. (pdf)
• P. J. Graydon. Formal assurance arguments: A solution in search of a problem? In Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), Rio de Janeiro, Brasil, June 2015. (pdf)
• P. J. Graydon. Towards a clearer understanding of context and its role in assurance argument confidence. In Proceedings of the International Conference on Computer Safety, Reliability and Security (SAFECOMP), pages 139–154, Florence, Italy, September 2014. Springer. doi:10.1007/978-3-319-10506-2_10.
• P. J. Graydon and T. P. Kelly. Using argumentation to evaluate software assurance standards. Information and Software Technology, 55(9):1551–1562, September 2013. (link)
• P. Graydon and J. Knight. Software process synthesis in assurance based development of dependable systems. In Proceedings of the 8th European Dependable Computing Conference (EDCC), pages 75–84, Valencia, Spain, April 2010. doi:10.1109/EDCC.2010.19.
• P. J. Graydon, J. C. Knight, and E. A. Strunk. Assurance based development of critical systems. In Proceedings of the 37th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), pages 347–357, Edinburgh, UK, June 2007.