DocumentCode
3347350
Title
Modeling Sensor Networks as Concurrent Systems
Author
Amariei, Cornelia ; Teodorov, Ciprian ; Fabiani, Erwan ; Pottier, Bernard
Author_Institution
Univ. de Bretagne Occidentale, Brest
fYear
2007
fDate
6-8 June 2007
Firstpage
296
Lastpage
296
Abstract
The poster will illustrate the methodology synthesizing random topologies into working traceable concurrent programs. In the future, automatic synthesis of code or hardware transition functions will be addressed using tools such as Handel-C, or Madeo.
Keywords
concurrency theory; telecommunication network topology; wireless sensor networks; Handel-C; Madeo; automatic synthesis; concurrent programs; concurrent systems; hardware transition functions; modeling sensor networks; synthesizing random topology; Concurrent computing; Network synthesis; Object oriented modeling; Routing protocols; Sensor phenomena and characterization; Sensor systems; Timing; Tin; Topology; Wireless sensor networks;
fLanguage
English
Publisher
ieee
Conference_Titel
Networked Sensing Systems, 2007. INSS '07. Fourth International Conference on
Conference_Location
Braunschweig
Print_ISBN
1-4244-1231-5
Type
conf
DOI
10.1109/INSS.2007.4297438
Filename
4297438
Link To Document