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

Table of Contents:

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