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

doi:10.1109/FDL50818.2020.9232936

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 proceeding › Conference contribution › Academic › peer-review

2 Citations (Scopus)

103 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 language	English
Title of host publication	Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020
Publisher	Institute of Electrical and Electronics Engineers
Number of pages	8
ISBN (Electronic)	978-1-7281-8928-4
DOIs	https://doi.org/10.1109/FDL50818.2020.9232936
Publication status	Published - 3 Nov 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/Territory	Germany
City	Kiel
Period	15/09/20 → 18/09/20

Keywords

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

Access to Document

10.1109/FDL50818.2020.9232936

FDL_2020_paperFinal author version , 532 KBLicence: Unspecified

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. (2020). QRML: A Component Language and Toolset for Quality and Resource Management. In Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020 [9232936] Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/FDL50818.2020.9232936

@inproceedings{9b973f7ed7d04d8eb98f8dcdfd1a1f8f,

title = "QRML: A Component Language and Toolset for Quality and Resource Management",

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 respectto 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. QRMLenables 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.",

keywords = "Component-Based Design, Cyber-Physical Systems, Domain-Specific Language, Monitoring, Multi-Objective Optimization, Quality and Resource Management",

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

year = "2020",

month = nov,

day = "3",

doi = "10.1109/FDL50818.2020.9232936",

language = "English",

booktitle = "Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020",

publisher = "Institute of Electrical and Electronics Engineers",

address = "United States",

note = "2020 Forum on Specification and Design Languages ; Conference date: 15-09-2020 Through 18-09-2020",

}

van den Berg, F, Camra, V, Hendriks, M, Geilen, MCW, Hnetynka, P, Manteca, F, Sanchez, P, Bures, T & Basten, AA 2020, QRML: A Component Language and Toolset for Quality and Resource Management. in Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020., 9232936, Institute of Electrical and Electronics Engineers, 2020 Forum on Specification and Design Languages, Kiel, Schleswig-Holstein, Germany, 15/09/20. https://doi.org/10.1109/FDL50818.2020.9232936

QRML : A Component Language and Toolset for Quality and Resource Management. / van den Berg, Freek; Camra, Vaclav; Hendriks, Martijn et al.

Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020. Institute of Electrical and Electronics Engineers, 2020. 9232936.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - QRML

T2 - 2020 Forum on Specification and Design Languages

AU - van den Berg, Freek

AU - Camra, Vaclav

AU - Hendriks, Martijn

AU - Geilen, Marc C.W.

AU - Hnetynka, Petr

AU - Manteca, Fernando

AU - Sanchez, Pablo

AU - Bures, Tomas

AU - Basten, A.A. (Twan)

PY - 2020/11/3

Y1 - 2020/11/3

N2 - 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 respectto 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. QRMLenables 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.

AB - 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 respectto 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. QRMLenables 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.

KW - Component-Based Design

KW - Cyber-Physical Systems

KW - Domain-Specific Language

KW - Monitoring

KW - Multi-Objective Optimization

KW - Quality and Resource Management

UR - http://www.scopus.com/inward/record.url?scp=85096110628&partnerID=8YFLogxK

U2 - 10.1109/FDL50818.2020.9232936

DO - 10.1109/FDL50818.2020.9232936

M3 - Conference contribution

BT - Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020

PB - Institute of Electrical and Electronics Engineers

Y2 - 15 September 2020 through 18 September 2020

ER -

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

Abstract

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this