{"id":"https://openalex.org/W2054579770","doi":"https://doi.org/10.1109/indin.2009.5195812","title":"Compositional model-driven design of embedded code for energy-efficient buildings","display_name":"Compositional model-driven design of embedded code for energy-efficient buildings","publication_year":2009,"publication_date":"2009-06-01","ids":{"openalex":"https://openalex.org/W2054579770","doi":"https://doi.org/10.1109/indin.2009.5195812","mag":"2054579770"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2009.5195812","doi":"https://doi.org/10.1109/indin.2009.5195812","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2009.5195812","pdf_url":null,"source":{"id":"https://openalex.org/S4363608444","display_name":"IEEE International Conference on Industrial Informatics (INDIN)","issn_l":"1935-4576","issn":["1935-4576","2378-3621","2378-363X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 7th IEEE International Conference on Industrial Informatics","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5113485901","display_name":"Alie El\u2010Din Mady","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"A. Mady","raw_affiliation_strings":["CCSL, Computer Science Department, University College Cork, Cork, Ireland","CCSL, Computer Science Department, University College Cork, Lancaster Hall, 6 Little Hanover street, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CCSL, Computer Science Department, University College Cork, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]},{"raw_affiliation_string":"CCSL, Computer Science Department, University College Cork, Lancaster Hall, 6 Little Hanover street, Ireland","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064920153","display_name":"Menouer Boubekeur","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"M. Boubekeur","raw_affiliation_strings":["CCSL, Computer Science Department, University College Cork, Cork, Ireland","CCSL, Computer Science Department, University College Cork, Lancaster Hall, 6 Little Hanover street, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CCSL, Computer Science Department, University College Cork, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]},{"raw_affiliation_string":"CCSL, Computer Science Department, University College Cork, Lancaster Hall, 6 Little Hanover street, Ireland","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5068963019","display_name":"Gregory M. Provan","orcid":"https://orcid.org/0000-0003-3678-046X","observed_orcids":["https://orcid.org/0000-0003-3678-046X"]},"institutions":[{"id":"https://openalex.org/I27577105","display_name":"University College Cork","ror":"https://ror.org/03265fv13","country_code":"IE","type":"education","lineage":["https://openalex.org/I27577105"]}],"countries":["IE"],"is_corresponding":false,"raw_author_name":"G. Provan","raw_affiliation_strings":["CCSL, Computer Science Department, University College Cork, Cork, Ireland","CCSL, Computer Science Department, University College Cork, Lancaster Hall, 6 Little Hanover street, Ireland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CCSL, Computer Science Department, University College Cork, Cork, Ireland","institution_ids":["https://openalex.org/I27577105"]},{"raw_affiliation_string":"CCSL, Computer Science Department, University College Cork, Lancaster Hall, 6 Little Hanover street, Ireland","institution_ids":["https://openalex.org/I27577105"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I27577105"],"apc_list":null,"apc_paid":null,"fwci":0.7167,"has_fulltext":false,"cited_by_count":6,"citation_normalized_percentile":{"value":0.64565141,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":93},"biblio":{"volume":null,"issue":null,"first_page":"250","last_page":"255"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.8798999786376953,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.8798999786376953,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T10904","display_name":"Embedded Systems Design Techniques","score":0.045099999755620956,"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/T13286","display_name":"Modeling and Simulation Systems","score":0.044599998742341995,"subfield":{"id":"https://openalex.org/subfields/2611","display_name":"Modeling and Simulation"},"field":{"id":"https://openalex.org/fields/26","display_name":"Mathematics"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-driven-design","display_name":"model-driven design","score":0.9100000262260437},{"id":"https://openalex.org/keywords/compositional-modeling","display_name":"compositional modeling","score":0.7170000076293945},{"id":"https://openalex.org/keywords/embedded-software","display_name":"embedded software","score":0.7590000033378601},{"id":"https://openalex.org/keywords/code-generation","display_name":"code generation","score":0.8790000081062317},{"id":"https://openalex.org/keywords/energy-efficient-buildings","display_name":"energy-efficient buildings","score":0.8569999933242798},{"id":"https://openalex.org/keywords/building-automation","display_name":"building automation","score":0.9980000257492065},{"id":"https://openalex.org/keywords/hybrid-systems","display_name":"hybrid systems","score":0.8930000066757202},{"id":"https://openalex.org/keywords/component-based-modelling","display_name":"component-based modelling","score":0.843999981880188},{"id":"https://openalex.org/keywords/smart-lighting-control","display_name":"intelligent lighting control","score":0.7559999823570251},{"id":"https://openalex.org/keywords/energy-efficient-lighting","display_name":"energy-efficient lighting","score":0.6169999837875366}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7679280638694763},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.7196986675262451},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6390895843505859},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.6300302743911743},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.5949442982673645},{"id":"https://openalex.org/C195672273","wikidata":"https://www.wikidata.org/wiki/Q6888132","display_name":"Model-based design","level":2,"score":0.5795331001281738},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.509192168712616},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.5036670565605164},{"id":"https://openalex.org/C37785467","wikidata":"https://www.wikidata.org/wiki/Q385325","display_name":"Modelica","level":2,"score":0.495519757270813},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.4761804938316345},{"id":"https://openalex.org/C2742236","wikidata":"https://www.wikidata.org/wiki/Q924713","display_name":"Efficient energy use","level":2,"score":0.4666547477245331},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.4553111791610718},{"id":"https://openalex.org/C83931994","wikidata":"https://www.wikidata.org/wiki/Q1149653","display_name":"Building automation","level":2,"score":0.41334670782089233},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.40517565608024597},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.253476619720459},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24336066842079163},{"id":"https://openalex.org/C44154836","wikidata":"https://www.wikidata.org/wiki/Q45045","display_name":"Simulation","level":1,"score":0.1687430739402771},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16514191031455994},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.08870148658752441},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.0},{"id":"https://openalex.org/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2009.5195812","doi":"https://doi.org/10.1109/indin.2009.5195812","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2009.5195812","pdf_url":null,"source":{"id":"https://openalex.org/S4363608444","display_name":"IEEE International Conference on Industrial Informatics (INDIN)","issn_l":"1935-4576","issn":["1935-4576","2378-3621","2378-363X"],"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":["jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2009 7th IEEE International Conference on Industrial Informatics","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5690000057220459,"display_name":"Affordable and clean energy","id":"https://metadata.un.org/sdg/7"},{"score":0.5378999710083008,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"study_designs":[],"awards":[],"funders":[{"id":"https://openalex.org/F4320320847","display_name":"Science Foundation Ireland","ror":"https://ror.org/0271asj38"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":16,"referenced_works":["https://openalex.org/W81624730","https://openalex.org/W1511965757","https://openalex.org/W1573344143","https://openalex.org/W1585177553","https://openalex.org/W1690614984","https://openalex.org/W2011030306","https://openalex.org/W2058394712","https://openalex.org/W2106334424","https://openalex.org/W2107558091","https://openalex.org/W2120781855","https://openalex.org/W2170783078","https://openalex.org/W2973218851","https://openalex.org/W3147003781","https://openalex.org/W4213430776","https://openalex.org/W4285719527","https://openalex.org/W6981967922"],"related_works":["https://openalex.org/W2183363853","https://openalex.org/W2130812660","https://openalex.org/W3123274197","https://openalex.org/W4256146600","https://openalex.org/W2022940784","https://openalex.org/W2167146627","https://openalex.org/W7046938097","https://openalex.org/W2413533398","https://openalex.org/W1981470451","https://openalex.org/W2203298"],"abstract_inverted_index":{"In":[0,9],"embedded":[1,20],"software":[2],"development,":[3],"model-driven":[4,16],"design":[5],"is":[6],"well":[7],"recognized.":[8],"this":[10,60],"article":[11],"we":[12,34,50],"describe":[13],"a":[14,37,80,94],"compositional":[15],"approach":[17,61],"for":[18,22,45,67,74],"auto-generating":[19],"code":[21,53,85],"improving":[23],"the":[24,63,68,84],"energy":[25],"efficiency":[26],"of":[27,70,83],"building":[28],"automation":[29],"applications.":[30],"We":[31,57],"show":[32],"how":[33],"can":[35],"use":[36],"component-based":[38],"hybrid-systems":[39,64],"modelling":[40],"framework":[41],"to":[42],"generate":[43],"models":[44],"simulation":[46],"and":[47,88],"verification.":[48],"Then,":[49],"auto-generate":[51],"embeddable":[52],"from":[54],"these":[55],"models.":[56],"empirically":[58],"demonstrate":[59],"using":[62],"tool":[65],"Charon,":[66],"domain":[69],"energy-efficient":[71],"lighting":[72,96],"control":[73],"smart":[75],"buildings.":[76],"The":[77],"paper":[78],"provides":[79],"detailed":[81],"description":[82],"generation":[86],"steps":[87],"outlines":[89],"some":[90],"results":[91],"obtained":[92],"through":[93],"simple":[95],"example.":[97]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1}],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2016-06-24T00:00:00"}