DogSim: A state chart simulator for Domotic Environments

Smart Homes and Domotic Environments are promising to revolutionize the daily human life providing users with increased care, adaptability and safety. However, to fully exploit their potential, in everyday life, suitable design and verification tools must be available, allowing architects and designers to correctly implement their ideas and to verify the effects of designed policies on real world environments. This paper describes DogSim: a framework and API for automatic generation of state chart simulators from ontology-based descriptions of domotic environments. DogSim has been tested on the model of a 6-room flat equipped with 95 devices. Results show that the approach is feasible and that can easily address realistic home scenarios.