{"id":"https://openalex.org/W2084398705","doi":"https://doi.org/10.1109/indin.2009.5195890","title":"Model-driven diagnostics generation for industrial automation","display_name":"Model-driven diagnostics generation for industrial automation","publication_year":2009,"publication_date":"2009-06-01","ids":{"openalex":"https://openalex.org/W2084398705","doi":"https://doi.org/10.1109/indin.2009.5195890","mag":"2084398705"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2009.5195890","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2009.5195890","pdf_url":null,"source":null,"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"},"type":"conference-paper","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/A5035770881","display_name":"Marion Behrens","orcid":null},"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. Behrens","raw_affiliation_strings":["CCSL, Computer Science Department, University College Cork, Cork, Ireland","CCSL, Computer Science Department, University College Cork, 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, Ireland","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068963019","display_name":"Gregory Provan","orcid":"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, 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, Ireland","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064920153","display_name":"Menouer Boubekeur","orcid":null},"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, 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, Ireland","institution_ids":["https://openalex.org/I27577105"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5113485901","display_name":"Alie El\u2010Din Mady","orcid":null},"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, 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, 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":null,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"708","last_page":"714"},"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.9998999834060669,"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.9998999834060669,"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/T10142","display_name":"Formal Methods in Verification","score":0.9987000226974487,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11195","display_name":"Simulation Techniques and Applications","score":0.9975000023841858,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-transformation","display_name":"Model transformation","score":0.8028177618980408},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.7313727140426636},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7299952507019043},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6331114768981934},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5980002284049988},{"id":"https://openalex.org/keywords/model-driven-architecture","display_name":"Model-driven architecture","score":0.46329936385154724},{"id":"https://openalex.org/keywords/code-generation","display_name":"Code generation","score":0.4127481281757355},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.41152122616767883},{"id":"https://openalex.org/keywords/control-engineering","display_name":"Control engineering","score":0.3536287248134613},{"id":"https://openalex.org/keywords/industrial-engineering","display_name":"Industrial engineering","score":0.34096378087997437},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.21646684408187866},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21278217434883118},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.2039566934108734},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.14090001583099365},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.11880078911781311},{"id":"https://openalex.org/keywords/key","display_name":"Key (lock)","score":0.11746585369110107}],"concepts":[{"id":"https://openalex.org/C2779791154","wikidata":"https://www.wikidata.org/wiki/Q258040","display_name":"Model transformation","level":3,"score":0.8028177618980408},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.7313727140426636},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7299952507019043},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6331114768981934},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5980002284049988},{"id":"https://openalex.org/C509989072","wikidata":"https://www.wikidata.org/wiki/Q15188241","display_name":"Model-driven architecture","level":4,"score":0.46329936385154724},{"id":"https://openalex.org/C133162039","wikidata":"https://www.wikidata.org/wiki/Q1061077","display_name":"Code generation","level":3,"score":0.4127481281757355},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.41152122616767883},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.3536287248134613},{"id":"https://openalex.org/C13736549","wikidata":"https://www.wikidata.org/wiki/Q4489420","display_name":"Industrial engineering","level":1,"score":0.34096378087997437},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.21646684408187866},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21278217434883118},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.2039566934108734},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.14090001583099365},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.11880078911781311},{"id":"https://openalex.org/C26517878","wikidata":"https://www.wikidata.org/wiki/Q228039","display_name":"Key (lock)","level":2,"score":0.11746585369110107},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","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}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2009.5195890","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2009.5195890","pdf_url":null,"source":null,"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":[],"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":19,"referenced_works":["https://openalex.org/W81624730","https://openalex.org/W1573344143","https://openalex.org/W1797873548","https://openalex.org/W1991022893","https://openalex.org/W2003116861","https://openalex.org/W2009965218","https://openalex.org/W2020228538","https://openalex.org/W2026586559","https://openalex.org/W2058394712","https://openalex.org/W2060369194","https://openalex.org/W2107558091","https://openalex.org/W2110353864","https://openalex.org/W2120781855","https://openalex.org/W2138464849","https://openalex.org/W2139872812","https://openalex.org/W2162844904","https://openalex.org/W2163809935","https://openalex.org/W2973218851","https://openalex.org/W2997050146"],"related_works":["https://openalex.org/W2092963190","https://openalex.org/W2527313457","https://openalex.org/W1998356535","https://openalex.org/W2895477119","https://openalex.org/W2225770667","https://openalex.org/W1987485622","https://openalex.org/W1537332528","https://openalex.org/W4238101021","https://openalex.org/W2014446749","https://openalex.org/W2074142999"],"abstract_inverted_index":{"We":[0,36,50,71],"propose":[1],"a":[2,45,53,58,63],"methodology":[3],"for":[4,13,83],"overcoming":[5],"the":[6,18,79],"current":[7],"approach":[8,74],"of":[9,81],"writing":[10],"diagnostics":[11,34,43,65],"code":[12],"industrial":[14],"automation":[15],"applications":[16],"after":[17],"system":[19],"is":[20],"designed,":[21],"which":[22],"results":[23],"in":[24],"significant":[25],"extra":[26],"effort/cost,":[27],"and":[28,33],"potential":[29],"discrepancies":[30],"between":[31],"design":[32],"output.":[35],"show":[37,51],"how":[38,52],"we":[39],"can":[40,56],"automatically":[41],"generate":[42],"from":[44,78],"more":[46],"complex":[47],"simulation":[48,60],"model.":[49],"model-transformation":[54],"framework":[55],"transform":[57],"hybrid-systems":[59],"model":[61,66],"into":[62],"propositional-logic":[64],"with":[67,75],"appropriate":[68],"transformation":[69],"rules.":[70],"illustrate":[72],"our":[73],"an":[76],"example":[77],"domain":[80],"control":[82],"building":[84],"lighting":[85],"systems.":[86]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2014,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}