Verificación de Sistemas Críticos usando VTS

Existe una gran variedad de campos de la industria en los cuales son aplicables sistemas críticos. Estas aplicaciones tienen aspectos referidos al control y al tiempo real que dificultan las tareas de desarrollo y su incorrecto funcionamiento puede desencadenar grandes pérdidas, tanto materiales como humanas. Por esta razón, es de suma importancia contar con herramientas que permitan obtener un buen margen de certeza acerca de la ausencia de defectos en dichas aplicaciones. Una de las técnicas ampliamente utilizadas para lograr dicho objetivo es la Verificación mediante Modelos (modelchecking) la cual requiere de una descripción formal de los requerimientos que se desean verificar. Una herramienta adecuada para expresar complejos requerimientos de tiempo real basados en eventos de forma visual y amigable es VTS, un lenguaje gráfico basado en escenarios diseñado originalmente para asistir en la verificación de sistemas mediante modelos. En el presente trabajo estudiamos la aplicabilidad y limitaciones de VTS para especificar escenarios para la verificación de sistemas críticos.