Justifying The Dependability of Computerbased Systems: With Applications in Nuclear Engineering (Hardbound - 2008)
In stock
Only 1 left
SKU
9781848003712_SAP
Special Price ₹15,144.00 Regular Price ₹20,192.00
Ships in 1-2 Days!
About the Book
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 can we give the users the assurance that the system enjoys the required dependability? How should evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? How should we decide whether there is enough evidence to justify the release of the system? To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background.
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 can we give the users the assurance that the system enjoys the required dependability? How should evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? How should we decide whether there is enough evidence to justify the release of the system? To help answer these daunting questions, a method and a framework are proposed for the justification of the dependability of a computer-based system. The approach specifically aims at dealing with the difficulties raised by the validation of software. Hence, it should be of wide applicability despite being mainly based on the experience of assessing Nuclear Power Plant instrumentation and control systems important to safety. To be viable, a method must rest on a sound theoretical background.
ISBN13 | 9781848003712 |
---|---|
Product Name | Justifying The Dependability of Computerbased Systems: With Applications in Nuclear Engineering (Hardbound - 2008) |
Price | ₹20,192.00 |
Original Price | EUR 219.00 |
Author | Pierre-Jacques Courtois |
Publisher | Springer Verlag |
Publication Year | 2008 |
Subject | Engineering |
Binding | Hardbound |
Language | English |
Pages | 323 |
Weight | 0.613000 |
Write Your Own Review
-
Icon
-
Icon
-
Icon
Lowest Price
Trusted Since 1977
-
Icon
payment method
Secure payment
Featured Books
Truth and Illusion (Paperback - 2010)
Special Price ₹135.00 Regular Price ₹150.00
History of Western Philosophy (Paperback - 2016)
Special Price ₹1,076.00 Regular Price ₹1,195.00
The Rubaiyat Of Omar Khayyam (Paperback-2024)
Special Price ₹113.00 Regular Price ₹125.00
Login and Registration Form