repository
Special Graduate Schools
Graduate School of Information and Communication Technology
Department of Information and Communication
4. Theses(Ph.D)
A Methodology to Develop Dependable Component Models for Modeling and Simulation of Critical Infrastructures
- Author(s)
- Kim Heesoo
- Advisor
- Seok-Won Lee
- Department
- 정보통신전문대학원 정보통신공학과
- Publisher
- The Graduate School, Ajou University
- Publication Year
- 2017-02
- Language
- eng
- Keyword
- critical; infrastructure; modeling; simulation; dependability
- Alternative Abstract
- Critical Infrastructures (CIs) in a highly civilized society constantly provide social constituents with essential services that are required to keep everyday life. As a complex system, which consists of diverse subsystems (or components), CIs have an emergent behavior that is synthetically caused by the behaviors of their subsystems. Also, CIs are vulnerable to several threats, such as natural disasters, terrors, or accidents, as well as having dependence on other CIs. These characteristics of CIs make it impossible for us to experiment with actual CIs in understanding their emergent behaviors because the experiment requires the cost that we cannot economically and socially allow. Under this situation, Modeling and Simulation (M&S) is a useful method for understanding the emergent behaviors of CIs. M&S frees us from several constraints such as time, cost, space, risk, policy, etc. There have been many successful researches that use M&S techniques in order to understand the emergent behaviors of CIs. Despite their successes, many practitioners still do not regard M&S as an engineering discipline but as a form of art. The reason is that the quality of models, which are developed in compliance with the previous modeling methods, excessively depends on the M&S practitioners’ capabilities and experience. In fact, CIs and their services are intrinsically designed to be dependable. However, the previous modeling methods are indifferent to the dependability of CIs or do not provide a way to explicitly and systematically apply this property into modeling CIs. We believe that the dependability is one of the most important attributes for the practitioners to produce the quality models of CIs. As a cornerstone in the process to transfer M&S of CIs from an art to an engineering discipline, we propose a CI M&S methodology, called Dependability-enhanced Unified Modeling and Simulation (DUMAS) methodology, in order to produce quality models. Especially, the proposed methodology intuitively, explicitly and systematically deals with the dependability existing in CIs. Firstly, we propose a system to model & simulate CIs based on Discrete Event System Specification (DEVS) formalism and Belief-Desire-Intention (BDI) and Role-Oriented Command Hierarchy (ROCH) models. Next, we attempt to integrate several previous modeling methods, such as goal modeling, agent-based modeling, object-oriented modeling, and feature modeling, into Unified Modeling and Simulation (UMAS) methodology. Then, we propose DUMAS methodology to explicitly and systematically treat dependability upon UMAS methodology. In order to validate the feasibility of the development process of DUMAS methodology, we conduct a case study to apply DUMAS methodologies into the M&S of a smart grid, i.e. a kind of CI. Then we discuss how the development process of DUMAS methodology affects modeling artifacts of the smart grid. From these evidences observed in the case study, we conclude that the dependability of CIs is a key attribute in developing quality models.
- Fulltext
- Appears in Collections:
- Special Graduate Schools > Graduate School of Information and Communication Technology > Department of Information and Communication > 4. Theses(Ph.D)
- Files in This Item:
- There are no files associated with this item.
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.
-
- License
- STATISTICS
- Total Visit :3,734,243
- Total Download :1,818
- Today View :11,901
