FA3: Networked Embedded Systems


Marco Di Natale, Scuola Superiore Sant’Anna,Pisa, Italy
Roberto Passerone, University of Trento, Italy

Scope: Networked Embedded Systems Technology; Wireless Sensor Networks; Sensor Technology; Cyber Physical Systems; Design and Implementation; Design Methodologies and Tools; Models of Computation and Formal Methods; Hardware/Software Co-Design; IP Cores and Platforms; System on Chip and Architectures; Languages; Power Supply and Management; Data Integration and Fusion; Communication Modes; Quality of Service control; Case studies (industrial automation, automotive, avionics, communications...).


Roberto Passerone received the Laurea degree summa cum laude in Electrical Engineering from the Politecnico di Torino, Italy, in 1994, and the Master's and PhD degrees in Electrical Engineering and Computer Sciences from the University of California, Berkeley, in 1997 and 2004, respectively. From 1998 to 2005, he was with Cadence Design Systems, Berkeley, California, where he held various positions from Senior Member of Technical Staff in the System Level Design product group, to Research Scientist in the Cadence Berkeley Laboratories. Since 2006 he is Assistant Professor with the Department of Information and Communication Technology at the University of Trento, Trento, Italy. His research interests include the design and implementation of high performance microprocessor, system level design, communication design and formal methods. In particular, he has worked on the design of custom and semi-custom high performance dedicated parallel architectures for image and signal processing. Later, he has focused on design methodologies for embedded hardware-software systems and on the synthesis and verification of low level protocol converters and communication design, applying these techniques to the automatic generation of transactors for mixed transaction-based and RTL-based simulation. At the same time, he has investigated the design of on-chip reliable clock distribution networks in the face of process variations. Currently, his interests include the development of contract and interface-based modeling techniques for the design of heterogeneous and hybrid embedded systems, with particular focus on the problem of integration of different models of computation and the verification of compatibility.

Contact email address: roberto.passerone@unitn.it


Giuseppe Lipari University of Lille France
Luis Almeida University of Porto Portugal
Julio Medina University of Catalunya Spain