Citation
Duarte Vieira. "Simulating the Calculus for Sensor Networks in VisualSense". Talk or presentation, 16, April, 2009; Poster presented at the 8th Biennial Ptolemy Miniconference.

Abstract
The Calculus for Sensor Networks (CSN) seeks a fundamentally formal path towards the development of programming languages for sensor networks. The calculus provides abstractions that close the gap between high-level programming models and the actual implementation on nodes. A CSN application is distributed over a flat collection of sensor devices that monitor a scalar or vector field. From that we generate VisualSense models by automatically creating a set of actors that i) map almost directly the CSN syntactic constructs, taking advantage of the actor composition in VisualSense, and ii) whose behaviors implement a message passing schema that simulates the CSN semantics. The generated models allow us to simulate a CSN network both in terms of communication, field monitoring, etc., and in terms of fundamental aspects of CSN calculus, such as dynamic code deployment.

Electronic downloads

• Vieira_Abstract.pdf · application/pdf · 17 kbytes

• HTML

  Duarte Vieira. <a
  href="http://chess.eecs.berkeley.edu/pubs/569.html"
  ><i>Simulating the Calculus for Sensor Networks in
  VisualSense</i></a>, Talk or presentation,  16,
  April, 2009; Poster presented at the 8th Biennial Ptolemy
  Miniconference.

• Plain text

  Duarte Vieira. "Simulating the Calculus for Sensor
  Networks in VisualSense". Talk or presentation,  16,
  April, 2009; Poster presented at the 8th Biennial Ptolemy
  Miniconference.

• BibTeX

  @presentation{Vieira09_SimulatingCalculusForSensorNetworksInVisualSense,
      author = {Duarte Vieira},
      title = {Simulating the Calculus for Sensor Networks in
                VisualSense},
      day = {16},
      month = {April},
      year = {2009},
      note = {Poster presented at the 8th Biennial Ptolemy
                Miniconference},
      abstract = {The Calculus for Sensor Networks (CSN) seeks a
                fundamentally formal path towards the development
                of programming languages for sensor networks. The
                calculus provides abstractions that close the gap
                between high-level programming models and the
                actual implementation on nodes. A CSN application
                is distributed over a flat collection of sensor
                devices that monitor a scalar or vector field.
                From that we generate VisualSense models by
                automatically creating a set of actors that i) map
                almost directly the CSN syntactic constructs,
                taking advantage of the actor composition in
                VisualSense, and ii) whose behaviors implement a
                message passing schema that simulates the CSN
                semantics. The generated models allow us to
                simulate a CSN network both in terms of
                communication, field monitoring, etc., and in
                terms of fundamental aspects of CSN calculus, such
                as dynamic code deployment.},
      URL = {http://chess.eecs.berkeley.edu/pubs/569.html}
  }
  

Posted by Christopher Brooks on 17 Apr 2009.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.