IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Trusting Computers Through Trusting Humans: Software Verification in a Saftey-Critical Information System

Trusting Computers Through Trusting Humans: Software Verification in a Saftey-Critical Information System
View Sample PDF
Author(s): Alison Adam (University of Salford, UK) and Paul Spedding (University of Salford, UK)
Copyright: 2008
Pages: 15
Source title: Information Communication Technologies: Concepts, Methodologies, Tools, and Applications
Source Author(s)/Editor(s): Craig Van Slyke (Northern Arizona University, USA)
DOI: 10.4018/978-1-59904-949-6.ch243

Purchase

View Trusting Computers Through Trusting Humans: Software Verification in a Saftey-Critical Information System on the publisher's website for pricing and purchasing information.

Abstract

This article considers the question of how we may trust automatically generated program code. The code walkthroughs and inspections of software engineering mimic the ways that mathematicians go about assuring themselves that a mathematical proof is true. Mathematicians have difficulty accepting a computer generated proof because they cannot go through the social processes of trusting its construction. Similarly, those involved in accepting a proof of a computer system or computer generated code cannot go through their traditional processes of trust. The process of software verification is bound up in software quality assurance procedures, which are themselves subject to commercial pressures. Quality standards, including military standards, have procedures for human trust designed into them. An action research case study of an avionics system within a military aircraft company illustrates these points, where the software quality assurance (SQA) procedures were incommensurable with the use of automatically generated code.

Related Content

Adeyinka Tella, Oluwakemi Titilola Olaniyi, Aderinola Ololade Dunmade. © 2021. 24 pages.
Md. Maidul Islam. © 2021. 17 pages.
Peterson Dewah. © 2021. 23 pages.
Lungile Precious Luthuli, Thobekile K. Buthelezi. © 2021. 14 pages.
Delight Promise Udochukwu, Chidimma Oraekwe. © 2021. 13 pages.
Julie Moloi. © 2021. 18 pages.
Mandisa Msomi, Lungile Preciouse Luthuli, Trywell Kalusopa. © 2021. 17 pages.
Body Bottom