Giovanni Perbellini
The contents of this page are the responsibility of the person: Giovanni Perbellini
In caso di assenza rivolgersi alla struttura:
Department of Computer Science
Fast Links
Links
- Qualification
- Research Associate
- Telephone
- +39 045 802 7062
- Fax
- +39 045 802 7062
- giovanni
perbellini
univrit
Documents
- Curriculum
-
| Name | Description |
|---|---|
| Electronic Systems Design (ESD) | Techniques for the automatic design of electronic systems, based on formal languages and correct by construction or formally verified methodologies |
| Topic | Description | Research area |
|---|---|---|
| Embedded system design | Design techniques for the automatic generation of embedded hardware/software starting from transactional level models (TLM) and with emphasis on: - TLM-RTL synthesis and abstraction - RTL-to-SW abstraction - TLM transactor generation - Device-driver generation - Embedded SW for multicore systems - Hardware description language-based modeling - Middleware-based design |
Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems |
| Networked embedded systems | Design techniques for networked embedded systems, particularly devoted to: - networked embedded systems co-design - networked embedded systems co-simulation - QoS-based design - M2M and sensor network design |
Cyber-physical systems
Computer systems organization - Embedded and cyber-physical systems |
