一句话：提出面向质量与资源管理的接口建模框架，用偏序集统一刻画软硬件组件的功能、资源与质量工作点。
组件化软硬件系统需要在功能、资源占用与供给、性能与能耗等质量指标之间进行动态配置与权衡，但缺乏统一的接口模型来描述可配置工作点。本文提出一种面向质量与资源管理的接口建模框架，将硬件和软件组件的可配置工作点表示为接口，涵盖功能、资源使用与供给以及性能、能耗等质量指标。框架以偏序集建模质量等级、预算规模和功能兼容性，因而具有领域无关性，同时以嵌入式与信息物理系统为主要目标。该框架为组件化系统的动态重配置以及面向质量与资源管理的多目标优化奠定了基础。
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.
@article{paperbot1309,
title = {Interface Modeling for Quality and Resource Management},
author = {Martijn Hendriks and Marc Geilen and Kees Goossens and Rob de Jong and Twan Basten},
journal = {Logical Methods in Computer Science},
volume = {Volume 17, Issue 2},
year = {2021},
doi = {10.23638/lmcs-17(2:19)2021}
}