Abstract:
Smart homes dedicated to people with disabilities, specially those with dementia, are critical systems which need to remain safe and adapted to the user. However the cont...Show MoreMetadata
Abstract:
Smart homes dedicated to people with disabilities, specially those with dementia, are critical systems which need to remain safe and adapted to the user. However the control part of such systems - ensuring their safety - is both difficult to design and verify without appropriate tools. Formal techniques have been used to cope with the verification problem, but this paper proposes a new way to specify smart home safety which also eases the design aspect. It enables the use of a correct by construction technique - Discrete Controller Synthesis - to automatically build from constraints a maximally permissive safety controller that can also reconfigure itself as the disabilities of the associated user evolve.
Date of Conference: 09-12 December 2014
Date Added to IEEE Xplore: 19 January 2015
Electronic ISBN:978-1-4799-4530-6