Robotizr e AI-MATTERS: come potenziare sicurezza e affidabilità dei sistemi robotici

Nell’ambito del progetto europeo AI-MATTERS, il Centro Digital Industry (DI Center) di FBK ha collaborato con Robotizr – azienda italiana specializzata in soluzioni per l’automazione industriale – al potenziamento dell’affidabilità e sicurezza dei sistemi robotici attraverso l’applicazione di metodi formali di verifica software,offrendo il servizio: “Applicazione di metodi formali per sistemi industriali affidabili”. La piattaforma Robotizr consente di programmare bracci robotici industriali tramite un’interfaccia grafica intuitiva che permette la creazione di sequenze operative attraverso la composizione di blocchi visivi su tablet, anche ad operatori che non hanno competenze di programmazione. Questa flessibilità apre la robotica a nuovi utenti e contesti, ma introduce anche la necessità di garantire che i programmi generati siano sicuri, coerenti ed efficienti.

L’Unità Formal Methods del Centro Digital Industry di FBK, grazie al servizio di AI-MATTERS, ha integrato strumenti avanzati di verifica automatica del codice sviluppati internamente alla Fondazione (model checker nuXmv, analizzatore Kratos) ai fini dell’analisi dei programmi generati dagli utenti e dell’individuazione automatica di comportamenti anomali, inefficienze o rischi potenziali prima dell’entrata in funzione del robot.

Il risultato è stata la validazione di una piattaforma che unisce accessibilità e sicurezza, capace di prevenire errori operativi e garantire maggiore affidabilità ai processi produttivi.
L’erogazione di questo servizio ha messo in evidenza come la ricerca applicata possa essere alla base della validazione di soluzioni concrete sviluppate per l’industria, promuovendo un’automazione intelligente, sicura e sostenibile in linea con i principi dell’Intelligenza Artificiale affidabile.

I dettagli del progetto

La soluzione

AI-MATTERS ha fornito a Robotizr competenze tecniche personalizzate e l’accesso a tecnologie di verifica all’avanguardia sviluppate dall’unità Formal Methods (FM) di FBK.

Il progetto si è concentrato sull’integrazione dei metodi di verifica formale direttamente nella piattaforma Robotizr, utilizzando strumenti avanzati come il verificatore di modelli simbolici nuXmv e l’analizzatore di codice Kratos.

Grazie a questa collaborazione, il team di Robotizr, insieme ai ricercatori della FBK Stefano Tonetta e Alberto Griggio, ha progettato un backend di verifica in grado di tradurre i programmi visivi dei robot in rappresentazioni formali, verificando automaticamente la presenza di anomalie, blocchi irraggiungibili o movimenti non sicuri.

I risultati

La partnership tra Robotizr e AI-MATTERS ha prodotto risultati misurabili:

• maggiore sicurezza: rilevamento precoce di comportamenti robotici non sicuri o incoerenti.
• maggiore affidabilità: convalida automatizzata dei programmi definiti dall’utente attraverso l’analisi formale.
• migliore usabilità: gli utenti possono ora ricevere feedback in tempo reale su potenziali errori direttamente all’interno dell’interfaccia di programmazione visiva.

Questi progressi hanno trasformato la piattaforma di Robotizr in un ambiente affidabile per l’automazione industriale, dove sicurezza e innovazione coesistono.

Guardando al futuro

Sulla base dei risultati ottenuti con AI-MATTERS, Robotizr prevede di espandere il proprio framework di verifica per includere l’analisi dinamica del runtime e l’ottimizzazione basata sull’apprendimento automatico, garantendo che l’automazione rimanga intelligente e sicura.