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)
|
Text
210673.pdf - Published Version Available under License Creative Commons Attribution. 1MB |
Abstract
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). |
Status: | Published |
Refereed: | Yes |
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 |
Publisher: | MDPI |
ISSN: | 1424-8220 |
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