Successfully reported this slideshow.
We use your LinkedIn profile and activity data to personalize ads and to show you more relevant ads. You can change your ad preferences anytime.
A Process Oriented Development Flow  for Wireless Sensor Networks Bernard Pottier*, Guillaume Kremer & Jimmy Osmont Univer...
WSN and applications <ul><ul><ul><li>W ireless  S e nsor  N etworks (WSN) are an expanding application field </li><ul><li>...
Human friendly  : assists decisions in number of situations
Driven by progresses in communications, integration technologies </li></ul><li>Application examples </li><ul><li>Parking i...
Forest fire detection from mesh connected sensors powered from imbalance in pH between tree and soil (MIT),
Services for disabled persons/ bus transportation.
Farming : cattle, green house, fields monitoring. </li></ul></ul></ul></ul>
Our objectives <ul><ul><ul><li>To support WSN design as a top-down flow: </li><ul><li>Sensor physical distribution and con...
Communication layer management
Application level algorithm design
Code generation for sensors </li></ul><li>2 stages flow </li><ul><li>Abstract design ,simulation
Code synthesis </li></ul><li>Developped in Smalltalk-80 </li></ul></ul></ul>
WSN components <ul><li>Sensors </li><ul><ul><ul><li>Execution is a loop including  </li><ul><li>Communications
Local interaction with control and acquisition devices </li></ul><li>Low power, when possible local power source, low cost...
Spread spectrum wireless transceiver (10s to 100s meters)
Temperature, pressure, presence, light, buzzer, ..
Power  </li></ul></ul></ul></ul>
WSN organizations <ul><li>Static   </li><ul><ul><li>Star network, hub to internet (green house)
Mesh connected with routing and gateways (SF parking, forest) </li></ul></ul><li>Dynamic </li><ul><ul><li>Mobile fleet (ro...
Mobile in static or fleet (shepherd collecting information on sheep, bus exchanging information together / with bus stop <...
Upcoming SlideShare
Loading in …5
×

A Process Oriented Development Flow for Wireless System Networks by Bernard Pottier

1,237 views

Published on

A Process Oriented Development Flow for Wireless System Networks by Bernard Pottier, Guillaume Kremer and Jimmy Osmont, ESUG09, Brest, France.

Published in: Technology, Business
  • Be the first to comment

  • Be the first to like this

A Process Oriented Development Flow for Wireless System Networks by Bernard Pottier

  1. 1. A Process Oriented Development Flow for Wireless Sensor Networks Bernard Pottier*, Guillaume Kremer & Jimmy Osmont Université de Brest * LabSTICC, UMR CNRS 3192
  2. 2. WSN and applications <ul><ul><ul><li>W ireless S e nsor N etworks (WSN) are an expanding application field </li><ul><li>Green technology : environment, process control, power saving
  3. 3. Human friendly : assists decisions in number of situations
  4. 4. Driven by progresses in communications, integration technologies </li></ul><li>Application examples </li><ul><li>Parking in San Francisco: 6000 sensors connected to GPS/GSM service reduce car traffic and pollution,
  5. 5. Forest fire detection from mesh connected sensors powered from imbalance in pH between tree and soil (MIT),
  6. 6. Services for disabled persons/ bus transportation.
  7. 7. Farming : cattle, green house, fields monitoring. </li></ul></ul></ul></ul>
  8. 8. Our objectives <ul><ul><ul><li>To support WSN design as a top-down flow: </li><ul><li>Sensor physical distribution and connectivity
  9. 9. Communication layer management
  10. 10. Application level algorithm design
  11. 11. Code generation for sensors </li></ul><li>2 stages flow </li><ul><li>Abstract design ,simulation
  12. 12. Code synthesis </li></ul><li>Developped in Smalltalk-80 </li></ul></ul></ul>
  13. 13. WSN components <ul><li>Sensors </li><ul><ul><ul><li>Execution is a loop including </li><ul><li>Communications
  14. 14. Local interaction with control and acquisition devices </li></ul><li>Low power, when possible local power source, low cost </li></ul><li>Practical example </li><ul><li>PsoC (Mixed analogue/logic reconfigurable system on chip)
  15. 15. Spread spectrum wireless transceiver (10s to 100s meters)
  16. 16. Temperature, pressure, presence, light, buzzer, ..
  17. 17. Power </li></ul></ul></ul></ul>
  18. 18. WSN organizations <ul><li>Static </li><ul><ul><li>Star network, hub to internet (green house)
  19. 19. Mesh connected with routing and gateways (SF parking, forest) </li></ul></ul><li>Dynamic </li><ul><ul><li>Mobile fleet (roaming cattle)
  20. 20. Mobile in static or fleet (shepherd collecting information on sheep, bus exchanging information together / with bus stop </li></ul></ul></ul>
  21. 21. An evident challenge is distributed algorithms <ul><li>Static deployment problems </li><ul><ul><li>Network connectivity, fault tolerance, adaptive routing, control flow, memory/buffer use,
  22. 22. Control, data collection, dynamic code distribution
  23. 23. Communication scheduling ( idle to bandwidth saturation) </li></ul></ul><li>Dynamic behaviour problems </li><ul><ul><li>Routing algorithms, managing identities,
  24. 24. Data storing and collection </li></ul></ul></ul>
  25. 25. A Framework for WSN Modelling and Synthesis <ul><li>Uses a two stage flow: </li></ul><ul><ul><ul><li>Behaviour level (design): </li></ul></ul></ul><ul><ul><ul><ul><li>Modelling network topologies as communicating processes.
  26. 26. Local interactions (sensing, controlling)
  27. 27. Local contribution to distributed behaviour
  28. 28. Tuning and optimizing design and algorithms from simulations </li></ul></ul></ul></ul><ul><ul><ul><li>Synthesis level (implementation) </li></ul></ul></ul><ul><ul><ul><ul><li>Dimensioning node characteristics from stage 1 parameters
  29. 29. Target isolation
  30. 30. Native code production, or virtual machine for stage 1 intermediate code. </li></ul></ul></ul></ul>
  31. 31. WSN abstract model <ul><li>NetworkGraph </li><ul><ul><ul><li>Collection of nodes </li></ul></ul></ul><li>NetworkNode </li><ul><ul><ul><li>NodeName (process name)
  32. 32. Input Link collection
  33. 33. Output Link collection
  34. 34. Program/Procedure Name </li></ul></ul></ul><li>Link </li><ul><ul><ul><li>Source node
  35. 35. Destination node </li></ul></ul></ul><li>Algorithms, builders, generators </li></ul>
  36. 36. Syntax based builder <ul><li>Smalltalk 'methods' described using VW ParserCompiler </li></ul>methodName messages alphabet … . NodeName1 { destNodes1 … } ProgramNode NodeName2 { destNodes2 … } ProgramNode <ul><li>Network is developped from a browser </li></ul>
  37. 38. Random topologies builder <ul><li>Generate a sensor distribution on a surface </li><ul><ul><ul><li>Surface known as a rectangle
  38. 39. Sensor wireless neighborhood known as a reachable distance
  39. 40. Arbitrary number of sensors </li></ul><li>Compute the connectivity between nodes
  40. 41. Build a corresponding network, drawing, text. </li></ul></ul></ul>
  41. 42. Physical deployment builder <ul><li>Flow </li><ul><ul><li>Read a map, a photo
  42. 43. Define scales for this background
  43. 44. Define sensor transmit distance
  44. 45. Place sensors and build a network. </li></ul></ul><li>Computes network on the fly. </li></ul>Sandbox for the deployment of a sensor network along bus lines and bus stop
  45. 46. Generators <ul><li>Graphviz (.dot file)
  46. 47. Occam program: </li><ul><ul><li>Concurrent organization : process skeleton, channel declaration,
  47. 48. Process skeleton for a synchronous cycle </li></ul></ul></ul>
  48. 49. Occam Generator <ul><li>Hundred of processes, thousands of channels </li><ul><ul><li>Fixed behaviour for the synchronous model : </li></ul></ul></ul><ul><ul><ul><ul><li>Setup an initial state, prepare initial message output
  49. 50. Loop forever </li></ul></ul></ul></ul><ul><ul><ul><ul><ul><li>Send messages on output links
  50. 51. Receive messages on input links
  51. 52. Change the node state according to current state and input messages
  52. 53. Prepare next message output </li></ul></ul></ul></ul></ul><ul><ul><ul><ul><li>(c and d) place holders for programmer. </li></ul></ul></ul></ul>
  53. 54. Synchronous model : Why? <ul><li>Sensor networks are synchronous: </li><ul><ul><ul><li>Sharing a reference clock
  54. 55. Sensors schedule listening and emitting interleaved with silences
  55. 56. Time division, frequency or channel division </li></ul></ul></ul><li>Large number of known algorithms: </li><ul><ul><ul><li>Retrieving network characteristics – diameter – spanning trees
  56. 57. Distributed reduction operations, broadcasts
  57. 58. Routing with table exchanges, dynamic routing for mobiles </li></ul></ul></ul><li>Can be implemented on top of Occam: </li><ul><ul><ul><li>Concurrent send and receive operations avoid deadlocks
  58. 59. Simulation of very large networks in native code for multi-cores </li></ul></ul></ul></ul>
  59. 60. Generator Status <ul><li>Very large process networks generate, compile and execute on multiprocessor
  60. 61. Significant set of algorithms implemented: routing, naming, flow control. </li></ul>
  61. 62. Generator evolutions: VM <ul><li>Use of Occam intermediate bytecodes (TIS) to program sensors
  62. 63. Virtual machine to execute TIS subset for synchronous model
  63. 64. Channels operations are replaced by scheduled wireless exchanges (TDMA)
  64. 65. Several bytecodes for parallel constructs, loops, operations implemented </li></ul>Stage 2 Stage 1
  65. 66. Flow alternatives <ul><li>Use of Smalltalk to describe synchronous behaviour
  66. 67. Methods export blocks for setup and transition
  67. 68. Blocks operate on method temporary variables
  68. 69. A process system is generated with communications operated using SharedQueues
  69. 70. Translations similar to TIS </li></ul>Stage 1 (ST80 subset) Stage 2
  70. 71. Project Status <ul><li>Emerging project </li><ul><ul><ul><li>Appears as a contribution to PuceCom regional project in Brittany
  71. 72. Cooperation developing with NUST in Pakistan
  72. 73. Contributions of UBO students
  73. 74. Hardware targets : Cypress PsoC and RF circuits, ARM7, GPS, …
  74. 75. Contacts with industry : urban transportation, GIS, …
  75. 76. VisualWorks NC, KroC (Occam), store 'students' @ as.univ-brest.fr </li></ul></ul></ul><li>Wish to contribute to sustainable development </li></ul>( Oyster-catchers at round-island, bay of Brest )

×