La primera reunión científica del proyecto COST (EU) “Runtime Verification beyond Monitoring (ARVI)” ha tenido lugar en La Valeta, Malta entre el 9 y el 10 de Abril. César Sánchez, investigador del Instituto IMDEA Software, es miembro del comité de dirección y líder de un grupo de trabajo, y fue también uno de los líderes en la elaboración de esta propuestas COST.
La verificación en tiempo de ejecución (Runtime Verification, RV) es un paradigma de análisis de computación basado en la observación de un sistema durante su ejecución para comprobar que su comportamiento se ajusta al esperado. En los últimos años la RV ha emergido como una aplicación práctica de la verificación formal, una aproximación menos ad hoc que el testing convencional, basada en la construcción de monitores a partir de especificaciones formales.
Los principales objetivos de la acción son:
crear una infraestructura que permite comparar herramientas y reutilizar la infraestructura existente en la verificación en tiempo de ejecución,
explorar aplicaciones con impacto potencial de la verificación en tiempo de ejecución en entornos industriales tales como hardware, artefactos médicos, computación en la nube, y hasta sistemas centrados en humanos, y
explorar dominios de aplicación que suponen retos para la monitorización y verificación en tiempo de ejecución, tales como los sistemas híbridos y los sistemas distribuidos.
Dada la importancia de la industrias basadas en la computación en Europa, las nuevas aplicaciones de verificación en tiempo de ejecución tienen una gran impacto en términos de los nuevos tipos de diseño que hacen posible, así como su fiabilidad y efectividad en coste.
Esta acción COST ha sido financiada por 4 años, hasta el 2018.
