SlideShare uma empresa Scribd logo
1 de 28
A 3D SIMULATION FRAMEWORK FOR
SAFE AMBIENT-ASSISTED HOME CARE

                           Christophe Soares

                               Co-Authors:
   Carlos Velasquez, Rui Moreira, Ricardo Morla, Pedro Sobral and José Torres



      INESC-Porto                                           ISUS
FEUP, University of Porto                     FCT, University Fernando Pessoa
Introduction
Goals
Research Area
Safe Home Care Architecture
Simulation Structure
Feature Interaction Workflow
Conclusion
INTRODUCTION


•Statistics show aging trend in the world population

•Growing need for automated health care support
 for the sick and elderly at home
INTRODUCTION


•Reduce overall cost of the health care systems

•Promote more comfort and safety at home

•Ambient Assisted Living emphasis (cf. MATCH, eCAALYX)
VIDEO
GOALS

•Support safe deployment and reconfiguration of
 home health care smart spaces

•Automatically adapt system interface for elderly
 people

•Provide non-intr usive patients remote
 monitoring and assistance
RESEARCH AREA

Smart spaces:

•sensors,
•actuators,
•computation devices,
•and communication-rich appliances.
RESEARCH AREA


‣ New appliance can interfere with the appliances that
  already exist in that space

‣ For home health care is critical to prevent interference
  occurrence
RESEARCH AREA



Feature Interaction - Interference
   •Independently deployed OTS systems may interact
    unexpectedly resulting misbehaviors or malfunctions
RESEARCH AREA



Reflection - Distributed Systems
   •An architectural pattern to organizes software systems
    into base-level and meta-level
RESEARCH AREA

Support simulation to generate synthetic data:

   •identify a priori interference,

   •pre-deployment feature interaction detection,

   •handling of interferences in Real Time between
    different appliances (cf. system’s malfunctions).
SAFE HOME CARE
             ARCHITECTURE
Reflective Middleware                      Meta Level
                Simulation Framework

             Feature Interaction Engine




                                          Base Level




              Sensors / Actuators


             OTS Applications API


                 SHC System GUI
SIMULATION
‣ Full Simulation

  ‣ Systems act autonomously based on their
    behavior (deterministic reactions)


‣ Semi Simulation

  ‣ A human may control the avatar to generate ad
    hoc interactions (stochastic reactions)
SIMULATION STRUCTURE
SAFE HOME CARE
             ARCHITECTURE
Reflective Middleware                      Meta Level
                Simulation Framework

             Feature Interaction Engine




                                          Base Level




              Sensors / Actuators


             OTS Applications API


                 SHC System GUI
FEATURE INTERACTION
    WORKFLOW
  SHC 3D           read existing
Meta-model          states from
Simulation           database
 Scenario                           create the GoOS
 Outcomes                          graph using Table
             Classification
                                          Case
               Matching
              Table Case                            prune the GoOS
                                                      using GoES
                               Pruning                sequences
                                   GoES


                                              Reasoning



                                      No Feature          Feature
                                      interaction       interaction
SIMULATION




OpenSim used as simulation framework:
 • generate off-the-shelf (OTS) state interactions in
    the smart-space.
 • data used to test collected feature interactions
    between OTS systems.
CLASSIFICATION
                                     Outcome 1                    Outcome 2


                                      alarm          ringing       alarm          ringing

Graph Representations are well        ringing                      ringing
                                                     take_ pill                   take_ pill
understood and provide a
flexible representation for           needs_ pill     notify       needs_ pill     notify


state sequence transitions.           call _ in       alarm        call _ in       alarm


                                      ringing        buzzer        ringing        buzzer
During system runtime or
                                     receives_call     call       receives_call     call
simulation a graph is built by
capturing the actual state history      call         medicated       call


of all elements: Graph of             take_call                    take_call

Observed States (GoOS).
PRUNING

Knowledge:

- expected behavior of each application is captured
into a state transition graph

- assemble a unique graph with common start and
finish nodes: Graph of Expected States (GoES)
PRUNING
                                   start



       Drug                                Phone                         Person
 Knowledge:
     Dispenser
                                               call _ in
       alarm                                                    needs _ pill receives _ call

 - expecteddrug low _battery upside_ down
           low _
                 behavior of each application is captured
                                          ringing

    buzzer
 into a state transition graph
                                            call    call _ in
take _ pill take _ pill
                          notify
 - assemble a unique graph ringing common start and
                             with
                                          medicated take_ call
 finish nodes: Graph of Expected States (GoES)
        alarm
               buzzer              call


                                   finish
REASONING
                                       Outcome 1                      Outcome 2


                                         alarm           ringing       alarm                ringing


Outcome 1:                       ringing                 take_ pill    ringing              take_ pill

• empty set,                     needs_ pill
                                              Result 1
                                                          notify
                                                                      Result 2
                                                                       needs_ pill           notify

• all systems react as expected,                                              needs_ pill


• no feature interaction exists.
                                 call _ in                alarm        call _ in             alarm


                                        ringing          buzzer        ringing              buzzer


                                        receives_call      call       receives_call           call

Outcome 2:
                                   call                  medicated       call

• not empty,                     take_call                             take_call
• “need_pill” has not been pruned,
  identify a misbehavior
REASONING

Outcome 1:
• empty set,                         Result 1   Result 2



• all systems react as expected,                     needs_ pill


• no feature interaction exists.


Outcome 2:
• not empty,
• “need_pill” has not been pruned,
  identify a misbehavior
CONCLUSIONS




We applied this approach through different simulated scenarios
with several OTS systems involved.
CONCLUSIONS

This evaluation allowed us to:

•define and explore the state-graph representations to perceive
  feature interaction
•evaluate the pertinence and accuracy of applied techniques on
  different home care use cases
•explore the representation and simulation models through 3D
  virtual worlds
CONCLUSIONS



We are currently working on extending our approach to
support inter-system Feature Interaction detection and
resolution.
QUESTIONS ?

CSOARES@UFP.EDU.PT

Mais conteúdo relacionado

Semelhante a UBICOMM 2011 CONFERENCE

Esterel as A Realtime System Programming Language
Esterel as A Realtime System Programming Language Esterel as A Realtime System Programming Language
Esterel as A Realtime System Programming Language nazlitemu
 
Mixer Ingredient Feed
Mixer Ingredient FeedMixer Ingredient Feed
Mixer Ingredient Feedmsindex
 
Profit Maximization over Social Networks
Profit Maximization over Social NetworksProfit Maximization over Social Networks
Profit Maximization over Social NetworksWei Lu
 
Face recognition using artificial neural network
Face recognition using artificial neural networkFace recognition using artificial neural network
Face recognition using artificial neural networkSumeet Kakani
 
Fuzzy logic systems
Fuzzy logic systemsFuzzy logic systems
Fuzzy logic systemsPham Tung
 
Self healing-systems
Self healing-systemsSelf healing-systems
Self healing-systemsSKORDEMIR
 
Acceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga systemAcceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga systemSheela ArokiaMary
 
Acceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga systemAcceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga systemSheela Arokia Mary
 
Hand gesture recognition using ultrasonic sensor and atmega128 microcontroller
Hand gesture recognition using ultrasonic sensor and atmega128 microcontrollerHand gesture recognition using ultrasonic sensor and atmega128 microcontroller
Hand gesture recognition using ultrasonic sensor and atmega128 microcontrollereSAT Publishing House
 
SenSec: Mobile Application Security through Passive Sensing
SenSec: Mobile Application Security through Passive SensingSenSec: Mobile Application Security through Passive Sensing
SenSec: Mobile Application Security through Passive SensingJiang Zhu
 
IRJET- Sugarcane Leaf Disease Detection
IRJET- Sugarcane Leaf Disease DetectionIRJET- Sugarcane Leaf Disease Detection
IRJET- Sugarcane Leaf Disease DetectionIRJET Journal
 
08.10.12 Artificial Intelligence and Cognition - Natural Cognition
08.10.12 Artificial Intelligence and Cognition - Natural Cognition08.10.12 Artificial Intelligence and Cognition - Natural Cognition
08.10.12 Artificial Intelligence and Cognition - Natural CognitionLESIS More UoB
 
Automatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang ApplicationsAutomatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang ApplicationsJan Henry Nystrom
 

Semelhante a UBICOMM 2011 CONFERENCE (15)

www.ijerd.com
www.ijerd.comwww.ijerd.com
www.ijerd.com
 
Esterel as A Realtime System Programming Language
Esterel as A Realtime System Programming Language Esterel as A Realtime System Programming Language
Esterel as A Realtime System Programming Language
 
Mixer Ingredient Feed
Mixer Ingredient FeedMixer Ingredient Feed
Mixer Ingredient Feed
 
Pro max icdm2012-slides
Pro max icdm2012-slidesPro max icdm2012-slides
Pro max icdm2012-slides
 
Profit Maximization over Social Networks
Profit Maximization over Social NetworksProfit Maximization over Social Networks
Profit Maximization over Social Networks
 
Face recognition using artificial neural network
Face recognition using artificial neural networkFace recognition using artificial neural network
Face recognition using artificial neural network
 
Fuzzy logic systems
Fuzzy logic systemsFuzzy logic systems
Fuzzy logic systems
 
Self healing-systems
Self healing-systemsSelf healing-systems
Self healing-systems
 
Acceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga systemAcceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga system
 
Acceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga systemAcceleration of stochastic algorithm on fpga system
Acceleration of stochastic algorithm on fpga system
 
Hand gesture recognition using ultrasonic sensor and atmega128 microcontroller
Hand gesture recognition using ultrasonic sensor and atmega128 microcontrollerHand gesture recognition using ultrasonic sensor and atmega128 microcontroller
Hand gesture recognition using ultrasonic sensor and atmega128 microcontroller
 
SenSec: Mobile Application Security through Passive Sensing
SenSec: Mobile Application Security through Passive SensingSenSec: Mobile Application Security through Passive Sensing
SenSec: Mobile Application Security through Passive Sensing
 
IRJET- Sugarcane Leaf Disease Detection
IRJET- Sugarcane Leaf Disease DetectionIRJET- Sugarcane Leaf Disease Detection
IRJET- Sugarcane Leaf Disease Detection
 
08.10.12 Artificial Intelligence and Cognition - Natural Cognition
08.10.12 Artificial Intelligence and Cognition - Natural Cognition08.10.12 Artificial Intelligence and Cognition - Natural Cognition
08.10.12 Artificial Intelligence and Cognition - Natural Cognition
 
Automatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang ApplicationsAutomatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang Applications
 

Último

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native ApplicationsWSO2
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Angeliki Cooney
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsNanddeep Nachan
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Orbitshub
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoffsammart93
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWERMadyBayot
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusZilliz
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MIND CTI
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024The Digital Insurer
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Jeffrey Haguewood
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...apidays
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...DianaGray10
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamUiPathCommunity
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdfSandro Moreira
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfOverkill Security
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxRustici Software
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024The Digital Insurer
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDropbox
 

Último (20)

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
MS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectorsMS Copilot expands with MS Graph connectors
MS Copilot expands with MS Graph connectors
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
 
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot TakeoffStrategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff
 
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWEREMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
EMPOWERMENT TECHNOLOGY GRADE 11 QUARTER 2 REVIEWER
 
Exploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with MilvusExploring Multimodal Embeddings with Milvus
Exploring Multimodal Embeddings with Milvus
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...
 
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
Connector Corner: Accelerate revenue generation using UiPath API-centric busi...
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
 
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 AmsterdamDEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
DEV meet-up UiPath Document Understanding May 7 2024 Amsterdam
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
Cyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdfCyberprint. Dark Pink Apt Group [EN].pdf
Cyberprint. Dark Pink Apt Group [EN].pdf
 
Corporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptxCorporate and higher education May webinar.pptx
Corporate and higher education May webinar.pptx
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
DBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor PresentationDBX First Quarter 2024 Investor Presentation
DBX First Quarter 2024 Investor Presentation
 

UBICOMM 2011 CONFERENCE

  • 1. A 3D SIMULATION FRAMEWORK FOR SAFE AMBIENT-ASSISTED HOME CARE Christophe Soares Co-Authors: Carlos Velasquez, Rui Moreira, Ricardo Morla, Pedro Sobral and José Torres INESC-Porto ISUS FEUP, University of Porto FCT, University Fernando Pessoa
  • 2. Introduction Goals Research Area Safe Home Care Architecture Simulation Structure Feature Interaction Workflow Conclusion
  • 3. INTRODUCTION •Statistics show aging trend in the world population •Growing need for automated health care support for the sick and elderly at home
  • 4. INTRODUCTION •Reduce overall cost of the health care systems •Promote more comfort and safety at home •Ambient Assisted Living emphasis (cf. MATCH, eCAALYX)
  • 6.
  • 7.
  • 8. GOALS •Support safe deployment and reconfiguration of home health care smart spaces •Automatically adapt system interface for elderly people •Provide non-intr usive patients remote monitoring and assistance
  • 9. RESEARCH AREA Smart spaces: •sensors, •actuators, •computation devices, •and communication-rich appliances.
  • 10. RESEARCH AREA ‣ New appliance can interfere with the appliances that already exist in that space ‣ For home health care is critical to prevent interference occurrence
  • 11. RESEARCH AREA Feature Interaction - Interference •Independently deployed OTS systems may interact unexpectedly resulting misbehaviors or malfunctions
  • 12. RESEARCH AREA Reflection - Distributed Systems •An architectural pattern to organizes software systems into base-level and meta-level
  • 13. RESEARCH AREA Support simulation to generate synthetic data: •identify a priori interference, •pre-deployment feature interaction detection, •handling of interferences in Real Time between different appliances (cf. system’s malfunctions).
  • 14. SAFE HOME CARE ARCHITECTURE Reflective Middleware Meta Level Simulation Framework Feature Interaction Engine Base Level Sensors / Actuators OTS Applications API SHC System GUI
  • 15. SIMULATION ‣ Full Simulation ‣ Systems act autonomously based on their behavior (deterministic reactions) ‣ Semi Simulation ‣ A human may control the avatar to generate ad hoc interactions (stochastic reactions)
  • 17. SAFE HOME CARE ARCHITECTURE Reflective Middleware Meta Level Simulation Framework Feature Interaction Engine Base Level Sensors / Actuators OTS Applications API SHC System GUI
  • 18. FEATURE INTERACTION WORKFLOW SHC 3D read existing Meta-model states from Simulation database Scenario create the GoOS Outcomes graph using Table Classification Case Matching Table Case prune the GoOS using GoES Pruning sequences GoES Reasoning No Feature Feature interaction interaction
  • 19. SIMULATION OpenSim used as simulation framework: • generate off-the-shelf (OTS) state interactions in the smart-space. • data used to test collected feature interactions between OTS systems.
  • 20. CLASSIFICATION Outcome 1 Outcome 2 alarm ringing alarm ringing Graph Representations are well ringing ringing take_ pill take_ pill understood and provide a flexible representation for needs_ pill notify needs_ pill notify state sequence transitions. call _ in alarm call _ in alarm ringing buzzer ringing buzzer During system runtime or receives_call call receives_call call simulation a graph is built by capturing the actual state history call medicated call of all elements: Graph of take_call take_call Observed States (GoOS).
  • 21. PRUNING Knowledge: - expected behavior of each application is captured into a state transition graph - assemble a unique graph with common start and finish nodes: Graph of Expected States (GoES)
  • 22. PRUNING start Drug Phone Person Knowledge: Dispenser call _ in alarm needs _ pill receives _ call - expecteddrug low _battery upside_ down low _ behavior of each application is captured ringing buzzer into a state transition graph call call _ in take _ pill take _ pill notify - assemble a unique graph ringing common start and with medicated take_ call finish nodes: Graph of Expected States (GoES) alarm buzzer call finish
  • 23. REASONING Outcome 1 Outcome 2 alarm ringing alarm ringing Outcome 1: ringing take_ pill ringing take_ pill • empty set, needs_ pill Result 1 notify Result 2 needs_ pill notify • all systems react as expected, needs_ pill • no feature interaction exists. call _ in alarm call _ in alarm ringing buzzer ringing buzzer receives_call call receives_call call Outcome 2: call medicated call • not empty, take_call take_call • “need_pill” has not been pruned, identify a misbehavior
  • 24. REASONING Outcome 1: • empty set, Result 1 Result 2 • all systems react as expected, needs_ pill • no feature interaction exists. Outcome 2: • not empty, • “need_pill” has not been pruned, identify a misbehavior
  • 25. CONCLUSIONS We applied this approach through different simulated scenarios with several OTS systems involved.
  • 26. CONCLUSIONS This evaluation allowed us to: •define and explore the state-graph representations to perceive feature interaction •evaluate the pertinence and accuracy of applied techniques on different home care use cases •explore the representation and simulation models through 3D virtual worlds
  • 27. CONCLUSIONS We are currently working on extending our approach to support inter-system Feature Interaction detection and resolution.