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

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

Detalles Bibliográficos
Autor principal: Courtois, Pierre-Jacques. (Autor)
Autor Corporativo: SpringerLink (Online service)
Formato: eBook
Lenguaje:English
Publicado: London : Springer London : Imprint: Springer, 2008.
Edición:1st ed. 2008.
Colección:Springer Series in Reliability Engineering,
Materias:
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.
Acceso en línea:https://doi.org/10.1007/978-1-84800-372-9
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