Rana, T., Imran, M. and Baz, A. (2020) A component model with verifiable composition for the construction of emergency management systems. Arabian Journal for Science and Engineering, 45, pp. 10683-10692. (doi: 10.1007/s13369-020-04819-6)
Text
221981.pdf - Accepted Version 687kB |
Abstract
Construction of critical systems (e.g. disaster/emergency management systems) demands extra efforts from the developers as compared to non-critical systems. A critical system may be comprised of hardware communication infrastructure and the management system software. Many of hardware failures or in-capabilities can be handled by the resilient software components. The management software’s main tasks are to continuously collect data (from distributed sensors), to predict possible threats, and to intimate the right authorities for timely action to avoid/reduce the damages of the threats. For the construction of such systems, by reusing existing reliable software components, a verifiable software composition mechanism is highly desired. In this paper, we select a component model (EX-MAN) from the component-based development approaches for providing pre-defined exogenous connectors. In this paper, at the methodological level, we define an approach to verify the correctness of exogenous connectors. To evaluate our approach, we design an emergency management system in EX-MAN and implement the system in our tool for EX-MAN.
Item Type: | Articles |
---|---|
Status: | Published |
Refereed: | Yes |
Glasgow Author(s) Enlighten ID: | Imran, Professor Muhammad |
Authors: | Rana, T., Imran, M., and Baz, A. |
College/School: | College of Science and Engineering > School of Engineering > Systems Power and Energy |
Journal Name: | Arabian Journal for Science and Engineering |
Publisher: | Springer |
ISSN: | 1319-8025 |
ISSN (Online): | 1319-8025 |
Published Online: | 10 August 2020 |
Copyright Holders: | Copyright © King Fahd University of Petroleum and Minerals 2020 |
First Published: | First published in Arabian Journal for Science and Engineering 45:10683–10692 |
Publisher Policy: | Reproduced in accordance with the publisher copyright policy |
University Staff: Request a correction | Enlighten Editors: Update this record