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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

1 Citaat (Scopus)
73 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.
Originele taal-2Engels
TitelProceedings of the 2020 Forum on Specification and Design Languages, FDL 2020
UitgeverijInstitute of Electrical and Electronics Engineers
Aantal pagina's8
ISBN van elektronische versie978-1-7281-8928-4
StatusGepubliceerd - 3 nov 2020
Evenement2020 Forum on Specification and Design Languages - Kiel, Duitsland
Duur: 15 sep 202018 sep 2020


Congres2020 Forum on Specification and Design Languages


Duik in de onderzoeksthema's van 'QRML: A Component Language and Toolset for Quality and Resource Management'. Samen vormen ze een unieke vingerafdruk.

Citeer dit