Abstract
Get full access to this article
View all access options for this article.
References
1.
Allen
C.
(1994 ) ‘The interoperable system project (ISP)’ , Measurement + Control
27
2 .
2.
Asahi
Y.
(1990 ) ‘Conceptual design of the integrated reactor with inherent safety (IRIS)’ , Nuclear Technology , 91 (July).
3.
Baber
R.L.
(1991 ) Error-free software , Wiley , Chichester .
4.
Bell
D.A.
(1983 ) Electronic instrumentation and measurement , V.A. Reston Publishing , Reston .
5.
Bonney
M.C.
Young
Y.F.
, (eds) (1985 ) Robot Safety , IFS , Bedford .
6.
Brozendale
J.
(1989 ) ‘A framework for achieving safety-integrity in software’ , IEE London conference proceedings, 314 .
7.
Clark
G.C.
(1981 ) Error-correcting coding for digital communications , Plenum Press , London .
8.
Cluley
J.C.
(1981 ) Electronic equipment reliability , 2nd Edition , Macmillan , London .
9.
Cluley
J.C.
(1993 ) Reliability in instrumentation and control , Butterworth-Heinemann , London .
10.
Dijkstra
E.W.
(1990 ) Formal development of programs and proofs , Addison-Wesley , Reading MA .
11.
Dittmar
R.
(1986 ) ‘The Viper microprocessor’ . London Electronics and Power , (October).
12.
I.E.C. Publication No. 605
(1978 ) ‘Equipment Reliability Testing’ . Geneva, (similar to MIL-STD-781).
13.
Jervis
M.W.
(1984 ) ‘Control and instrumentation of a large nuclear power station’ , IEE London conference proceeding , 131 Pt. A.
14.
Kershaw
J.
(1989 ) ‘Dependable Systems using ‘VIPER’ , IEE London Conference Proceeding 314.
15.
Klassen
H.B.
van Peppen
J.C.L.
(1989 ) System Reliability , Edward Arnold , London .
16.
Kopetz
H.
(1979 ) Software reliability
Macmillan , London .
17.
Lambert
B.
(1990 ) How safe is safe?
Unwin Hyman , London .
18.
Loose
G.
(1994 ) ‘The fieldbus-the user's perspective’ , Measurement + Control
27 (2 ).
19.
Musa
J.
(1987 ) Software reliability: Measurement, Production, Application
McGraw-Hill , New York .
20.
Miller
R.
Nelson
W.
(1983 ) ‘Optimum simple step-stress plans for accelerated life testing’ , IEEE Trans. on Reliability , R-32 , No. 1 .
21.
Perez
R.A.
(1988 ) Electronic display devices , TAB Books , PA .
22.
Sefton
B.
(1989 ) ‘Safety related systems for the process industries’
IEE London Conference proceeding , 314.
23.
Sennett
C.
(1989 ) High-Integrity Software , Pittman , London .
24.
Sibley
M.J.N.
(1990 ) Optical communication , Macmillan , London .
25.
Swain
A.D.
(1974 ) The human element in system safety , Incomtech House , Camberley UK .
26.
Wobshall
D.
(1987 ) Circuit design for electronic instrumentation: Analog and digital devices from sensor to display , 2nd Edition , McGraw-Hill , London .