Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autor principal: | |
| Otros Autores: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
Boca Raton, FL :
Auerbach Publications,
©2011.
|
| Temas: | |
| Acceso en línea: | Texto completo |
Tabla de Contenidos:
- 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.