Eventi
29
Settembre
2022
29.
09.
2022
06
Ottobre
2022
06.
10.
2022
13
Ottobre
2022
13.
10.
2022
20
Ottobre
2022
20.
10.
2022
27
Ottobre
2022
27.
10.
2022
03
Novembre
2022
03.
11.
2022
10
Novembre
2022
10.
11.
2022

Model-based approaches for Wireless Sensor Networks

Decanato - Facoltà di scienze informatiche

Data d'inizio: 13 Novembre 2009

Data di fine: 14 Novembre 2009

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è