Toward a programming model for safer pervasive spaces

Chen, C. and Helal, S. (2010) Toward a programming model for safer pervasive spaces. In: 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. IEEE, pp. 52-57. ISBN 9781424490431

Full text not available from this repository.


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
29 Jan 2018 15:12
Last Modified:
21 Nov 2022 16:25