AIDOaRt – AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in Cyber-Physical Systems – Unità di ricerca dell’Università degli Studi di Sassari Responsabile del progettoProf. Luca PulinaUnità di RicercaDott.ssa Laura PandolfoDott. Dario GuidottiHorizon 2020 – ECSEL Joint Undertaking, Research and Innovation Action (RIA), Grant Agreement n. 101007350AIDOaRt è un progetto europeo dedicato all’automazione intelligente dello sviluppo continuo di sistemi cyber-fisici complessi, integrando Model-Driven Engineering, DevOps e Intelligenza Artificiale. L’unità di ricerca dell’Università di Sassari, coordinata da Luca Pulina, ha contribuito all’AI-Augmented Tool Set con strumenti per requisiti, testing e soprattutto verifica formale di reti neurali in sistemi safety-critical. Il principale risultato è NNVer, sviluppato per aumentare l’affidabilità di modelli di visione nel caso d’uso automotive del virtual rear-view mirror, combinando standard ONNX e VNNLIB con automated reasoning e tecniche di verifica. L’unità ha inoltre sviluppato ReqH, per tradurre requisiti in linguaggio naturale in specifiche formali mediante LLM. I risultati sono stati validati nei casi d’uso e negli hackathon del progetto e diffusi attraverso pubblicazioni internazionali e software. Verification of Neural Networks- Challenges and Perspectives in the AIDOaRt Project.pdf AIDOaRt AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems AI-augmented automation for efficient DevOps, a model-based framework for continuous development At RunTime in cyber-physical systems AIDOaRt-UNISS-ReqH Formal Verification of Neural Networks: A “Step Zero” Approach for Vehicle Detection Verifying Neural Networks with Non-Linear SMT Solvers: a Short Status Report Verifying Neural Networks with SMT: An Experimental Evaluation Browse AIDOaRt – AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in Cyber-Physical Systems – Unità di ricerca dell’Università degli Studi di Sassari C-WISE – Citizen Wellness Centric AI-Based Policy Making Support System in an Urban Environment IMOCO4.E – Intelligent Motion Control under Industry 4.E – Unità di ricerca dell’Università degli Studi di Sassari Il governo del patrimonio linguistico e culturale per lo sviluppo sostenibile delle destinazioni MANATEE - Monitoring and mApping of mariNe hAbitat with inTegrated gEomatics technologiEs Progetto di rete fra i CEAS della Baronia e del Nuorese e l'Università di Sassari REDAZIONE DEL PIANO DI MARKETING E DI PROMOZIONE DELL’ISOLA DELL’ASINARA E DELL’AREA DELLA RETE METROPOLITANA SECURED – Scaling Up Secure Processing, Anonymization and Generation of Health Data for EU Cross-Border Collaborative Research and Innovation – Unità di ricerca dell’Università degli Studi di Sassari SKET-Monitor – Smart Knowledge-Driven Environmental and Territorial Monitoring Turismo Intelligente: Assistenti Virtuali e strumenti IT per la valorizzazione dell’offerta turistica e delle risorse” acronimo “TIVAR e.INS Spoke 2 – Innovation and Sustainability for the Competitiveness of Tourism and Cultural Heritage in Marginal Markets – attività di coordinamento scientifico nel periodo febbraio 2024-gennaio 2026