Home > Research > Publications & Outputs > Environmental IoT

Research

Links

Text available via DOI:

View graph of relations

Environmental IoT: programming cyber-physical clouds with high-level system specifications

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

Published

Standard

Environmental IoT: programming cyber-physical clouds with high-level system specifications. / Rodrigues Filho, Roberto; Porter, Barry; Blair, Gordon.
Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on. IEEE, 2014. p. 947-950.

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

Harvard

Rodrigues Filho, R, Porter, B & Blair, G 2014, Environmental IoT: programming cyber-physical clouds with high-level system specifications. in Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on. IEEE, pp. 947-950. https://doi.org/10.1109/UCC.2014.154

APA

Rodrigues Filho, R., Porter, B., & Blair, G. (2014). Environmental IoT: programming cyber-physical clouds with high-level system specifications. In Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on (pp. 947-950). IEEE. https://doi.org/10.1109/UCC.2014.154

Vancouver

Rodrigues Filho R, Porter B, Blair G. Environmental IoT: programming cyber-physical clouds with high-level system specifications. In Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on. IEEE. 2014. p. 947-950 doi: 10.1109/UCC.2014.154

Author

Rodrigues Filho, Roberto ; Porter, Barry ; Blair, Gordon. / Environmental IoT : programming cyber-physical clouds with high-level system specifications. Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on. IEEE, 2014. pp. 947-950

Bibtex

@inproceedings{ef1ba27c357b4fdab6e83e6d0e7e0ed2,
title = "Environmental IoT: programming cyber-physical clouds with high-level system specifications",
abstract = "The Environmental IoT is a project where we investigate the potential of an integrated distributed system consisting of an Internet of Things (IoT) and a Cloud Computing infrastructure. The resulting complex distributed system will be used to support deep understanding of the natural environment inter-dependencies and the management of the natural environment through appropriate interventions. In this paper, we discuss our approach to program this resulting complex distributed system with high-level system specifications in the environmental science context. The high-level specification encapsulates environmental science concepts and conveys the system's overall goals. The approach consists of three refinement steps that translate the high-level specification into the accordingly behaviour on the resulting distributed system. This process captures the abstract requirements of scientists and supports runtime adaptation.",
author = "{Rodrigues Filho}, Roberto and Barry Porter and Gordon Blair",
year = "2014",
month = dec,
doi = "10.1109/UCC.2014.154",
language = "English",
pages = "947--950",
booktitle = "Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on",
publisher = "IEEE",

}

RIS

TY - GEN

T1 - Environmental IoT

T2 - programming cyber-physical clouds with high-level system specifications

AU - Rodrigues Filho, Roberto

AU - Porter, Barry

AU - Blair, Gordon

PY - 2014/12

Y1 - 2014/12

N2 - The Environmental IoT is a project where we investigate the potential of an integrated distributed system consisting of an Internet of Things (IoT) and a Cloud Computing infrastructure. The resulting complex distributed system will be used to support deep understanding of the natural environment inter-dependencies and the management of the natural environment through appropriate interventions. In this paper, we discuss our approach to program this resulting complex distributed system with high-level system specifications in the environmental science context. The high-level specification encapsulates environmental science concepts and conveys the system's overall goals. The approach consists of three refinement steps that translate the high-level specification into the accordingly behaviour on the resulting distributed system. This process captures the abstract requirements of scientists and supports runtime adaptation.

AB - The Environmental IoT is a project where we investigate the potential of an integrated distributed system consisting of an Internet of Things (IoT) and a Cloud Computing infrastructure. The resulting complex distributed system will be used to support deep understanding of the natural environment inter-dependencies and the management of the natural environment through appropriate interventions. In this paper, we discuss our approach to program this resulting complex distributed system with high-level system specifications in the environmental science context. The high-level specification encapsulates environmental science concepts and conveys the system's overall goals. The approach consists of three refinement steps that translate the high-level specification into the accordingly behaviour on the resulting distributed system. This process captures the abstract requirements of scientists and supports runtime adaptation.

U2 - 10.1109/UCC.2014.154

DO - 10.1109/UCC.2014.154

M3 - Conference contribution/Paper

SP - 947

EP - 950

BT - Utility and Cloud Computing (UCC), 2014 IEEE/ACM 7th International Conference on

PB - IEEE

ER -