Progetti
Titolo |
Responsabili |
Fonte finanziamento |
Data inizio |
Durata (mesi) |
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/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 |
01/12/2005
|
12 |
Ambienti per la progettazione di applicazioni per terminali mobili
|
Franco Fummi |
TELECOM ITALIA LAB S.p.A. |
01/10/2003
|
12 |
A Multimedia Platform for ZigBee based Home Automation (Z-Home) - Joint Project 2007
|
Franco Fummi |
Ateneo, Telecom Italia S.p.A. |
01/11/2007
|
19 |
An embedded networked architecture to monitor the wine supply chain (eWINE)
|
Franco Dellaglio |
Agrifutur s.r.l., Ateneo |
01/06/2006
|
12 |
ANGEL : Advanced Networked embedded platform as a Gateway to Enhance quality of Life
|
Franco Fummi |
Unione Europea |
01/07/2006
|
30 |
Applicazione del linguaggio VHDL alla specifica di circuiti proprietari
|
Franco Fummi |
NEURICAM SPA |
31/03/2000
|
12 |
Applicazione di una metodologia ibrida per la verifica funzionale
|
Franco Fummi |
STMicroelectronics s.r.l. |
01/05/2001
|
12 |
Architetture per la gestione integrata di sistemi di rete
|
Graziano Pravadelli |
EDALab s.r.l. |
01/01/2010
|
12 |
Architetture per sistemi embedded di controllo e comunicazione
|
Graziano Pravadelli |
EDALab s.r.l. |
01/01/2010
|
12 |
AuTOMatic verifICation tool for embedded software (ATOMIC)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
05/05/2010
|
24 |
C4C - Control for Coordination of Distributed Systems
|
Tiziano Villa |
Unione Europea |
01/05/2008
|
36 |
Centre of Reserach Excellence in Dependable Embedded Systems (CREDES)
|
Franco Fummi |
Unione Europea |
01/10/2009
|
36 |
COCONUT - A correct-by Construction Workbench for Design and Verification of Embedded Systems
|
Franco Fummi |
Unione Europea |
01/01/2008
|
30 |
Controllo automatico di processo per risparmio energetico e recupero di risorse dalle acque reflue
|
Alessandro Farinelli |
|
28/03/2014
|
12 |
DARE - Realtà Aumentata basata sulla direzione del segnale radio
|
Davide Quaglia |
|
06/03/2017
|
18 |
Definizione architettura dei servizi LDAP
|
Franco Fummi |
Servizi Informatici di Ateneo |
01/12/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. |
01/11/2013
|
5 |
E-Cube: Sviluppo e sperimentazione pilota di un sistema scalabile per l'ottimizzazione dei consumi energetici
|
Franco Fummi |
Ministero dello Sviluppo Economico |
06/04/2009
|
36 |
Generazione e ottimizzazione automatica di SW dedicato per architetture NoC riconfigurabili (PRIN 2009)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
15/07/2011
|
24 |
HERONS - Hierarchical Control and Fault Diagnosis of Distributed Systems
|
Tiziano Villa |
7PQ VALUTATI POSITIVAMENTE |
23/08/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. |
01/12/2014
|
12 |
I-PLANTS: studenti in cammino nel verde 2.0
|
Davide Quaglia |
|
01/06/2017
|
12 |
Metodi e strumenti avanzati per la gestione di reti di calcolatori per il progetto elettronico
|
Franco Fummi |
SIEMENS HEALTHCARE DIAGNOSTICS SRL |
01/09/2001
|
3 |
Middleware per la tracciabilità RFID e per il monitoraggio attraverso reti di sensori
|
Graziano Pravadelli |
EDALab s.r.l. |
01/01/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 |
01/01/2007
|
12 |
Modellazione e Analisi di Sistemi Embedded Distribuiti
|
Franco Fummi |
SITEK SPA |
01/06/2001
|
12 |
Modellazione e simulazione di sistemi embedded in reti industriali eterogenee
|
Franco Fummi |
SITEK SPA |
01/12/2002
|
12 |
Modellazione e verifica di sistemi embedded
|
Graziano Pravadelli |
EDALab s.r.l. |
26/11/2009
|
1 |
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2007)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
22/09/2008
|
24 |
Modellazione e verifica di sistemi embedded ibridi per piattaforme multiprocessore (PRIN 2008)
|
Franco Fummi |
PRIN VALUTATO POSITIVAMENTE |
27/01/2010
|
24 |
Modellazione, simulazione e sintesi di sistemi embedded di rete
|
Franco Fummi |
TELECOM ITALIA LAB S.p.A. |
01/05/2002
|
12 |
Modellazione, Simulazione e Validazione di Sistemi su Chip
|
Franco Fummi |
Ministero dell'Istruzione dell'Università e della Ricerca |
01/05/2002
|
24 |
Modellizzazione e simulazione di sistemi integrati complessi per applicazioni multimediali
|
Franco Fummi |
C.N.R. Consiglio Nazionale delle Ricerche |
01/10/2001
|
12 |
OPTImizing dependability via MUtation analysis for Microelectronics (OPTIMUM) - Joint Project 2007
|
Franco Fummi |
Ateneo, STM Products s.r.l. |
01/01/2011
|
12 |
Osservazione dei processi lavorativi, con garanzie oggettive di tutela della Privacy, per la prevenzione di Errori e situazioni di Rischio in maniera Automatica ai tempi di Industria 4.0 (OPERA 4.0)
|
Davide Quaglia |
Fondazione Cariverona |
01/01/2021
|
24 |
Piattaforma embedded configurabile per comunicazioni veicolari wireless a larga banda (WirelessTransPlat) - Joint Project 2007
|
Franco Fummi |
Ateneo, Delta Sistemi s.r.l. |
01/09/2007
|
12 |
Piattaforme di servizio P2P: rete logica, requisiti e strumenti (PRIN 2008)
|
Damiano Carra |
PRIN VALUTATO POSITIVAMENTE |
27/01/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. |
01/01/2015
|
16 |
Progetto di integrazione unix - active directory
|
Franco Fummi |
SIEMENS HEALTHCARE DIAGNOSTICS SRL |
14/01/2003
|
6 |
Reliability aware methods for robust design technology (RELMUST)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
06/07/2009
|
36 |
SiP Design Technologies for Monitoring of Food Health in Harsh Environments (MEALTH)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
13/07/2007
|
30 |
Sviluppo degli ambienti di progettazione per sistemi embedded HIFSuite e ZigBeeSuite
|
Graziano Pravadelli |
EDALab s.r.l. |
07/11/2008
|
16 |
Sviluppo di client innovativo per comunicazioni multimediali interattive in tempo reale
|
Davide Quaglia |
Telenia Software s.r.l. |
10/09/2015
|
6 |
Sviluppo di una piattaforma ICT per l’analisi delle prestazioni sportive
|
Davide Quaglia |
ALLEGRETTI ALBERTO & C. sas |
13/12/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 |
22/09/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 |
27/01/2010
|
24 |
SYMBAD: Formal Verification in System Level Based Design
|
Franco Fummi |
Unione Europea |
01/03/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 |
01/05/2004
|
12 |
Tecniche di Progetto e Simulazione di Sistemi Embedded per il Controllo
|
Franco Fummi |
SITEK SPA |
01/04/2000
|
12 |
Testability evaluation of Critical Control System
|
Franco Fummi |
AUTEC S.R.L. |
01/01/2001
|
6 |
Timing-accurate co-simulation of the Ultimodule platform
|
Franco Fummi |
Exor International, Inc. |
01/01/2004
|
11 |
Tools for cOoperating Objects applications Life-cycle (TOOL)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
01/03/2010
|
36 |
TOUCHMORE: Automatic Customizable Tool-chain for Heterogeneous Multicore Platform Software Development
|
Franco Fummi |
Unione Europea |
01/09/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. |
01/05/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. |
14/10/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. |
14/10/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. |
14/10/2010
|
24 |
VERTIGO: Verification and Validation of Embedded Systems Design Workbench
|
Franco Fummi |
Unione Europea |
01/06/2006
|
30 |
Wireless Sensing Technology for Monitoring of Food Health in Harsh Environments (MEALTHY)
|
Franco Fummi |
7PQ VALUTATI POSITIVAMENTE |
17/12/2007
|
30 |
Yield Improvement in Nanotechnology Production Process of Standard Cells Based Integrated Circuits (ImpNanolC) - Joint Project 2005
|
Franco Fummi |
Ateneo, PDF Solutions Inc. |
01/01/2007
|
12 |