Prototyping home automation wireless sensor networks with ASSL

E Vassev, M Hinchey, Patrick Nixon

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

    3 Citations (Scopus)

    Abstract

    We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a simulated virtual home environment. This approach allows for formal validation, experiments under simulated conditions, and smooth transition from a prototype system to a real one.
    LanguageEnglish
    Title of host publicationUnknown Host Publication
    Pages71-72
    Number of pages2
    DOIs
    Publication statusPublished - 2010
    EventProceedings of the 7th International Conference on Autonomic Computing (ICAC 2010) - Washington DC, USA
    Duration: 1 Jan 2010 → …

    Conference

    ConferenceProceedings of the 7th International Conference on Autonomic Computing (ICAC 2010)
    Period1/01/10 → …

    Fingerprint

    Specification languages
    Wireless sensor networks
    Automation
    Experiments

    Keywords

    • wireless sensor networks
    • home automation
    • prototyping
    • ASSL

    Cite this

    Vassev, E ; Hinchey, M ; Nixon, Patrick. / Prototyping home automation wireless sensor networks with ASSL. Unknown Host Publication. 2010. pp. 71-72
    @inproceedings{50bc63dd91f845be9b576e944886e787,
    title = "Prototyping home automation wireless sensor networks with ASSL",
    abstract = "We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a simulated virtual home environment. This approach allows for formal validation, experiments under simulated conditions, and smooth transition from a prototype system to a real one.",
    keywords = "wireless sensor networks, home automation, prototyping, ASSL",
    author = "E Vassev and M Hinchey and Patrick Nixon",
    year = "2010",
    doi = "10.1145/1809049.1809060",
    language = "English",
    isbn = "978-1-4503-0074-2",
    pages = "71--72",
    booktitle = "Unknown Host Publication",

    }

    Vassev, E, Hinchey, M & Nixon, P 2010, Prototyping home automation wireless sensor networks with ASSL. in Unknown Host Publication. pp. 71-72, Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010), 1/01/10. https://doi.org/10.1145/1809049.1809060

    Prototyping home automation wireless sensor networks with ASSL. / Vassev, E; Hinchey, M; Nixon, Patrick.

    Unknown Host Publication. 2010. p. 71-72.

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

    TY - GEN

    T1 - Prototyping home automation wireless sensor networks with ASSL

    AU - Vassev, E

    AU - Hinchey, M

    AU - Nixon, Patrick

    PY - 2010

    Y1 - 2010

    N2 - We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a simulated virtual home environment. This approach allows for formal validation, experiments under simulated conditions, and smooth transition from a prototype system to a real one.

    AB - We target effective home automation based on wireless sensor networks. ASSL (Autonomic System Specification Language) is used to formally specify and generate prototype models for wireless sensor networks controlling a simulated virtual home environment. This approach allows for formal validation, experiments under simulated conditions, and smooth transition from a prototype system to a real one.

    KW - wireless sensor networks

    KW - home automation

    KW - prototyping

    KW - ASSL

    U2 - 10.1145/1809049.1809060

    DO - 10.1145/1809049.1809060

    M3 - Conference contribution

    SN - 978-1-4503-0074-2

    SP - 71

    EP - 72

    BT - Unknown Host Publication

    ER -