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

• Κύριος συγγραφέας: Courtois, Pierre-Jacques (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: London : Springer London, 2008.
• Σειρά: Springer Series in Reliability Engineering,
• Θέματα: 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...