• Non ci sono risultati.

Progettazione, sviluppo e ottimizzazione di sistemi intelligenti

N/A
N/A
Protected

Academic year: 2021

Condividi "Progettazione, sviluppo e ottimizzazione di sistemi intelligenti"

Copied!
5
0
0

Testo completo

(1)

Progettazione, sviluppo e ottimizzazione di sistemi intelligenti

http://cluster-prossimo.it

(2)

Contesto, obiettivi e risultati attesi

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, testing)

Rapida prototipazione di sistemi «corretti per

costruzione» (riduzione del

time-to-market).

Risultati attesi

• 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 (formazione)

• Creazione di un network a vari livelli per la condivisione di conoscenza e la co- operazione nell’ambito della progettazione dei CPS.

Elementi essenziali per la prossima generazione di CPS: pervasività, adattabilità, interattività,

sicurezza, efficienza energetica

(3)

Scenario 1 – Monitoraggio di ambienti con sistemi alimentati ad energia solare

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

(4)

Scenario 2 - Monitoraggio di ambienti domestici con sistemi autonomi mobili di rilevazione

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)

(5)

Scenario 3 – Videosorveglianza multicamera intelligente

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

Riferimenti

Documenti correlati

Integrare, sperimentare e trasferire tecniche e strumenti innovativi per l’ingegnerizzazione di (reti di) CPS in diversi contesti fisici, attraverso gli studi e i

Verificare che il sistema soddisfa la proprietà desiderata tramite model checking:. TS

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

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

Programmare CPS 6= programmare parte cyber k programmare parte fisica Definizione (Programma ibrido).. 16

Innanzitutto, utilizzando il menu di scelta rapida (ottenuto facendo clic con il tasto destro sull’attore composito), seleziona “Customize → Rename” e dai un nome che si addice

Le assunzini dell’i-esimo sottocomponente devono derivare dai contratti degli altri sottocomponenti più le assunzioni della componente padre.. Obblighi

Luca Pulina, Responsabile scientifico del progetto cluster PROSSIMO realizzata per e dagli studenti. Dott.ssa Francesca Palumbo, Ricercatrice dell'Università