A State Chart Simulator for Domotic
Environments
Dario Bonino, Fulvio Corno
Politecnico di Torino, e-Lite research group
h...
 Motivations & Goals
  IDE Modeling
  Automatic model generation
  Simulation support
  Conclusions




            D...
“Environments where commercial
domotic systems are extended with a
low cost device (embedded PC)
allowing integration and
...
    IDE design involves many conflicting
      aspects
        – User experience and satisfaction, Intelligent
          ...
 To provide support to validate
   automation and intelligence for domotic
   environments
  By means of IDE models offe...
 DogOnt [ISWC08]
  Ontology-based formal modeling of
   domotic environments (OWL)
        – Technology independent devi...
OffNotification
                                                OnNotification               hasNotification
             ...
    based on the state chart notation invented
      by David Harel in 1987
        – UML2.0 semantics
     Specifically...
    They must respond
        – To user actions and to environmental
          changes (external stimuli)
        – To ev...
Sample Room
                                                 Connector              Lamp Machine
               Switch Mac...
 The behavior of each
   dogont:Controllable instance can
   be modeled as a StateDiagram
  DogOnt Classes  State diagr...
OffStateValue                    OnStateValue                       Lamp Machine Template
        Lamp1                   ...
    IDE state diagrams can be automatically
      generated given
        – A DogOnt IDE description
        – A Library ...
DogSim: A State Chart Simulator for
3/28/2010                                         14
                 Domotic Environm...
    3 layers
                         – Simulation Layer
                                • Runtime simulation
           ...
    6-room flat (Simple Home)
             •   95 domotic devices
             •   1202 DogOnt instances
             •  ...
    DogSim
        – Provides automatic generation of ready to
          simulate IDE models
        – Exploits the DogOn...
Dario Bonino
dario.bonino@polito.it




                DogSim: A State Chart Simulator for
3/28/2010                     ...
Upcoming SlideShare
Loading in …5
×

Dog Sim

4,941 views

Published on

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.
DogSim is 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.

0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
4,941
On SlideShare
0
From Embeds
0
Number of Embeds
2,376
Actions
Shares
0
Downloads
35
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

Dog Sim

  1. 1. A State Chart Simulator for Domotic Environments Dario Bonino, Fulvio Corno Politecnico di Torino, e-Lite research group http://elite.polito.it
  2. 2.  Motivations & Goals  IDE Modeling  Automatic model generation  Simulation support  Conclusions DogSim: A State Chart Simulator for 3/28/2010 2 Domotic Environments
  3. 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. 4.  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
  5. 5.  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
  6. 6.  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
  7. 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. 8.  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
  9. 9.  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
  10. 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. 11.  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
  12. 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. 13.  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
  14. 14. DogSim: A State Chart Simulator for 3/28/2010 14 Domotic Environments
  15. 15.  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
  16. 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. 17.  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
  18. 18. Dario Bonino dario.bonino@polito.it DogSim: A State Chart Simulator for 3/28/2010 18 Domotic Environments

×