Justifying the Dependability of Computer-based Systems With Applications in Nuclear Engineering /
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | eBook |
| Language: | English |
| Published: |
London :
Springer London : Imprint: Springer,
2008.
|
| Edition: | 1st ed. 2008. |
| Series: | Springer Series in Reliability Engineering,
|
| Subjects: | |
| 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.