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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor principal: Courtois, Pierre-Jacques (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: Electrónico eBook
Idioma:Inglés
Publicado: London : Springer London : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Springer Series in Reliability Engineering,
Temas:
Security systems.
Engineering.
Computational intelligence.
Computer engineering.
Computer networks .
Security Science and Technology.
Technology and Engineering.
Computational Intelligence.
Computer Engineering and Networks.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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.

Ejemplares similares