Especificación de sistemas
Sistema crítico
Son aquellos que ayudan a reflejar las necesidades reales de los usuarios en un sistema
Usan requerimientos funcionales y no funcionales
Van de la mano con la confiabilidad y la seguridad
Son sistemas técnicos o socio-técnicos de los cuales las personas o negocios dependen de ellos
Tipos:
Especificación dirigida por riesgos
Especificación de protección
Especificación de fiabilidad
Especificación de seguridad
Tipos de sistemas críticos
Tipos de sistemas críticos:
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
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 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
Sistema formal
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
Al usar métodos manuales o soportados por herramientas, es posible comprobar que el comportamiento de un programa es congruente con la especificación
Es una descripción sin ambigüedades basada en que debe hacer un sistema
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
Forma efectiva de descubrir problemas de requerimientos
Ventajas
Se garantiza que el programa resultante cumpla su especificación
Se expresa en un lenguaje con semántica definida formalmente y se puede descubrir inconsistencias y aquello que no se completo
Los costos de las pruebas del programa suelen reducirse porque el programa se verifico contra su especificación
Se obtiene una comprensión profunda y pormenorizada de los requerimientos del sistema
Especicaciones basadas en lógicas de primer orden y teoría de conjunto