Dog Sim
1 like1,699 views
The document describes DogSim, a state chart simulator for domotic environments. It automatically generates state diagram models from an ontology description of a domotic system to enable simulation and validation of automation scenarios. DogSim uses templates to map domotic device instances to state machines and generates connectors between devices to model their interactions. It was tested on a model of a 6-room home with 95 devices and showed potential for application to real-world intelligent home environments.
![? DogOnt [ISWC08]
? Ontology-based formal modeling of
domotic environments (OWL)
¨C Technology independent device modeling
¨C Formally represents interoperation
semantics through relations [AMI09]
¨C Supports automatic generation
of inter-operation rules [TCE09]
DogSim: A State Chart Simulator for
3/28/2010 6
Domotic Environments](https://image.slidesharecdn.com/dogsim-12699396545286-phpapp01/85/Dog-Sim-6-320.jpg)
Dog Sim
- 1. A State Chart Simulator for Domotic Environments Dario Bonino, Fulvio Corno Politecnico di Torino, e-Lite research group http://elite.polito.it
- 2. ? Motivations & Goals ? IDE Modeling ? Automatic model generation ? Simulation support ? Conclusions DogSim: A State Chart Simulator for 3/28/2010 2 Domotic Environments
- 3. ¡°Environments where commercial domotic systems are extended with a low cost device (embedded PC) allowing integration and interoperation with other appliances, and supporting more sophisticated automation scenarios¡± DogSim: A State Chart Simulator for 3/28/2010 3 Domotic Environments
- 4. ? IDE design involves many conflicting aspects ¨C User experience and satisfaction, Intelligent behaviors, Automated scenarios, ¡ ? Complexity of interactions between involved systems ¨C Not fully predictable ¨C Side effects often un-noticeable without deployment (simulation) ¨C Effectiveness depends on the designer experience DogSim: A State Chart Simulator for 3/28/2010 4 Domotic Environments
- 5. ? To provide support to validate automation and intelligence for domotic environments ? By means of IDE models offering ¨C Simulation capabilities ¨C Support to Formal Verification ? Technology: ¨C Ontologies & UML2.0 State charts DogSim: A State Chart Simulator for 3/28/2010 5 Domotic Environments
- 6. ? DogOnt [ISWC08] ? Ontology-based formal modeling of domotic environments (OWL) ¨C Technology independent device modeling ¨C Formally represents interoperation semantics through relations [AMI09] ¨C Supports automatic generation of inter-operation rules [TCE09] DogSim: A State Chart Simulator for 3/28/2010 6 Domotic Environments
- 7. OffNotification OnNotification hasNotification hasNotification OnOffNotification Functionality OnOffState hasFunctionality generatesCmd hasState Switch hasState Lamp hasFunctionality isIn OnOffState isIn OnOffFunctionality hasCommand Sample Room hasCommand OffCommand generatesCmd OnCommand DogSim: A State Chart Simulator for 3/28/2010 7 Domotic Environments
- 8. ? based on the state chart notation invented by David Harel in 1987 ¨C UML2.0 semantics ? Specifically address the problem of representing large and complex reactive systems ? Reactive System ¡° A reactive system is characterized by being to a large extent event-driven, continuously having to react to external and internal stimuli.¡± DogSim: A State Chart Simulator for 3/28/2010 8 Domotic Environments
- 9. ? They must respond ¨C To user actions and to environmental changes (external stimuli) ¨C To events generated by control algorithms (internal stimuli). ? The control part of an IDE is a Reactive System DogSim: A State Chart Simulator for 3/28/2010 9 Domotic Environments
- 10. Sample Room Connector Lamp Machine Switch Machine swOff / send(lampOff) swOn / send(lampOn) OffState pressedOn / lampOff OffState send(swOn) pressedOff / lampOn send(swOff) OnState OnState DogSim: A State Chart Simulator for 3/28/2010 10 Domotic Environments
- 11. ? The behavior of each dogont:Controllable instance can be modeled as a StateDiagram ? DogOnt Classes ? State diagram structure ¨C Template ? DogOnt Instances ? State diagrams ¨C Template Instance (by state renaming) DogSim: A State Chart Simulator for 3/28/2010 11 Domotic Environments
- 12. OffStateValue OnStateValue Lamp Machine Template Lamp1 Lamp1 hasStateValue hasStateValue OnOffStateLamp1 &id;OffState &id;lampOn hasState Lamp isA SampleLamp1 &id;lampOff &id;OnState hasFunctionality OnOffFunctionality hasCommand hasCommand OffCommand OnCommand DogSim: A State Chart Simulator for 3/28/2010 12 Domotic Environments
- 13. ? IDE state diagrams can be automatically generated given ¨C A DogOnt IDE description ¨C A Library of Machine Templates ? By exploiting ¨C SPARQL querying primitives for mapping device instances to state diagram templates ¨C Automatic connector generation DogSim: A State Chart Simulator for 3/28/2010 13 Domotic Environments
- 14. DogSim: A State Chart Simulator for 3/28/2010 14 Domotic Environments
- 15. ? 3 layers ¨C Simulation Layer ? Runtime simulation (Apache Commons SCXML) ¨C Model Generation Layer ? Generates SCXML state diagrams from DogOnt ¨C Data Layer ? DogOnt instances, ? Template library ? Generated SCXML machine DogSim: A State Chart Simulator for DogSim: A State Chart Simulator for 3/28/2010 3/28/2010 15 15 Domotic Environments Domotic Environments
- 16. ? 6-room flat (Simple Home) ? 95 domotic devices ? 1202 DogOnt instances ? 11 State diagram templates ? 384 States ? state space size ¡Ö1080 Pellet (s) Jena (s) Ontology loading & 19.458 6.152 inference Template Loading 0.007 0.007 Model Creation (SPARQL) 3.384 6.360 DogSim: A State Chart Simulator for 3/28/2010 16 Domotic Environments
- 17. ? DogSim ¨C Provides automatic generation of ready to simulate IDE models ¨C Exploits the DogOnt ontology to perform automatic, semantic-based generalization of device machine templates ? DogSim has been tested on a 6 room flat ¨C 95 devices / 384 states ¨C Feasible and applicable to real-world use cases ? Future works ¨C Model verification DogSim: A State Chart Simulator for 3/28/2010 17 Domotic Environments
- 18. Dario Bonino dario.bonino@polito.it DogSim: A State Chart Simulator for 3/28/2010 18 Domotic Environments