عنوان

Dependable computing for critical applications 3

شابک

3709140099

شابک

3709140110

شابک

9783709140093

شابک

9783709140116

شماره

b586784

عنوان اصلي

Dependable computing for critical applications 3

نام عام مواد

[Book]

نام نخستين پديدآور

C.E. Landwehr, B. Randell, L. Simoncini, eds.

محل نشرو پخش و غیره

Wien ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©1993.

نام خاص و کميت اثر

(xii, 381 pages) : illustrations

عنوان فروست

Dependable computing and fault-tolerant systems, v. 8.

متن يادداشت

Functional Testing --; On Functional Statistical Testing Designed from Software Behavior Models --; Functional Test Case Generation for Real-Time Systems --; Specification and Verification of Fault Tolerance --; Design for Dependability --; Tracing Fault Tolerance --; Dependability and Performance --; Evaluation of Fault-Tolerant Software: A Performability Modeling Approach --; On the Transient Analysis of Stiff Markov Chains --; Application of Formal Methods --; Formal Techniques for Synchronized Fault-Tolerant Systems --; Compiler Correctness and Input/Output --; On Line Error Detection --; Control Flow Checking in Object-Based Distributed Systems --; Safety-Critical Industrial Systems --; A 'Strongly-Fail-Safe Majority Voted Output' Circuit used for Designing Dependable Computer Systems --; Dependable Computing for Railway Control Systems --; Experimental Evaluation --; A Hybrid Monitor Assisted Fault Injection Environment --; Space/Time Overhead Analysis and Experiments with Techniques for Fault Tolerance --; Protocols for Dependability --; Primary-Backup Protocols: Lower Bounds and Optimal Implementations --; A Linguistic Framework for Dynamic Composition of Dependability Protocols --; Using Two-Phase Commit for Crash Recovery in Federated Multilevel Secure Database Management Systems --; Author Index.

متن يادداشت

This book contains the papers presented and discussed at the 3rd IFIP Working Conference on Dependable Computing for Critical Applications. Based on feedback at that meeting, these papers were then revised and updated prior to inclusion in this volume. The topics addressed span the spectrum of dependable computing, from design methods for distributed, fault-tolerant systems to formal and experimental validation techniques. The unique focus of this forum on critical applications is what distinguishes many of these papers from those found elsewhere. This book is of interest to individuals involved in the development of computing systems where dependability attributes such as reliability, safety, and security are a major concern.

موضوع مستند نشده

Application software.

موضوع مستند نشده

Falhas computacionais.

موضوع مستند نشده

Fault-tolerant computing.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

C.E. Landwehr, B. Randell, L. Simoncini, eds.

مستند نام اشخاص تاييد نشده

Brian Randell

مستند نام اشخاص تاييد نشده

Carl E Landwehr

مستند نام اشخاص تاييد نشده

L Simoncini

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y