Justifying the Dependability of Computer-based Systems
工程控制论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 man