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.
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 language | English |
|---|---|
| Publication status | Published - 15 Sep 2020 |
| Event | 2020 Forum on Specification and Design Languages - Kiel, Germany Duration: 15 Sep 2020 → 18 Sep 2020 |
Conference
| Conference | 2020 Forum on Specification and Design Languages |
|---|---|
| Country | Germany |
| City | Kiel |
| Period | 15/09/20 → 18/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.