𝔖 Scriptorium
✦   LIBER   ✦

πŸ“

Dependable Computing for Critical Applications 2

✍ Scribed by Sandro Bologna, Øivind Berg, Kjell Haugset, Jon Kvalem (auth.), Prof. John F. Meyer, Prof. Richard D. Schlichting (eds.)


Publisher
Springer-Verlag Wien
Year
1992
Tongue
English
Leaves
438
Series
Dependable Computing and Fault-Tolerant Systems 6
Edition
1
Category
Library

⬇  Acquire This Volume

No coin nor oath required. For personal study only.

✦ Synopsis


This volume contains the papers presented at the Second International WorkΒ­ ing Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group lOA and held in Tucson, Arizona on February 18-20, 1991. In keeping with the first such conference on this topic, which took place at the University of California, Santa Barbara in 1989, this meeting was likeΒ­ wise concerned with an important basic question: Can we rely on Computers? In more precise terms, it addressed various aspects of computer system deΒ­ pendability, a broad concept defined as th'e trustworthiness of computer service such that reliance can justifiably be placed on this service. Given that this term includes attributes such as reliability, availability, safety, and security, it is our hope that these papers will contribute to further integration of these ideas in the context of critical applications. The program consisted of 20 papers and three panel sessions. The papers were selected from a total of 61 submissions at a November 1990 meeting of the Program Committee in Ann Arbor, Michigan. We were very fortunate to have a broad spectrum of interests represented, with papers in the final program coming from seven different countries, representing work at universities, corporations, and government agencies. The process was greatly facilitated by the diligent work of the Program Committee and the quality of reviews provided by outside referees. In addition to the paper presentations, there were three panel sessions orΒ­ ganized to examine particular topics in detail.

✦ Table of Contents


Front Matter....Pages N2-XIII
Front Matter....Pages 1-1
Architectural Foundations, Concepts and Methods Behind ISACS β€” A Real-Time Intelligent System for Critical Applications....Pages 3-26
Implementing Forward Recovery Using Checkpoints in Distributed Systems....Pages 27-46
Front Matter....Pages 47-47
Evaluating the Impact of Network Partitions on Replicated Data Availability....Pages 49-65
A Distributed Systems Architecture Supporting High Availability and Reliability....Pages 67-91
Front Matter....Pages 93-93
A Numerical Technique for the Hierarchical Evaluation of Large, Closed Fault-Tolerant Systems....Pages 95-114
Fault Injection Simulation: A Variance Reduction Technique for Systems with Rare Events....Pages 115-134
Limits of Parallelism in Fault-Tolerant Multiprocessors....Pages 135-154
Front Matter....Pages 155-155
Correlated Hardware Failures in Redundant Systems....Pages 157-174
Impact of Correlated Failures on Dependability in a VAXcluster System....Pages 175-194
Front Matter....Pages 195-195
Assuring Design Diversity in N -Version Software: A Design Paradigm for N -Version Programming....Pages 197-218
An Empirical Investigation of the Effect of Formal Specifications on Program Diversity....Pages 219-240
Front Matter....Pages 241-241
The Proof of Correctness of a Fault-Tolerant Circuit Design....Pages 243-260
Verification of Memory Management Units....Pages 261-278
High Level Design Proof of a Reliable Computing Platform....Pages 279-306
Front Matter....Pages 307-307
A Membership Protocol Based on Partial Order....Pages 309-331
A Fault-Tolerant Architecture for the Intellectual Distributed Processing System....Pages 333-353
Front Matter....Pages 355-355
A New Approach of Formal Proof: Probabilistic Validation....Pages 357-374
Testing Programs to Detect Malicious Faults....Pages 375-392
Front Matter....Pages 393-393
On-Line Signature Learning and Checking....Pages 395-420
A New Efficient Signature Technique for Process Monitoring in Critical Systems....Pages 421-437
Back Matter....Pages 439-439

✦ Subjects


Special Purpose and Application-Based Systems; Automotive Engineering; Software Engineering; Computing Methodologies


πŸ“œ SIMILAR VOLUMES


Dependable Computing for Critical Applic
✍ Mel Barnes (auth.), Prof. Dr. Algirdas AviΕΎienis, Dr. Jean-Claude Laprie (eds.) πŸ“‚ Library πŸ“… 1991 πŸ› Springer-Verlag Wien 🌐 English

<p>The International Working Conference on Dependable Computing for Critical Applications was the first conference organized by IFIP Working Group 10. 4 "Dependable Computing and Fault Tolerance", in cooperation with the Technical Committee on Fault-Tolerant Computing of the IEEE Computer Society, a

Dependable Computing for Critical Applic
✍ Pascale ThΓ©venod-Fosse, HΓ©lΓ¨ne Waeselynck (auth.), Dr. Carl E. Landwehr, Prof. D πŸ“‚ Library πŸ“… 1993 πŸ› Springer-Verlag Wien 🌐 English

<p>This volume contains the papers presented. at the Third IFIP International Working Conference on Dependable Computing for Critical Applications, sponsored by IFIP Working Group 10.4 and held in Mondello (Sicily), Italy on September 14-16, 1992. System developers increasingly apply computers where

Dependable Computing for Critical Applic
✍ WΕ‚adysΕ‚aw M. Turski (auth.), Prof. Flaviu Cristian, Gerard Le Lann, Teresa Lunt πŸ“‚ Library πŸ“… 1995 πŸ› Springer-Verlag Wien 🌐 English

<p>This volume contains the articles presented at the Fourth InternationallFIP Working Conference on Dependable Computing for Critical Applications held in San Diego, California, on January 4-6, 1994. In keeping with the previous three conferences held in August 1989 at Santa Barbara (USA), in Febru

Foundations of Dependable Computing: Par
✍ Gary M. Koob, Clifford G. Lau πŸ“‚ Library πŸ“… 1994 πŸ› Springer 🌐 English

Foundations of Dependable Computing: Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstrac

Dependable Network Computing
✍ Jean-Claude Laprie (auth.), Dimiter R. Avresky (eds.) πŸ“‚ Library πŸ“… 2000 πŸ› Springer US 🌐 English

<p><em>Dependable Network Computing</em> provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconf

Foundations of Dependable Computing: Mod
✍ Gary M. Koob, Clifford G. Lau πŸ“‚ Library πŸ“… 1994 πŸ› Springer 🌐 English

Foundations of Dependable Computing: Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volume