27
Hen-I Yang and Abdelsalam Helal Pervasive and Mobile Computing Lab University of Florida www.icta.ufl.edu Perware 2008, Hong Kong, March 21, 2008

Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments

  • Upload
    piera

  • View
    40

  • Download
    0

Embed Size (px)

DESCRIPTION

Hen-I Yang and Abdelsalam Helal Pervasive and Mobile Computing Lab University of Florida www.icta.ufl.edu Perware 2008, Hong Kong, March 21, 2008. Safety Enhancing Mechanisms for Pervasive Computing Systems in Intelligent Environments. Gator Tech Smart House. And Our Panelists. - PowerPoint PPT Presentation

Citation preview

Page 1: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Hen-I Yang and Abdelsalam Helal

Pervasive and Mobile Computing Lab University of Florida

www.icta.ufl.edu

Perware 2008, Hong Kong, March 21, 2008

Page 2: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

PerWare 2008, Hong Kong, March 21, 2008

Page 3: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Shard resources No reliable

monitoring and arbitration

Services unaware of others’ operations on share resources

Proper coordination needed

Energy Saving Svc

Lighting Service

PerWare 2008, Hong Kong, March 21, 2008

Page 4: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Predefined range and conditions of operations for each device

The cues, hints and visual feedbacks fall to deaf ears when operated by systems

Invalid operations need to be monitored and prevented

3500°F !!

PerWare 2008, Hong Kong, March 21, 2008

Page 5: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

PerWare 2008, Hong Kong, March 21, 2008

Side effects exist Impossible to account for all possible

interferences from environmental effects Non-determinant behaviors

Hey, Who Turns Off The Light?

Page 6: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Difficulties in interpreting or predicting users’ behaviors and intentions

Pervasive computing systems are to assist, not dictate users’ daily life

PerWare 2008, Hong Kong, March 21, 2008

Page 7: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Scenarios and Risk Analysis Introduction Four fundamental Elements of

Pervasive Computing Systems Safety Mechanisms Effectiveness of the Proposed

Mechanisms

PerWare 2008, Hong Kong, March 21, 2008

Page 8: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Total safety guarantee is impossible Accidents happen People make mistakes Murphy’s Law

Attainable goals: Do no harm Handle safety risks Proactively detect, prevent and manage

the inherent safety risks

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 9: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Dynamicity Heterogeneity Complexity Uncertainty

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 10: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Divide and conquer Explicit modeling and description Multilayered safety mechanisms Avoidance, detection and handling

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 11: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Physical safety Typical computer and network system

safety measures Authentication Access Control Security Privacy

Reliability enhancements

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 12: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Device Service User Space Space

UserUser

ServiceService

Device

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 13: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Device Description File Operational Range Allowable Frequency

PowerDown Sequence Operational Parameter Checker Frequency Checker (of Instruction

Reception) Invocating Service Identification

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 14: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

PowerDown Sequence Event-driven programming paradigm

Bind Align Terminate

Explicit Service Interface Explicit Dependency Description

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 15: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

User Profile (Static) Service Alignment User Specified Context Interpretation Impermissible Context Specification

User Profile (Dynamic) Impermissible Context Detection

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 16: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Emergency Detector/Context Graph Space specific preferred and impermissible

contexts Impermissible context detection

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 17: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

State Machine and Service Safety Interface

Mandatory Power Down Sequence Prioritize Methods

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 18: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 19: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

interface serviceSafetyMechanism() { boolean onInstantiated(obj);

boolean onBinded(obj);boolean onAligned(obj); boolean onExecutionReady(); boolean onEmergencyPowerDown(); boolean bind(obj[] devices); boolean align(obj[] userPref); boolean execute(obj);

}

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 20: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Device Safety Checker Context Manager and Emergency

Detector Emergency Handler Vector (EHV) Service Registry

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 21: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 22: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Initialization PowerDown mandatory for any new

device/service Deposit PowerDown emergency handler to

EHV Register with service registry Specification of impermissible contexts

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 23: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Runtime Screen for invalid commands/parameters to

devices Services have to be binded and aligned before

exec Occurrences of safety risks would trigger

emergency handler Impermissible contexts detection Report change of status Prioritized methods

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 24: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Program/compile time versus runtime Systems are only as safe as

programmers can imagine them to be Evaluation of safety in intelligent

environments

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 25: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Safety: “the condition of being safe from undergoing or causing hurt, injury or loss”

– Merriam-Webster

For pervasive computing systems, safety is as important a consideration as effectiveness or usability

Proposed static and dynamic safety mechanisms offer implementation and runtime protections.

In face of dynamicity, complexity, heterogeneity and uncertainty, systems are broken down into fundamental elements: devices, services, users and space , each with its safety mechanisms.

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 26: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Safety-oriented programming model for pervasive computing

System authoring aids to implement safe systems

Evaluation methodology and framework

PerWare 2008, Hong Kong, March 21, 2008

ScenariosIntroduction

Four ElementsSafety Mechanism

Effectiveness

Page 27: Safety Enhancing Mechanisms   for  Pervasive Computing Systems    in  Intelligent Environments

Thank youAnd Keep Safe

PerWare 2008, Hong Kong, March 21, 2008