Model-based approaches for Wireless Sensor Networks

The Faculty of Informatics is pleased to announce a seminar given by Matthias Woehrle

DATE: Friday, November 13th, 2009
PLACE: USI Università della Svizzera italiana, room SI-006, Informatics building (Via G. Buffi 13)
TIME: 15.30

ABSTRACT:
Wireless Sensor Networks (WSNs) are embedded computation systems for distributed sensing of a phenomenon. While being strongly concurrent distributed system, their embedded aspects with severe resource limitations and wireless communication requires a fusion of technologies and methodologies from different fields.

In the first part of the talk, we discuss advantages and challenges of WSNs by introducing sensor network technology and two current sensor network applications developed in our group. In the second part of the talk, we focus on model-based approaches for testing and analyzing WSN system operation.

Sensor Networks are often deployed in remote locations for long-term unattended operation. Assurance of correct functioning of the system is of prime concern. Thus, WSNs require specialized tools for testing and monitoring the system. To this end, we present our contributions concerning automated testing of power consumption using timed automata models and in health monitoring employing a model-based diagnosis approach.

BIO:
Matthias Woehrle is a PhD Student at the Computer Engineering and Networks Laboratory of ETH Zurich. He received his EE Diploma in 2004 from the University of Karlsruhe. After his studies, Matthias worked on high performance microprocessors for system p/z servers at IBM, before joining the Computer Engineering Group of Professor Thiele. Matthias is interested in model-based techniques for assuring the system correctness.

HOST: Prof. Mauro Pezzè