Martijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan Basten - Interface Modeling for Quality and Resource Management

lmcs:6128 - Logical Methods in Computer Science, May 26, 2021, Volume 17, Issue 2 - https://doi.org/10.23638/LMCS-17(2:19)2021
Interface Modeling for Quality and Resource Management

Authors: Martijn Hendriks ; Marc Geilen ; Kees Goossens ; Rob de Jong ; Twan Basten

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.


Volume: Volume 17, Issue 2
Published on: May 26, 2021
Submitted on: February 20, 2020
Keywords: Computer Science - Logic in Computer Science,Computer Science - Discrete Mathematics,Computer Science - Performance


Share

Consultation statistics

This page has been seen 76 times.
This article's PDF has been downloaded 46 times.