SafetyOriented Programming Model

1
Safety-Oriented Programming Model

• Pervasive Computing Systems are Intimate
• The failure and unreliability can result in
  strong feeling of betrayal and frustration
• Intelligent Environment Affects Numerous Aspects
  of the Daily Life
• Ensure Safety of the System by Ensuring Safety of
  All Entities and the Environment as a Whole
• Safety Enforcement is accomplished by the
  collaboration at both implementation/ compilation
  time as well as runtime.

2
3500F !!
Conflicting Directives
Invalid Op. Parameters
No Emergency Handling
Not Abide by Users Wishes
3
Safety Vs. Expressiveness
4
Interrupt Exception Handling
5
The Four Elements

• Device
• Service
• User
• Space

6
Safety Measure for Device

• Automatically appended exception handling routine
• Device Safety Avoid conflicting directives and
  unsafe/unacceptable operations, similar to
  Electric Breaker
• Regulate the incoming commands and detect
  abnormal command/access pattern
• Using maximum and minimum values to filter or
  red-flag abnormal values

7
Modeling of Services
Services
Services
Service Registry
Services
Services
Services
Devices
Binded
Programmed
User Preference
Aligned
Terminated
User Preference Change Event
Service/Device Change Event
Service Behavior 1
Service Behavior 2
Service Behavior n
.
8
Safety Measure for User

• User Safety 1 Smart space should monitor users
  status and activate emergency measure should
  users appear to be in danger using the mechanism
  for Space Safety
• User Safety 2 Smart space should function to
  serve users preference and obey users order
  using the mechanism for service safety

9
Safety Measure for Space