Print Email Facebook Twitter QRML Title QRML: A Component Language and Toolset for Quality and Resource Management Author vanden Berg, F. Camra, V. Hendriks, M. Geilen, M. Hnetynka, P. Manteca, F. Sanchez, P. Bures, T. Basten, T. Publication year 2020 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. Subject Quality and Resource ManagementDomainSpecific LanguageComponent-Based DesignMulti-Objective OptimizationMonitoringCyber-Physical SystemsIndustrial Innovation To reference this document use: http://resolver.tudelft.nl/uuid:d312a9df-f996-4389-9226-93682450048f DOI https://doi.org/10.1109/fdl50818.2020.9232936 TNO identifier 884428 Publisher IEEE ISBN 9781728189284 ISSN 1636-9874 Source Forum on Specification and Design Languages, 2020 (2020) Bibliographical note 2020 Forum on Specification and Design Languages, FDL 2020; Kiel; Germany; 15 September 2020 through 17 September 2020; Category numberCFP2026E-ART; Code 164632 Document type conference paper Files To receive the publication files, please send an e-mail request to TNO Library.