[논문 리뷰] A Survey of Interdependency Models for Critical Infrastructure Networks

Joydeep Banerjee, Arun Das외 1명|arXiv (Cornell University)|2017. 02. 07.

Infrastructure Resilience and Vulnerability Analysis인용 수 8

한 줄 요약

이 논문은 핵심 인프라 네트워크 내 상호의존 모델을 조사하며, 결합관계 및 배타관계를 사용하여 복잡한 상호의존성을 포착하는 새로운 프레임워크를 제안한다. 고정점 계산을 통한 생존 방정식의 방식으로 카오스적 실패를 모델링하여, 시스템의 복원력을 향상시키기 위해 k개의 가장 취약한 노드를 특정할 수 있다.

ABSTRACT

The critical infrastructures of the nation such as the power grid and the communication network are highly interdependent. Also, it has been observed that there exists complex interdependent relationships between individual entities of the power grid and the communication network that further obfuscates the analysis, and mitigation of faults in such multi-layered networks. In recent years, the research community has made significant efforts towards gaining insight and understanding of the interdependency relations in such multi-layered networks, and accordingly, a number of models have been proposed and analyzed towards realizing this goal. In this chapter we study existing interdependency models proposed in the recent literature and discuss their approach, and inherent features, towards modeling interdependent multi-layer networks. We also provide a brief discussion into the drawbacks of each of these models and propose an alternate model that addresses these drawbacks by capturing the interdependency relationships using a combination of conjunctive and disjunctive relations.

연구 동기 및 목표

• 다층 핵심 인프라 네트워크를 위한 기존 상호의존 모델을 분석하고 비교하기.
• 특히 상호의존성의 과도하게 단순화된 표현 방식을 포함한 현재 모델의 한계를 규명하기.
• 결합관계 및 배타관계를 모두 활용하여 현실 세계의 복잡한 상호의존성을 포착하는 새로운 모델을 제안하기.
• 상호의존 네트워크 내 k개의 가장 취약한 노드를 효율적으로 식별하여 시스템 복원력을 향상시키는 방법을 개발하기.
• 아리조나 주 마리코파 카운티의 실세계 데이터를 사용하여 제안된 모델을 검증하기.

제안 방법

• 다른 네트워크의 엔티티 간의 1차 상호의존 관계를 표현하기 위해 생존 방정식(예: $a_i \leftarrow b_j b_k b_l + b_m b_n + b_p$)을 사용하여 상호의존성을 모델링한다.
• 카오스적 실패를 고정점 계산 문제로 표현하며, 시스템이 이산 시간 단계를 거쳐 더 이상 노드 장애가 발생하지 않을 때까지 변화한다.
• 서로 다른 네트워크 간의 피드백 효과를 모델링하기 위해 폐쇄 루프 제어 시스템 추상화를 사용하며, 장애는 상호의존성에 의해 전파된다.
• 시스템의 고정점을 계산하기 위해 정수선형계획법(ILP)을 적용하여 가장 취약한 노드 집합을 효율적으로 식별한다.
• 시간 단위로 실패 전파를 추적하기 위해 시간 단계 기반의 실패 연쇄 시뮬레이션을 적용하며, 의존성 논리에 따라 장애 상태를 반복적으로 업데이트한다.
• 실제로 마리코파 카운티의 전력망 및 통신망 데이터를 사용하여 모델을 검증하여 실용적 적용 가능성을 입증한다.

실험 결과

연구 질문

• RQ1 기존의 상호의존 모델은 전력망 및 통신망 간 진정한 복잡한 상호의존성을 얼마나 잘 반영하지 못하는가?
• RQ2 Buldyrev 등이 제시한 모델은 다층 네트워크 상호의존성을 표현하는 데 어떤 한계를 지니는가?
• RQ3 결합관계 및 배타관계를 모두 활용하는 하이브리드 모델이 핵심 인프라 내 현실 세계의 상호의존성을 더 잘 표현할 수 있는가?
• RQ4 상호의존 네트워크 내 k개의 가장 취약한 노드를 효율적으로 식별하는 방법은 무엇인가? 이를 통해 시스템 복원력을 어떻게 향상시킬 수 있는가?
• RQ5 제안된 모델 하에서 가장 취약한 노드를 식별하는 데 필요한 계산 복잡도는 무엇이며, 특정 경우에 다항식 시간 내에 해결 가능할 수 있는가?

주요 결과

• 제안된 모델은 이전 모델의 핵심적 한계를 극복하며, 결합관계 및 배타관계를 모두 포함하여 보다 현실적인 실패 전파 모델링이 가능하다.
• 제안된 모델에서 카오스적 실패는 반복적인 실패 전파를 통해 안정 상태에 도달하며, 각 시간 단계에서 장애 상태가 갱신된다.
• 시간 $t_0$에 단일 노드($a_1$)의 장애가 발생하여 $t_4$에는 모든 엔티티가 장애를 겪는 연쇄 반응이 발생했으며, 이는 모델이 대규모 카오스적 영향을 시뮬레이션할 수 있음을 보여준다.
• k개의 가장 취약한 노드를 식별하는 문제는 특정 특수한 경우에서는 다항식 시간 내에 해결 가능하지만, 일반적인 경우에서는 NP-완전이다.
• 시스템의 실패 역학에 대한 고정점 계산은 정수선형계획법(ILP) 공식화를 풀이하는 것과 동일하며, 실패 연쇄의 실용적 계산을 가능하게 한다.
• 마리코파 카운티의 전력망 및 통신망 실세계 데이터를 사용한 검증을 통해 모델의 실용적 관련성과 핵심 장애 지점을 식별하는 데의 효과성을 확인하였다.