Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II

Research Article

DESAL: A Framework For Implementing Self-stabilizing Embedded Network Applications

Download
264 downloads
  • @INPROCEEDINGS{10.1007/978-3-319-47075-7_34,
        author={Yangyang He and Yuheng Du and Shiree Hughes and Jiannan Zhai and Jason Hallstrom and Nigamanth Sridhar},
        title={DESAL: A Framework For Implementing Self-stabilizing Embedded Network Applications},
        proceedings={Internet of Things. IoT Infrastructures. Second International Summit, IoT 360° 2015, Rome, Italy, October 27-29, 2015, Revised Selected Papers, Part II},
        proceedings_a={IOT360},
        year={2017},
        month={6},
        keywords={},
        doi={10.1007/978-3-319-47075-7_34}
    }
    
  • Yangyang He
    Yuheng Du
    Shiree Hughes
    Jiannan Zhai
    Jason Hallstrom
    Nigamanth Sridhar
    Year: 2017
    DESAL: A Framework For Implementing Self-stabilizing Embedded Network Applications
    IOT360
    Springer
    DOI: 10.1007/978-3-319-47075-7_34
Yangyang He1,*, Yuheng Du1,*, Shiree Hughes2,*, Jiannan Zhai2,*, Jason Hallstrom2,*, Nigamanth Sridhar3,*
  • 1: Clemson University
  • 2: I-SENSE, Florida Atlantic University
  • 3: Cleveland State University
*Contact email: yyhe@clemson.edu, yuhengd@clemson.edu, shughes2015@fau.edu, jzhai@fau.edu, jhallstrom@fau.edu, n.sridhar1@csuohio.edu

Abstract

The Dynamic Embedded Sensor-Actuator Language () [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. simplifies the construction of self-stabilizing embedded applications by eliminating network programming, while offering significant reliability improvements.