Multi-legged arguments: the impact of diversity upon confidence in dependability arguments

被引:12
作者
Bloomfield, R [1 ]
Littlewood, B [1 ]
机构
[1] City Univ London, Adelard & Ctr Software Reliab, London EC1V 0HB, England
来源
2003 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS | 2003年
关键词
D O I
10.1109/DSN.2003.1209913
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
Intellectual diversity - difference - has long been used in human affairs to minimise the impact of mistakes. In the past couple of decades design diversity has been used to seek dependability in software-based systems. This use of design diversity prompted the first formal studies of the efficacy of intellectual diversity. In this paper we examine diverse arguments - in particular arguments to support claims about system dependability (reliability, safety). Our purpose is to see whether the probabilistic approach that has been so successful in design diversity can be applied to diversity in arguments. The work reported here is somewhat tentative and speculative.
引用
收藏
页码:25 / 34
页数:10
相关论文
共 14 条
[1]  
*CAA, 2001, REG OBJ SOFTW SAF AS
[2]  
Dijkstra E. W., 1972, STRUCT PROGRAM, P1
[3]   A THEORETICAL BASIS FOR THE ANALYSIS OF MULTIVERSION SOFTWARE SUBJECT TO COINCIDENT ERRORS [J].
ECKHARDT, DE ;
LEE, LD .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1985, 11 (12) :1511-1517
[4]  
GUIHO G, 1990, 12 INT C SOFTW ENG
[5]   ASSESSING UNCERTAINTY IN PHYSICAL CONSTANTS [J].
HENRION, M ;
FISCHHOFF, B .
AMERICAN JOURNAL OF PHYSICS, 1986, 54 (09) :791-798
[6]  
HSE (Health and Safety Executive), 1992, SAF ASS PRINC NUCL P
[7]  
Hunns DM, 1991, NUCL ENG INT SEP, P38
[8]   AN EXPERIMENTAL EVALUATION OF THE ASSUMPTION OF INDEPENDENCE IN MULTIVERSION PROGRAMMING [J].
KNIGHT, JC ;
LEVESON, NG .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1986, 12 (01) :96-109
[9]  
KNIGHT JC, 1990, ACM SOFTWARE ENG NOT, V15
[10]   CONCEPTUAL MODELING OF COINCIDENT FAILURES IN MULTIVERSION SOFTWARE [J].
LITTLEWOOD, B ;
MILLER, DR .
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1989, 15 (12) :1596-1614