Titlebook: Dependable Computing for Critical Applications; Algirdas Avižienis,Jean-Claude Laprie Textbook 1991 Springer-Verlag/Wien 1991 computer.des

fulcrum

Longlife Dependable Computers for Spacecraftsor commercial use, many fault-tolerance concepts are systematically combined. Besides adopting the conventional approaches such as spatial diversity based on the majority voting, the usage of ECC, watch dog timers and current limiter, we introduce some new concepts such as softwarevoting with inter-

使坚硬

Fortuitous

Use of Heavy-Ion Radiation from 252Californium for Fault Injection Experimentsand discussed. Heavy ions from .Cf can cause transient faults as they pass through depletion regions in integrated circuits. Irradiation of a circuit must be performed in a vacuum. A design of a portable miniature vacuum chamber which contains one integrated circuit and a .Cf source is presented. Th

impaction

A Unified Approach for Specifying Measures of Performance, Dependability and Performabilitytical applications. Central to the evaluation process is the definition of specific measures of system behavior that are of interest to a user. This paper presents a unified approach to the specification of measures of performance, dependability, and performability. The unification is achieved by 1)

anesthesia

Successive Operational Periods as Measures of Dependabilityf dependability to quantify the behaviour of such a system all along its lifetime. With respect to classical measures (point availability, reliability) we consider the successive periods during which the system is in operation. Under markovian assumptions, we give closed-form expressions of the dist

Allege

A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity This scheme, which can be described as data-driven, contrasts with and complements the conventional structure-driven and function-driven approaches to dependability procurement for digital systems. The proposed approach is based on attaching a dependability tag (d-tag) to each data object and updat

chapel

Implementing Distributed Capabilities without a Trusted Kernelstems, however, implementing capabilities can be considerably more difficult. Two problems stand out: (1) how to communicate information about capabilities across an insecure communication network, and (2) how to revoke capabilities in the presence of failures such as message delays, crashes, and ne

Omnipotent

MAPLE

著名

Dependable Computing and Fault-Tolerant Systemshttp://image.papertrans.cn/d/image/265711.jpg