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

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

Bibliographic Details
Main Author: Courtois, Pierre-Jacques. (Author)
Corporate Author: SpringerLink (Online service)
Format: eBook
Language:English
Published: London : Springer London : Imprint: Springer, 2008.
Edition:1st ed. 2008.
Series:Springer Series in Reliability Engineering,
Subjects:
Quality control.
Reliability.
Industrial safety.
Engineering.
Computational intelligence.
Computer organization.
Quality Control, Reliability, Safety and Risk.
Engineering, general.
Computational Intelligence.
Computer Systems Organization and Communication Networks.
Online Access:https://doi.org/10.1007/978-1-84800-372-9
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.

Similar Items