Prototyping home automation wireless sensor networks with ASSL
Emil Vassev, Mike Hinchey, Paddy Nixon · 2010
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.