Resumen de Digital safety manager: servivio loT para asegurar el buen comportamiento de las máquinas y controles en la fábrica
Miren Illarramendi Rezabal, Asier Iriarte Murgiondo, Aitor Arrieta Marcos 
, Goiuria Sagardui Mendieta , Félix Larrinaga Barrenechea
La industria digital, requiere de sistemas de software cada vez más complejos y también más fiables. Necesitan controlar y tomar decisiones críticas en tiempo de ejecución. Como consecuencia, la verificación y validación de estos sistemas se ha convertido en un reto de investigación importante. En tiempo de diseño y desarrollo se usan técnicas de testeo de modelos mientras que la verificación en tiempo de ejecución tiene como objetivo verificar que un sistema satisface una propiedad dada. La solución que se presenta, apunta sistemas embebidos cuyos componentes software están diseñados por máquinas de estado definidos mediante Unified Modelling Language (UML). La plataforma CRESCO (C++ REflective State-Machines based observable software COmponents), genera componentes software que proporcionan información interna en tiempo de ejecución y el verificador utiliza esta información para comprobar los contratos de fiabilidad/safety del nivel del sistema. El verificador detecta la violación de un contrato del sistema e inicia un proceso de safeState preveniendo escenarios peligrosos. Dichos contratos se definen mediante información interna de los componentes software que integran el sistema. Así, como se demuestra en el experimento evaluado, la robustez del sistema aumenta. Todos los componentes software (controladores) como el verificador, se han desplegado como servicios (productores/consumidores) de la plataforma IoT Arrowhead: los controladores se despliegan en plataformas Arrowhead locales (Edge) y el verificador (Safety Manager) se despliega en una plataforma Arrowhead (Cloud) que consume controladores en el Edge y asegura el buen funcionamiento de los controladores de planta.
