Dependable Computing for Critical Applications 3: 8 - Brossura

Brossura

ISBN 10: 3709140110 ISBN 13: 9783709140116

Casa editrice: Springer, 2013

Riassunto

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.

Su questo libro

Contenuti

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.

Dettagli dell'edizione

• Editore: Springer
• Data di pubblicazione: 2013
• Lingua: Inglese
• ISBN 10: 3709140110
• ISBN 13: 9783709140116
• Rilegatura: Copertina flessibile
• Numero di pagine: 400
• Redattore: Landwehr Carl E., Randell Brian, Simoncini Luca
• Contatto del produttore: non disponibile
• Persona responsabile: Springer Nature Customer Service Center GmbH; ProductSafety@springernature.com; ; Europaplatz 3,69115 Heidelberg, Germany; Heidelberg; 69115; Germania