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
Zeitschrift:
Revista DYNA

ISSN: 0012-7361 0012-7361

Datum der Publikation: 2022

Titel der Ausgabe: La pequeña iSIM de Satlantis analizando la tierra desde el espacio

Ausgabe: 97

Nummer: 1

Seiten: 18-22

Art: Artikel

DOI: 10.6036/10243 DIALNET GOOGLE SCHOLAR

Andere Publikationen in: Revista DYNA

Ziele für nachhaltige Entwicklung

Zusammenfassung

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.

Informationen zur Finanzierung

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).