A Toolchain for Home Automation Controller Development

Home Automation systems provide a large number of devices to control diverse appliances. Taking advantage of this diversity to create efficient and intelligent environments requires well designed, validated, and implemented controllers. However, designing and deploying such controllers is a complex and error prone process. This paper presents a tool chain that transforms a design in the form of communicating state machines to an executable controller that interfaces to appliances through a service oriented middleware. Design and validation is supported by integrated model checking and simulation facilities. This is extendable to controller synthesis. This tool chain is implemented, and we provide different examples to show its usability.

家庭自动化系统提供大量设备来控制各种各样的电器。利用这种多样性来创建高效智能的环境需要精心设计、验证和实施的控制器。然而，设计和部署此类控制器是一个复杂且容易出错的过程。本文提出了一个工具链，它将以通信状态机形式的设计转换为一个可执行的控制器，该控制器通过面向服务的中间件与电器连接。集成的模型检查和模拟工具为设计和验证提供支持。这可扩展到控制器综合。这个工具链已实现，我们提供不同的示例来展示其可用性。