Projects
| Title |
Managers |
Sponsors |
Starting date |
Duration (months) |
|
An EFSM-based Framework for Designing and Verifying Embedded Software (EFFORT)
|
Franco Fummi |
Ateneo, STM Products s.r.l. |
Jan 1, 2008
|
30 |
|
Ambiente di modellazione e verifica per terminali mobili
|
Franco Fummi |
Fondo EX 60% (2005) Ambiente di modellazione e verifica per terminali mobili - assegnato e gestito dal Dipartimento |
Dec 1, 2005
|
12 |
|
Ambienti per la progettazione di applicazioni per terminali mobili
|
Franco Fummi |
TELECOM ITALIA LAB S.p.A. |
Oct 1, 2003
|
12 |
|
A multimedia platform for ZigBee based home automation (Z-Home)
|
Franco Fummi |
Ateneo, Telecom Italia S.p.A. |
Nov 1, 2007
|
19 |
|
An embedded networked architecture to monitor the wine supply chain (eWINE)
|
Franco Dellaglio |
Agrifutur s.r.l., Ateneo |
Jun 1, 2006
|
12 |
|
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life
|
Franco Fummi |
Unione Europea |
Jul 1, 2006
|
30 |
|
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari
|
Franco Fummi |
NEURICAM SPA |
Mar 31, 2000
|
12 |
|
Applicazione di una metodologia ibrida per la verifica funzionale
|
Franco Fummi |
STMicroelectronics s.r.l. |
May 1, 2001
|
12 |
|
Architetture per la gestione integrata di sistemi di rete
|
Graziano Pravadelli |
EDALab s.r.l. |
Jan 1, 2010
|
12 |
|
Architetture per sistemi embedded di controllo e comunicazione
|
Graziano Pravadelli |
EDALab s.r.l. |
Jan 1, 2010
|
12 |
|
AuTOMatic verifICation tool for embedded software (ATOMIC)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
May 5, 2010
|
24 |
|
C4C - Control for Coordination of Distributed Systems
|
Tiziano Villa |
Unione Europea |
May 1, 2008
|
36 |
|
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES)
|
Franco Fummi |
Unione Europea |
Oct 1, 2009
|
36 |
|
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems
|
Franco Fummi |
Unione Europea |
Jan 1, 2008
|
30 |
|
Automatic process control for energy saving and resource recovery in waste water management
|
Alessandro Farinelli |
|
Mar 28, 2014
|
12 |
|
DARE - Directional Augmented REality
|
Davide Quaglia |
|
Mar 6, 2017
|
18 |
|
|
Franco Fummi |
Servizi Informatici di Ateneo |
Dec 1, 2002
|
6 |
|
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. |
Nov 1, 2013
|
5 |
|
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici
|
Franco Fummi |
Ministero dello Sviluppo Economico |
Apr 6, 2009
|
36 |
|
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
Jul 15, 2011
|
24 |
|
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems
|
Tiziano Villa |
7PQ VALUTATI POSITIVAMENTE |
Aug 23, 2011
|
36 |
|
Implementazione di una piattaforma embedded per l'attuazione di servizi di risparmio energetico (Progetto smart green data center)
|
Graziano Pravadelli |
EDALab s.r.l. |
Dec 1, 2014
|
12 |
|
I-PLANTS: studenti in cammino nel verde 2.0
|
Davide Quaglia |
|
Jun 1, 2017
|
12 |
|
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico
|
Franco Fummi |
SIEMENS HEALTHCARE DIAGNOSTICS SRL |
Sep 1, 2001
|
3 |
|
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori
|
Graziano Pravadelli |
EDALab s.r.l. |
Jan 1, 2010
|
12 |
|
Modeling and Co-simulation Methods and Tools for the Architectural Exploration and Optimization of Smart Devices (McMEOS) - Joint Project 2005
|
Franco Fummi |
Ateneo, NEURICAM SPA |
Jan 1, 2007
|
12 |
|
Modellazione e Analisi di Sistemi Embedded Distribuiti
|
Franco Fummi |
SITEK SPA |
Jun 1, 2001
|
12 |
|
|
Franco Fummi |
SITEK SPA |
Dec 1, 2002
|
12 |
|
Modellazione e verifica di sistemi embedded
|
Graziano Pravadelli |
EDALab s.r.l. |
Nov 26, 2009
|
1 |
|
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
Sep 22, 2008
|
24 |
|
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
Jan 27, 2010
|
24 |
|
|
Franco Fummi |
TELECOM ITALIA LAB S.p.A. |
May 1, 2002
|
12 |
|
Modeling, Simulation and Validation of System-On-Chip
|
Franco Fummi |
Ministero dell'Istruzione dell'Università e della Ricerca |
May 1, 2002
|
24 |
|
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali
|
Franco Fummi |
C.N.R. Consiglio Nazionale delle Ricerche |
Oct 1, 2001
|
12 |
|
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM)
|
Franco Fummi |
Ateneo, STM Products s.r.l. |
Jan 1, 2011
|
12 |
|
Observation of business processes, with objective guarantees of privacy protection, for the prevention of errors and risk situations in an automatic manner at the time of Industry 4.0 (OPERA 4.0)
|
Davide Quaglia |
Fondazione Cariverona |
Jan 1, 2021
|
24 |
|
Configurable embedded platform for broadband wireless communications over transportation systems (WirelessTransPlat)
|
Franco Fummi |
Ateneo, Delta Sistemi s.r.l. |
Sep 1, 2007
|
12 |
|
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008)
|
Damiano Carra |
PRIN VALUTATO POSITIVAMENTE |
Jan 27, 2010
|
24 |
|
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. |
Jan 1, 2015
|
16 |
|
|
Franco Fummi |
SIEMENS HEALTHCARE DIAGNOSTICS SRL |
Jan 14, 2003
|
6 |
|
Reliability aware methods for robust design technology (RELMUST)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
Jul 6, 2009
|
36 |
|
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
Jul 13, 2007
|
30 |
|
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite
|
Graziano Pravadelli |
EDALab s.r.l. |
Nov 7, 2008
|
16 |
|
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale
|
Davide Quaglia |
Telenia Software s.r.l. |
Sep 10, 2015
|
6 |
|
Development of an ICT platform for sport performance analysis
|
Davide Quaglia |
ALLEGRETTI ALBERTO & C. sas |
Dec 13, 2016
|
3 |
|
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 |
Sep 22, 2008
|
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 |
Jan 27, 2010
|
24 |
|
SYMBAD: Formal Verification in System Level Based Design
|
Franco Fummi |
Unione Europea |
Mar 1, 2002
|
27 |
|
Tecniche di modellazione di piattaforme per terminali mobili
|
Franco Fummi |
Fondo EX 60% (2004) Tecniche di modellazione di piattaforme per terminali mobili (continuazione, anno 2004) - assegnato e gestito dal Dipartimento |
May 1, 2004
|
12 |
|
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo
|
Franco Fummi |
SITEK SPA |
Apr 1, 2000
|
12 |
|
Testability evaluation of Critical Control System
|
Franco Fummi |
AUTEC S.R.L. |
Jan 1, 2001
|
6 |
|
Timing-accurate co-simulation of the Ultimodule platform
|
Franco Fummi |
Exor International, Inc. |
Jan 1, 2004
|
11 |
|
Tools for cOoperating Objects applications Life-cycle (TOOL)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
Mar 1, 2010
|
36 |
|
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development
|
Franco Fummi |
Unione Europea |
Sep 1, 2011
|
36 |
|
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. |
May 1, 2012
|
16 |
|
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. |
Oct 14, 2010
|
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. |
Oct 14, 2010
|
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. |
Oct 14, 2010
|
24 |
|
VERTIGO: Verification and Validation of Embedded Systems Design Workbench
|
Franco Fummi |
Unione Europea |
Jun 1, 2006
|
30 |
|
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
Dec 17, 2007
|
30 |
|
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005
|
Franco Fummi |
Ateneo, PDF Solutions Inc. |
Jan 1, 2007
|
12 |
