We study the fluid limit analysis of random replacement (RR) caching for the independent reference model. Applying the limit theorem for the mean field interaction model, we derive the fluid limit of fault probability in the transient state as well as in the steady state. Since the stationary fault probability for the RR cache is identical to that for the firstin first-out (FIFO) cache, our res...

The central topic of this book is application-level fault-tolerance, that is the methods, architectures, and tools that allow to express a fault-tolerant system in the application software of our computers. Application-level fault-tolerance is a sub-class of software fault-tolerance that focuses on the problems of expressing the problems and solutions of fault-tolerance in the top layer of the ...

This is the second paper of two, which describe the results of an integrated research effort to develop a four–step simplifi ed approach for design of raft foundations against dip-slip (normal and thrust) fault rupture. The fi rst two steps dealing with fault rupture propagation in the free-fi eld were presented in the companion paper. This paper develops an approximate analytical method to ana...

In this paper we introduce our explorative work on the concepts and taxonomy of the misunderstanding in interaction and on the architectural mechanism solving this problem in interactive systems. System actors interacting during the software execution may face misunderstandings when the internal data of at least one actor evolve differently from other , after the same sequence of interactions w...

This paper introduces different views for understanding problems and faults with the goal of defining a method for the formal specification of systems. The idea of Layered Fault Tolerant Specification (LFTS) is proposed to make the method extensible to fault tolerant systems. The principle is layering the specification in different levels, the first one for the normal behavior and the others fo...

The Nayband strike-slip fault forms the western margin of the micro-continental Lut block in Eastern Iran. Neogene and Quaternary mafic volcanic rocks collected near Tabas, along the northern part of the fault (NNF; 15 Ma), and further to the south, along the middle part of the fault (MNF; 2 Ma), are within-plate sodic-series alkali olivine basalts with high TiO2 and up to >16% normative nephel...

This paper demonstrates an experimental implementation of a design method for embedding fault tolerance capabilities into high level digital system models. The method starts with a standardized behavioural level system description and systematically transforms it to an implementation-level circuit design with fault tolerant parts built in. The transformation process aims to keep the changes mad...