Today’s dynamic systems often require active, online Quality and Resource Management (QRM). Optimal configurations depend on run-time situations of resource availability, cost, available quality. Many applications employ virtualized functions and/or virtualized resources that are shared with other applications.
Quality and resource management often involves multi-objective optimization questions. (Different aspects of) quality are traded vs (different) resources used, and associated costs. Pareto Algebra [1] is a calculus that supports the compositional computation of multi-objective trade-offs.
QRML is a domain-specific language to specify quality and resource management components. It is available through the qrml.org web site.
Constraint solvers, such as Z3 are often used to compute feasible / optimal configurations in a quality and resource management problem.
We have made QRML models of virtual platform resources in the CompSOC multiprocessor system [2, 3].
Selected Related Publications
- M. Geilen, T. Basten, B. Theelen, and R. Otten, “An algebra of pareto points,” Fundam. inf., vol. 78, iss. 1, p. 35–74, 2007.
[Bibtex]@Article{GBTO07, author = {Geilen, Marc and Basten, Twan and Theelen, Bart and Otten, Ralph}, journal = {Fundam. Inf.}, title = {An Algebra of Pareto Points}, year = {2007}, issn = {0169-2968}, month = {jan}, number = {1}, pages = {35–74}, volume = {78}, address = {NLD}, issue_date = {January 2007}, numpages = {40}, publisher = {IOS Press}, url = {https://dl.acm.org/doi/10.5555/2366476.2366479}, } -
![[DOI]](https://computationalmodeling.info/wp/wp-content/plugins/papercite/img/external.png)
M. Geilen and T. Basten, “A calculator for pareto points,” in 2007 design, automation test in europe conference exhibition, 2007, pp. 1-6.
[Bibtex]@InProceedings{GB07, author = {Geilen, Marc and Basten, Twan}, booktitle = {2007 Design, Automation Test in Europe Conference Exhibition}, title = {A Calculator for Pareto Points}, year = {2007}, pages = {1-6}, doi = {10.1109/DATE.2007.364605}, } - H. Shojaei, T. Basten, M. Geilen, and P. Stanley-Marbell, “Spac: a symbolic pareto calculator,” in Proceedings of the 6th ieee/acm/ifip international conference on hardware/software codesign and system synthesis, New York, NY, USA, 2008, p. 179–184.
[Bibtex]@InProceedings{SBGS08, author = {Shojaei, Hamid and Basten, Twan and Geilen, Marc and Stanley-Marbell, Phillip}, booktitle = {Proceedings of the 6th IEEE/ACM/IFIP International Conference on Hardware/Software Codesign and System Synthesis}, title = {SPaC: A Symbolic Pareto Calculator}, year = {2008}, address = {New York, NY, USA}, pages = {179–184}, publisher = {Association for Computing Machinery}, series = {CODES+ISSS '08}, abstract = {The compositional computation of Pareto points in multi-dimensional optimization problems is an important means to efficiently explore the optimization space. This paper presents a symbolic Pareto calculator, SPaC, for the algebraic computation of multidimensional trade-offs. SPaC uses BDDs as a representation for solution sets and operations on them. The tool can be used in multi-criteria optimization and design-space exploration of embedded systems. The paper describes the design and implementation of Pareto algebra operations, and it shows that BDDs can be used effectively in Pareto optimization.}, doi = {10.1145/1450135.1450176}, isbn = {9781605584706}, keywords = {pareto algeba, binay decision diagram, embedded systems}, location = {Atlanta, GA, USA}, numpages = {6}, url = {https://doi.org/10.1145/1450135.1450176}, } - F. van den Berg, V. Čamra, M. Hendriks, M. Geilen, P. Hnetynka, F. Manteca, P. Sánchez, T. Bureš, and T. Basten, “Qrml: a component language and toolset for quality and resource management,” in 2020 forum for specification and design languages (fdl), 2020, pp. 1-8.
[Bibtex]@InProceedings{BCHea20, author = {van den Berg, Freek and Čamra, Václav and Hendriks, Martijn and Geilen, Marc and Hnetynka, Petr and Manteca, Fernando and Sánchez, Pablo and Bureš, Tomáš and Basten, Twan}, booktitle = {2020 Forum for Specification and Design Languages (FDL)}, title = {QRML: A Component Language and Toolset for Quality and Resource Management}, year = {2020}, pages = {1-8}, doi = {10.1109/FDL50818.2020.9232936}, } - S. T. Nikkhah, M. Geilen, D. Goswami, M. Koedam, A. Nelson, and K. Goossens, “A deployment framework for quality-sensitive applications in resource-constrained dynamic environments,” in 2021 24th euromicro conference on digital system design (dsd), 2021, pp. 212-220.
[Bibtex]@INPROCEEDINGS{NGGea21, author={Nikkhah, Shayan Tabatabaei and Geilen, Marc and Goswami, Dip and Koedam, Martijn and Nelson, Andrew and Goossens, Kees}, booktitle={2021 24th Euromicro Conference on Digital System Design (DSD)}, title={A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments}, year={2021}, volume={}, number={}, pages={212-220}, doi={10.1109/DSD53832.2021.00042} } - S. T. Nikkhah, M. Geilen, D. Goswami, and K. Goossens, “A performance analysis framework for real-time systems sharing multiple resources,” in 2020 design, automation & test in europe conference & exhibition (date), 2020, pp. 326-329.
[Bibtex]@INPROCEEDINGS{NGGG20, author={Nikkhah, Shayan Tabatabaei and Geilen, Marc and Goswami, Dip and Goossens, Kees}, booktitle={2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)}, title={A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources}, year={2020}, volume={}, number={}, pages={326-329}, doi={10.23919/DATE48585.2020.9116514} }
References
[1] M. Geilen, T. Basten, B. Theelen, and R. Otten, “An algebra of pareto points,” Fundam. inf., vol. 78, iss. 1, p. 35–74, 2007.
[Bibtex]
[Bibtex]
@Article{GBTO07,
author = {Geilen, Marc and Basten, Twan and Theelen, Bart and Otten, Ralph},
journal = {Fundam. Inf.},
title = {An Algebra of Pareto Points},
year = {2007},
issn = {0169-2968},
month = {jan},
number = {1},
pages = {35–74},
volume = {78},
address = {NLD},
issue_date = {January 2007},
numpages = {40},
publisher = {IOS Press},
url = {https://dl.acm.org/doi/10.5555/2366476.2366479},
}[2] S. T. Nikkhah, M. Geilen, D. Goswami, M. Koedam, A. Nelson, and K. Goossens, “A deployment framework for quality-sensitive applications in resource-constrained dynamic environments,” in 2021 24th euromicro conference on digital system design (dsd), 2021, pp. 212-220.
[Bibtex]
S. T. Nikkhah, M. Geilen, D. Goswami, M. Koedam, A. Nelson, and K. Goossens, “A deployment framework for quality-sensitive applications in resource-constrained dynamic environments,” in 2021 24th euromicro conference on digital system design (dsd), 2021, pp. 212-220. [Bibtex]
@INPROCEEDINGS{NGGea21,
author={Nikkhah, Shayan Tabatabaei and Geilen, Marc and Goswami, Dip and Koedam, Martijn and Nelson, Andrew and Goossens, Kees},
booktitle={2021 24th Euromicro Conference on Digital System Design (DSD)},
title={A Deployment Framework for Quality-Sensitive Applications in Resource-Constrained Dynamic Environments},
year={2021},
volume={},
number={},
pages={212-220},
doi={10.1109/DSD53832.2021.00042}
}[3] S. T. Nikkhah, M. Geilen, D. Goswami, and K. Goossens, “A performance analysis framework for real-time systems sharing multiple resources,” in 2020 design, automation & test in europe conference & exhibition (date), 2020, pp. 326-329.
[Bibtex]
S. T. Nikkhah, M. Geilen, D. Goswami, and K. Goossens, “A performance analysis framework for real-time systems sharing multiple resources,” in 2020 design, automation & test in europe conference & exhibition (date), 2020, pp. 326-329. [Bibtex]
@INPROCEEDINGS{NGGG20,
author={Nikkhah, Shayan Tabatabaei and Geilen, Marc and Goswami, Dip and Goossens, Kees},
booktitle={2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)},
title={A Performance Analysis Framework for Real-Time Systems Sharing Multiple Resources},
year={2020},
volume={},
number={},
pages={326-329},
doi={10.23919/DATE48585.2020.9116514}
}