For access to this article, please select a purchase option:
Buy conference paper PDF
Buy Knowledge Pack
IET members benefit from discounts to all IET publications and free access to E&T Magazine. If you are an IET member, log in to your account and the discounts will automatically be applied.
This paper describes an automated home environment comprising a varying population of different hardware and software modules, called pebbles, being controlled by a varying number of rules. The aim is to execute a number of concurrent applications and to be sure of their potential interactions in advance, in order to avoid any feature interaction. For this, all devices and applications must advertise their behaviour beforehand by code reflection. Our API for code reflection is our formally verifiable logic language, called Pushlogic, into which all the control software is eventually translated. We use a home control scenario to highlight different aspects of our logic-based control of these pebbles. (6 pages)