Dependability-enhanced unified modeling and simulation methodology for Critical Infrastructures.
Information and Software Technology(2018)
摘要
Abstract Context Critical infrastructures (CIs) are mission-critical, large-scale systems that provide essential products and services for everyday life. Modeling and simulation (Mu0026S) technique is one of useful methods for understanding the complex and emergent behavior of CIs. However, the several characteristics of CIs, such as interdependence, adaptability, dependability, etc., can disturb modelers’ activities to develop the quality models for CIs. The quality of these models can affect the reliability of simulation results as well as the reusability of the models in further simulations. Objective In this paper, we propose a Mu0026S methodology that aims to improve the quality of CI models by means of focusing on dependability, which is one of important characteristics of CIs. Method First, we propose a system to model and simulate CIs based on discrete event system specification, a belief-desire-intention model, and a role-oriented command hierarchy model. Next, we integrate several modeling methods, such as goal modeling, agent-based modeling, and object-oriented modeling, into a unified Mu0026S methodology (UMAS) to seamlessly develop CI models from initial requirements to final modeling artifacts. Finally, we propose a dependability-enhanced UMAS (DUMAS) that can deal with the dependability of CI models. Results In our case study of applying the DUMAS into the Mu0026S of a smart grid, we show how the DUMAS reflects the characteristics of CIs on the overall modeling artifacts. Conclusion The DUMAS provides a novel method that can improve the quality of CI models through elaborating on the activities of requirements engineering with regard to the dependability of CIs. Therefore, modelers can systematically develop quality models from requirements analysis to implementation in compliance with the DUMAS.
更多查看译文
关键词
Critical Infrastructure,Modelling and simulation,Dependability requirements,Quality model
AI 理解论文
溯源树
样例
生成溯源树,研究论文发展脉络