Progettazione, sviluppo e ottimizzazione di sistemi intelligenti multi-oggetto
Luca Pulina
Università degli Studi di Sassari - Dipartimento di Chimica e Farmacia Intelligent System Design and Application (IDEA) Lab
lpulina@uniss.it http://idea.uniss.it
PROSSIMO
Contesto
Entro il 2020 tra 22 e 50 miliardi di dispositivi (solo in Europa) saranno connessi a Internet e forniranno ai cittadini una serie di applicazioni e servizi intelligenti senza precedenti.
Cyber Physical Systems (CPS): sistemi informatici in grado di interagire in modo continuo e
indipendentemente dal
controllo umano diretto con l'ambiente in cui operano.
Internet of Things (IoT): gli oggetti
“acquisiscono” intelligenza grazie all'accesso e all'interscambio di dati con altri oggetti.
CPS e IoT sono considerati in Horizon 2020 fra le “Key Enabling Technologies” per applicazioni e processi innovativi.
Motivazioni
Elementi essenziali per la prossima generazione di CPS:
1. Pervasività: sistemi distribuiti e interconnessi capaci di elaborare informazioni in modo continuo e trasparente rispetto alle richieste degli utenti.
2. Adattabilità: risposta al cambiamento delle condizioni di funzionamento.
3. Interattività: comunicazione attiva/interazione con gli esseri umani.
4. Sicurezza: rispetto a problematiche legate ai dati personali.
5. Efficienza energetica: tempi di vita lunghi operando con batteria.
6. Gestione della complessità: tecniche di progettazione e sviluppo (semi-) automatiche per la prototipazione veloce.
Non esiste uno standard per la produzione di (reti di) CPS
Progettazione di (reti di) CPS
Source: https://humans-machines-progress.com
• Progettazione «tradizionale» lunga e costosa.
• Competenze specifiche e approfondite su ogni aspetto.
Soluzione: strumenti software per il supporto alle diverse fasi della progettazione.
Obiettivo
Trasferimento di tecniche e strumenti avanzati per la progettazione e l'implementazione di CPS:
• progettazione integrata delle architetture hardware e software
• sintesi e analisi automatica
• verifica e test
Rapida prototipazione di sistemi “corretti per
costruzione” già al termine della fase di progettazione
e conseguente riduzione del time-to-market.
Risultati attesi
• Integrare, sperimentare e trasferire tecniche e strumenti innovativi per
l’ingegnerizzazione di (reti di) CPS in diversi contesti fisici.
• Accrescere la capacità delle aziende nella progettazione di CPS
• azioni mirate di formazione
• trasferimento di know-how
• Creazione di un network a vari livelli per la condivisione di conoscenza e la co-
operazione nell’ambito della progettazione dei CPS.
• Definizione di casi d’uso e specifiche
• Sperimentazione e
sviluppo degli strumenti software
• Formazione,
trasferimento e
diffusione dei risultati
e piano di lavoro
Il Team
Argos
• Luca Pulina
• Francesca Palumbo
• Andrea Lagorio
• Rosario Cecaro
• Giuseppe Cicala
• Luca Fanni
• Laura Pandolfo
• Claudio Rubattu
• Valentina Santoni
• Maria Grazia Sini
• Simone Vuotto
Casi d’uso e specifiche
Monitoraggio di ambienti con sistemi alimentati ad
energia solare Monitoraggio di ambienti domestici con sistemi
autonomi mobili di rilevazione
Videosorveglianza multicamera intelligente
Sperimentazione e sviluppo degli strumenti software
Modellazione e
verifica (Estensione di Ptolemy)
Analisi dei requisiti
(Co-)Progettazione
integrata e ottimizzazione
Pianificazione e sintesi di policy di controllo
Generazione automatica
di test
SpecPro
Formazione, trasferimento e divulgazione
http://www.cluster-prossimo.it/materiale-divulgativo
• Documento su linguaggi e strumenti di modellazione e specifica
• Documento introduttivo sulla videosorveglianza
• Tutorial sugli strumenti software
• Comunicati divulgativi semestrali (report e flyer)
• Pubblicazioni scientifiche
• Summer School
Giornate di formazione e trasferimento
07/06/2019 14
Tematica Data
Introduzione al HW/SW co-design Novembre 2019
Tecniche e strumenti software per l’analisi formale di CPS Dicembre 2019 Strumenti software per la modellazione di CPS Dicembre 2019 HW/SW co-design e monitoring (HW/SW) di sistemi Febbraio 2020
Internet of Things (IoT) design Marzo 2020
Sensoristica intelligente per CPS e IoT Maggio 2020
Cyber-security nei sistemi interconnessi Giugno 2020
Video sorveglianza e biometrie Luglio 2020
Brevetti e proprietà intelletuale Ottobre 2020
Giornate di formazione e trasferimento
14 Novembre 2019, Sardegna Ricerce, Loc. Pixinamanna, Pula Dr. Ing. Tiziana Fanni, Dr. Ing. Carlo Sau
Tecniche e strumenti per l’implementazione hardware a partire da codice software di alto livello
17 Dicembre 2019, Sardegna Ricerce, Loc. Pixinamanna, Pula Dr. Alessandra Bagnato
Modelio: Soluzioni per la Modellazione di Sistemi Dr. Ing. Giuseppe Cicala, Ing. Simone Vuotto
Tecniche e strumenti software per l’analisi formale di CPS
Grazie per l’attenzione!
cluster-prossimo.itAzioni Cluster “Top Down”
Progetto finanziato con fondi POR FESR 2014/2020
ASSE PRIORITARIO I “RICERCA SCIENTIFICA, SVILUPPO TECNOLOGICO E INNOVAZIONE”
@CProssimo cluster-prossimo