Resumen:
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 a partir de trazas de ejecución, definimos un conjunto de extensiones necesarias para superar las limitaciones halladas y proveemos un conjunto de herramientas para facilitar el proceso de generación, análisis y verificación de las trazas respecto de escenarios expresados en VTS extendido.
Abstract:
There is a wide variety of industry fields for which critical systems are a fundamental piece. This applications have control and real time aspects which make development tasks specially difficult and their incorrect behavior could lead to big losses, both material and human. Is for this reason that it’s vital to have tools that provide a high level of confidence about the absense of defects in such applications. One of the most used technics to accomplish such a goal is Model Checking, which requires a formal specification of the requirements to be verified. An adequate tool for expressing complex real time requirements in a visual and user friendly way is VTS, a scenario based graphic language originally designed to assist in systems verification through Model Checking. In this paper we’ll study the applicability and limitations of VTS for the specification and verification of critical systems based on execution logs, we’ll define a set of extensions needed to overcome the found limitations and provide a toolset to aid in the processes of log generation, analysis and verification against extended VTS expressed scenarios.
Citación:
---------- APA ----------
Chojrin, Mauro; Cecconi, Pablo. (2015). Verificación de sistemas críticos a partir de trazas de ejecución usando VTS. (Tesis de Grado. Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales.). Recuperado de https://hdl.handle.net/20.500.12110/seminario_nCOM000652_ChojrinCecconi
---------- CHICAGO ----------
Chojrin, Mauro; Cecconi, Pablo. "Verificación de sistemas críticos a partir de trazas de ejecución usando VTS". Tesis de Grado, Universidad de Buenos Aires. Facultad de Ciencias Exactas y Naturales, 2015.https://hdl.handle.net/20.500.12110/seminario_nCOM000652_ChojrinCecconi
Estadísticas:
Descargas mensuales
Total de descargas desde :
https://bibliotecadigital.exactas.uba.ar/download/seminario/seminario_nCOM000652_ChojrinCecconi.pdf
Distrubución geográfica
