DogSim: A State Chart Simulator for Domotic Environments
Eighth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)
ABSTRACT
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 ontologybased 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.
| Related files: | |
|---|---|
| mucs2010.pdf | Adobe Acrobat portable document |
Copyright note for papers published by the IEEE Computer Society:
Copyright IEEE. Personal use of this material is permitted. However,
permission to reprint/republish this material for advertising or
promotional purposes or for creating new collective works for resale
or redistribution to servers or lists, or to reuse any copyrighted
component of this work in other works, must be obtained from the IEEE.
| Related URLs: | |
|---|---|
| http://dx.doi.org/10.1109/PERCOMW.2010.5470666 | |
| http://www.slideshare.net/dbonino/dog-sim-3592679 | |
[BCor10] D. Bonino, F. Corno, "DogSim: A State Chart Simulator for Domotic Environments," Eighth Annual IEEE International Conference on Pervasive Computing and Communications Workshops (PerCom Workshops)