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...
Uloženo v:
| Hlavní autor: | |
|---|---|
| Médium: | Livre numérique |
| Jazyk: | Anglais |
| Vydáno: |
London :
Springer London : Springer e-books
[20..].
Cham : Springer Nature |
| Edice: | Springer Series in Reliability Engineering
|
| On-line přístup: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Poznámka: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Justifying the dependability of computer-based systems, with applications in nuclear engineering, Pierre-Jacques Courtois, London, Springer, 2008, 1 vol. (XVIII-323 p.), Springer series in reliability engineering / series editor, professor Hoang Pham,..., 978-1-84800-371-2 |
Obsah:
- 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