{"id":"https://openalex.org/W3095231517","doi":"https://doi.org/10.1109/fdl50818.2020.9232936","title":"QRML: A Component Language and Toolset for Quality and Resource Management","display_name":"QRML: A Component Language and Toolset for Quality and Resource Management","publication_year":2020,"publication_date":"2020-09-15","ids":{"openalex":"https://openalex.org/W3095231517","doi":"https://doi.org/10.1109/fdl50818.2020.9232936","mag":"3095231517"},"language":"en","primary_location":{"id":"doi:10.1109/fdl50818.2020.9232936","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl50818.2020.9232936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Forum for Specification and Design Languages (FDL)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.tue.nl/en/publications/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5084929271","display_name":"Freek van den Berg","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Freek van den Berg","raw_affiliation_strings":["Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075764339","display_name":"Vaclav Camra","orcid":null},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Vaclav Camra","raw_affiliation_strings":["Distributed and Dependable Systems, Charles University, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Distributed and Dependable Systems, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088199769","display_name":"Martijn Hendriks","orcid":null},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Martijn Hendriks","raw_affiliation_strings":["ESI (TNO), Eindhoven, The Netherlands","Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"ESI (TNO), Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5063550119","display_name":"Marc Geilen","orcid":"https://orcid.org/0000-0002-2629-3249"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Marc Geilen","raw_affiliation_strings":["Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062364548","display_name":"Petr Hn\u011btynka","orcid":"https://orcid.org/0000-0002-1008-6886"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr Hnetynka","raw_affiliation_strings":["Distributed and Dependable Systems, Charles University, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Distributed and Dependable Systems, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5021563396","display_name":"Fernando Manteca","orcid":"https://orcid.org/0000-0001-7984-3876"},"institutions":[{"id":"https://openalex.org/I13134134","display_name":"Universidad de Cantabria","ror":"https://ror.org/046ffzj20","country_code":"ES","type":"education","lineage":["https://openalex.org/I13134134"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Fernando Manteca","raw_affiliation_strings":["Grupo de Ingenier\u00eda Microelectr\u00f3nica, Universidad de Cantabria, Santander, Spain"],"affiliations":[{"raw_affiliation_string":"Grupo de Ingenier\u00eda Microelectr\u00f3nica, Universidad de Cantabria, Santander, Spain","institution_ids":["https://openalex.org/I13134134"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101992779","display_name":"Pablo S\u00e1nchez","orcid":"https://orcid.org/0000-0001-7363-5814"},"institutions":[{"id":"https://openalex.org/I13134134","display_name":"Universidad de Cantabria","ror":"https://ror.org/046ffzj20","country_code":"ES","type":"education","lineage":["https://openalex.org/I13134134"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Pablo Sanchez","raw_affiliation_strings":["Grupo de Ingenier\u00eda Microelectr\u00f3nica, Universidad de Cantabria, Santander, Spain"],"affiliations":[{"raw_affiliation_string":"Grupo de Ingenier\u00eda Microelectr\u00f3nica, Universidad de Cantabria, Santander, Spain","institution_ids":["https://openalex.org/I13134134"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5082418720","display_name":"Tom\u00e1\u0161 Bure\u0161","orcid":"https://orcid.org/0000-0003-3622-9918"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Tomas Bures","raw_affiliation_strings":["Distributed and Dependable Systems, Charles University, Prague, Czech Republic"],"affiliations":[{"raw_affiliation_string":"Distributed and Dependable Systems, Charles University, Prague, Czech Republic","institution_ids":["https://openalex.org/I21250087"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5026760188","display_name":"Twan Basten","orcid":"https://orcid.org/0000-0002-2274-7274"},"institutions":[{"id":"https://openalex.org/I83019370","display_name":"Eindhoven University of Technology","ror":"https://ror.org/02c2kyt77","country_code":"NL","type":"education","lineage":["https://openalex.org/I83019370"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Twan Basten","raw_affiliation_strings":["ESI (TNO), Eindhoven, The Netherlands","Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands"],"affiliations":[{"raw_affiliation_string":"ESI (TNO), Eindhoven, The Netherlands","institution_ids":[]},{"raw_affiliation_string":"Electronic Systems, Eindhoven University of Technology, Eindhoven, Netherlands","institution_ids":["https://openalex.org/I83019370"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":9,"corresponding_author_ids":["https://openalex.org/A5084929271"],"corresponding_institution_ids":["https://openalex.org/I83019370"],"apc_list":null,"apc_paid":null,"fwci":1.6172,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.83885017,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":97},"biblio":{"volume":"9","issue":null,"first_page":"1","last_page":"8"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.9765999913215637,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T12029","display_name":"DNA and Biological Computing","score":0.9674999713897705,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7506765127182007},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.7109580039978027},{"id":"https://openalex.org/keywords/resource-management","display_name":"Resource management (computing)","score":0.4740975797176361},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3488476574420929}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7506765127182007},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.7109580039978027},{"id":"https://openalex.org/C2780609101","wikidata":"https://www.wikidata.org/wiki/Q17156588","display_name":"Resource management (computing)","level":2,"score":0.4740975797176361},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3488476574420929},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/fdl50818.2020.9232936","is_oa":false,"landing_page_url":"https://doi.org/10.1109/fdl50818.2020.9232936","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 Forum for Specification and Design Languages (FDL)","raw_type":"proceedings-article"},{"id":"pmh:oai:pure.tue.nl:openaire/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"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, 2020 Forum on Specification and Design Languages, Kiel, Schleswig-Holstein, Germany, 15/09/20. https://doi.org/10.1109/FDL50818.2020.9232936","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:tue:oai:pure.tue.nl:publications/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","is_oa":true,"landing_page_url":"https://research.tue.nl/nl/publications/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Proceedings of the 2020 Forum on Specification and Design Languages, FDL 2020","raw_type":"info:eu-repo/semantics/conferencepaper"}],"best_oa_location":{"id":"pmh:oai:pure.tue.nl:openaire/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","is_oa":true,"landing_page_url":"https://research.tue.nl/en/publications/9b973f7e-d7d0-4d8e-b98f-8dcdfd1a1f8f","pdf_url":null,"source":{"id":"https://openalex.org/S4406922641","display_name":"TU/e Research Portal","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"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, 2020 Forum on Specification and Design Languages, Kiel, Schleswig-Holstein, Germany, 15/09/20. https://doi.org/10.1109/FDL50818.2020.9232936","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"score":0.4699999988079071,"display_name":"Decent work and economic growth","id":"https://metadata.un.org/sdg/8"}],"awards":[{"id":"https://openalex.org/G1155639318","display_name":null,"funder_award_id":"H2020-ECSEL-2017-2-783162","funder_id":"https://openalex.org/F4320327207","funder_display_name":"Electronic Components and Systems for European Leadership"}],"funders":[{"id":"https://openalex.org/F4320327207","display_name":"Electronic Components and Systems for European Leadership","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W275084143","https://openalex.org/W777296104","https://openalex.org/W1480909796","https://openalex.org/W1577511594","https://openalex.org/W1594407938","https://openalex.org/W1620012354","https://openalex.org/W2092431575","https://openalex.org/W2133038101","https://openalex.org/W2169180789","https://openalex.org/W2944724070","https://openalex.org/W3008807184","https://openalex.org/W4242053123"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1,89],"(CPS)":[2],"are":[3,55],"complex,":[4],"heterogeneous,":[5],"and":[6,11,34,51,75,80,90,93,100,106,123,130,133,147],"dynamic":[7],"systems,":[8],"spanning":[9],"hardware":[10],"software":[12],"components":[13],"ranging":[14],"from":[15],"edge":[16],"devices":[17],"to":[18,23,31],"cloud":[19],"platforms.":[20],"CPS":[21],"need":[22],"satisfy":[24],"many":[25],"rigorous":[26],"constraints,":[27],"e.g.,":[28],"with":[29],"respect":[30],"deadlines,":[32],"safety,":[33],"quality,":[35],"yielding":[36],"a":[37,43,53,115],"large":[38],"configuration":[39],"space":[40],"where":[41],"only":[42,52],"limited":[44],"number":[45],"of":[46,114,117],"configurations":[47,63,94],"meet":[48],"the":[49,61,73],"constraints":[50,122],"fraction":[54],"optimal":[56,62],"regarding":[57],"certain":[58],"qualities.":[59],"Finding":[60],"is":[64],"hard,":[65],"especially":[66],"during":[67],"runtime":[68],"operation.":[69],"We":[70],"present":[71],"QRML,":[72],"Quality":[74],"Resource":[76],"Management":[77],"domain-specific":[78],"Language,":[79],"an":[81],"accompanying":[82],"toolset.":[83],"QRML":[84,111,137],"enables":[85],"specifying":[86],"heterogeneous":[87],"hardware/software":[88],"their":[91],"composition":[92],"conveniently,":[95],"automated":[96],"reasoning":[97],"about":[98],"them,":[99],"generating":[101],"implementation":[102],"artifacts":[103],"like":[104],"quality":[105,129],"resource":[107,131],"monitoring":[108],"templates.":[109],"A":[110],"model":[112],"consists":[113],"hierarchy":[116],"components.":[118],"Component":[119],"specifications":[120],"express":[121],"requirements,":[124],"that":[125],"may":[126],"serve":[127],"multiobjective":[128],"optimization":[132],"exploration":[134],"purposes.":[135],"The":[136],"toolset":[138],"offers":[139],"language":[140],"support,":[141],"visualizations,":[142],"documentation":[143],"generation,":[144,146],"template-code":[145],"constraint-solving":[148],"support.":[149]},"counts_by_year":[{"year":2023,"cited_by_count":4},{"year":2021,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}