University of Limerick
Browse

Prototyping home automation wireless sensor networks with ASSL

Download (516.29 kB)
conference contribution
posted on 2011-02-04, 12:27 authored by Emil VassevEmil Vassev, Mike Hinchey, Paddy Nixon
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.

History

Publication

ICAC '10 Proceeding of the 7th International Conference on Autonomic Computing;pp. 71-72

Publisher

Association for Computing Machinery

Note

peer-reviewed

Other Funding information

SFI, UCD

Language

English

External identifier

Usage metrics

    University of Limerick

    Categories

    No categories selected

    Keywords

    autonomic system specification languagewireless sensor networks

    Licence

    CC BY-NC-SA 1.0

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC