On Dependability of Computing Systems

被引：1

作者：

Xu S. ^{[1
]}

机构：

[1] Department of Computer Science, Shanghai University

来源：

Journal of Computer Science and Technology | 1999年 / 14卷 / 2期

基金：

美国国家科学基金会;

关键词：

Availability; Dependability; Reliability; Safety; Security;

D O I：

10.1007/BF02946517

中图分类号：

学科分类号：

摘要：

With the rapid development and wide applications of computing systems on which more reliance has been put, a dependable system will be much more important than ever. This paper is first aimed at giving informal but precise definitions characterizing the various attributes of dependability of computing systems and then the importance of (and the relationships among) all the attributes are explained. Dependability is first introduced as a global concept which subsumes the usual attributes of reliability, availability, maintainability, safety and security. The basic definitions given here are then commended and supplemented by detailed material and additional explanations in the subsequent sections. The presentation has been structured as follows so as to attract the reader's attention to the important attributions of dependability. • Search for a few number of concise concepts enabling the dependability attributes to be expressed as clearly as possible. • Use of terms which are identical or as close as possible to those commonly used nowadays. This paper is also intended to provoke people's interest in designing a dependable computing system.

引用

页码：116 / 128

页数：12

共 25 条

[11]

IBM Research Report No. RJR 4130, (1983)

[12]

Chehey M.H., Gasser M., Huff G., Miller J.K., Verifying security, Computing Surveys, 13, 3, pp. 279-339, (1981)

[13]

David R., Signature analysis for multiple output circuits, IEEE Trans. Computer, Sept., C-35, 9, pp. 830-837, (1986)

[14]

Boehm B., Guidelines for verifying and validating software requirements and design specifications, Proc. EURO IFIP'79, pp. 711-719, (1979)

[15]

Levendel Y., Fault simulation, Fault-Tolerant Computing, Theory and Techniques, pp. 184-264, (1986)

[16]

Castillo X., Siewiorek D.P., Workload, performance, and reliability of digital computing system, Proc. 11th IEEE Int. Symp. Fault Tolerant Computing (FTCS-11), pp. 84-89, (1981)

[17]

Fura D.A., Somani A.K., Trustability: A Dependability Measure for Systems with Localized Error Detection and Reporting, (1990)

[18]

Craigen D., Strengths and weaknesses of program verification systems, Proc. 1st European Software Engineering Conf., pp. 421-429, (1987)

[19]

McCluskey E.J., Design for testability, Fault-Tolerant Computing, Theory and Techniques, pp. 95-183, (1986)

[20]

Meyer J.F., On evaluating the performability of degradable computing systems, Proc. 8th IEEE Int. Symp. Fault Tolerant Computing (FTCS-8), pp. 44-49, (1978)

← 1 2 3 →