[논문 리뷰] Using Models at Runtime to Address Assurance for Self-Adaptive Systems

Betty H. C. Cheng, Kerstin Eder외 11명|arXiv (Cornell University)|2015. 05. 05.

Advanced Software Engineering Methodologies인용 수 3

한 줄 요약

이 논문은 런타임에서의 적응이 기존의 사전 배포 검증을 복잡하게 만드는 자가적응형 소프트웨어 시스템에서 지속적 보장을 가능하게 하기 위해 런타임 모델(M@RT)을 사용하는 것을 제안한다. 실행 중에 유지되고 분석되는 실행 가능한 모델을 통해, 요구사항에 대한 시스템 동작의 동적 검증이 가능해지며, 런타임 변화 상황에서도 정확성을 보장하고 사전 적응 결정을 내릴 수 있다.

ABSTRACT

A self-adaptive software system modifies its behavior at runtime in response to changes within the system or in its execution environment. The fulfillment of the system requirements needs to be guaranteed even in the presence of adverse conditions and adaptations. Thus, a key challenge for self-adaptive software systems is assurance. Traditionally, confidence in the correctness of a system is gained through a variety of activities and processes performed at development time, such as design analysis and testing. In the presence of selfadaptation, however, some of the assurance tasks may need to be performed at runtime. This need calls for the development of techniques that enable continuous assurance throughout the software life cycle. Fundamental to the development of runtime assurance techniques is research into the use of models at runtime (M@RT). This chapter explores the state of the art for usingM@RT to address the assurance of self-adaptive software systems. It defines what information can be captured by M@RT, specifically for the purpose of assurance, and puts this definition into the context of existing work. We then outline key research challenges for assurance at runtime and characterize assurance methods. The chapter concludes with an exploration of selected application areas where M@RT could provide significant benefits beyond existing assurance techniques for adaptive systems.

연구 동기 및 목표

• 런타임 적응이 불확실성을 유도하는 자가적응형 시스템에서 시스템의 정확성과 요구사항 이행을 보장하는 데 도전하는 것.
• 런타임 동작 변화를 고려할 수 없는 기존의 개발 시점 보장 기법의 한계를 극복하는 것.
• 모델 기반 기법을 런타임에 통합하여 소프트웨어 생명주기 전반에 걸쳐 지속적 보장을 가능하게 하는 것.
• 런타임 보장에 있어 모델을 활용하는 데 있어 핵심 연구 과제를 특정하고 특성화하는 것.
• 동적 조건 하에서도 높은 신뢰성 요구가 있는 응용 분야에서 M@RT의 잠재력을 입증하는 것.

제안 방법

• 실행 중 시스템 상태와 적응 결정을 반영하기 위해 실행 중 유지 및 업데이트되는 실행 가능한 모델(M@RT)을 활용하는 것.
• 실행 시간에 공식 명세에 부합하는 시스템 동작을 검증하기 위해 모델 검증 기법과 런타임 검증 기법을 통합하는 것.
• 시스템 상태를 모델 의미론과 연계하고 이격을 탐지하기 위해 모델 변환과 런타임 모니터링을 사용하는 것.
• 요구사항에서 유도된 모델 기반 예측과 제약 조건을 분석하여 적응 결정을 지원하는 것.
• 모델와 실제 시스템 동작 간 일관성을 보장하기 위해 형식적 의미론과 모델 실행 환경을 활용하는 것.
• 모델 관리를 애플리케이션 로직에서 분리하는 아키텍처 패턴을 적용하여 모듈화되고 확장 가능한 보장을 가능하게 하는 것.

실험 결과

연구 질문

• RQ1 어떻게 런타임에서 모델을 효과적으로 활용하여 자가적응형 시스템의 보장을 지원할 수 있는가?
• RQ2 런타임 모델이 보장을 위해 캡처할 수 있는 정보의 유형은 무엇이며, 개발 시점 모델링과는 어떻게 다를 수 있는가?
• RQ3 M@RT를 통해 지속적 보장을 실현하기 위한 핵심 연구 과제는 무엇인가?
• RQ4 기존의 보장 기법은 자가적응형 시스템 맥락에서 어떤 점에서 부족한가, 그리고 M@RT는 이러한 한계를 어떻게 극복할 수 있는가?
• RQ5 어떤 응용 분야에서 M@RT가 기존의 보장 방법보다 측정 가능한 이점을 제공할 수 있는가?

주요 결과

• 런타임 모델은 동적 시스템 상태, 적응 결정, 행동 제약 조건을 캡처하여 시스템 동작의 실시간 검증을 가능하게 한다.
• M@RT는 실행 중 시스템 성질에 대한 형식적 분석과 런타임 검증을 허용함으로써 지속적 보장을 지원한다.
• 런타임에 모델을 통합함으로써 시스템 장애 발생 이전에 요구사항 위반을 사전에 탐지할 수 있다.
• 변경 조건 하에서도 추적 가능하고 형식적인 정확성 증거를 제공함으로써 이 접근법은 시스템 신뢰성을 향상시킨다.
• 사이버-물리 시스템 및 클라우드 환경과 같은 분야에 적용한 사례는 M@RT가 적응성과 정밀도 면에서 기존 보장 기법을 뛰어넘을 잠재력을 보여준다.
• 모델 일관성, 성능 오버헤드, 도구 지원 등의 핵심 과제가 특정되어 있으며, 향후 연구가 필요로 한다.