Prototyping home automation wireless sensor networks with ASSL

Authors:
Emil Vassev;Mike Hinchey;Paddy Nixon
Affiliations:
University College Dublin, Ireland, Ireland;University of Limerick, Limerick, Ireland;University College Dublin, Dublin, Ireland
Venue:
Proceedings of the 7th international conference on Autonomic computing
Year:
2010

Citing 1
Cited 1

Towards a framework for specification and code generation of automatic systems

Towards a framework for specification and code generation of automatic systems

Accelerated evolution: a biologically-inspired approach for augmenting self-star properties in wireless sensor networks

Transactions on Computational Science XV

Quantified Score

Hi-index	0.00

Visualization

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.