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.

与非关键系统相比，关键系统（例如灾难/应急管理系统）的构建需要开发人员付出更多的努力。关键系统可能包含硬件通信基础结构和管理系统软件。弹性软件组件可以处理许多硬件故障或功能不足。该管理软件的主要任务是（从分布式传感器中）连续收集数据，预测可能的威胁，并通知适当的主管部门及时采取行动，以避免/减少威胁的破坏。对于此类系统的构建，通过重用现有的可靠软件组件，非常需要可验证的软件组合机制。在本文中，我们从基于组件的开发方法中选择一个组件模型（EX-MAN），以提供预定义的外部连接器。在本文中，在方法论层面，我们定义了一种方法来验证外部连接器的正确性。为了评估我们的方法，我们在EX-MAN中设计了一个应急管理系统，并在我们的EX-MAN工具中实施了该系统。