Title :
Modeling Sensor Networks as Concurrent Systems
Author :
Amariei, Cornelia ; Teodorov, Ciprian ; Fabiani, Erwan ; Pottier, Bernard
Author_Institution :
Univ. de Bretagne Occidentale, Brest
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;
Conference_Titel :
Networked Sensing Systems, 2007. INSS '07. Fourth International Conference on
Conference_Location :
Braunschweig
Print_ISBN :
1-4244-1231-5
DOI :
10.1109/INSS.2007.4297438
