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.

 
Pubblicato il 26 novembre 2024

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

  • B&R AI generativa collaborazione in cloud progettazione Automation Studio Code
    Ingegneria in cloud e assistenti AI nella suite di progettazione B&R

    Alla fiera SPS di quest’anno a Norimberga, in Germania, B&R ha annunciato un importante aggiornamento della sua suite completa di software di progettazione e runtime. Con Automation Studio Code, B&R introduce un’esperienza di progettazione completamente nuova. La...

  • Red Hat_Stefan Bergstein AI generativa
    L’AI generativa aumenta l’efficienza produttiva nel manifatturiero

    Nella produzione, anche piccoli errori possono portare al blocco della linea, in uno scenario da incubo che l’AI generativa promette di rendere sempre meno frequente. Stefan Bergstein, Chief Architect Manufacturing di Red Hat, illustra le nuove opportunità...

  • Minsait rapporto adozione AI aziende industriali
    Rapporto Minsait, AI in produzione già nel 67% delle aziende industriali

    L’intelligenza artificiale è diventata un potente strumento di trasformazione del settore industriale. In un contesto in cui l’obiettivo è quello di aumentare la produttività e la competitività, il 67% delle aziende industriali sta già utilizzando l’AI e...

  • Semiconduttori: la GenAI trasforma il futuro del settore

    I chip per AI generativa, in sinergia con strumenti di intelligenza artificiale evoluti, promettono di elevare l’automazione delle infrastrutture di smart manufacturing e le stesse smart factory dedicate alla produzione di circuiti integrati. Leggi l’articolo  

  • Keba SPS 2024 automazione su misura Kemro X
    Soluzioni di automazione su misura Keba in SPS 2024

    Keba Industrial Automation sarà presente SPS 2024 di Norimberga (Pad. 7, Stand 470) dove punterà su soluzioni integrate, digitalizzazione e intelligenza artificiale. La versatilità del portfolio prodotti si riflette in Kemro X, la piattaforma aperta e flessibile...

  • Vision 2024 imaging 3D AI dati sintetici elaborazione immagini
    Dati sintetici, imaging 3D e AI al centro del Forum alla VISION 2024

    Gli organizzatori di VISION 2024, fiera leader mondiale specializzata in tecnologie per elaborazione dell’immagine che avrà luogo dall’8 al 10 ottobre 2024 presso la Messe Stuttgart, hanno annunciato il programma delle conferenze che si terranno durante l’evento....

  • Accelerare la trasformazione digitale

    L’AI generativa ha un grosso impatto su applicazioni moderne, API, multicloud e AIOps. Vediamole La pandemia e il suo impatto sul ritmo della trasformazione digitale delle imprese sono ormai superati. Tuttavia, la rapida accelerazione tecnologica, il passaggio...

  • Perché l’agricoltore del futuro deve saperne di tecnologia

    Oggi l’agricoltore è più simile a uno scienziato che a un lavoratore manuale, gestisce macchine, analizza dati e ottimizza l’uso di fitofarmaci e nutrienti. Negli ultimi anni, il rapporto fra agricoltura e tecnologia è migliorato grazie a...

  • Proofpoint AI generativa
    AI generativa, il 45% dei CISO italiani teme per la sicurezza

    Negli ultimi mesi l’AI generativa si è imposta tra i temi di riferimento a livello aziendale, per i benefici che promette di portare a coloro che la adotteranno in modo adeguato, come sottolinea Emiliano Massa, Area Vice...

  • Edge e Cloud nella produzione di impermeabilizzanti per edilizia

    Un percorso di innovazione per l’ottimizzazione del processo produttivo nel settore degli impermeabilizzanti per l’edilizia: come l’intelligenza artificiale applicata in linea ha consentito a Volteco di migliorare l’efficienza, ridurre gli sprechi e aumentare la qualità del prodotto...

Scopri le novità scelte per te x