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.
    Original languageEnglish
    Title of host publicationUnknown Host Publication
    PublisherAssociation for Computing Machinery
    Pages71-72
    Number of pages2
    ISBN (Print)978-1-4503-0074-2
    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 → …

    Keywords

    • wireless sensor networks
    • home automation
    • prototyping
    • ASSL

    Fingerprint Dive into the research topics of 'Prototyping home automation wireless sensor networks with ASSL'. Together they form a unique fingerprint.

  • Cite this

    Vassev, E., Hinchey, M., & Nixon, P. (2010). Prototyping home automation wireless sensor networks with ASSL. In Unknown Host Publication (pp. 71-72). Association for Computing Machinery. https://doi.org/10.1145/1809049.1809060