Andere Kunden interessierten sich auch für
![Análise dos pontos críticos na implantação de um ERP]( "Análise dos pontos críticos na implantação de um ERP")
Análise dos pontos críticos na implantação de um ERP23,99 €![Verificación de Datos en Comprobantes Fiscales Digitales de México]( "Verificación de Datos en Comprobantes Fiscales Digitales de México")
Verificación de Datos en Comprobantes Fiscales Digitales de México23,99 €![Sistemas de Transporte Inteligentes usando IA e IoT]( "Sistemas de Transporte Inteligentes usando IA e IoT")
Sistemas de Transporte Inteligentes usando IA e IoT39,99 €![Modelagem de sistemas orientados a objetos usando Redes de Petri]( "Modelagem de sistemas orientados a objetos usando Redes de Petri")
Modelagem de sistemas orientados a objetos usando Redes de Petri32,99 €![Prevención del ataque de agujero negro a los datos usando honeypots]( "Prevención del ataque de agujero negro a los datos usando honeypots")
Prevención del ataque de agujero negro a los datos usando honeypots26,99 €![Detección de tumores de cerebro usando el proceso de imagen digital]( "Detección de tumores de cerebro usando el proceso de imagen digital")
Detección de tumores de cerebro usando el proceso de imagen digital36,99 €![Framework usando un componente de Pre-Procesamiento y MARS para la prediccion de ventas]( "Framework usando un componente de Pre-Procesamiento y MARS para la prediccion de ventas")
Framework usando un componente de Pre-Procesamiento y MARS para la prediccion de ventas40,99 €
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.