
Dependable Computing for Critical Applications 3
Springer (Publisher)
Published on 20. November 2013
Book
Paperback/Softback
XII, 384 pages
978-3-7091-4011-6 (ISBN)
Description
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.
More details
Series
Edition
Softcover reprint of the original 1st ed. 1993
Language
English
Place of publication
Vienna
Austria
Publishing group
Springer Wien
Target group
Professional and scholarly
Research
Illustrations
XII, 384 p.
Dimensions
Height: 244 mm
Width: 170 mm
Thickness: 22 mm
Weight
688 gr
ISBN-13
978-3-7091-4011-6 (9783709140116)
DOI
10.1007/978-3-7091-4009-3
Schweitzer Classification
Other editions
Additional editions

Carl E. Landwehr | Brian Randell | Luca Simoncini
Dependable Computing for Critical Applications 3
E-Book
06/2013
Springer
€53.49
Available for download
Carl E. Landwehr | Brian Randell | Luca Simoncini
Dependable Computing for Critical Applications 3
Book
07/1993
Springer
€85.59
Article exhausted; check different version
Content
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.