Especificación de sistemas
Sistema formal
Ventajas
Especicaciones 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
