Incremental composition process for the construction of component-based management

Rana, T., Bangash, Y. A., Baz, A., Rana, T. A. and Imran, M. A. (2020) Incremental composition process for the construction of component-based management. Sensors, 20(5), 1351. (doi: 10.3390/s20051351)

210673.pdf - Published Version
Available under License Creative Commons Attribution.



Cyber-physical systems (CPS) are composed of software and hardware components. Many such systems (e.g., IoT based systems) are created by composing existing systems together. Some of these systems are of critical nature, e.g., emergency or disaster management systems. In general, component-based development (CBD) is a useful approach for constructing systems by composing pre-built and tested components. However, for critical systems, a development method must provide ways to verify the partial system at different stages of the construction process. In this paper, for system architectures, we propose two styles: rigid architecture and flexible architecture. A system architecture composed of independent components by coordinating exogenous connectors is in flexible architecture style category. For CBD of critical systems, we select EX-MAN from flexible architecture style category. Moreover, we define incremental composition mechanism for this model to construct critical systems from a set of system requirements. Incremental composition is defined to offer preservation of system behaviour and correctness of partial architecture at each incremental step. To evaluate our proposed approach, a case study of weather monitoring system (part of a disaster management) system was built using our EX-MAN tool.

Item Type:Articles
Additional Information:Funding: This research was partly funded by EPSRC Global Challenges Research Fund “the DARE project” EP/P028764/1. (This article belongs to the Special Issue Integrated Disaster Risk Management and Remote Sensing in the Age of Intelligence).
Glasgow Author(s) Enlighten ID:Imran, Professor Muhammad
Authors: Rana, T., Bangash, Y. A., Baz, A., Rana, T. A., and Imran, M. A.
College/School:College of Science and Engineering > School of Engineering > Systems Power and Energy
Journal Name:Sensors
ISSN (Online):1424-8220
Copyright Holders:Copyright © 2020 The Authors
First Published:First published in Sensors 20:1351
Publisher Policy:Reproduced under a Creative Commons License

University Staff: Request a correction | Enlighten Editors: Update this record

Project CodeAward NoProject NamePrincipal InvestigatorFunder's NameFunder RefLead Dept
300725Distributed Autonomous Resilient Emergency Management System (DARE)Muhammad ImranEngineering and Physical Sciences Research Council (EPSRC)EP/P028764/1ENG - Systems Power & Energy