University of Tasmania
Browse

File(s) under permanent embargo

Prototyping home automation wireless sensor networks with ASSL

conference contribution
posted on 2023-05-24, 13:25 authored by Vassev, E, Hinchey, M, Nixon, P
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 title

Proceedings of the 7th International Conference on Autonomic Computing (ICAC 2010)

Pagination

71-72

ISBN

978-1-4503-0074-2

Publisher

ACM

Place of publication

New York, USA

Event title

7th International Conference on Autonomic Computing (ICAC 2010)

Event Venue

Washington DC, USA

Date of Event (Start Date)

2010-06-07

Date of Event (End Date)

2010-06-10

Repository Status

  • Restricted

Socio-economic Objectives

Information systems, technologies and services not elsewhere classified

Usage metrics

    University Of Tasmania

    Categories

    Keywords

    wireless sensor networkshome automationprototypingASSL

    Licence

    In Copyright

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC