Progettazione, sviluppo e ottimizzazione di sistemi intelligenti
Riunione semestrale – Mese 12
Sassari - 7/6/2018
Azioni Cluster “Top Down”
Progetto finanziato con fondi POR FESR 2014/2020
ASSE PRIORITARIO I “RICERCA SCIENTIFICA, SVILUPPO TECNOLOGICO E INNOVAZIONE”
Agenda
-11.45: Project Management
- Avanzamento e risultati- Stato dei deliverables - Composizione del cluster
-12:00: Presentazioni tecniche (WP2 e WP3)
- Linguaggio e strumenti di modellazione e specifica (Giuseppe Cicala) - Analisi di conformità dei requisiti (Simone Vuotto)
- Automatizzazione di analisi e sviluppo di piattaforme eterogenee (Francesca Palumbo) - Generazione automatica di test (Simone Vuotto)
-13:00: Pranzo
2
07/06/2019
A2.1: Definizione dei linguaggi di modellazione e specifica
A3.1: Sintesi e analisi automatica di CPS
A3.2: Progettazione integrata e ottimizzazione di (reti di) CPS A3.3: Testing e generazione
automatica di test per CPS
Agenda
07/06/2019 3
-14:00 Attività correnti e future
- Architetture di riferimento e scenari d’uso - Discussione
- Tempistiche e prossimi step (M13– M18)
-15:00: Promozione e disseminazione (WP2 e WP3)
- Sito Web e logo- Materiale divulgativo - Giornate formative
- CPS School 2019, SINNOVA, Evento pubblico intermedio
-16:00: Conclusioni e chiusura dei lavori
Avanzamento
07/06/2019 4
-WP1: Gestione e coordinamento attività -WP2: Casi d’uso e specifiche
-WP3: Sperimentazione e sviluppo
-WP4: Formazione, trasferimento e diffusione dei risultati
Avanzamento e risultati – WP1
07/06/2019 5
A1.1: Attività di gestione e coordinamento
A1.2: Comunicazione e collaborazione tra i partecipanti
A1.3: Analisi delle esigenze delle aziende partecipanti
Avanzamento e risultati – WP2
07/06/2019 6
A2.1: Definizione dei
linguaggi di modellazione e specifica
A2.2: Specifica delle
architetture di riferimento A2.3: Specifica degli
scenari di riferimento
Avanzamento e risultati – WP3
07/06/2019 7
A3.1: Sintesi e analisi automatica di CPS A3.2: Progettazione
integrata e ottimizzazione di (reti di) CPS
A3.3: Testing e
generazione automatica di test per CPS
A3.4: Integrazione e
sviluppo del dimostratore
Avanzamento e risultati - WP4
07/06/2019 8
A4.1: Portale Web e social media
A4.2: Promozione e disseminazione
A4.3: Formazione
Deliverables
- Deliverable rilasciati: «Linguaggi di modellazione e specifica» (A2.1, M7) - Deliverable critici: «Architetture di riferimento» (A2.2, M9)
- Deliverable programmati entro M18:
1. Rapporto sulle esigenze delle aziende (M14, 7/7/2019) 2. Rapporto tecnico su Attività 3.1, 3.2 e 3.3 (M14, 7/7/2019) 3. Relazione tecnico-scientifica intermedia (M15, 7/8/2019)
4. Release software delle implementazioni prototipali (M15, 7/8/2019) 5. Rapporto tecnico sugli scenari d’uso (M17, 7/10/2019)
07/06/2019 9
- La presente attività è bloccata in quanto il materiale principale per la realizzazione degli scenari
d’uso ordinato a Novembre 2018 non è stato ancora consegnato.
- Un ulteriore ritardo potrebbe compromettere anche la
puntualità dell’attività 2.3.
Il Cluster
07/06/2019 10
http://www.abirk.com/
Presentazioni tecniche
07/06/2019 11
Attività correnti e future Scenari d’uso
07/06/2019 12
Scenario 1 – Monitoraggio di ambienti con sistemi alimentati ad energia solare
07/06/2019 13
Sistema intelligente di video sorveglianza alimentato ad energia solare.
Sistema dotato di software per l'analisi di immagini, rilevazione di eventi e generazione di allarmi.
Aspetti da sperimentare
• Verifica (model-based)
• Testing (generazione automatica)
• Adattività (per risparmio
energetico rispetto alle risorse utilizzate)
• Security
Set-up Hardware
• Raspberry Pi 3 Model B+
• Arducam 5 Megapixels 1080p OV5647 Camera Module
• Xilinx Smart vision development kit
• Lithium Battery Pack
• PiJuice Pannello solare - 12Watt
Software utilizzati per la sperimentazione
• Ptolemy
• ReqV
• Tool per la generazione automatica di test
Scenario 2 - Monitoraggio di ambienti domestici con sistemi autonomi mobili di rilevazione
07/06/2019 14
Monitoraggio a distanza e utilizzo delle piattaforme mobili per il monitoraggio puntuale in un contesto di interazione con l’essere umano (es. comandi vocali).
Si vogliono gestire task quali la rilevazione autonoma e real time di situazioni critiche e la gestione autonoma dei conseguenti segnali d'allarme.
Aspetti da sperimentare
• Interazione sicura con l’utente
• Adattività (modello di riferimento probabilistico)
• Pianificazione coordinata delle piattaforme mobili
Set-up hardware
• Xilinx Smart vision development kit
• Robot Nao
• Turtlebot 2
• Turtlebot 3 waffle Pi Software utilizzati per la sperimentazione
• Ptolemy
• ReqV
• Tool per la generazione automatica di test
• HyDRA (Tool per la pianificazione automatica delle azioni)
Scenario 3 – Videosorveglianza multicamera intelligente
07/06/2019 15
Set-up hardware
• Raspberry Pi 3 Model B+
• Arducam 5
Megapixels 1080p OV5647
Software utilizzati per la sperimentazione
• Ptolemy
• ReqV
• Tool per la generazione automatica di test
Promozione e disseminazione
07/06/2019 16
Sito web e logo
http://www.cluster-prossimo.it/
07/06/2019 17
Materiale divulgativo e disseminazione scientifica
Nuovo materiale divulgativo prodotto da M6 (http://www.cluster-prossimo.it/materiale-divulgativo/):
- Documento su linguaggi e strumenti di modellazione e specifica - Documento introduttivo sulla videosorveglianza
- Comunicati divulgativi semestrali (report e flyer) - Tutorial svolto alla conferenza HIPEAC 2019
- Pubblicazioni scientifiche:
07/06/2019 18
• Narizzano, M., Pulina, L., Tacchella, A. and Vuotto, S., 2019. Property specification patterns at work: verification and inconsistency explanation. Innovations in Systems and Software Engineering, pp.1-17. [Sintesi e analisi automatica di CPS, A3.1]
• Li, L., Sau, C., Fanni, T., Li, J., Viitanen, T., Christophe, F., Palumbo, F., Raffo, L., Huttunen, H., Takala, J. and
Bhattacharyya, S.S., 2019. An integrated hardware/software design methodology for signal processing systems.
Journal of Systems Architecture, 93, pp.1-19. [Progettazione integrata e ottimizzazione, A3.2]
• Rubattu, C., Palumbo, F., Sau, C., Salvador, R., Sérot, J., Desnos, K., Raffo, L. and Pelcat, M., 2018. Dataflow- Functional High-Level Synthesis for Coarse-Grained Reconfigurable Accelerators. IEEE Embedded Systems Letters. [Progettazione integrata e ottimizzazione, A3.2]
Giornate formative
Cadenza (quasi) mensile da Ottobre 2019 a Ottobre 2020
07/06/2019 19
Tematica Data
Introduzione al HW/SW co-design su FPGA Ottobre 2019
HW/SW co-design e monitoring (HW/SW) di sistemi Novembre 2019 Strumenti software per la modellazione di CPS Novembre 2019 Tecniche e strumenti software per l’analisi formale di CPS 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
CPS School 2019
Designing Cyber-Physical Systems – From concepts to implementation
Relatori:
o Davide Ariu, PluribusOne, Cagliari (Italy)
o Luca Carloni - Columbia University, New York City (USA) o Luigia Carlucci Aiello, La Sapienza University, Rome (Italy)
o Jeronimo Castrillon, Technische Universität Dresden, Dresden (Germany)
o Nuria de Lama, Vice-Secretary General (BDVA) and European Programs Manager (Atos) o Nikil Dutt - University of California, Irvine (USA)
o Giovanni Pruneddu - University of Sassari, Sassari (Italy)
o Alberto Sangiovanni-Vincentelli - University of California, Berkeley (USA) o Armando Tacchella - University of Genova, Genova (Italy)
07/06/2019 20
http://www.cpsschool.eu
Creative Lab!
Eventi pubblici
Attualmente, gli eventi pubblici previsti sono:
• Partecipazione a SINNOVA 2019 (3, 4 Ottobre 2019)
• Evento divulgativo intermedio (M15, Luglio 2019)
• Open-day di metà progetto (M15, Luglio 2019)
07/06/2019 21
Previsti al M15 (Luglio 2019); probabilmente sarebbe un critico in termini di partecipazione.
Si richiede di posticipare questi eventi a M18 (Ottobre 2019), in modo tale da avere la
possibilità di attrarre un pubblico più vasto.
Grazie per l’attenzione!
22
07/06/2019
