Galicia: Large Language Models per generare codice

Galicia è un progetto di AI Generativa per lo sviluppo di software per testare la resilienza digitale, con la verifica del codice generato da LLM.

Dalla rivista:
Automazione e Strumentazione

 

Galicia è un progetto di AI Generativa per lo sviluppo di software. In particolare, il progetto Galicia, finanziato da NGI Sargasso, affronta i rischi e le sfide poste dall’IA Generativa sulla resilienza digitale, cioè sulla capacità di un’infrastruttura di evitare interruzioni inattese e di continuare a funzionare nonostante le avversità che potrebbero altrimenti comprometterne affidabilità, sicurezza, protezione e usabilità.

Il progetto testa un approccio innovativo alla verifica della resilienza digitale tramite l’analisi della correttezza e la sicurezza del codice generato da Large Language Models (LLM). Galicia mira a sviluppare una piattaforma per la verifica automatizzata del codice generato dagli LLM) garantendo la conformità ai requisiti e agli standard definiti dagli utenti.

La metodologia di verifica automatizzata copre l’intero ciclo di vita, dalle specifiche in linguaggio naturale alle specifiche di sicurezza fornite dagli utenti, fino alla validazione formale, con un focus su casi di studio di rilevanza industriale. Testando e analizzando i limiti del codice generato dagli LLM, Galicia contribuisce alla resilienza digitale e alla fiducia nell’AI generativa.

Il progetto proposto si allinea alla crescente domanda di conformità nell’automazione industriale e alla necessità di produzione di software rapida e a basso costo. Il progetto sarà sviluppato da un Consorzio costituito da Novareckon, Mind in a Box Inc. e Hal Service.

Un obiettivo del progetto è verificare la familiarità, gli interessi e le esigenze degli stakeholder nei confronti dei LLM. Per questa ragione gli organizzatori del progetto chiedono di partecipare all’indagine compilando un questionario, che è compilabile fino al 31 Marzo 2025.

Contenuti correlati

• 
  Gli OSCAR dell’AUTOMAZIONE: Miraitek: Ecosistema digitale per la gestione intelligente degli impianti. Il caso Cosberg

  Nel contesto della manifattura avanzata, la collaborazione tra Miraitek e Cosberg ha dato vita a una piattaforma digitale universale per la gestione dell’intero ciclo di vita degli impianti di assemblaggio. La soluzione si articola in quattro applicazioni...
• 
  Sicurezza dei CPS: dalle minacce emergenti alla resilienza operativa

  C’è stato un tempo in cui gli attacchi informatici contro i sistemi cyber-fisici (CPS) erano quasi esclusivamente confinati all’ambito teorico. I sistemi di controllo industriale (ICS) erano protetti da air gap, i dispositivi medici risultavano analogamente isolati...
• 
  Wibu-Systems rafforza il Consiglio di Sorveglianza con la nomina di Joern Mueller-Quade

  Wibu-Sysrtems AG ha nominato il Prof. Dr. Joern Mueller-Quade nel proprio Consiglio di Sorveglianza, rafforzando ulteriormente la supervisione strategica dell’azienda nei campi della crittografia, del secure computing e della resilienza digitale a lungo termine. La decisione riflette...
• 
  Umani ma non troppo

  Dopo l’introduzione a livello industriale dei cobot e, successivamente, dell’AI generativa, la previsione di molti esperti del settore è che la prossima rivoluzione nell’ambito dell’automazione di fabbrica (e non solo) risieda nell’impiego esteso di robot umanoidi… Leggi...
• 
  Hermes Reply affianca Lavazza: un nuovo modello di manufacturing digitale ed efficiente

  Hermes Reply, la società del Gruppo Reply specializzata nella trasformazione digitale in ambito manufacturing e supply chain, ha affiancato Lavazza Group nella progettazione e implementazione di un nuovo modello di manufacturing digitale ed efficiente, con l’obiettivo di...
• 
  La Space Economy italiana: il mercato dell’osservazione delle terra vale 340 milioni di euro

  La Space Economy cresce e diventa sempre più rilevante nel panorama italiano. Secondo la ricerca dell’Osservatorio Space Economy (*) del Politecnico di Milano, il mercato dei servizi di osservazione della Terra in Italia nel 2025 ha raggiunto...
• 
  Attenzione all’intelligenza artificiale non gestita: può creare rischi di business, alla reputazione e normativi

  L’adozione di modelli linguistici di grandi dimensioni (LLM) senza un’adeguata governance, verifica e supervisione, rischia di esporre a danni legali, finanziari e di reputazione. Il dato emerge da “Risks of Unmanaged AI Reliance: Evaluating Regional Biases, Geofencing,...
• 
  Il mercato dell’AI in Italia cresce del 50% nel 2025, 1,8 miliardi di euro

  La ricerca dell’Osservatorio Artificial Intelligence del Politecnico di Milano (*), presentata durante il convegno “Artificial Intelligence: adozione, trasformazione, equilibrio” è una dei 60 differenti filoni di ricerca degli Osservatori Digital Innovation della Polimi School of Management, che affrontano tutti...
• 
  Le previsioni di Analog Devices per il 2026

  Le previsioni di Analog Devices per il 2026, nell’ambito dell’elettronica e dell’AI che vanno oltre a quella che conosciamo. Queste analisi offrono una prospettiva unica sui cambiamenti che influenzeranno la produzione industriale, l’elettronica di consumo e lo sviluppo...
• 
  Rockwell Automation potenzia l’AI grazie a Nvidia Nemotron

  Rockwell Automation ha annunciato un’importante innovazione che porta l’AI generativa direttamente all’edge industriale. Ha infatti introdotto l’integrazione di Nvidia Nemotron Nano, uno small language model (SLM) progettato su misura e ottimizzato per FactoryTalk Design Studio e per altri...