Loading…
Design and safety assessment of critical systems /
Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming increasingly complex both in their functionality and their interactions with the environment. Unfortunately, safety assessments are still large...
| Call Number: | Libro Electrónico |
|---|---|
| Main Author: | |
| Other Authors: | |
| Format: | Electronic eBook |
| Language: | Inglés |
| Published: |
Boca Raton, FL :
Auerbach Publications,
©2011.
|
| Subjects: | |
| Online Access: | Texto completo |
Table of Contents:
- 1. Introduction
- 2. Dependability, reliability, and safety assessment
- 3. Techniques for safety assessment
- 4. Development of safety-critical applications
- 5. Formal methods for safety assessment
- 6. Formal methods for certification.