Características de un Software Fiable
Software crítico y fallos de software
Software crítico
Existe cuando
Fallo que produce estado peligroso
No se mitiga
Fallo
Comportamiento inesperado
Seguridad y dependabilidad
Dependabilidad
Cantidad de fallos
Frecuencia de fallos
No evalua consecuencia de fallos
Libre de riesgos criticos
Esperanza de no peligro
Requisitos y procesos de ciclo de vida de software crítico
Metodos
Eliminación de fallos
Estimar la aparicion de fallos
Tolerancia a Fallos
Adaptar el sistema al fallo
Prevención de fallos
que no aparescan
Seguridad
El sistema no pone en peligro seres humanos
Fiabilidad
Capacidad de un sistema para realizar tareas especificas sin fallos
