Home > Research > Publications & Outputs > Toward a programming model for safer pervasive ...

Research

Links

Text available via DOI:

Keywords

View graph of relations

Toward a programming model for safer pervasive spaces

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Published

Standard

Toward a programming model for safer pervasive spaces. / Chen, C.; Helal, S.
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, 2010. p. 52-57.

Research output: Contribution in Book/Report/Proceedings - With ISBN/ISSN › Conference contribution/Paper › peer-review

Harvard

Chen, C & 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. https://doi.org/10.1109/UIC-ATC.2010.46

APA

Chen, C., & 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 (pp. 52-57). IEEE. https://doi.org/10.1109/UIC-ATC.2010.46

Vancouver

Chen C, Helal S. 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. 2010. p. 52-57 doi: 10.1109/UIC-ATC.2010.46

Author

Chen, C. ; Helal, S. / Toward a programming model for safer pervasive spaces. 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, 2010. pp. 52-57

Bibtex

@inproceedings{f61254ca0e1b4450a5ea51249a121814,
title = "Toward a programming model for safer pervasive spaces",
abstract = "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. {\textcopyright} 2010 IEEE.",
keywords = "Programming model roles, Programming models for pervasive spaces, Safety ontology, Safety oriented programming model, Space safety, Pervasive space, Pervasive systems, Physical nature, Programming models, Safety knowledge, Safety risks, Support systems, Traditional computers, Ontology, Ubiquitous computing",
author = "C. Chen and S. Helal",
year = "2010",
doi = "10.1109/UIC-ATC.2010.46",
language = "English",
isbn = "9781424490431",
pages = "52--57",
booktitle = "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",
publisher = "IEEE",

}

RIS

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 -