salle A. Turing CE4
23 January 2014 - 16h00
Model-based design in sensor network systems
by Alexios Lekidis from Verimag
Abstract: Sensor networks have emerged as a dominant technology over the last years. Since they are used in a vast variety of applications, the main arising challenge is to provide efficient design solutions ensuring limited communication cost and energy consumption, manageable complexity and reduced failure rate. A well-known formalism, considering all these constraints, is model-based design since it allows the simulation and validation of complex-heterogeneous systems in every stage of the development, but also optimizes the application performance in an effective manner. This talk will present the basic principles of a new approach applying formal modeling and verification techniques in sensor network systems, guaranteeing the separation of software and hardware concerns. The soundness of this approach will be proven by the application in benchmark systems, which also invoke several communication mechanisms.