Dog Sim

A State Chart Simulator for Domotic Environments Dario Bonino, Fulvio Corno Politecnico di Torino, e-Lite research group http://elite.polito.it

 Motivations & Goals  IDE Modeling  Automatic model generation  Simulation support  Conclusions DogSim: A State Chart Simulator for 3/28/2010 2 Domotic Environments

“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

 IDE design involves many conflicting aspects – User experience and satisfaction, Intelligent behaviors, Automated scenarios, …  Complexity of interactions between involved systems – Not fully predictable – Side effects often un-noticeable without deployment (simulation) – Effectiveness depends on the designer experience DogSim: A State Chart Simulator for 3/28/2010 4 Domotic Environments

 To provide support to validate automation and intelligence for domotic environments  By means of IDE models offering – Simulation capabilities – Support to Formal Verification  Technology: – Ontologies & UML2.0 State charts DogSim: A State Chart Simulator for 3/28/2010 5 Domotic Environments

 DogOnt [ISWC08]  Ontology-based formal modeling of domotic environments (OWL) – Technology independent device modeling – Formally represents interoperation semantics through relations [AMI09] – Supports automatic generation of inter-operation rules [TCE09] DogSim: A State Chart Simulator for 3/28/2010 6 Domotic Environments

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

 based on the state chart notation invented by David Harel in 1987 – 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

 They must respond – To user actions and to environmental changes (external stimuli) – 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

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

 The behavior of each dogont:Controllable instance can be modeled as a StateDiagram  DogOnt Classes  State diagram structure – Template  DogOnt Instances  State diagrams – Template Instance (by state renaming) DogSim: A State Chart Simulator for 3/28/2010 11 Domotic Environments

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

 IDE state diagrams can be automatically generated given – A DogOnt IDE description – A Library of Machine Templates  By exploiting – SPARQL querying primitives for mapping device instances to state diagram templates – Automatic connector generation DogSim: A State Chart Simulator for 3/28/2010 13 Domotic Environments

DogSim: A State Chart Simulator for 3/28/2010 14 Domotic Environments

 3 layers – Simulation Layer • Runtime simulation (Apache Commons SCXML) – Model Generation Layer • Generates SCXML state diagrams from DogOnt – 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

 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

 DogSim – Provides automatic generation of ready to simulate IDE models – Exploits the DogOnt ontology to perform automatic, semantic-based generalization of device machine templates  DogSim has been tested on a 6 room flat – 95 devices / 384 states – Feasible and applicable to real-world use cases  Future works – Model verification DogSim: A State Chart Simulator for 3/28/2010 17 Domotic Environments

Dario Bonino dario.bonino@polito.it DogSim: A State Chart Simulator for 3/28/2010 18 Domotic Environments

http://www.ossblog.it	570
http://elite.polito.it	377
http://www.bomby.it	25
http://www.slideshare.net	10
http://static.slidesharecdn.com	2
http://nicolavarrese.altervista.org	1
http://www.ereiser.org	1

Dog Sim

by dbonino on Mar 30, 2010

Accessibility

Upload Details

Usage Rights

7 Embeds 986

Statistics

Dog Sim — Presentation Transcript