The QRML Language

[kar–uh–muh l] a kind of chewy candy, commonly in small blocks, made from sugar, butter, milk, etc.

[1], [2] [3]

https://qrml.org

Video about QRML

TBD

budget ImageCapturing boolean ordered by = 

typedef Quality enumeration {low, medium, high} ordered by low < medium, medium < high

budget FaceIdentification {
	latency : Latency
	qual : Quality
}

component LocalComputePlatform {
	provides FaceIdentification faceId { qual = medium & latency = 50 }
	provides DatabaseAccess dbAcc { latency = 50 }
}
[1] [doi] M. Hendriks, M. Geilen, K. Goossens, R. de Jong, and T. Basten, “Interface Modeling for Quality and Resource Management,” Logical Methods in Computer Science, vol. {Volume 17, Issue 2}, 2021.
[Bibtex]
@Article{HGGJB21,
author = {Martijn Hendriks and Marc Geilen and Kees Goossens and Rob de Jong and Twan Basten},
journal = {{Logical Methods in Computer Science}},
title = {{Interface Modeling for Quality and Resource Management}},
year = {2021},
month = May,
volume = {{Volume 17, Issue 2}},
doi = {10.23638/LMCS-17(2:19)2021},
keywords = {Computer Science - Logic in Computer Science ; Computer Science - Discrete Mathematics ; Computer Science - Performance},
url = {https://lmcs.episciences.org/7513},
}
[2] [doi] P. P. V. F. M. L. B. G. P. K. J. B. B. S. S. Z. S. T. N. G. A. M. H. M. A. B. L. . F. . G. . T. . M. . F. . T. . M. . G. . J. . P. . L. . F. . J. . T. . M. K. . V. . S. . D. . G. . L. . M. . L. . Z. . A. van der van de C. Sau C. Rinaldi, “Design and management of image processing pipelines within cps: acquired experience towards the end of the fitoptivis ecsel project,” Microprocessors and microsystems, vol. 87, p. 104350, 2021.
[Bibtex]
@Article{SRPea21,
author = {C. Sau, C. Rinaldi, L. Pomante, F. Palumbo, G. Valente, T. Fanni, M. Martinez, F. van der Linden, T. Basten, M. Geilen, G. Peeren, J. Kadlec, P. Jääskeläinen, L. Bulej, F. Barranco, J. Saarinen, T. Säntti, M.K. Zedda, V. Sanchez, S. Tabatabaei Nikkhah, D. Goswami, G. Amat, L. Maršík, M. van Helvoort, L. Medina, Z. Al-Ars, A. de Beer},
journal = {Microprocessors and Microsystems},
title = {Design and management of image processing pipelines within CPS: Acquired experience towards the end of the FitOptiVis ECSEL Project},
year = {2021},
issn = {0141-9331},
pages = {104350},
volume = {87},
doi = {https://doi.org/10.1016/j.micpro.2021.104350},
url = {https://www.sciencedirect.com/science/article/pii/S014193312100507X},
}
[3] [doi] F. van den Berg, V. Čamra, M. Hendriks, M. Geilen, P. Hnetynka, F. Manteca, P. Sánchez, T. Bureš, and T. Basten, “Qrml: a component language and toolset for quality and resource management,” in 2020 forum for specification and design languages (fdl), 2020, pp. 1-8.
[Bibtex]
@InProceedings{BCHea20,
author = {van den Berg, Freek and Čamra, Václav and Hendriks, Martijn and Geilen, Marc and Hnetynka, Petr and Manteca, Fernando and Sánchez, Pablo and Bureš, Tomáš and Basten, Twan},
booktitle = {2020 Forum for Specification and Design Languages (FDL)},
title = {QRML: A Component Language and Toolset for Quality and Resource Management},
year = {2020},
pages = {1-8},
doi = {10.1109/FDL50818.2020.9232936},
}