Zusammenfassung der Ressource
Especificación de confiabilidad y seguridad
- Especificación de requerimientos dirigida por riesgos
- Análisis preliminar del riesgo
- Análisis de riesgo de ciclo de vida
- Análisis de riesgo operativo
- Especificación de protección
- Reducción del riesgo
- Identificación de peligro
- Análisis del peligro
- Valoración del peligro
- Especificación de fiabilidad
- Es parte de:
- Métricas de fiabilidad
- es
- se utiliza para especificar el
atributo de sistema relacionado
con la disponibilidad.
- Requerimientos de fiabilidad no
funcionales
- son
- especificaciones cuantitativas
de la fiabilidad y disponibilidad
requeridas de un sistema.
- Especificación de fiabilidad funcional
- existen tres tipos
- Requerimientos
de
comprobación
- Requerimientos
de recuperación
- Requerimientos
de redundancia
- Especificación de seguridad
- Existen tres etapas en este proceso:
- Análisis preliminar del riesgo
- Análisis del riesgo del ciclo de vida
- Análisis del riesgo operativo
- Especificación formal
- contribuyen a
- Un proceso de software basado en un plan, en que el sistema se especifica
completamente antes de su desarrollo.
- ventajas de desarrollar una especificación formal
- se obtiene una comprensión
profunda y pormenorizada de los
requerimientos del sistema
- puede analizarse aquello que no se completó.
- Si se usa un método como el
método B, se puede transformar
la especificación formal en un
programa