Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering /

• Main Author: Courtois, Pierre-Jacques (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: London : Springer London, 2008.
• Series: Springer Series in Reliability Engineering,
• Subjects: Engineering.; Computer organization.; Computational intelligence.; Quality control.; Reliability.; Industrial safety.; Quality Control, Reliability, Safety and Risk.; Engineering, general.; Computational Intelligence.; Computer Systems Organization and Communication Networks.

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 Justifying the Dependabili...