Argument Schemes in Computer System Safety Engineering

Tim Kelly, Tangming Yuan

Research output: Contribution to journalArticlepeer-review

Abstract

Safety arguments are key components in a safety case. Too often, safety arguments are constructed without proper reasoning. To address this, we argue that informal logic argument schemes have important roles to play in safety argument construction and reviewing process. Ten commonly used reasoning schemes in computer system safety domain are proposed. The role of informal logic dialogue games in computer system safety arguments reviewing is also discussed and the intended work in this area is proposed. It is anticipated that this work will contribute toward the development of computer system safety arguments, and help to move forward the interplay between research in informal logic and research in computer system safety engineering
Original languageEnglish
Pages (from-to)89-109
Number of pages21
JournalInformal Logic
Volume31
Issue number2
Publication statusPublished - 2011

Cite this