Sardegna FESR 2014/2020 - ASSE PRIORITARIO I
“RICERCA SCIENTIFICA, SVILUPPO TECNOLOGICO E INNOVAZIONE”
Azione 1.1.4 Sostegno alle attività collaborative di R&S per lo sviluppo di nuove tecnologie sostenibili, di nuovi prodotti e servizi
Terzo comunicato semestrale sullo svolgimento del progetto
cluster Top Down
“PROSSIMO”
Terzo comunicato semestrale n. 3 periodo di lavoro dal 31 Maggio 2019 al 27 Novembre 2019 Organismo di Ricerca: Università degli Studi di Sassari
Progetto Cluster Top Down: PROSSIMO
Introduzione
Il progetto cluster PROSSIMO, finanziato nell'ambito del POR FESR Sardegna 2014-2020 e gestito da Sardegna Ricerche, avrà una durata di 30 mesi e terminerà a fine 2020. Il progetto nasce all’interno del laboratorio IDEA dell’Università degli Studi di Sassari grazie all'esperienza che i proponenti hanno consolidato nel corso di anni di attività di ricerca legata allo studio e all’implementazione di sistemi intelligenti, ovvero sistemi che hanno un’interazione immediata e flessibile con gli elementi della realtà fisica in cui si trovano. PROSSIMO mira al trasferimento di tecniche e strumenti avanzati per la progettazione e l'implementazione di Cyber Physical Systems (CPS). Tale obiettivo sarà raggiunto grazie ad un processo di sperimentazione di nuovi ed innovativi metodi e strumenti software capaci di supportare la progettazione e la verifica di tali sistemi nelle diverse fasi del loro ciclo di vita, al fine di ridurre considerevolmente il cosiddetto time-to-market grazie ad una rapida prototipazione di sistemi “corretti per costruzione”.
Stato di avanzamento del progetto nel terzo semestre
Al Mese 18 risultano attivi 3 Work Packages (WP), in quanto le attività relative a WP2 si sono concluse al mese 17. Nell’ambito di WP1 sono state completate tutte le attività previste per il mese corrente. Per quanto concerne WP2, sui casi d’uso e specifiche, tutte e tre le attività previste dal piano di lavoro sono state completate durante il mese di ottobre 2019, compresa la modifica inerente lo scenario n. 1 relativo al monitoraggio di ambienti con sistemi alimentati ad energia solare. Tale modifica è stata posta in essere per rispondere alle esigenze di diverse aziende del cluster e riguarda, nello specifico, il cambio di orientamento dello scenario n. 1 verso tematiche inerenti la smart and precision agriculture.
Per quanto riguarda il WP3 “Sperimentazione e sviluppo”, esso ha avuto inizio a mese 6 ed è composto da quattro attività, tre delle quali sono ancora in corso mentre il lavoro sull’integrazione del dimostratore inizierà a mese 29. La prima versione prototipale del software è già stata rilasciata ed è a disposizione delle aziende del cluster che intendono testarla.
Nello specifico, il focus sulle attività di WP3 è attualmente posto sulle seguenti linee di ricerca e sviluppo:
• Studio e sperimentazione di tecniche innovative per la sintesi e l'analisi di moduli computazionali embedded distribuiti in rete e interagenti con l'ambiente fisico.
• Progettazione integrata ed ottimizzazione di reti di CPS, in termini di adattività a tempo di
esecuzione di hardware e software e di risparmio di potenza.
• Studio e sperimentazione di metodologie di testing che consentano il test a "scatola bianca" e a "scatola nera" nel contesto dei CPS.
Il WP4 “Formazione, trasferimento e diffusione dei risultati” ha avuto inizio il Mese 1 ed è composto da tre attività: 1. Set-up del sito web e social media; 2. Promozione e disseminazione;
3. Formazione. Mentre la prima attività è stata completata a mese 1, le altre due sono in corso poiché risultano essere continuative per l’intera durata del progetto.
Nell’ambito dell’attività n. 2 relativa alla promozione e disseminazione dei risultati, tutte le comunicazioni inerenti al progetto sono puntualmente pubblicizzate sia sul sito web sia sul canale social Twitter. In particolare, sotto il profilo della comunicazione tramite mezzi social, attualmente, il canale Twitter di Prossimo (@CProssimo) conta 37 followers (+68% rispetto al mese di maggio 2019) e 202 post. Nel periodo di riferimento del presente report (giugno-novembre), la media dei Tweet Impressions è pari a 18,4K, dove questo dato indica il numero di volte in cui i tweet pubblicati sull’account @CProssimo sono stati visualizzati nell’arco di tempo indicato. In pratica, durante tale periodo, i tweets del progetto sono stati visualizzati mediamente 100 volte al giorno.
Per quanto concerne la disseminazione di carattere scientifico, facente sempre parte di WP4, sono stati pubblicati i seguenti articoli:
• Ankit Shukla, Armin Biere, Luca Pulina and Martina Seidl. A Survey on Applications of Quantified Boolean Formulas. In Proceedings of ICTAI 2019, IEEE. [Sintesi e analisi automatica di CPS, A3.1]
• Guidotti, D., Leofante, F., Pulina, L., & Tacchella, A. (2019, November). Verification and repair of neural networks: a progress report on convolutional models. In International Conference of the Italian Association for Artificial Intelligence (pp. 405-417). Springer, Cham. [Sintesi e analisi automatica di CPS, A3.1]
• Vuotto, S., Narizzano, M., Pulina, L., & Tacchella, A. (2019, April). Poster: Automatic Consistency Checking of Requirements with ReqV. In 2019 12th IEEE Conference on Software Testing, Validation and Verification (ICST) (pp. 363-366). IEEE. [Sintesi e analisi automatica di CPS, A3.1]
• Dario Guidotti, Francesco Leofante, Luca Pulina and Armando Tacchella. Reasoning about Convolutional Neural Networks via Transfer Learning and Convex Programming. In Proceedings of FOMLAS 2019. [Sintesi e analisi automatica di CPS, A3.1]
• Bit-Monnot, A., Pulina, L., & Tacchella, A. (2019, July). Cyber-Physical Planning: Deliberation for Hybrid Systems with a Continuous Numeric State. In Proceedings of the International Conference on Automated Planning and Scheduling (Vol. 29, No. 1, pp. 49-57). [Sintesi e analisi automatica di CPS, A3.1]
• Vuotto, S., Narizzano, M., Pulina, L., & Tacchella, A. (2019, May). Automata based test generation with SpecPro. In Proceedings of the 6th International Workshop on Requirements Engineering and Testing (pp. 13-16). IEEE Press. [Testing e generazione automatica di test, A3.3]
Sempre nell’ambito delle attività di promozione e disseminazione, è rilevanti segnalare la partecipazione del progetto PROSSIMO alla terza edizione della CPS Summer School 2019 – Designing Cyber-Physical Systems – From concepts to implementation, svoltasi ad Alghero dal 23 al 27 settembre 2019, in cui progetto cluster è stato attivamente coinvolto nella organizzazione e nella gestione del Creative-Lab, evento formativo che ha coinvolto tutti i partecipanti della scuola nello sviluppo di progetti innovativi a carattere imprenditoriale. L’obiettivo del Creative-Lab è stato quello di predisporre un ambiente stimolante in cui favorire il processo creativo fra i
partecipanti della scuola, i quali sono stati divisi in team al fine di sviluppare un’idea imprenditoriale innovativa. Durante tale evento, sono coinvolte alcune delle più rilevanti PMI operanti nel settore ICT del mondo imprenditoriale sardo facenti parte del progetto cluster PROSSIMO, tra cui Athena, STAM e Lifely di Abinsula. In particolare, quest’ultima azienda, sponsor dell’evento, ha messo a disposizione degli studenti della scuola l’ultima versione dei dispositivi da loro ideati, Agrumino Lemon, al fine di stimolare la creatività e l’elaborazione di nuove ed innovative idee imprenditoriali. I progetti elaborati dai diversi team sono stati oggetto di valutazione da parte di un panel di esperti. Gli studenti creatori del progetto vincente sono stati premiati durante la cerimonia finale ed hanno ricevuto un Agrumino Lemon, gentilmente offerto Lifely, sponsor dell’iniziativa.
Immagine 3 – Il gruppo vincitore del Creative- Lab premiato con la consegna dei dispositivi Agrumino Lemon da parte della giuria di esperti, di cui facevano parte anche due rappresentanti dell’azienda Abinsula.
Durante il mese di ottobre, il progetto cluster PROSSIMO ha avuto l’opportunità di partecipare all’ultima edizione di SINNOVA2019, la quale si è svolta a Cagliari nelle giornate del 3 e del 4 Immagine 1 – Agrumino Lemon prodotto
dall’azienda Lifely messo in palio per i vincitori del Creative – Lab.
Immagine 2 – Marco Barbagelata dell’azienda STAM coordina e supervisiona il lavoro degli studenti durante il Creative- Lab.
ottobre 2019. Il responsabile scientifico del progetto, il prof. Luca Pulina, ha tenuto una flash talk durante l’evento (come è possibile vedere in Figura 4) e ha esposto i primi risultati del progetto all’interno dello stand dell’Università degli Studi di Sassari presente durante la fiera.
Immagine 4 – Il prof. Luca Pulina durante la presentazione del progetto PROSSIMO a SINNOVA2019.
Sempre nel mese di ottobre 2019, PROSSIMO è stato protagonista dell’evento pubblico intermedio svoltosi il 24 ottobre a Sassari. Tale evento è stato aperto dall’intervento istituzionale del prof. Gabriele Mulas, delegato al trasferimento tecnologico dell’Università di Sassari – come riprodotto nella successiva Figura 5. Successivamente, il Prof. Luca Pulina, responsabile scientifico del progetto, ha illustrato i primi risultati ottenuti durante i 15 mesi di vita del progetto, mentre la Dott.ssa Francesca Palumbo ha tenuto un intervento dal titolo “Sinergie regionali per la ricerca e il trasferimento tecnologico nell’ambito dei finanziamenti EU”, in cui ha evidenziato l’importanza del networking tra aziende e università sarde con diverse storie di successo nell’ambito della progettazione europea e regionale. Diverse aziende del cluster, tra cui Abinsula, Abirk, Athena, Lifely e STAM hanno partecipato attivamente all’evento attraverso singoli interventi. Inoltre, l’evento ha ospitato anche le talk del prof. Luigi Atzori e del dott.
Gianluca Fadda in qualità di responsabili di due progetti cluster finanziati da Sardegna Ricerche, rispettivamente SIMPLE e VIRTUALENERGY. L’evento pubblico si è concluso con un aperitivo tecnologico accompagnato da una sessione poster & demo, che ha permesso ai partecipanti di confrontarsi ed interagire tra di loro e con gli sviluppatori di diverse tecnologie e prototipi esposti.
Figura 5 – Il delegato al trasferimento tecnologico di UNISS apre i lavori durante l’evento pubblico intermedio del progetto cluster PROSSIMO.
In relazione all’attività n. 3 concernente la formazione ed il trasferimento tecnologico di WP4, è da segnalare l’avvio delle giornate formative e di trasferimento di PROSSIMO. Infatti, la prima giornata di formazione e trasferimento si è svolta il 14/11/2019 presso i locali di Sardegna Ricerche a Pula. I partecipanti alla giornata hanno particolarmente apprezzato la parte pratica della lezione in cui i relatori, il dott. Sau dell’Università di Cagliari e la dott.ssa Fanno dell’Università di Sassari, hanno mostrato le principali funzionalità del tool Vivado High Level Synthesis sviluppato da Xilinx – si vedano si seguito alcune immagini scattate durante la giornata.
Sul sito web del progetto PROSSIMO (http://www.cluster-prossimo.it/formazione-e- trasferimento/) sono riportati tutti i dettagli relativi alle giornate formative e di trasferimento, nonché l’eventuale materiale messo a disposizione dai docenti. Tale materiale, così come la registrazione dei webinar, saranno protetti da password al fine di permettere l’acceso soltanto alle aziende appartenenti al cluster.
La prossima giornata di formazione e trasferimento è prevista per il 17 dicembre 2019 presso la sede di Sardegna Ricerche a Pula, e verterà sulla tematiche di modellazione e verifica dei requisiti per Cyber-Physical Systems. Tra i relatori della giornata sarà presente anche la dott.ssa Alessandra Bagnato, direttrice dell’unità di ricerca presso il dipartimento R&D dell’azienda SOFTEAM a Parigi.
Immagine 6 – I relatori della prima giornata di formazione e trasferimento, il dott. Carlo Sau e la dott.ssa Tiziana Fanni.
Immagine 7 – I partecipanti alla prima giornata di formazione e trasferimento tecnologico del progetto cluster PROSSIMO.
