Safety case notations: alternatives for the non-graphically inclined

IET Conference Publications

Volumn , Issue 542 CP, 2008, Pages

  Holloway, C M ^a  

^a NASA LANGLEY RESEARCH CENTER   (United States)

Author keywords

Clarity; Notations; Safety case; Verbal; Visual

Indexed keywords

ENGINEERING;

CLARITY; NOTATIONS; SAFETY CASE; VERBAL; VISUAL;

SAFETY ENGINEERING;

EID: 85061355236     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/cp:20080710     Document Type: Conference Paper

References (22)

1. G. Bahnsen. - A Conditional Resolution of the Apparent Paradox of Self-Deception", Ph.D. dissertation, University of Southern California (1978).
2. Cardozo Law School. Conference on Graphic and Visual Representations of Evidence and Inference in Legal Settings, New York, New York, USA (2007). [papers and presentations available at , visited 19 June 2008].
3. J. Doumont. - Verbal Versus Visual: A Word Is Worth a Thousand Pictures, Too", Technical Communication, Volume 49, Number 2, pp. 219-224, (2002).
4. L. Emmet, G. Cleland. - Graphical Notations, Narratives and Persuasion: a Pliant Systems approach to Hypertext Tool Design", Proceedings of the 13th ACM Conference on Hypertext and Hypermedia, College Park, Maryland, USA, (2002).
5. Trudy Govier. A Practical Study of Argument, sixth edition, Wadsworth/Thomson Learning, Belmont, California, USA, (2005).
6. W. S. Greenwell. - Pandora: An Approach to Analyzing Safety-Related Digital-System Failures", Ph.D. dissertation, University of Virginia (2007).
7. W. S. Greenwell, J. C. Knight, C. M. Holloway, J. J. Pease. "A Taxonomy of Fallacies in System Safety Arguments", Proceedings of the 24th International System Safety Conference, Albuquerque, New Mexico, USA, (2006).
8. H. L. A. Hart, Tony Honoré. Causation in the Law, second edition, Clarendon Press, Oxford, UK (1985).
9. D. Hume. A Treatise of Human Nature, edited by D. F. Norton, M. J. Norton, Oxford University Press, Oxford, UK (2000).
10. D. Jackson, M. Thomas, L. I. Millett (eds). Software for Dependable Systems: Sufficient Evidence? National Research Council, Committee on Certifiably Dependable Software Systems, (2007). Available at [visited 8 May 2008].
11. M. Kaufmann, J. S. Moore. "ACL2 Version 3.3", (2007). [visited 7 August 2008].
12. T. P. Kelly. - Arguing Safety --- A Systematic Approach to Safety Case Management", DPhil Thesis, Department of Computer Science, University of York, UK (1998).
13. McConnell v. Federal Election Commission, 540 U.S. 93 (2003).
14. J. McDermid. - Enablers for the Assurance Case for Safety, Security and Dependability", presented at the 8th Semi-Annual Software Assurance Forum, Gaithersburg, Maryland, USA, (2008). Available at [visited 21 July 2008].
15. E. A. Nguyen, W. S. Greenwell, M. J. Hecht. "Using an Assurance Case to Support Independent Assessment of the Transition to a New GPS Ground Control System", Proceedings of the International Conference on Dependable Systems & Networks, Anchorage, Alaska, 24-27 June (2008).
16. Software Engineering Institute. "Assurance Case and Plan Preparation", [visited 23 July 2008].
17. J. Speake (ed.). "One PICTURE is worth ten thousand words", The Oxford Dictionary of Proverbs, Oxford University Press (2003). [retrieved via University of Virginia Library at Oxford Reference Online , 4 August 2008].
18. G. L. Steele. Common Lisp: The Language, Digital Press, Bedford, Massachusetts, USA, (1990).
19. S. E. Toulmin. The Uses of Argument, updated edition, Cambridge University Press, (2003).
20. R. A. Weaver, T. P. Kelly. "The Goal Structuring Notation: A Safety Argument Notation", Proceedings of Dependable Systems & Networks Workshop on Assurance Cases, (2004).
21. R. A. Weaver, G. Despotou, T. P. Kelly, J. McDermid. "Combining Software Evidence: Arguments and Assurance", Proceedings of ICSE 2005: Workshop on Realising Evidence Based Software Engineering, St. Louis, Missouri, USA, (2005).
22. R. A. Weaver. "The Safety of Software --- Constructing and Assuring Arguments", DPhil Thesis, Department of Computer Science, University of York, UK (2003).