Sistemi ciberfisici

Questa area di ricerca è finalizzata a realizzare la convergenza delle 3C, cioè la profonda integrazione di informatica, controllo e comunicazione per la progettazione dei moderni sistemi complessi, che comprendono componenti ciberfisici, real-time, embedded hardware e software, per applicazioni che vanno dalla robotica all'automotive, avionica, energia fino alla biologia. La ricerca di base sugli aspetti di elaborazione è legata alla modellazione verifica e ottimizzazione di sistemi ciberfisici, con particolare enfasi suo modelli di calcolo, la manipolazione dei linguaggi di descrizione, la verifica semi formale e formale, la sintesi di hardware e software corretta per costruzione e gli algoritmi fondamentali di CAD. Concetti di teoria dei sistemi vengono utilizzati per modellare sistemi dinamici e per interfacciare sistemi dinamici a reti di comunicazione. Sono studiati principalmente dal punto di vista della progettazione di sistemi robotici per tele-operazioni, ambienti virtuali per applicazioni chirurgiche, robot mobili e sistemi multi-robot e la co-progettazione ottimale di comunicazione e strategie di controllo per sistemi embedded di controllo distribuiti. Infine, la ricerca in comunicazione è focalizzata sulla progettazione, analisi e valutazione di protocolli e architetture di rete, considerando tutti i livelli, inoltre, con la cosiddetta sintesi di rete, considerare aspetti di comunicazione computazione e controllo in un modo olistico per affrontare la complessità delle grandi applicazioni pervasive.

Documenti

pdf Brochure di presentazione dell'area  (pdf,  it, 217 KB)
pdf Presentazione Research Day 2017  (pdf,  it, 4088 KB)
Nicola Bombieri
Ricercatore
Davide Bresolin
Incaricato alla ricerca
Stefano Cailotto
Assegnista
Damiano Carra
Ricercatore
Giuseppe Di Guglielmo
Incaricato alla ricerca
Luigi Di Guglielmo
Incaricato alla ricerca
Alessandro Farinelli
Professore associato
Paolo Fiorini
Professore ordinario
Franco Fummi
Professore ordinario
Luca Geretti
Assegnista
Michele Lora
Assegnista
Riccardo Muradore
Ricercatore a tempo determinato
Giovanni Perbellini
Assegnista
Graziano Pravadelli
Professore associato
Davide Quaglia
Ricercatore
Francesco Stefanni
Personale di spin-off
Walter Vendraminetto
Assegnista
Tiziano Villa
Professore ordinario
Competenze
Argomento Persone Descrizione ISI-CRUI
Computer systems organization - Architectures aderente allo standard  ACM 2012
Advanced Architecture Nicola Bombieri
Parallel code for multi and many-core architectures. CUDA, OpenCL, OpenACC, OpenMP, MPI. Computer Science & Engineering
Computer systems organization - Embedded and cyber-physical systems aderente allo standard  ACM 2012
Controlli automatici Marta Capiluppi
AI, Robotics & Automatic Control
Progettazione di sistemi embedded Nicola Bombieri
Roberto Bragantini
Michele Ferrari
Franco Fummi
Valerio Guarnieri
Michele Lora
Giovanni Perbellini
Graziano Pravadelli
Davide Quaglia
Alessandro Venturelli
Sara Vinco
Tecniche per la progettazione automatica di hardware/software per sistemi embedded modellati a livello transazionale (TLM), con particolare attenzione a: - sintesi e astrazione RTL-TLM - astrazione da moduli RTL a software - generazione automatica di transattori TLM - generazione automatica di device driver - software embedded per sistemi multi-core e many-core - modellazione basata su linguaggi di descrizione dell'hardware - progettazione basata su middleware Computer Science & Engineering
Robotica Marta Capiluppi
Alessandro Farinelli
Paolo Fiorini
Riccardo Muradore
La Robotica si occupa di sviluppare sistemi che permettano un collegamento intelligente fra percezione ed azione. Per questo motivo e' fortemente interdisciplinare, includendo progettazione meccanica ed elettronica, algoritmi di calcolo e fusione dei dati, apprendimento e ragionamento automatic, sistemi di controllo del movimento e dell'interazione con l'ambiente. La raggiunta maturità e robustezza dei sistemi robotici permette loro di lavorare con sicurezza in ambienti delicati e in diretto contatto con le persone. In caso di azioni difficili dal punto di vista cognitivo, il robot e' aiutato dalla presenza di un operatore umano nella modalità operativa della teleoperazione. Un esempio consolidato di teleoperazione e' nei sistemi di chirurgia robotica in cui l'operatore guida direttamente i movimenti del robot per eseguire l’intervento. Una nuova direzione di ricerca e’ quella di aggiungere delle funzioni autonome ai sistemi robotici. Per raggiungere questo scopo, e' necessario migliorare le capacità percettive e cognitive dei robot, per affrontare con sicurezza la complessità di un ambiente reale. Alcuni degli argomenti di ricerca in robotica affrontati a Verona sono: teoria del controllo e dei sistemi, analisi e modello della percezione umana, navigazione e localizzazione di robot mobili, coordinamento per sistemi multirobot, controllo di sensori e attuatori distribuiti, algoritmi per la teleoperazione, e analisi dell'interazione fisica con le persone. AI, Robotics & Automatic Control
Sistemi embedded di rete Stefano Cailotto
Damiano Carra
Damiano Federti
Franco Fummi
Maurizio Macrina
Cristiano Meda
Nicola Orlandi
Giovanni Perbellini
Davide Quaglia
Saul Saggin
Francesco Stefanni
Walter Vendraminetto
Tecniche per la progettazione di sistemi embedded di rete, particolarmente orientate a: - co-progettazione di sistemi embedded di rete - co-simulazione di sistemi embedded di rete - progettazione centrata sulla qualità del servizio - reti di sensori e sistemi M2M Computer Science & Engineering
Hardware - Electronic design automation aderente allo standard  ACM 2012
Algoritmi CAD di base Luca Geretti
Tiziano Villa
Realizzazione di algoritmi di base per la progettazione di sistemi elettronici, con particolare attenzione a: - sintesi di sistemi combinatori e sequenziali - sistemi a eventi discreti - progettazione fisica Computer Science & Engineering
Hardware - Hardware validation aderente allo standard  ACM 2012
Verifica di sistemi embedded Davide Bresolin
Giuseppe Di Guglielmo
Luigi Di Guglielmo
Michele Ferrari
Franco Fummi
Luca Geretti
Valerio Guarnieri
Graziano Pravadelli
Tiziano Villa
Tecniche per la verifica di sistemi embedded a diversi livelli di astrazione, con particolare attenzione a: - tecniche di verifica statica - tecniche di verifica dinamica - tecniche di verifica semi formale - verifica di sistemi ibridi e real-time Computer Science & Engineering
Networks - Network architectures aderente allo standard  ACM 2012
Sistemi di rete Stefano Cailotto
Damiano Carra
Franco Fummi
Cristiano Meda
Davide Quaglia
Francesco Stefanni
Tecniche per la progettazione di sistemi di rete, particolarmente orientate a: - progettazione di protocolli e architetture di rete - valutazione delle prestazioni di sistemi di rete - caratterizzazione e misura delle reti - reti overlay Computer Science & Engineering
Gruppi di ricerca
Nome Descrizione URL
PARCO Parallel Computing
Progettazione di sistemi elettronici (ESD - Electronic Systems Design) Tecniche per la progettazione automatica di sistemi elettronici, basate su linguaggi formali e metodologie corrette per costruzioni o formalmente verificate http://esd.scienze.univr.it/
Robotica Il gruppo di ricerca si occupa di robotica non convenzionale
Progetti
Titolo Responsabili Fonte finanziamento Data inizio Durata (mesi) 
AccuRobAs: Accurate Robotic Assistant Paolo Fiorini Unione Europea 01/09/06 36
Ambiente basato su EFSM per la progettazione e la verifica di software embedded (EFFORT) - Joint Project 2007 Franco Fummi Ateneo, STM Products s.r.l. 01/01/08 30
Analisi di strategie esistenti di stima e ridistribuzione del carico in macchine di lavaggio rotative e sviluppo di un algoritmo di stima di carico sbilanciato basato su sensori giroscopici Paolo Fiorini ELECTROLUX ITALIA SpA 29/11/16 12
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life Franco Fummi Unione Europea 01/07/06 30
Applicazione di tecnologie robotiche a progeti relativi ad apparecchi ortopedici e riabilitativi Paolo Fiorini F.G.P. s.r.l. 25/06/04 12
Architetture per la gestione integrata di sistemi di rete Graziano Pravadelli EDALab s.r.l. 01/01/10 12
Architetture per sistemi embedded di controllo e comunicazione Graziano Pravadelli EDALab s.r.l. 01/01/10 12
AuTOMatic verifICation tool for embedded software (ATOMIC) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 05/05/10 24
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems Franco Fummi Unione Europea 01/01/08 30
COROSUR: Bringing Cognition to Robotic Surgery Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 15/02/10 60
Definizione di una metodologia (V-box) per la standardizzazione e automazione dell'intero processo di sviluppo di applicazioni embedded in modo conforme al V-model Franco Fummi STM Products s.r.l. 01/11/13 5
Definizione metodologie adeguate per produrre software certificabile e Formalizzazione processi e metodologia per Attestato conformità del Dipartimento di Informatica Franco Fummi STM Products s.r.l. 30/07/13 22
Development of a software simulation application for the Exploratory Research project "In-cell tool for Remote Operation on Spent Nuclear Material" Paolo Fiorini Commissione Europea - Centro Comune di Ricerca - Istituto per la Protezione e la Sicurezza del Cittadino 02/07/10 6
Development of the state of the art of Robotics Education on the Internet and the implementation of prototypes of interactive lectures Paolo Fiorini IEEE Robotics and Automation Society 14/08/07 1
Disordine di movimento e riabilitazione della paralisi cerebrale infantile Paolo Fiorini Centro Polifunzionale Don Calabria 15/02/08 24
ECHORD: EduFIll, filling the gap in robotics education Paolo Fiorini Unione Europea 01/02/12 18
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici Franco Fummi Ministero dello Sviluppo Economico 06/04/09 36
Elaborazione di un modello della turbolenza basato su misure sperimentali Riccardo Muradore LAMBDATECH srl 06/07/16 4
EURON Paolo Fiorini Commissione Europea 01/05/01 36
EUROSURGE: European Robotic Surgery Paolo Fiorini Unione Europea 01/10/11 24
EXPO-AGRI - EXtra-field Plant Observation for monitoring and forecast of AGRicultural Infections - Joint Projects 2015 Davide Quaglia Agricontrol snc di Balbo e Secco, Ateneo, Centro di sperimentazione e assistenza agricola - CERSAA 01/02/16 24
FILOSE - Robotic Fish Locomotion and Sensing Paolo Fiorini Unione Europea 01/02/09 36
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009) Franco Fummi PRIN VALUTATO POSITIVAMENTE 15/07/11 24
GLAXO Prova di concetto su sistema robotico per la movimentazione e gestione di piccoli oggetti Paolo Fiorini GlaxoSmithKline S.p.A. 01/11/02 18
Hopping and Treaded Mobility for Planetary Micro-Rovers Paolo Fiorini European Space Agency (ESA) 23/10/03 5
HyCARoS ( Hybrid Control for Augmented Robotic Surgery) (PRIN 2009) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 15/07/11 24
Il Mosaico: Progetto per il completamento e innovazione dei servizi a favore delle persone con grave cerebrolesione acquisita Paolo Fiorini Centro Polifunzionale Don Calabria 08/09/06 28
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center) Graziano Pravadelli EDALab s.r.l. 01/12/14 12
INtelligent Vision system for Industrial Automation (INVIA) - Joint Project 2005 Vittorio Murino Ateneo, Automazioni Industriali s.r.l. 13/03/07 30
ISUR - Intelligent Surgical Robotics Paolo Fiorini Commissione europea – VII PQ, Unione Europea 01/03/11 42
ITEC Studio di algoritmi per la compensazione del ritardo di trasmissione in teleoperazione Paolo Fiorini Agenzia Spaziale Italiana 01/09/00 36
MATRICS Analisi e modellazione di sistemi complessi Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 01/02/03 24
MEDICATE The control, identification and delivery of prescribed medication Paolo Fiorini Unione Europea 01/05/01 36
Metodologie MES per la gestione dei processi Batch Paolo Fiorini Società Tecnica Elettronica S.p.A. 27/01/05 12
Middleware di Comunicazione Paolo Fiorini Società Tecnica Elettronica S.p.A. 15/05/06 12
Middleware di Comunicazione - III Anno Paolo Fiorini Società Tecnica Elettronica S.p.A. 21/11/07 7
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori Graziano Pravadelli EDALab s.r.l. 01/01/10 12
Modellazione e resa aptico/visiva di oggetti soffici e deformabili (PRIN 2005) Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 30/01/06 24
Modellazione e verifica di sistemi embedded Graziano Pravadelli EDALab s.r.l. 26/11/09 1
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007) Franco Fummi PRIN VALUTATO POSITIVAMENTE 22/09/08 24
Modellazione, simulazione e verifica di piattaforme per MPSoC (PRIN 2005) Franco Fummi Ministero dell'Istruzione dell'Università e della Ricerca 30/01/06 24
MURAB - MRI and Ultrasound Robotic Assisted Biopsy Paolo Fiorini Unione Europea 01/01/16 48
Perfezionamento e introduzione di aspetti informatici innovativi nel Parco Alpi Liguri Davide Quaglia Ente Parco naturale regionale delle Alpi Liguri 30/03/17 6
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008) Damiano Carra PRIN VALUTATO POSITIVAMENTE 27/01/10 24
PLASTIC BRAIN: A Study of Brain Plasticity in Humans and Robots Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 07/05/07 36
Progettazione e implementazione di una piattaforma di teleassistenza mobile audio e video basato sulla Realtà Aumentata e Reti di Sensori Wearable (Glasses Hidden On-Site Technician) Graziano Pravadelli EDALab s.r.l. 01/01/15 16
Progettazione e implementazione di un efficiente e innovativo strumento di modellazione e simulazione per sistemi cosiddetti smart systems (TLM Smart Systems Modeling) Graziano Pravadelli EDALab s.r.l. 29/02/16 10
Progettazione e implementazione di un sistema di controllo e monitoraggio multi protocollo Wireless Graziano Pravadelli EDALab s.r.l. 01/01/17 12
Progetto di integrazione unix - active directory Franco Fummi SIEMENS HEALTHCARE DIAGNOSTICS SRL 14/01/03 6
Realizzazione di un'applicazione mobile per la comunicazione tra campeggio e ospite Davide Quaglia Artemis Media srl 23/03/17 4
Realizzazione di un sistema innovativo di monitoraggio e controllo basato su sensori senza fili di ultima generazione (Wireless Sensor Network - WSN) Graziano Pravadelli ABS COMPUTERS SRL 20/07/12 4
Registrazione e acquisizione multimodale di immagini (PRIN 2007) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 22/09/08 24
Reliability aware methods for robust design technology (RELMUST) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 06/07/09 36
ROBIOPSY - Robot guidato da immagini per la biopsia di precisione della prostata Paolo Fiorini Ministero degli Affari Esteri 01/01/16 12
ROBOCHIR Chirurgia robotica Paolo Fiorini Banca Popolare di Verona 01/04/03 24
RoSta: Robotic Standards Paolo Fiorini Unione Europea 01/01/07 24
RTL-to-RTM hierarchical abstraction e TSL-guided testbench generation Graziano Pravadelli EDALab s.r.l. 02/01/13 12
SAFROS - Patient Safety in Robotic Surgery Paolo Fiorini Unione Europea 01/04/10 36
Servizi di progettazione dei totem multimediali interattivi, nell'ambito del progetto di realizzazione del percorso culturale ciclo-pedonale denominato "Alta Via della montagna veronese" che collega il sistema ambientale del monte Baldo con quello della Lessinia, attraversando i territori di tredici Comuni da San Zeno di Montagna fino alla frazione di Bolca in Comune di Vestanova per la lunghezza di 110 km Franco Fummi Provincia di Verona 28/12/15 2
Simulatore chirurgico aggiornato con dati intraoperatori (PRIN 2008) Paolo Fiorini PRIN VALUTATO POSITIVAMENTE 27/01/10 24
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 13/07/07 30
SPAWNE - Smart Pole WSN Network - Joint Project 2014 Graziano Pravadelli Telefin S.p.A. 02/01/15 12
Studio di fattibilità per SUPER (Space Unmanned Planetary Exploration Rover) Paolo Fiorini Galileo Avionica S.p.A. 23/02/04 6
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite Graziano Pravadelli EDALab s.r.l. 07/11/08 16
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale Davide Quaglia Telenia Software s.r.l. 10/09/15 6
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale Davide Quaglia Telenia Software s.r.l. 10/09/15 6
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale Davide Quaglia Telenia Software s.r.l. 10/09/15 6
Sviluppo di un algoritmo di controllo decentralizato per sistemi con ritardi variabili Paolo Fiorini ENEA Ente per le Nuove tecnologie, l'Energia e l'Ambiente 07/10/03 6
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive Davide Quaglia ALLEGRETTI ALBERTO & C. sas 13/12/16 3
Sviluppo di un middleware per comunicazioni con dispositivi ZigBee / Enocean (Progetto SAFE HOME 2) Graziano Pravadelli EDALab s.r.l. 02/01/13 12
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2007) Andrea Acquaviva PRIN VALUTATO POSITIVAMENTE 22/09/08 24
Sviluppo di un software di simulazione di piattaforme multiprocessore ad elevate prestazioni per elaborazione di dati multimediali in rete (PRIN 2008) Davide Quaglia PRIN VALUTATO POSITIVAMENTE 27/01/10 24
SYMBAD: Formal Verification in System Level Based Design Franco Fummi Unione Europea 01/03/02 27
TELEANY: Teleoperating Anything Anywhere Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 28/02/08 60
Telepresence Instant Groupware for higher Education in Robotics (TIGER) (FIRB 2001) Paolo Fiorini Ministero dell'Istruzione dell'Università e della Ricerca 21/02/03 46
TESTA Sistema di visione artificiale scalabile per la robotica spaziale Paolo Fiorini Agenzia Spaziale Italiana 02/09/02 12
The Translation Wiki project Graziano Pravadelli Microsoft Corporation 18/11/13 7
Tools for cOoperating Objects applications Life-cycle (TOOL) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 01/03/10 36
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development Franco Fummi Unione Europea 01/09/11 36
TOYS - TOward Industrial Smart DisplaYS - Joint Projects 2015 Franco Fummi Exor International, Inc. 01/01/16 12
Tracciabilità integrata e verifica di processo in tempo reale applicata alla produzione di farine da cereali biologici macinati a pietra (E-FLOUR) - Joint Projects 2011 Davide Quaglia Antico Molino Rosso s.r.l. 01/05/12 16
UNSELFISH: UNtethered Sensor Enabled Locomotion FISH Paolo Fiorini 7PQ VALUTATI POSITIVAMENTE 15/04/11 36
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione I) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/10 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione III) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/10 24
Verifica formale di Software modellato e generato automaticamente (Verilab - Azione V) Graziano Pravadelli EDALab s.r.l., MCE Meccanica s.r.l., STM Products s.r.l. 14/10/10 24
VERTIGO: Verification and Validation of Embedded Systems Design Workbench Franco Fummi Unione Europea 01/06/06 30
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY) Franco Fummi 7PQ VALUTATI POSITIVAMENTE 17/12/07 30
XPERO: Learning by experimentation Paolo Fiorini Unione Europea 01/04/06 36

Attività

Strutture