By the same authors

From the same journal

From the same journal

Argument-based Approach to Computer System Safety Engineering

Research output: Contribution to journalArticle

Author(s)

Department/unit(s)

Publication details

JournalInternational Journal of Critical Computer-Based Systems
DateAccepted/In press - 2012
Issue number3
Volume3
Number of pages17
Pages (from-to)151-167
Original languageEnglish

Abstract

Safety case development is not a post-development activity rather it should occur throughout the system development lifecycle. The key components in a safety case are safety arguments. Too often, safety arguments are constructed without proper reasoning. Inappropriate reasoning in safety arguments could undermine a system’s safety claims, which in turn contributes to safety-related failures of the system. To address this, we argue that informal logic argument schemes have important roles to play in safety arguments construction and review process. Ten commonly used reasoning schemes in computer system safety domain are proposed against the safety engineering literature. The role of informal logic dialogue games in computer system safety arguments reviewing is also discussed and a dialectical model for safety argument review 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

Discover related content

Find related publications, people, projects, datasets and more using interactive charts.

View graph of relations