Modeling of Sensor Networks Using XRM
From LRDE
- Authors
- Akim Demaille, Sylvain Peyronnet, Benoît Sigoure
- Where
- Proceedings of the 2nd International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA'06)
- Place
- Coral Beach Resort, Paphos, Cyprus
- Type
- inproceedings
- Projects
- Transformers
- Date
- 2006-09-14
Abstract
Sensor networks are composed of small electronic devices that embed processors, sensors, batteries, memory and communication capabilities. One of the main goal in the design of such systems is the handling of the inherent complexity of the nodes, strengthened by the huge number of nodes in the network. For these reasons, it becomes very difficult to model and verify such systems. In this paperwe investigate the main characteristics of sensor nodesdiscuss about 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.
Documents
Bibtex (lrde.bib)
@InProceedings{ demaille.06.isola,
author = {Akim Demaille and Sylvain Peyronnet and Beno\^it Sigoure},
title = {Modeling of Sensor Networks Using {XRM}},
booktitle = {Proceedings of the 2nd International Symposium on
Leveraging Applications of Formal Methods, Verification and
Validation ({ISoLA'06})},
year = 2006,
address = {Coral Beach Resort, {P}aphos, {C}yprus},
month = nov,
abstract = {Sensor networks are composed of small electronic devices
that embed processors, sensors, batteries, memory and
communication capabilities. One of the main goal in the
design of such systems is the handling of the inherent
complexity of the nodes, strengthened 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 about 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.}
}