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 |