Upload
piera
View
40
Download
0
Tags:
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
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
PerWare 2008, Hong Kong, March 21, 2008
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
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
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?
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
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
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
Dynamicity Heterogeneity Complexity Uncertainty
PerWare 2008, Hong Kong, March 21, 2008
ScenariosIntroduction
Four ElementsSafety Mechanism
Effectiveness
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
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
Device Service User Space Space
UserUser
ServiceService
Device
PerWare 2008, Hong Kong, March 21, 2008
ScenariosIntroduction
Four ElementsSafety Mechanism
Effectiveness
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
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
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
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
State Machine and Service Safety Interface
Mandatory Power Down Sequence Prioritize Methods
PerWare 2008, Hong Kong, March 21, 2008
ScenariosIntroduction
Four ElementsSafety Mechanism
Effectiveness
PerWare 2008, Hong Kong, March 21, 2008
ScenariosIntroduction
Four ElementsSafety Mechanism
Effectiveness
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
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
PerWare 2008, Hong Kong, March 21, 2008
ScenariosIntroduction
Four ElementsSafety Mechanism
Effectiveness
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
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
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
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
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
Thank youAnd Keep Safe
PerWare 2008, Hong Kong, March 21, 2008