Especificacion sistemas criticos

Mer som dette

Adulto mayor

Ved michel lozano

LA CRUZ ROJA

Ved laura petro del castillo

historia de la salud y la seguridad en el trabajo

Ved LADY DANIELA JARRO ALBARRACIN

LOGÍSTICA Y DISTRIBUCIÓN FÍSICA INTERNACIONAL

Ved Katherine Cifuentes

Especificacion Formal

Usos

Pruebas de correspondencia entre el codigo maquina y el codigo fuente

Las pruebas de correspondencia entre el codigo fuente y la especificacion

Las pruebas de correspondencia entre la especificacion y los requisitos

La especificacion

Las politicas de los requisitos

Ventajas

Validacion: Se asegura de que el software construido corresponde con los requisitos del cliente

Verificacion: Para asegurar la calidad de los sistemas es necesario probarlos y para esto se reuqiere una precisa descripcion de sus funciones

Especificacion: Desarrollar formalmente una especificacion requiere conocimiento detallado y preciso del sistema, lo que ayuda a exponer errores y omisiones.

La denominacion de metodos formales se usa para referirse cualquier actividad relacionada con representaciones matematicas del software, incluyendo la especificacion de sistemas, analisis y verificacion de programas. Una especificacion formal del software es una especificacion expresada en un lenguaje cuyo vocabulario, sintaxis y semantica estan formalmente definidos. La rama de las matematicas usada es al matematica discreta y los conceptos provienen de la teoria de conjuntos.

En la decada de los 80, los innvestigadores propusieron el uso de metodos formales, predijeron que, en el siglo XXI , gran parte del software estaria desarrollado con el uso de estos metodos, ya que la prediccion no se ha hecho realidad por cuatro razones

Escalabilidad limitada de los metodos formales

Ambito limitado de los metodos formales

Cambios en el mercado

Ingenieria del software exitosa

Especificacion sistemas criticos

Especificacion de la seguridad

El proceso de especificación y garantía de seguridad e parte de un ciclo de vida completo de seguridad definido en un estandar internacional para la gestion de seguridad IEC61508. Este estandar se desarrolló para la proteccion de sistemas tales como un sistema de parada de tren si este se salta una señal en rojo.

Requerimientos de integridadque definien la fiabilidad y disponibilidad de la proteccion del sistema

Requerimientos de seguridad funcionales que definen las funciones de seguridad del sistema.

Especificacion de la fiabilidad del software

Metricas de fiabilidad

Disponibilidad

Tiempo medio entre fallos

Tasas de ocurrencia de fallos

Probabilidad de fallos en la peticion

Fiabilidad del operador:¿Cual es la probabilidad de que el operador de un sistema cometa un error?

Fiabilidad del software: ¿Cual es la probabilidad de un componente de software produzca una salida incorrecta?

Fiabilidad del hardware: ¿Cual es la probabilidad de que un componente hardware falle y cuanto tiempo se tarda en repararlo?

Especificacion de la protección

Tipos de requerimientos de proteccion

Seguridad de mantenimiento del sistema: Especifica como una aplicacion puede impedir cambios que se hayan autorizado como consecuencia de una violción accidental de sus mecanismos de seguridad.

Auditoria de seguridad: Especifica como puede auditarse y comprobarse el uso del sistema.

Privacidad: Especifica como mantener privacidad de los datos.

No rechazo: Especifica que una parte del a transaccion no puede negar su pertenencia a dicha transaccion.

Deteccion de intrusiones: Especifica el mecanismo que deberia usarse para detectar ataques al sistema.

Integridad: Especifica como debe evitarse la corrupción de datos.

Inmunidad: Especifica como un sistea debe protegerse de virus.

Autorizacion: Especifican los privilegios y permisos de acceso a usuarios identificados.

Autenticación: Especifica como son identificados los usuarios

Identificacion: especifica si un sistema debe identificar a sus usuarios antes de interactuar con él.

Tienen algo en comin con los requerimientos de seguridad. Son esenciales para todos los sistemas criticos. Si un sistema no está protegido, entonces está sujeto a infecciones de virus y gusanos.

Ejemplos

Sistema de cuentas Bancarias

Navegacion espacial

Estacion espacial internacional infectada por malware a traves de USB

Planta de fabricacion de productos quimicos

Robots quirurgicos

Especificacion dirigida por riesgos

Valoracion de reduccion de riesgos

Limitacion del daño: El sistema se diseña para que las consecuencias de un accidente se minimicen.

Deteccion y eliminacion de riesgos: El sistema se diseña para que los riesgos se detecten y neutralicen ante que provoquen un accidente.

Evitacion de riesgos: El sistema se diseña para que los riesgos no ocurran.

Descomposicion de riesgos

Es el proceso de descubrir las causas fundamentales de los riesgos de un sistema particular. Aqui se trata del arbol de analisis de defectos

Este rbol implica identificaar eventos no deseados y trabajar hacia atras a partir de ese evento para descubirr las causas de la contigencia. Un árbol de defectos puede proporcionar un mayor entendimiento de los requerimientos del software para detectar y corregir los problemas.

Analisis y clasificacion de riesgos

Aceptable: Si bien los diseñadores del sistema deberian realizar todos los posibles pasos para reducir la probabilidad de ocurrencia de una contingencia aceptable, dichos pasos no dberian incrementar los costes.

Tan bajo como raznonablemente práctico: Estos riesgos son los que tenienen menos consecuencias serias o con menos probabilidad de ocurrir.

Intolerable: El sistema debe diseñarse de tal forma que el riesgo no ocurra o si ocurre no provoque un accidente.

Para sistemas grandes, este analisis se lo puede estructurar por partes

Análisis de riesgos operacionales que comprenden la interfaz de usuario del sistema y los riesgos que surgen por los errores del operador.

Análisis de riesgos del software en el que se considern los riegos de fallos de funcionamiento del software.

Análisis mas detallado de riesgos del sistema y subsistemas.

Analisis preliminar de riesgos en el que se identifican los riesgos principales.

No es una alternativa al proceso habitual de especificiación de requerimientos, complementa a este ultimo proceso haciendo hincapié en la confiabilidad del sistema

Su objetivo es Comprender los riesgos con los que se enfrenta el sistema y generar requerimientos de comfiabilidad para tratar dichos riesgos

Valoracion de la reduccion de riesgos: Propuestas para reducir o eliminar los riesgos identificados.

Descomposición de riesgos: Cada riesgo se analiza de manera individual para descubrir las causas potenciales fundamentales de ese riesgo.

Analisis y clasificación de riesgos: Aquellos que son potencialmente serios se les realiza un analisis posteror. Se elimininan aquellos que sean improbables que surjan (ej: terremotos, tormentas electricas).

Identificación de riesgos: Se identifican los riesgos potenciales que podrian surgir.

Definicion

Son Sistemas tecnicos de los cuales dependen los sistemas y negocios, si estos sistemas no ofrecen sus servicios de forma adecuada pueden ocasionar graves problemas