Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems

Journal article

Palomar, E, Chen, X, Liu, Z, Maharjan, S and Bowen, J. (2016). Component-based modelling for scalable smart city systems interoperability: A case study on integrating energy demand response systems. Sensors. 16 (11), p. 1810. https://doi.org/10.3390/s16111810
AuthorsPalomar, E, Chen, X, Liu, Z, Maharjan, S and Bowen, J.
Abstract

© 2016 by the authors; licensee MDPI, Basel, Switzerland. Smart city systems embrace major challenges associated with climate change, energy efficiency, mobi lity and future services by embedding the virtual space into a complex cyber-physical system. Those systems are constantly evolving and scaling up, involving a wide range of integration among users, devices, utilities, public services and also policies. Modelling such complex dynamic systems’ architectures has always been essential for the development and application of techniques/tools to support design and deployment of integration of new components, as well as for the analysis, verification, simulation and testing to ensure trustworthiness. This article reports on the definition and implementation of a scalable component-based architecture that supports a cooperative energy demand response (DR) system coordinating energy usage between neighbouring households. The proposed architecture, called refinement of Cyber-Physical Component Systems (rCPCS), which extends the refinement calculus for component and object system (rCOS) modelling method, is implemented using Eclipse Extensible Coordination Tools (ECT), i.e., Reo coordination language. With rCPCS implementation in Reo, we specify the communication, synchronisation and co-operation amongst the heterogeneous components of the system assuring, by design scalability and the interoperability, correctness of component cooperation.

Keywordscomputer science; Internet of Things; component system interoperability and coordination; component-based architecture design; cooperative demand response; scalable modelling; smart city system modelling; 0301 Analytical Chemistry; 0906 Electrical And Electronic Engineering; Analytical Chemistry
Year2016
JournalSensors
Journal citation16 (11), p. 1810
PublisherMDPI
ISSN1424-8220
Digital Object Identifier (DOI)https://doi.org/10.3390/s16111810
Publication dates
Print01 Nov 2016
Publication process dates
Deposited17 May 2018
Accepted01 Nov 2016
Accepted author manuscript
License
File Access Level
Open
Permalink -

https://openresearch.lsbu.ac.uk/item/871vx

Download files

Accepted author manuscript
Component-Based Modelling for Scalable Smart City Systems Interoperability: A Case Study on Integrating Energy Demand Response Systems.pdf
License: CC BY 4.0
File access level: Open

  • 98
    total views
  • 143
    total downloads
  • 0
    views this month
  • 0
    downloads this month

Export as

Related outputs

Early virtual science museums: when the technology is not mature
Bowen, J., Borda, A., Gaia, G. and Boiano, S. (2023). Early virtual science museums: when the technology is not mature. Internet Histories. 8 (1-2), pp. 9-33. https://doi.org/10.1080/24701475.2023.2298155
Computing the Future: Digital encounters in art and science when da Vinci meets Turing
Giannini, T. and Bowen, J.P. (2020). Computing the Future: Digital encounters in art and science when da Vinci meets Turing. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.3
A Personal View of EVA London: Past, Present, Future
Bowen, J.P. (2020). A Personal View of EVA London: Past, Present, Future. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.2
Museum Websites of the First Wave: The rise of the virtual museum
Gaia, G., Boiano, S., Bowen, J.P. and Borda, A. (2020). Museum Websites of the First Wave: The rise of the virtual museum. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.4
Turing’s Sunflowers: Public research and the role of museums
Borda, A. and Bowen, J.P. (2020). Turing’s Sunflowers: Public research and the role of museums. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.5
Computational Culture and A.I.: Challenging human identity and curatorial practice
Bowen, J.P., Giannini, T., Polmeer, G., Falconer, R., Miller, A.I. and Dunn, S. (2020). Computational Culture and A.I.: Challenging human identity and curatorial practice. EVA London 2020. London 06 - 06 Jul 2020 BCS Learning & Development. https://doi.org/10.14236/ewic/eva2020.1
Digital Art, Culture and Heritage: New constructs and consciousness
Bowen, J., Giannini, T., Ara, R., Lomas, A. and Siefring, J. (2019). Digital Art, Culture and Heritage: New constructs and consciousness. Electronic Visualisation and the Arts (EVA 2019). London 08 - 11 Jul 2019 BCS. https://doi.org/10.14236/ewic/EVA2019.1
Art and Activism at Museums in a Post-digital World
Giannini, T. and Bowen, J. (2019). Art and Activism at Museums in a Post-digital World. Electronic Visualisation and the Arts (EVA 2019). London 08 - 11 Jul 2019 BCS. https://doi.org/10.14236/ewic/EVA2019.4
Preface (Engineering Trustworthy Software Systems)
Bowen, J., Liu, Z and Zhang, Z (2019). Preface (Engineering Trustworthy Software Systems). in: Engineering Trustworthy Software Systems Springer, Cham.
Digital Futures: Exhibits at EVA London 2018.
Papadimitriou, I and Bowen, J. (2018). Digital Futures: Exhibits at EVA London 2018. Bowen, Jonathan P, Weinel, Jonathan, Diprose, Graham and Lambert, Nick (ed.) Electronic Visualisation and the Arts (EVA) conference. London, UK 09 - 13 Jul 2018 BCS.
Of Museums and Digital Culture: A landscape view.
Giannini, T and Bowen, J. (2018). Of Museums and Digital Culture: A landscape view. Bowen, Jonathan P, Weinel, Jonathan, Diprose, Graham and Lambert, Nick (ed.) Electroni Visualisation and the Arts (EVA 2018). London, UK 09 - 13 Jul 2018 BCS.
Preface
Bowen, J., Liu, Z and Zhang, Z (2017). Preface. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10215. https://doi.org/10.1007/978-3-319-56841-6
Alan Turing: Founder of computer science
Bowen, J. (2017). Alan Turing: Founder of computer science. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 10215, pp. 1-15. https://doi.org/10.1007/978-3-319-56841-6_1
Provably Correct Systems: Community, Connections, and Citations.
Bowen, J. (2017). Provably Correct Systems: Community, Connections, and Citations. in: Hinchey, MG, Bowen, JP and Olderog, E-R (ed.) Provably Correct Systems Springer. pp. 313-328
Engineering trustworthy software systems Preface
Bowen, J., Liu, Z and Zhang, Z. (2017). Engineering trustworthy software systems Preface. in: Engineering Trustworthy Software Systems Springer.
Life in Code and Digits: When Shannon met Turing
Bowen, J. and Giannini, T (2017). Life in Code and Digits: When Shannon met Turing. Bowen, JP, Diprose, G and Lambert, N (ed.) Electronic Visualisation and the Arts (EVA 2017). London, UK 11 - 13 Jul 2017 BCS.
Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities
Borda, A and Bowen, J. (2017). Smart Cities and Cultural Heritage - A Review of Developments and Future Opportunities. Bowen, JP, Diprose, G and Lambert, N (ed.) Electronic Visualisation and the Arts (EVA 2017). London, UK, 11 - 13 Jul 2017 BCS.
The Z notation: Whence the cause and whither the course?
Bowen, J. (2016). The Z notation: Whence the cause and whither the course? in: Engineering Trustworthy Software Systems Springer. pp. 103-151
Curating Digital Life and Culture: Art and information.
Giannini, T and Bowen, J. (2016). Curating Digital Life and Culture: Art and information. Bowen, JP, Diprose, G and Lambert, N (ed.) Electronic Visualisation and the Arts (EVA 2016). London, UK 12 - 14 Jul 2016 BCS.
Provably Correct Systems: Community, connections, and citations
Bowen, J. (2014). Provably Correct Systems: Community, connections, and citations. Ernst-Ruediger Olderog Festschrift. Oldenburg, Germany Sep 2014 London South Bank University.
Online Communities: Visualization and Formalization
Bowen, J. (2013). Online Communities: Visualization and Formalization. The Second International Workshop on Cyberpatterns: Unifying Design Patterns with Security, Attack and Forensic Patterns. Abingdon, Oxfordshire, UK 08 - 09 Jul 2013 London South Bank University.
Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience
Boiano, S, Bowen, J. and Gaia, G (2012). Usability, Design and Content Issues of Mobile Apps for Cultural Heritage Promotion: The Malta Culture Guide Experience. EVA London 2012 Conference. London 10 - 12 Jul 2012 London South Bank University. pp. 66-73
Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara
Filippini-Fantoni, S and Bowen, J. (2005). Can Small Museums Develop Compelling, Educational and Accessible Web Resources? The Case of Accademia Carrara. EVA 2005 London Conference. London 25 - 29 Jul 2005 London South Bank University.
Copyright and Promotion: Oxymoron or Opportunity?
Numerico, T and Bowen, J. (2005). Copyright and Promotion: Oxymoron or Opportunity? EVA 2005. London 27 - 29 Jul 2005 London South Bank University.
The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector
Beler, A, Borda, A, Bowen, J. and Filippini-Fantoni, S (2004). The Building of Online Communities: An approach for learning organizations, with a particular focus on the museum sector. Electronic Visualisation and the Arts 2004. The Institute of Archaeology, University College London, UK 26 - 31 Jul 2004 London South Bank University.
Disabled Access for Museum Websites
Bowen, J. (2003). Disabled Access for Museum Websites. The Twelfth International World Wide Web Conference. Budapest, Hungary 20 - 24 May 2003 London South Bank University.
Web Access to Cultural Heritage for the Disabled
Bowen, J. (2003). Web Access to Cultural Heritage for the Disabled. Electronic Visualisation and the Arts (EVA) conference. London 22 - 26 Jul 2003 London South Bank University.