FM - Metodi Formali

Il Gruppo Metodi Formali è attivo in più campi di ricerca legati all'applicazione di metodi formali e tecniche simboliche, quali la verifica formale, mediante "Model Checking" di circuiti, la sintesi di alto livello, le tecniche di decisione in spazi vincolati.
In particolare, il gruppo ha svilippato svariati lavori nel contesto della rappresentazione e manipolazione di funzioni logiche, basata su BDD (Binary Decision Diagrams) e risolutori SAT. Il gruppo ha partecipato alla Hardware Model Checking Competitions, a partire dal 2007, sempre con ottimi risultati, con il tool PdTRAV.
Recentemente, il gruppo ha allargato le sue competenze alla progettazione dei sistemi embedded, nonchè allo sviluppo di algoritmi efficienti per sistemi embedded, con particolare riferimento alle piattaforme GPU e GPGPU e ad applicazioni di visione artificiale.

Progetti e pubblicazioni

  • Selezione di progetti di ricerca finanziati
    • PROGETTAZIONE, VALIDAZIONE E TEST DI UN SISTEMA DI TRACCIABILITÀ BASATO SU TECNOLOGIA RFID
      CABODI GIANPIERO
      2020 - 2020 (Concluso)
    • VERIFICA DI TECNOLOGIE PER LA PROTEZIONE DA ATTACCHI DIGITALI DEI SISTEMI EMBEDDED
      CABODI GIANPIERO
      2018 - 2018 (Concluso)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED PER CONNETTIVITÀ VEICOLARE
      CABODI GIANPIERO
      2017 - 2018 (Concluso)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED HARDWARE E SOFTWARE, IN AMBITO AUTOMOTIVE
      QUER STEFANO
      2017 - 2018 (Concluso)
    • METODOLOGIE PER LA PROGETTAZIONE DI HMI IN AMBITO AUTOMOTIVE, MEDIANTE TECNOLOGIA HTML5
      CABODI GIANPIERO
      2016 - 2017 (Concluso)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED PER CONNETTIVITÀ V2X
      CABODI GIANPIERO
      2016 - 2017 (Concluso)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE E REALIZZAZIONE DI ALGORITMI DI PATH PLANNING MEDIANTE GPCPU
      CABODI GIANPIERO
      2016 - 2017 (Concluso)
    • METODOLOGIE INNOVATIVE DI HMI IN AMBITO AUTOMOTIVE, MEDIANTE TECNOLOGIA HTML5
      CABODI GIANPIERO
      2016 - 2016 (Concluso)
    • ARCHITETTURE DI SERVICE DELIVERY PER SISTEMI MOBILI
      CABODI GIANPIERO
      2014 - 2015 (Concluso)
    • METODOLOGIE INNOVATIVE DI PROGETTAZIONE, VALIDAZIONE E TEST, APPLICATE A SISTEMI EMBEDDED HARDWARE E SOFTWARE .....
      CABODI GIANPIERO
      2014 - 2015 (Concluso)
    • TECNICHE DI VISIONE ARTIFICIALE, GESTIONE E MANIPOLAZIONE DI IMMAGINI, NELL'AMBITO DI APPLICAZIONI EMBEDDED
      CABODI GIANPIERO
      2012 - 2013 (Concluso)
    • TECNICHE DI PROGETTAZIONE MODEL BASED VALIDAZIONE E TEST APPLICATE A SISTEMI EMBEDDED IN AMBITO AUTOMOTIVE
      CABODI GIANPIERO
      2012 - 2012 (Concluso)
    • TECNICA DI SPECIFICA VALIDAZIONE E TEST PER SISTEMI EMBEDDED APPLICATI A MONITORAGGIO DEL TERRITORIO E GESTIONE DI ENERGIE RINNOVABILI
      CABODI GIANPIERO
      2011 - 2012 (Concluso)
    • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED - A.AGG. 876-2008
      CABODI GIANPIERO
      2010 - 2010 (Concluso)
    • OSMOSIS -OPEN SOURCE MODELLING AND HARDWARE SOFTWARE CODESIGN OF EMBEDDED SYSTEMS
      CABODI GIANPIERO, LAVAGNO LUCIANO
      2008 - 2010 (Concluso)
    • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED
      CABODI GIANPIERO
      2009 - 2009 (Concluso)
    • TECNICHE DI SPECIFICA VALIDAZIONE E TEST PER APPLICAZIONI SOFTWARE IN AMBITO EMBEDDED
      CABODI GIANPIERO
      2008 - 2009 (Concluso)