Modeling of Sensor Networks Using XRM

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

• Paper

• Slides

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.}
}