[논문 리뷰] Interface Modeling for Quality and Resource Management

Martijn Hendriks, Marc Geilen외 3명|arXiv (Cornell University)|2020. 02. 19.

Business Process Modeling and Analysis인용 수 5

한 줄 요약

이 논문은 구성 요소 기반 임베디드 및 사이버-물리 시스템에서 품질 및 자원 관리(QRM)를 위한 도메인 독립형 인터페이스 모델링 프레임워크를 제안한다. 이 프레임워크는 부분적으로 순서가 지정된 집합(poses) 위에서 페레토 대수를 사용하여 기능, 자원 예산, 품질 메트릭(예: 지연 시간, 에너지) 측면에서 구성 요소 설정을 모델링하며, 조합적 정밀화와 제약 기반 설정 합성에 의해 동적 재구성과 다목적 최적화를 가능하게 한다.

ABSTRACT

We develop an interface-modeling framework for quality and resource management that captures configurable working points of hardware and software components in terms of functionality, resource usage and provision, and quality indicators such as performance and energy consumption. We base these aspects on partially-ordered sets to capture quality levels, budget sizes, and functional compatibility. This makes the framework widely applicable and domain independent (although we aim for embedded and cyber-physical systems). The framework paves the way for dynamic (re-)configuration and multi-objective optimization of component-based systems for quality- and resource-management purposes.

연구 동기 및 목표

• 최적의 서비스 품질과 자원 활용을 위해 런타임 동적 재구성 기능을 제공하기 위해.
• 기능, 자원 사용량, 품질 트레이드오프를 포괄하는 도메인 독립형 형식적 모델링 프레임워크를 제공하여 구성 요소 인터페이스를 정의하기 위해.
• 성능, 에너지, 자원 예산에 대한 제약 조건 하에서 시스템 설정의 다목적 최적화를 지원하기 위해.
• 품질과 자원 효율성 측면에서 다른 구성 요소를 지배하는 구성 요소가 안전하게 교체될 수 있도록 보장함으로써 조합적 정밀화를 가능하게 하기 위해.
• QRM 인터페이스를 기술하고 도구 기반 설정 합성을 가능하게 하는 도메인 특화 언어(QRML)를 정의하기 위해.

제안 방법

• 각 구성 요소 설정을 부분적으로 순서가 지정된 집합(posets) 위에서 정의된 다섯 가지 요소인 입력, 출력, 필요 예산, 제공 예산, 품질을 사용하여 모델링한다.
• 페레토 대수를 적용하여 구성 요소 설정을 표현하고 조합함으로써 지배 기반 정밀화와 최적화를 가능하게 한다.
• 기본 조합 패턴인 대체 및 집합화는 posets 위에서 최소값, 사영, 교차 연산을 사용하여 형식적으로 정의되어 시스템 수준의 설정을 모델링한다.
• 프레임워크는 지배를 유지하는 연산(페레토 최소 집합 계산에 적합)과 제약 기반 공식화(예: Z3와 같은 솔버와 호환)를 모두 지원한다.
• QRML은 도메인 특화 언어로서 QRM 모델을 기술하고 외부 최적화 도구에 적합한 제약 또는 대수 형태로 변환하는 데 사용된다.
• 외부 관리자가 실시간 시스템 요구 사항에 기반하여 최적의 설정을 선택할 수 있도록 함으로써 런타임 품질 및 자원 관리가 가능해진다.

Figure 1. An example video-processing system with a single stream.

실험 결과

연구 질문

• RQ1 어떻게 구성 요소 인터페이스를 형식적으로 모델링할 수 있을까? 이는 품질 및 자원 관리의 동적 재구성 기능을 지원하기 위함이다.
• RQ2 어떤 수학적 기초가 품질과 자원 트레이드오프를 유지하면서 구성 요소 설정의 조합을 가능하게 하는가?
• RQ3 가변 작업 지점이 있는 구성 요소 기반 시스템에서 다목적 최적화를 효율적으로 수행하는 방법은 무엇인가?
• RQ4 부분적으로 순서가 지정된 공간에서 지배 관계를 사용하여 구성 요소 교체를 어떻게 안전하게 추론할 수 있는가?
• RQ5 프레임워크를 특정 도메인에 적용하면서도 일반성과 조합 가능성은 유지할 수 있는가?

주요 결과

• 지배 기반 정밀화 관계를 통해 안전한 구성 요소 교체가 가능하며, 이는 품질과 자원 사용 측면에서 더 우수하거나 동일한 성능을 제공하는 구성 요소가 다른 구성 요소를 지배할 경우에 해당한다.
• 페레토 대수의 사용은 품질 및 자원 메트릭에 대한 최적화가 수학적으로 엄밀하고 구성 요소 간 조합 가능성을 보장한다.
• 프레임워크는 온라인 및 오프라인 최적화를 모두 지원한다: 지배를 유지하는 연산은 효율적인 런타임 설정을 가능하게 하고, 제약 기반 공식화는 Z3와 같은 솔버를 통한 근사 계산을 가능하게 한다.
• 비디오 처리 시스템의 실행 예시는 기본 연산(대체, 집합화)을 통해 구성 요소 인터페이스에서 유효한 시스템 설정을 유도할 수 있음을 보여준다.
• QRML 언어는 도메인 특화 QRM 제약 조건과 설정을 형식적이고 확장 가능한 언어로 모델링할 수 있으며, 개발 중 도구 지원이 가능하다.
• 프레임워크는 임베디드 및 사이버-물리 시스템에 적용 가능하며, 형식적 방법과 조합적 추론에 강력한 기초를 지닌다.

Figure 2. The interface for quality and resource management.