Skip to main content
SpringerLink
Log in

DESAL\(^\beta \): A Framework For Implementing Self-stabilizing Embedded Network Applications

  • Conference paper
  • First Online:
Book cover Internet of Things. IoT Infrastructures (IoT360 2015)

Included in the following conference series:

  • 1708 Accesses

Abstract

The Dynamic Embedded Sensor-Actuator Language (DESAL) [2] is a rule-based programming language, without events, interrupts, or hidden control. Nodes have built-in access to their neighbors’ state, with automatic node discovery and health monitoring. Applications communicate via shared variables, rather than explicit message passing. Shared variables naturally represent the state of self-stabilizing algorithms. DESAL simplifies the construction of self-stabilizing embedded applications by eliminating network programming, while offering significant reliability improvements.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Dalton, A.R., et al.: \(Desal^\alpha \) : an implementation of the dynamic embedded sensor-actuator language. In: Proceedings of the ICCCN 2008, vol. 8 (2008)

    Google Scholar 

  2. Arora, A., et al.: A state-based language for sensor-actuator networks. ACM SIGBED Rev. 4(3), 25–30 (2007)

    Article  Google Scholar 

  3. Hill, J., et al.: System architecture directions for networked sensors. In: Proceedings of the ASPLOS IX, pp. 93–104 (2000)

    Google Scholar 

  4. Dunkels, A., et al.: Contiki - a lightweight and flexible operating system for tiny networked sensors. In: Proceedings of the LCN 2004, pp. 455–462, November 2004

    Google Scholar 

  5. Bhatti, S., et al.: Mantis OS: an embedded multithreaded operating system for wireless micro sensor platforms. Mob. Netw. Appl. 10(4), 563–579 (2005)

    Article  Google Scholar 

  6. Gay, D., et al.: The nesC language: a holistic approach to networked embedded systems. In: Proceedings of the PLDI 2003, pp. 1–11 (2003)

    Google Scholar 

  7. Madden, S.R., et al.: TinyDB: an acquisitional query processing system for sensor networks. ACM Trans. Database Syst. 30(1), 122–173 (2005)

    Article  MathSciNet  Google Scholar 

  8. Yao, Y., Gehrke, J.: The cougar approach to in-network query processing in sensor networks. SIGMOD Rec. 31(3), 9–18 (2002)

    Article  Google Scholar 

  9. Gummadi, R., Gnawali, O., Govindan, R.: Macro-programming wireless sensor networks using Kairos. In: Prasanna, V.K., Iyengar, S.S., Spirakis, P.G., Welsh, M. (eds.) DCOSS 2005. LNCS, vol. 3560, pp. 126–140. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  10. Newton, R., et al.: The regiment macroprogramming system. In: Proceedings of the IPSN 2007, pp. 489–498. ACM, New York (2007)

    Google Scholar 

  11. Weyer, C., Turau, V.: SelfWISE: a framework for developing self-stabilizing algorithms. In: David, K., Geihs, K. (eds.) Kommunikation in Verteilten Systemen (KiVS), pp. 67–78. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  12. Osterlind, F., et al.: Cross-level sensor network simulation with COOJA. In: Proceedings of the LCN 2006, pp. 641–648, November 2006

    Google Scholar 

  13. NESCC. linux.die.net/man/1/nescc

  14. Dalton, A., et al.: A testbed for visualizing sensornet behavior. In: Proceedings of the ICCCN 2008, pp. 1–7, August 2008

    Google Scholar 

  15. Maróti, M., et al.: The flooding time synchronization protocol. In: Proceedings of the SenSys 2004, pp. 39–49. ACM (2004)

    Google Scholar 

  16. McPeak, S., Necula, G.C.: Elkhound: a fast, practical GLR parser generator. In: Duesterwald, E. (ed.) CC 2004. LNCS, vol. 2985, pp. 73–88. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  17. Hedetniemi, S.M., et al.: Self-stabilizing algorithms for minimal dominating sets and maximal independent sets. Comput. Math. Appl. 46(5–6), 805–811 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  18. Goddard, W., et al.: Self-stabilizing protocols for maximal matching and maximal independent sets for ad hoc networks. In: Proceedings of the IPDPS 2003, p. 14. IEEE (2003)

    Google Scholar 

  19. Mahafzah, M.H.: An efficient graph-coloring algorithm for processor allocation. Int. J. Comput. Inf. Technol. 02(1) (2013)

    Google Scholar 

  20. Johnson, D.S., Garey, M.R.: Computers and Intractability. Freeman, New York (1979)

    MATH  Google Scholar 

  21. Hedetniemi, S.T., et al.: Linear time self-stabilizaing colorings. Inf. Process. Lett. 87, 251–255 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  22. Moteiv. Tmote sky (2005). http://www.eecs.harvard.edu/~konrad/projects/shimmer/references/tmote-sky-datasheet.pdf

  23. Levis, P.: Experiences from a decade of tinyos development. In: Proceedings of the OSDI 2012, pp. 207–220. USENIX, Berkeley (2012)

    Google Scholar 

Download references

Acknowledgment

This work is supported by the NSF through award CNS-0746632.

Author information

Authors and Affiliations

  1. School of Computing, Clemson University, Clemson, USA

    Yangyang He & Yuheng Du

  2. I-SENSE, Florida Atlantic University, Boca Raton, USA

    Shiree Hughes, Jiannan Zhai & Jason O. Hallstrom

  3. Electrical and Computer Engineering, Cleveland State University, Cleveland, USA

    Nigamanth Sridhar

Authors
  1. Yangyang He
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Yuheng Du
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Shiree Hughes
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jiannan Zhai
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Jason O. Hallstrom
    View author publications

    You can also search for this author in PubMed Google Scholar

  6. Nigamanth Sridhar
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Yangyang He .

Editor information

Editors and Affiliations

  1. IBM Research , Haifa, Israel

    Benny Mandler

  2. CONNECT Centre, Trinity College, University of Dublin, Dublin, Ireland

    Johann Marquez-Barja

  3. GTA/PEE-COPPE/DEL-Poli, Universidade Federal do Rio de Janeiro (UFRJ), Rio de Janeiro, Rio de Janeiro, Brazil

    Miguel Elias Mitre Campista

  4. Faculty of Materials Science and Technology in Trnava, Slovak University of Technology in Bratislava, Trnava, Slovakia

    Dagmar Cagáňová

  5. Institut Télécom SudParis , Evry, France

    Hakima Chaouchi

  6. College of Communication and Information, University of Kentucky, Lexington, Kentucky, USA

    Sherali Zeadally

  7. College of Technological Innovation, Zayed University, Dubai, United Arab Emirates

    Mohamad Badra

  8. University of Pisa, Pisa, Holy See (Vatican City State)

    Stefano Giordano

  9. DICIEAMA Department, University of Messina, Messina, Italy

    Maria Fazio

  10. CREATE-NET , Trento, Italy

    Andrey Somov

  11. University of Trento , Trento, Italy

    Radu-Laurentiu Vieriu

Rights and permissions

Reprints and permissions

Copyright information

© 2016 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

He, Y., Du, Y., Hughes, S., Zhai, J., Hallstrom, J.O., Sridhar, N. (2016). DESAL\(^\beta \): A Framework For Implementing Self-stabilizing Embedded Network Applications. In: Mandler, B., et al. Internet of Things. IoT Infrastructures. IoT360 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 170. Springer, Cham. https://doi.org/10.1007/978-3-319-47075-7_34

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-47075-7_34

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-47074-0

  • Online ISBN: 978-3-319-47075-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation