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

Rodrigues Filho, Roberto and Porter, Barry and Blair, Gordon (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.

Full text not available from this repository.


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.

Item Type:
Contribution in Book/Report/Proceedings
ID Code:
Deposited By:
Deposited On:
22 Jan 2015 10:16
Last Modified:
20 Sep 2023 02:19