T. Stalhane et Kj. Wedde, MODIFICATION OF SAFETY-CRITICAL SYSTEMS - AN ASSESSMENT OF 3 APPROACHES, Microprocessors and microsystems, 21(10), 1998, pp. 611-619
Citations number
14
Categorie Soggetti
Computer Science Hardware & Architecture","Computer Science Theory & Methods","Engineering, Eletrical & Electronic","Computer Science Hardware & Architecture","Computer Science Theory & Methods
This paper sums up the experience at SINTEF Telecom and Informatics on
analysis of safety critical systems. After a short description of the
system under consideration, the paper naturally falls into two parts.
The first one is a description of two modifications, how they were im
plemented and how they were analysed for safety. The second one contai
ns a discussion of the three methods used-FTA, FMECA and code analysis
. We here concentrate on how these methods differ in focus, the knowle
dge and information needed, and the types of problems they can handle.
The paper's conclusion is that all three methods are needed when anal
ysing the modifications of a safety critical system. The knowledge nee
ded and the problem focus will, however, differ. (C) 1998 Elsevier Sci
ence B.V.