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.
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 | |
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