QRML: Quality and Resource Modeling Language

[kar-uh-muh l] a kind of chewy candy, commonly in small blocks, made from sugar, butter, milk, etc.

Click here for a tutorial and introduction to QRML

Click here to watch a video introduction to QRML by example

More information about the mathematical framework behind the language can be found in the following paper:

Martijn Hendriks, Marc Geilen, Kees Goossens, Rob de Jong, Twan Basten - Interface Modeling for Quality and Resource Management Logical Methods in Computer Science, May 26, 2021, Volume 17, Issue 2

Open access link: https://doi.org/10.23638/LMCS-17(2:19)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.

Acknowledgements

This website uses the following tools and components.

• Node.js https://nodejs.org/
• React https://reactjs.org/
• mongo db https://www.mongodb.com/
• Express https://expressjs.com/
• NextJS https://nextjs.org/
• Passport http://www.passportjs.org/
• Z3 Theorem Prover https://github.com/Z3Prover/z3
• PlantUML https://plantuml.com/
• Monaco Editor https://microsoft.github.io/monaco-editor/