University of Limerick Institutional Repository

Prototyping home automation wireless sensor networks with ASSL

DSpace Repository

Show simple item record

dc.contributor.author Vassev, Emil
dc.contributor.author Hinchey, Mike
dc.contributor.author Nixon, Paddy
dc.date.accessioned 2011-02-04T12:27:35Z
dc.date.available 2011-02-04T12:27:35Z
dc.date.issued 2010
dc.identifier.uri http://hdl.handle.net/10344/745
dc.description peer-reviewed en_US
dc.description.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. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation.ispartofseries ICAC '10 Proceeding of the 7th International Conference on Autonomic Computing;pp. 71-72
dc.relation.uri http://dx.doi.org/10.1145/1809049.1809060
dc.subject autonomic system specification language en_US
dc.subject wireless sensor networks en_US
dc.title Prototyping home automation wireless sensor networks with ASSL en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.supercollection ul_published_reviewed en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.contributor.sponsor UCD
dc.relation.projectid EMPOWER grant
dc.relation.projectid 03/CE2/I303_1
dc.internal.authorcontactother emil.vassev@lero.ie
dc.internal.authorcontactother mike.hinchey@lero.ie
dc.internal.authorcontactother paddy.nixon@lero.ie


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search DSpace


Browse

My Account

Statistics