Informazioni

Ricerca e didattica

Risorse Online

Attività di Ricerca

L'attività di ricerca del gruppo di ESD comprende:

Algoritmi per CAD

  • Sintesi di sistemi a eventi sequenziali
  • Sintesi di sistemi a eventi combinatori
  • Sistemi ad eventi discreti
  • Progettazione fisica

Generazione Software Embedded

  • Sintesi e astrazione TLM-RTL
  • Astrazione RTL-to-SW
  • Generazione di transattori TLM
  • Generazione device-driver
  • Embedded SW per sistemi multicore
  • Progettazione middleware-based

Verifica di Sistemi Embedded

  • Verifica statica
  • Verifica dinamica
  • Verifica semi-formale
  • Verifica sistemi ibridi e a tempo reale

Sistemi Embedded di Rete

  • System/Network co-design
  • System/Network co-simulation
  • QoS-enabled design
  • Sensori di reti e sistemi M2M

Sistemi di Rete

  • Progettazione e architetture di protocolli
  • Sistemi di valutazione di performances
  • Caratterizzazione e misure di reti
  • Copertura di reti