Dependable Computing for Critical Applications: Dependable Computing and Fault-Tolerant Systems, cartea 4
Editat de Algirdas Avizienis, Jean-Claude Laprieen Limba Engleză Paperback – 12 feb 2012
Preț: 343.12 lei
Preț vechi: 428.89 lei
-20% Nou
Puncte Express: 515
Preț estimativ în valută:
65.66€ • 68.30$ • 54.21£
65.66€ • 68.30$ • 54.21£
Carte tipărită la comandă
Livrare economică 14-28 aprilie
Preluare comenzi: 021 569.72.76
Specificații
ISBN-13: 9783709191255
ISBN-10: 3709191254
Pagini: 431
Ilustrații: XIII, 431 p.
Dimensiuni: 170 x 244 x 27 mm
Greutate: 0.71 kg
Ediția:Softcover reprint of the original 1st ed. 1991
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
ISBN-10: 3709191254
Pagini: 431
Ilustrații: XIII, 431 p.
Dimensiuni: 170 x 244 x 27 mm
Greutate: 0.71 kg
Ediția:Softcover reprint of the original 1st ed. 1991
Editura: SPRINGER VIENNA
Colecția Springer
Seria Dependable Computing and Fault-Tolerant Systems
Locul publicării:Vienna, Austria
Public țintă
ResearchCuprins
Validation.- Dependable Computing in the UK.- Software Validation by means of Statistical Testing: Retrospect and Future Direction.- Design Diversity Assessment.- Failure Masking: a Source of Failure Dependency in Multi-Version Programs.- Recovery Block Reliability Analysis with Failure Clustering.- Application-Oriented Systems.- Safety and Fault-Tolerance in Computer-Controlled Railway Signalling System.- Dependability of Digital Computers On Board Airplanes.- Longlife Dependable Computers for Spacecrafts.- Experimental Evaluation.- A Fault Behavior Model for an Avionic Microprocessor: a Case-Study.- Experimental Evaluation of Computing System Dependability by using Heavy-Ion Radiation from Californium-252.- Modeling and Evaluation.- A Unified Approach for Specifying Measures of Performance, Dependability and Performability.- Successive Operational Periods as Measures of Dependability.- Architecture.- A Data-Driven Dependability Assurance Scheme with Applications to Data and Design Diversity.- Implementing Distributed Capabilities Without a Trusted Kernel.- Resynchronization Interfaces: Sources of Metastability Errors in Computing Systems.- Design for Security.- Fragmented Data Processing: an Approach to Secure and Reliable Processing in Distributed Computing Systems.- Security and Fault Tolerance.- Integration Problems in Fault Tolerant, Secure Computer Design.- Concurrent Error Detection using Signature Monitoring and Encryption.- Fault-Tolerant Distributed Systems.- A Linguistic Approach to Failure-Handling in Distributed Systems.- Fault-Tolerant Membership Service in a Synchronous Distributed Real-Time System.- Author Index.