Verification of Safety

作者: N.G. Leveson

DOI: 10.1016/S1474-6670(17)61779-8

关键词:

摘要: Abstract Safety has often been equated with reliability and robustness. However, safety needs to be treated as a separate important system quality. In this paper, software is distinguished from these other qualities formally defined. The paper also examines the possibility of using three different verification approaches — state machines, temporal logic, fault trees verify safety.

参考文章(6)
N.G. Leveson, P.R. Harvey, Analyzing Software Safety IEEE Transactions on Software Engineering. ,vol. 9, pp. 569- 579 ,(1983) , 10.1109/TSE.1983.235116
C. A. R. Hoare, An axiomatic basis for computer programming Communications of the ACM. ,vol. 26, pp. 53- 56 ,(1983) , 10.1145/357980.358001
Morrie Gasser, George A. Huff, Jonathan K. Millen, Maureen Harris Cheheyl, Verifying Security ACM Computing Surveys. ,vol. 13, pp. 279- 339 ,(1981) , 10.1145/356850.356853
Tony Hoare, An Axiomatic Basis for Computer Programming Communications of The ACM. ,vol. 12, ,(1969)