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: Contribution to conferencePaperAcademic

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

Conference

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

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

    van den Berg, F., Camra, V., Hendriks, M., Geilen, M. C. W., Hnetynka, P., Manteca, F., Sanchez, P., Bures, T., & Basten, A. A. T. (2020). QRML: A Component Language and Toolset for Quality and Resource Management. Paper presented at 2020 Forum on Specification and Design Languages, Kiel, Germany.