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: Bijdrage aan congresPaperAcademic

34 Downloads (Pure)

Samenvatting

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
StatusGepubliceerd - 15 sep 2020
Evenement2020 Forum on Specification and Design Languages - Kiel, Duitsland
Duur: 15 sep 202018 sep 2020

Congres

Congres2020 Forum on Specification and Design Languages
LandDuitsland
StadKiel
Periode15/09/2018/09/20

Vingerafdruk 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