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

1 Citation (Scopus)
73 Downloads (Pure)

Abstract

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
DOIs
Publication statusPublished - 3 Nov 2020
Event2020 Forum on Specification and Design Languages - Kiel, Germany
Duration: 15 Sep 202018 Sep 2020

Conference

Conference2020 Forum on Specification and Design Languages
Country/TerritoryGermany
CityKiel
Period15/09/2018/09/20

Keywords

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

Fingerprint

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