QRML: A Component Language and Toolset for Quality and Resource Management

Freek van den Berg, Vaclav Camra, Martijn Hendriks, Marc C.W. Geilen, Petr Hnetynka, Fernando Manteca, Pablo Sanchez, Tomas Bures, A.A. (Twan) Basten

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

6 Citations (Scopus)
166 Downloads (Pure)


Cyber-physical systems (CPS) are complex, heterogeneous, and dynamic systems, spanning hardware and software components ranging from edge devices to cloud platforms. CPS need to satisfy many rigorous constraints, e.g., with respect
to deadlines, safety, and quality, yielding a large configuration space where only a limited number of configurations meet the constraints and only a fraction are optimal regarding certain qualities. Finding the optimal configurations is hard, especially during runtime operation. We present QRML, the Quality and Resource Management domain-specific Language, and an accompanying toolset. QRML
enables specifying heterogeneous hardware/software systems and their composition and configurations conveniently, automated reasoning about them, and generating implementation artifacts like quality and resource monitoring templates. A QRML model consists of a hierarchy of components. Component specifications express constraints and requirements, that may serve multiobjective quality and resource optimization and exploration purposes. The QRML toolset offers language support, visualizations, documentation generation, template-code generation, and constraint-solving support.
Original languageEnglish
Title of host publicationProceedings of the 2020 Forum on Specification and Design Languages, FDL 2020
PublisherInstitute of Electrical and Electronics Engineers
Number of pages8
ISBN (Electronic)978-1-7281-8928-4
Publication statusPublished - 3 Nov 2020
Event2020 Forum on Specification and Design Languages - Kiel, Germany
Duration: 15 Sept 202018 Sept 2020


Conference2020 Forum on Specification and Design Languages


FundersFunder number
European Union's Horizon 2020 - Research and Innovation Framework Programme783162


    • Component-Based Design
    • Cyber-Physical Systems
    • Domain-Specific Language
    • Monitoring
    • Multi-Objective Optimization
    • Quality and Resource Management


    Dive into the research topics of 'QRML: A Component Language and Toolset for Quality and Resource Management'. Together they form a unique fingerprint.

    Cite this