[논문 리뷰] Modeling the resilience of large and evolving systems

Mohamed Kaâniche, Paolo Lollini외 2명|arXiv (Cornell University)|2012. 11. 25.

Software System Performance and Reliability참고 문헌 39인용 수 12

한 줄 요약

이 논문은 웹 서비스 및 GPRS 네트워크와 같은 대규모로 변화하는 시스템의 복원력을 평가하기 위해 모델 기반의 정량적 기법을 제안하며, 첨단 모델링 접근법을 통해 확장성 문제를 해결한다. 분석적 가용성 모델이 어떻게 효율적으로 구성되고 관리될 수 있는지 보여주며, 검증된 사례 연구를 통해 설계 단계에서 아키텍처 대안을 비교할 수 있도록 하여 효과적인 복원력 평가를 가능하게 한다.

ABSTRACT

This paper summarizes the state of knowledge and ongoing research on methods and techniques for resilience evaluation, taking into account the resilience-scaling challenges and properties related to the ubiquitous computerized systems. We mainly focus on quantitative evaluation approaches and, in particular, on model-based evaluation techniques that are commonly used to evaluate and compare, from the dependability point of view, different architecture alternatives at the design stage. We outline some of the main modeling techniques aiming at mastering the largeness of analytical dependability models at the construction level. Actually, addressing the model largeness problem is important with respect to the investigation of the scalability of current techniques to meet the complexity challenges of ubiquitous systems. Finally we present two case studies in which some of the presented techniques are applied for modeling web services and General Packet Radio Service (GPRS) mobile telephone networks, as prominent examples of large and evolving systems.

연구 동기 및 목표

• 웹 서비스 및 모바일 네트워크와 같은 대규모로 진화하는 컴퓨터 시스템에서 복원력을 평가하는 데 도전 과제를 해결한다.
• 보편적이고 복잡한 시스템에 적용될 때 전통적인 가용성 모델링 기법의 확장성 한계를 극복한다.
• 설계 단계에서 모델의 크기를 효과적으로 관리할 수 있는 모델 기반 평가 방법을 개발하고 적용한다.
• 배포 이전에 다양한 시스템 아키텍처의 복원력에 대해 정량적 비교를 가능하게 한다.
• 웹 서비스 및 GPRS 네트워크에 대한 실제 사례 연구를 통해 실용적 적용 가능성을 입증한다.

제안 방법

• 대규모 시스템의 시스템 행동과 장애 전파를 표현하기 위해 모델 기반 평가 기법을 활용한다.
• 가용성 및 복구 시간과 같은 복원력 메트릭을 정량화하기 위해 분석적 가용성 모델을 사용한다.
• 모델 복잡성과 상태공간 폭발 문제를 줄이기 위해 추상화 및 분해 기법을 적용한다.
• 연속 시간 마르코프 체인(CTMCs) 또는 유사한 확률적 과정을 사용하여 시스템 동역학과 장애 전이를 모델링한다.
• 계층적이고 모듈화된 모델링을 통합하여 시스템 구성 요소 간의 확장성과 재사용성을 지원한다.
• 웹 서비스 및 GPRS 모바일 네트워크에 대한 사례 연구를 통해 모델링 접근법을 검증하며, 모델 구축 및 분석 워크플로우를 설명한다.

실험 결과

연구 질문

• RQ1 고도로 복잡한 대규모 및 진화하는 시스템에서 복원력을 어떻게 정량적으로 평가할 수 있는가?
• RQ2 분석적 가용성 모델에서 상태공간 폭발 문제를 효과적으로 관리하는 데 어떤 모델링 기법이 유용한가?
• RQ3 모델 기반 접근법이 복원력에 대한 아키텍처 대안의 설계 단계 비교를 어느 정도 지원할 수 있는가?
• RQ4 추상화와 모듈화는 실제 시스템에서 복원력 모델링의 확장성에 어떻게 기여하는가?
• RQ5 제안된 방법은 웹 서비스 및 모바일 네트워크와 같은 다양한 대규모 시스템에 효과적으로 적용될 수 있는가?

주요 결과

• 제안된 모델 기반 접근법은 대규모 시스템 모델의 복잡성을 효과적으로 관리하여 확장 가능한 복원력 평가를 가능하게 한다.
• 추상화 및 모듈화된 분해 기법은 분석 모델의 상태공간을 크게 줄여 타당성과 실행 가능성을 향상시킨다.
• 웹 서비스 및 GPRS 네트워크에 대한 사례 연구는 실제 환경에서 모델링 접근법의 실현 가능성과 효과성을 입증한다.
• 이 방법을 통해 가용성 및 복구 시간과 같은 복원력 메트릭을 바탕으로 다양한 아키텍처 설계를 정량적으로 비교할 수 있다.
• 결과적으로 모델 기반 기법이 배포 이전에 진화하는 시스템의 복원력을 평가하는 데 실용적임을 확인한다.
• 이 접근법은 설계 단계에서 복원력 취약점을 조기에 탐지할 수 있도록 하여 시스템의 신뢰성 향상에 기여한다.