0
Your cart

Your cart is empty

Books > Computing & IT > Computer communications & networking

Not currently available

Justifying the Dependability of Computer-based Systems - With Applications in Nuclear Engineering (Paperback, Softcover reprint of hardcover 1st ed. 2008) Loot Price: R4,745
Discovery Miles 47 450
Justifying the Dependability of Computer-based Systems - With Applications in Nuclear Engineering (Paperback, Softcover reprint...

Justifying the Dependability of Computer-based Systems - With Applications in Nuclear Engineering (Paperback, Softcover reprint of hardcover 1st ed. 2008)

Pierre-Jacques Courtois

Series: Springer Series in Reliability Engineering

 (sign in to rate)
Loot Price R4,745 Discovery Miles 47 450 | Repayment Terms: R445 pm x 12*

Bookmark and Share

Supplier out of stock. If you add this item to your wish list we will let you know when it becomes available.

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.

General

Imprint: Springer London
Country of origin: United Kingdom
Series: Springer Series in Reliability Engineering
Release date: October 2010
First published: 2008
Authors: Pierre-Jacques Courtois
Dimensions: 235 x 155 x 18mm (L x W x T)
Format: Paperback
Pages: 323
Edition: Softcover reprint of hardcover 1st ed. 2008
ISBN-13: 978-1-84996-794-5
Categories: Books > Professional & Technical > Technology: general issues > Engineering: general
Books > Computing & IT > Computer communications & networking > General
Books > Professional & Technical > Mechanical engineering & materials > Production engineering > Reliability engineering
Books > Computing & IT > Applications of computing > Artificial intelligence > General
Promotions
LSN: 1-84996-794-6
Barcode: 9781849967945

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!

You might also like..

CISA - Certified Information Systems…
Cannon Paperback R1,487 R1,093 Discovery Miles 10 930
CompTIA Security+ Guide To Network…
Mark Ciampa Paperback R1,500 R1,418 Discovery Miles 14 180
CompTIA Network+ Guide to Networks
Jill West Paperback R1,560 R1,478 Discovery Miles 14 780
Managing Business Projects - The…
Frank Einhorn Paperback R1,370 R1,283 Discovery Miles 12 830
Guide to Networking Essentials
Greg Tomsho Paperback R1,480 Discovery Miles 14 800
Safety of Web Applications - Risks…
Eric Quinton Hardcover R2,364 Discovery Miles 23 640
Distributed Systems - Concurrency and…
Matthieu Perrin Hardcover R1,848 Discovery Miles 18 480
Optimization of Manufacturing Systems…
Yingfeng Zhang, Fei Tao Paperback R3,247 R2,566 Discovery Miles 25 660
RIoT Control - Understanding and…
Tyson Macaulay Paperback R1,374 R1,127 Discovery Miles 11 270
The Host in the Machine - Examining the…
Angela Thomas-Jones Paperback R1,359 R1,277 Discovery Miles 12 770
Practical Industrial Data Communications…
Deon Reynders, Steve Mackay, … Paperback R1,501 R1,407 Discovery Miles 14 070
Digital Signal Processing and…
Dag Stranneby Paperback R548 Discovery Miles 5 480

See more

Partners