Find out how to access previewonly content
Volume 289 of the series Lecture Notes in Computer Science pp 231243
Date:
The dependability approach to critical computing systems
 JeanClaude LaprieAffiliated withLaasCnrs
Abstract
Critical computing systems are considered from the dependability viewpoint. A framework for the design and validation of critical computing systems is derived from the interpretation of the quantified objectives assigned to safetyrelated computing systems in terms of dependability measures (especially failure rate). This framework associates design diversity together with formal verification and reliability calculations for both hardware and software.
 Title
 The dependability approach to critical computing systems
 Book Title
 ESEC '87
 Book Subtitle
 1st European Software Engineering Conference Strasbourg, France, September 9–11, 1987 Proceedings
 Pages
 pp 231243
 Copyright
 1987
 DOI
 10.1007/BFb0022116
 Print ISBN
 9783540187127
 Online ISBN
 9783540481171
 Series Title
 Lecture Notes in Computer Science
 Series Volume
 289
 Series ISSN
 03029743
 Publisher
 Springer Berlin Heidelberg
 Copyright Holder
 SpringerVerlag
 Additional Links
 Topics
 Industry Sectors
 eBook Packages
 Editors
 Authors

 JeanClaude Laprie ^{(1)}
 Author Affiliations

 1. LaasCnrs, 7, Avenue du Colonel Roche, 31400, Toulouse, France
Continue reading...
To view the rest of this content please follow the download PDF link above.