El análisis de riesgo

LA NUEVA UNIVERSIDAD REGIOMONTANA

VICERECTORIA UNIVERSITARIA[pic 1]

INGENIERIA DE SOFTWARE

TAREA 3

ALICIA GUADALUPE DIAZ HURATDO

HUGO ALEJANDRO IRACHETA MARTINEZ

713433

CAPITULO 9

El análisis de riesgos es una actividad clave en el proceso de especificación de sistemas críticos. Implica identificar riesgos que pueden resultar en accidentes o incidentes. Luego, se generan los requisitos del sistema para garantizar que estos riesgos no surjan o, si ocurren, no ocasionan un incidente.

El análisis de riesgo es el resultado de evaluar la probabilidad de que un riesgo resulte en un accidente.

El análisis de riesgos identifica los riesgos críticos que deben evitarse en el sistema y los riesgos de clasificación de acuerdo con su gravedad.

Para especificar los requisitos de seguridad, debe identificar los activos que deben protegerse y definir cómo deben usarse las técnicas y la tecnología de seguridad para proteger estos activos.

Los requisitos de confiabilidad deben definirse cuantitativamente en la especificación de requisitos del sistema.

Hay varias métricas de confiabilidad, como la probabilidad de falla bajo demanda (POFOD), la tasa de ocurrencia de fallas, el tiempo promedio de falla (MTIF) y la disponibilidad. La métrica más apropiada para una raíz específicas depende del tipo de dominio del sistema y de la aplicación.

Se pueden utilizar diferentes métricas para diferentes subsistemas.

CAPITULO 10

Los métodos de especificación formal del sistema complementan las técnicas informales de especificación de requisitos. Se pueden usar con una definición de requisitos de lenguaje natural para aclarar cualquier área de ambigüedad potencial en la especificación.

Las especificaciones formales son precisas y no ambiguas. Eliminan áreas de duda en una especificación y evitan algunos de los problemas de interpretación errónea del idioma. Sin embargo, los no especialistas pueden encontrar especificaciones formales difíciles de entender.

El valor principal de utilizar métodos formales en el proceso del software es que obliga a un análisis de los requisitos del sistema en una etapa temprana. Corregir errores en esta etapa es más barato que modificar un sistema entregado.

Las técnicas de especificación formal son más rentables en el desarrollo de sistemas críticos donde la seguridad, la confiabilidad y la seguridad son particularmente importantes. También se pueden utilizar para especificar normas.

Las técnicas algebraicas de especificación formal son particularmente adecuadas para especificar interfaces donde la interfaz se define como un conjunto de clases de objetos o tipos de datos abstractos. Estas técnicas ocultan el estado del sistema y especifican el sistema en términos de relaciones entre las operaciones de interfaz.

...