Argument Representation for Dependable Computer-Based Systems

Authors

  • C. Gurr

DOI:

https://doi.org/10.22329/il.v22i3.2594

Keywords:

argument representation, heterogeneous logic, computer-based systems, dependability, safety

Abstract

Society is becoming increasingly reliant upon the dependability of computerbased systems. Achieving and demonstrating the dependability of systems requires the construction and review of valid and coherent arguments. This paper discusses the need for a variety of classes of arguments in dependable systems and reviews existing approaches to the representation of arguments in each of these classes. The issues surrounding the certification of safety critical systems demonstrate the current need for richer representations of dependability arguments which support tools for their construction and review. The paper discusses how a meta-logical framework, informed by aspects of both formal and informal logic, offers a rich and unified means of representing dependability arguments and of thus addressing this need.

Downloads

Published

2001-01-01

Issue

Vol. 22 No. 3 (2002)

Section

Articles

License

Copyright for each article published in Informal Logic belongs to its author(s). Informal Logic has the right of first publication. Permission to reprint any article that appears in Informal Logic MUST be obtained in writing from the author(s). In addition to any form of acknowledgement required by the author(s), the following notice must be added to the statement of copyright permission made in the reprint (with the appropriate numbers replacing the ellipses): [Article Title] was originally published in Informal Logic, [year], Volume ..., Number ..., pp. ...-... .