Cantitate/Preț
Produs

Dependable Computing for Critical Applications 3: Dependable Computing and Fault-Tolerant Systems, cartea 8

Editat de Carl E. Landwehr, Brian Randell, Luca Simoncini
en Limba Engleză Paperback – 20 noi 2013
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 they can affect the safety and security of people and equipment. The Third IFIP International Working Conference on Dependable Computing for Critical Applications, like its predecessors, addressed various aspects of computer system dependability, a broad term defined as the degree of trust that may justifiably be placed in a system's reliability, availability, safety, security, and performance. Because the scope of the conference was so broad, we hope the presentations and discussions will contribute to the integration of these concepts so that future computer-based systems will indeed be more dependable. The Program Committee selected 18 papers for presentation from a total of 7 4 submissions at a May meeting in Newcastle upon Tyne, UK. The resulting program represented a broad spectrum of interests, with papers from universities, corporations, and government agencies in eight countries. Much diligent work by the Program Committee and the quality of reviews from more than a hundred external referees from around the world, for which we are most grateful, significantly eased the production of this technical program.
Citește tot Restrânge

Din seria Dependable Computing and Fault-Tolerant Systems

Preț: 32752 lei

Preț vechi: 40940 lei
-20% Nou

Puncte Express: 491

Preț estimativ în valută:
6268 6613$ 5224£

Carte tipărită la comandă

Livrare economică 02-16 ianuarie 25

Preluare comenzi: 021 569.72.76

Specificații

ISBN-13: 9783709140116
ISBN-10: 3709140110
Pagini: 400
Ilustrații: XII, 384 p.
Dimensiuni: 170 x 244 x 21 mm
Greutate: 0.64 kg
Ediția:Softcover reprint of the original 1st ed. 1993
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems

Locul publicării:Vienna, Austria

Public țintă

Research

Cuprins

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.