A component model with verifiable composition for the construction of emergency management systems

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)

[img] Text
221981.pdf - Accepted Version



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
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
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

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