Jean-Claude Laprie. Dependability: Basic Concepts and Terminology, volume 4 of Dependable Computing and Fault-Tolerant Systems. SpringerVerlag, 1991.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....and Techniques This section describes the general principles that underlie the construction of any dependable system or component; the application of these principles to building dependable computing systems is described in the following section. All definitions in this section are from [Lap91] A system or component is defined as being dependable if reliance can justifiably be placed on the service it delivers. The description of the service a system is expected to provide is called its specification. If the delivered service deviates from the specification, the system is said to ....

Jean-Claude Laprie. Dependability: Basic Concepts and Terminology, volume 4 of Dependable Computing and Fault-Tolerant Systems. SpringerVerlag, 1991.

....by the National Science Foundation under grant CCR 9003161 and the Office of Naval Research under grant N00014 91 J 1015. 2 This report supersedes TR 91 24a 1 Introduction Ensuring the dependability of computer systems that is, that the system delivers services on which people can rely [Lap91] is an increasingly important issue. One key aspect of this problem is the development of techniques and support systems for constructing fault tolerant distributed programs that can continue to execute despite the failure of one or more processors in a distributed system. Such programs are ....

Jean-Claude Laprie. Dependability: Basic Concepts and Terminology, volume 4 of Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, 1991.

....to achieve significantly better performance than can be achieved with a single off the shelf component [HP90] The third reason for parallel programming involves dependability. A system or component is said to be dependable if reliance can justifiably be placed on the service it delivers [Lap91] Computers are increasingly relied upon in situations where their failures could result in economic loss or even loss of life. For example, the 1990 failure of an AT T long distance network was caused by the malfunction of a single computer [Neu92, Jac90] In such applications, the dependability ....

Jean-Claude Laprie. Dependability: Basic Concepts and Terminology, volume 4 of Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, 1991.

....changes since a similar survey was performed four years ago. 1 Introduction Four years ago, the first author of this paper published a paper [Mea96] which compared the approach to assurance that was then taken in the security community with the approach recommended by IFIP Working Group 10.4 in [Lap92] to ensuring dependability. According to [Lap92] dependability refers to the trust that can be placed upon a system to deliver the services that it promises. Dependability comprises not only security, but a number of other system properties, such as reliability, safety, quality of service, and ....

....years ago. 1 Introduction Four years ago, the first author of this paper published a paper [Mea96] which compared the approach to assurance that was then taken in the security community with the approach recommended by IFIP Working Group 10.4 in [Lap92] to ensuring dependability. According to [Lap92], dependability refers to the trust that can be placed upon a system to deliver the services that it promises. Dependability comprises not only security, but a number of other system properties, such as reliability, safety, quality of service, and so forth. This makes sense since all of these ....

[Article contains additional citation context not shown here]

Jean-Claud Laprie, editor. Dependability: Basic Concepts and Terminology, volume 5 of Dependable Computing and Fault-Tolerant Systems. Springer-Verlag, 1992.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC