Justifying the Dependability of Computer-Based Systems - With Applications in Nuclear Engineering. Springer Series in Reliability Engineering. (Electronic book text)

What evidence is sufficient to justify the release of a computer-based safety critical system? How should this evidence be presented to certification bodies or regulatory authorities? What best practices should be applied? These are just a few of the questions addressed by this book, which provides a framework for the justification of the dependability of a computer-based system. "Justifying the Dependability of Computer-based Systems" will be of value to software and computer system engineers working in nuclear safety and many other industry sectors.