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...

Πίνακας περιεχομένων:

• The Context
• Current Practices
• Axiomatic Justification and Uncertainty
• Justification and Dependability Case
• Prescriptions
• Requirements, Claims and Evidence
• Arguments, Syntax and Semantics
• Axiomatic Principles and Limits
• Descriptions
• Structures and Interpretations
• Embedded Computer System Structures
• Methodological Implications
• Pre-existing Systems and Components
• Construction Methods
• Postface.