A safe-by-design programming language for wireless sensor networks

@article{Lopes2016ASP,
  title={A safe-by-design programming language for wireless sensor networks},
  author={Lu{\'i}s M. B. Lopes and Francisco Martins},
  journal={Journal of Systems Architecture - Embedded Systems Design},
  year={2016},
  volume={63},
  pages={16-32}
}
Wireless sensor networks are notoriously difficult to program and debug. This fact not only stems from the nature of the hardware, but also from the current approaches for developing programming languages that targets these platforms. In particular, current systems do not place enough stress on providing formal descriptions of the language and its run-time system, and on proving important static properties. As a contrasting approach, we design, implement, and deploy a programming language along… CONTINUE READING
2 Citations
15 References
Similar Papers

References

Publications referenced by this paper.
Showing 1-10 of 15 references

Middleware for Network

  • L. Lopes, F. Martins, J. Barros
  • Eccentric and Mobile Applications,
  • 2009
1 Excerpt

A Survey on Sensor Networks

  • I. Akyildiz, W. Su, Y. Sankarasubramaniam, E. Cayirci
  • IEEE Communications Magazine,
  • 2002
1 Excerpt

Similar Papers

Loading similar papers…