[Désolé pour l'éventuel doublon, nous avions des problèmes avec notre gestion des news.]
« Modeling of Sensor Networks Using XRM » Akim Demaille, Sylvain Peyronnet, Benoît Sigoure
http://publis.lrde.epita.fr/200609-ISOLA
Accepted to 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISOLA 2006)
Sensor networks are composed of small electronic devices that embed processors, sensors, batteries, memory and communication capabilities. One of the main goals in the design of such systems is the handling of the inherent complexity of the nodes, exarcerbated by the huge number of nodes in the network. For these reasons, it becomes very difficult to model and verify such systems. In this paper, we investigate the main characteristics of sensor nodes, discuss the use of a language derived from Reactive Modules for their modeling, and propose a language (and a tool set) that ease the modeling of this kind of systems.