[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.
J'avais oublié d'en parler à la réunion précédente: j'ai également écrit un article sur CurVe pour le PracTeX Journal paru le 15 Août.
http://www.tug.org/pracjourn/
--
El Didou
