Click the following link to go the Quality and Resource Modeling Language Tool.
https://qrml.org/qrml
More information about the mathematical framework behind the language can be found in the following paper:
Interface Modeling for Quality and Resource Management. In: Logical Methods in Computer Science, vol. Volume 17, Issue 2, 2021.
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.
Links
Related Publications
2021
Interface Modeling for Quality and Resource Management Journal Article
In: Logical Methods in Computer Science, vol. Volume 17, Issue 2, 2021.
A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments Proceedings Article
In: 2021 24th Euromicro Conference on Digital System Design (DSD), pp. 212-220, 2021.
2020
QRML: A Component Language and Toolset for Quality and Resource Management Proceedings Article
In: 2020 Forum for Specification and Design Languages (FDL), pp. 1-8, 2020.
A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources Proceedings Article
In: 2020 Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 326-329, 2020.
2007
A Calculator for Pareto Points Proceedings Article
In: 2007 Design, Automation Test in Europe Conference Exhibition, pp. 1-6, 2007.
An Algebra of Pareto Points Journal Article
In: Fundam. Inf., vol. 78, no. 1, pp. 35–74, 2007, ISSN: 0169-2968.