.png){kind=logo}
Stock image for illustration purposes only - book cover, edition or condition may vary.
Justifying the Dependability of Computer-Based Systems
P-.J. Courtois
€ 249.90
FREE Delivery in Ireland
Description for Justifying the Dependability of Computer-Based Systems
Paperback. This book provides a framework for the justification of the dependability of a computer-based system and explores fundamental aspects of safety evaluation, such as the nature of claims and various ways to deal with different types of uncertainty. Series: Springer Series in Reliability Engineering. Num Pages: 323 pages, 24 black & white illustrations, 7 black & white tables, biography. BIC Classification: TBC; TGPQ; UKR. Category: (P) Professional & Vocational. Dimension: 234 x 156 x 18. Weight in Grams: 483.
Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How ... Read more
Safety is a paradoxical system property. It remains immaterial, intangible and invisible until a failure, an accident or a catastrophy occurs and, too late, reveals its absence. And yet, a system cannot be relied upon unless its safety can be explained, demonstrated and certified. The practical and difficult questions which motivate this study concern the evidence and the arguments needed to justify the safety of a computer based system, or more generally its dependability. Dependability is a broad concept integrating properties such as safety, reliability, availability, maintainability and other related characteristics of the behaviour of a system in operation. How ... Read more
Product Details
Format
Paperback
Publication date
2010
Publisher
Springer London Ltd United Kingdom
Number of pages
323
Condition
New
Series
Springer Series in Reliability Engineering
Number of Pages
323
Place of Publication
England, United Kingdom
ISBN
9781849967945
SKU
V9781849967945
Shipping Time
Usually ships in 15 to 20 working days
Ref
99-15
About P-.J. Courtois
Pierre-Jacques Courtois is a professor of computer science in the engineering department of the Catholic University of Louvain-la-Neuve in Belgium. He has degrees in electrical engineering and nuclear physics, and a doctorate in applied sciences. Formerly with the Philips Research Laboratory in Brussels, he has been working for the last fifteen years at the Belgian authorized inspection agency for nuclear ... Read more
Reviews for Justifying the Dependability of Computer-Based Systems