2.6 Especificación de sistemas

Mer av detta

TIPOS DE LÓGICA

av Mayolo Cárdenas Cárdenas

MAPA MENTAL DE HISTORIA DE LA MEDICION

av Jacqueline Escalante

VITAMINAS LIPOSOLUBLES

av Daniela Lisset Pure Flores

Sucesiones matemáticas

av Ludmooo Guzmán

Especificación de sistemas

Sistema formal

Ventajas

Especicaciones basadas en lógicas de primer orden y teoría de conjunto

Se obtiene una comprensión profunda y pormenorizada de los requerimientos del sistema

Los costos de las pruebas del programa suelen reducirse porque el programa se verifico contra su especificación

Se expresa en un lenguaje con semántica definida formalmente y se puede descubrir inconsistencias y aquello que no se completo

Se garantiza que el programa resultante cumpla su especificación

Forma efectiva de descubrir problemas de requerimientos

Los métodos formales se refieren entonces al uso de técnicas de la lógica y de la matemática discreta para especificar, diseñar, verificar, desarrollar y validar programas

Es una descripción sin ambigüedades basada en que debe hacer un sistema

Al usar métodos manuales o soportados por herramientas, es posible comprobar que el comportamiento de un programa es congruente con la especificación

Se caracterizan por emplear técnicas y herramientas matemáticas para lograr una facilidad a la hora de encarar la construcción o el análisis de un modelo matemático de un sistema

Sistema crítico

Tipos de sistemas críticos:

Sistemas de misión críticos

Sistema cuyo fallo de funcionamiento puede provocar errores en algunas actividades dirigidas por objetivos.

Un ejemplo de esto es un sistema de navegación para una nave espacial

Sistemas de negocio críticos

Sistema cuyo fallo de funcionamiento puede provocar costes muy elevados para el negocio que utiliza un sistema de este tipo

Un ejemplo de aquello es un sistema de cuentas bancarias

Sistemas de seguridad críticos

Sistema cuyo fallo de funcionamiento puede provocar perjuicio, perdida de vidas o daños graves al medio ambiente

Un ejemplo claro es un sistema de control para una planta de fabricación de productos químicos agrícolas

Tipos:

Tipos de sistemas críticos

Especificación de seguridad

Especificación de fiabilidad

Especificación de protección

Especificación dirigida por riesgos

Son sistemas técnicos o socio-técnicos de los cuales las personas o negocios dependen de ellos

Van de la mano con la confiabilidad y la seguridad

Usan requerimientos funcionales y no funcionales

Son aquellos que ayudan a reflejar las necesidades reales de los usuarios en un sistema