Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review
}
TY - GEN
T1 - A situation-based exception detection mechanism for safety in pervasive systems
AU - Cho, Eun-Sun
AU - Helal, Sumi
PY - 2011
Y1 - 2011
N2 - In pervasive systems, exceptions are likely occurrences, and not rare events as is usually the case in less dynamic and more predictable systems. The uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting and handling complex exceptions. In this paper, we propose exception definition strategies based on "situations" - a new and extended notion of context. Our approach enables programmers to express situation-based temporal properties of exceptions effectively, which significantly improves the overall safety of the pervasive system. In this paper, we present the notion of situation and present a programming interface for the definition of situation-based exceptions. We then present two implementation algorithms and analyze and evaluate their performance and effectiveness. © 2011 IEEE.
AB - In pervasive systems, exceptions are likely occurrences, and not rare events as is usually the case in less dynamic and more predictable systems. The uncertainty and dynamism surrounding pervasive systems require new and sophisticated approaches to defining, detecting and handling complex exceptions. In this paper, we propose exception definition strategies based on "situations" - a new and extended notion of context. Our approach enables programmers to express situation-based temporal properties of exceptions effectively, which significantly improves the overall safety of the pervasive system. In this paper, we present the notion of situation and present a programming interface for the definition of situation-based exceptions. We then present two implementation algorithms and analyze and evaluate their performance and effectiveness. © 2011 IEEE.
KW - contexts
KW - exception handlers
KW - exceptions
KW - pervasive computing
KW - programming models for pervasive systems
KW - safety
KW - situations
KW - Exception handlers
KW - Accident prevention
KW - Computer programming
KW - Internet
KW - Telecommunication networks
KW - Ubiquitous computing
U2 - 10.1109/SAINT.2011.35
DO - 10.1109/SAINT.2011.35
M3 - Conference contribution/Paper
SN - 9781457705311
SP - 196
EP - 201
BT - 11th IEEE/IPSJ International Symposium on Applications and the Internet, SAINT 2011
PB - IEEE
ER -