Engineering intelligent sensor networks with ASSL and DMF

E Vassev, Patrick Nixon

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Abstract

    We describe the use of ASSL (Autonomic System Specification Language) and DMF (Demand Migration Framework) in the development of software systems for intelligent sensor networks. ASSL is used to formally specify and automatically generate autonomous intelligent sensor nodes. DMF is applied to connect those nodes in a sensor network. ASSL provides sensor networks with self-management behavior based on special policies allowing sensor nodes to reason and collaborate by exchanging information via a DMF instance.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    Pages94-102
    Number of pages9
    DOIs
    Publication statusPublished - 2010
    EventProceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS) - Chicago, IL
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceProceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS)
    Period1/01/10 → …

    Fingerprint

    Specification languages
    Sensor networks
    Sensor nodes
    Computer systems

    Keywords

    • ASSL
    • DMF
    • autonomic systems
    • self-management
    • sensor networks

    Cite this

    Vassev, E ; Nixon, Patrick. / Engineering intelligent sensor networks with ASSL and DMF. Unknown Host Publication. 2010. pp. 94-102
    @inproceedings{51cee33d13fd48e2b603e689c8bbc4dc,
    title = "Engineering intelligent sensor networks with ASSL and DMF",
    abstract = "We describe the use of ASSL (Autonomic System Specification Language) and DMF (Demand Migration Framework) in the development of software systems for intelligent sensor networks. ASSL is used to formally specify and automatically generate autonomous intelligent sensor nodes. DMF is applied to connect those nodes in a sensor network. ASSL provides sensor networks with self-management behavior based on special policies allowing sensor nodes to reason and collaborate by exchanging information via a DMF instance.",
    keywords = "ASSL, DMF, autonomic systems, self-management, sensor networks",
    author = "E Vassev and Patrick Nixon",
    year = "2010",
    doi = "10.1109/CTS.2010.5478519",
    language = "English",
    isbn = "978-1-4244-6619-1",
    pages = "94--102",
    booktitle = "Unknown Host Publication",

    }

    Vassev, E & Nixon, P 2010, Engineering intelligent sensor networks with ASSL and DMF. in Unknown Host Publication. pp. 94-102, Proceedings of the 2010 International Symposium on Collaborative Technologies and Systems (CTS), 1/01/10. https://doi.org/10.1109/CTS.2010.5478519

    Engineering intelligent sensor networks with ASSL and DMF. / Vassev, E; Nixon, Patrick.

    Unknown Host Publication. 2010. p. 94-102.

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    TY - GEN

    T1 - Engineering intelligent sensor networks with ASSL and DMF

    AU - Vassev, E

    AU - Nixon, Patrick

    PY - 2010

    Y1 - 2010

    N2 - We describe the use of ASSL (Autonomic System Specification Language) and DMF (Demand Migration Framework) in the development of software systems for intelligent sensor networks. ASSL is used to formally specify and automatically generate autonomous intelligent sensor nodes. DMF is applied to connect those nodes in a sensor network. ASSL provides sensor networks with self-management behavior based on special policies allowing sensor nodes to reason and collaborate by exchanging information via a DMF instance.

    AB - We describe the use of ASSL (Autonomic System Specification Language) and DMF (Demand Migration Framework) in the development of software systems for intelligent sensor networks. ASSL is used to formally specify and automatically generate autonomous intelligent sensor nodes. DMF is applied to connect those nodes in a sensor network. ASSL provides sensor networks with self-management behavior based on special policies allowing sensor nodes to reason and collaborate by exchanging information via a DMF instance.

    KW - ASSL

    KW - DMF

    KW - autonomic systems

    KW - self-management

    KW - sensor networks

    U2 - 10.1109/CTS.2010.5478519

    DO - 10.1109/CTS.2010.5478519

    M3 - Conference contribution

    SN - 978-1-4244-6619-1

    SP - 94

    EP - 102

    BT - Unknown Host Publication

    ER -