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 - Toward a programming model for safer pervasive spaces
AU - Chen, C.
AU - Helal, S.
PY - 2010
Y1 - 2010
N2 - This paper addresses issues of safety in pervasive spaces. We show how pervasive systems are different from traditional computer systems, and how their cyber-physical nature ties intimately with the users. Errors and conflicts in such space could have detrimental, dangerous or undesired effects on the user, the space, or the devices. There are no support systems or programming models conscious of the issue of safety. Unrestrained programming is the model de jour, which is inadequate. We need a programming model that encourages and obligates various roles engaged in the development of pervasive spaces to contribute to increasing safety. We propose a model that utilizes role-specific safety knowledge, and that takes advantage of the rich sensing and actuations capabilities of pervasive systems to detect and handle "conflicting contexts" and prevent or detect/avert "impermissible contexts". We present our model and discuss how it mitigates overall safety risks in presence of uncertainty due to multiple independent roles. © 2010 IEEE.
AB - This paper addresses issues of safety in pervasive spaces. We show how pervasive systems are different from traditional computer systems, and how their cyber-physical nature ties intimately with the users. Errors and conflicts in such space could have detrimental, dangerous or undesired effects on the user, the space, or the devices. There are no support systems or programming models conscious of the issue of safety. Unrestrained programming is the model de jour, which is inadequate. We need a programming model that encourages and obligates various roles engaged in the development of pervasive spaces to contribute to increasing safety. We propose a model that utilizes role-specific safety knowledge, and that takes advantage of the rich sensing and actuations capabilities of pervasive systems to detect and handle "conflicting contexts" and prevent or detect/avert "impermissible contexts". We present our model and discuss how it mitigates overall safety risks in presence of uncertainty due to multiple independent roles. © 2010 IEEE.
KW - Programming model roles
KW - Programming models for pervasive spaces
KW - Safety ontology
KW - Safety oriented programming model
KW - Space safety
KW - Pervasive space
KW - Pervasive systems
KW - Physical nature
KW - Programming models
KW - Safety knowledge
KW - Safety risks
KW - Support systems
KW - Traditional computers
KW - Ontology
KW - Ubiquitous computing
U2 - 10.1109/UIC-ATC.2010.46
DO - 10.1109/UIC-ATC.2010.46
M3 - Conference contribution/Paper
SN - 9781424490431
SP - 52
EP - 57
BT - Symposia and Workshops Held in Conjunction with the 7th International Conference on Ubiquitous Intelligence and Computing, UIC 2010 and the 7th International Conference on Autonomic and Trusted Computing, ATC 2010
PB - IEEE
ER -