Digital safety managerservivio loT para asegurar el buen comportamiento de las máquinas y controles en la fábrica

  1. Miren Illarramendi 1
  2. Asier Iriarte 1
  3. Aitor Arrieta 1
  4. Goiuria Sagarduí 1
  5. Félix Larrinaga 1
  1. 1 Universidad de Mondragón. EPS. España
Revista:
Revista DYNA

ISSN: 0012-7361 0012-7361

Año de publicación: 2022

Título del ejemplar: La pequeña iSIM de Satlantis analizando la tierra desde el espacio

Volumen: 97

Número: 1

Páginas: 18-22

Tipo: Artículo

DOI: 10.6036/10243 DIALNET GOOGLE SCHOLAR

Otras publicaciones en: Revista DYNA

Objetivos de desarrollo sostenible

Resumen

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.

Información de financiación

Este trabajo ha sido parcialmente subvencionado por el proyecto ADEPTNESS, ARROWHEAD Tools, e Ikerketa Taldeak del Gobierno Vasco (IT1326-19). ADEPTNESS ha recibido subvención de la Unión Europea Horizon 2020 (Grant Agreement nº871319) y ARROWHEAD Tools del Programa Europeo ECSEL Joint Undertaking (JU) (Grant Agreement nº826452).