{"id":"https://openalex.org/W1659594907","doi":"https://doi.org/10.1109/indin.2015.7281773","title":"A hierarchical domain model for safety-critical cyber-physical systems in process automation","display_name":"A hierarchical domain model for safety-critical cyber-physical systems in process automation","publication_year":2015,"publication_date":"2015-07-01","ids":{"openalex":"https://openalex.org/W1659594907","doi":"https://doi.org/10.1109/indin.2015.7281773","mag":"1659594907"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2015.7281773","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2015.7281773","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","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/A5014088349","display_name":"Dirk Kuschnerus","orcid":null},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dirk Kuschnerus","raw_affiliation_strings":["Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum Bochum, Germany","[Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum, Bochum, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]},{"raw_affiliation_string":"[Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum, Bochum, Germany]","institution_ids":["https://openalex.org/I904495901"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087228036","display_name":"Attila Bilgic","orcid":"https://orcid.org/0000-0002-7157-6432"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Attila Bilgic","raw_affiliation_strings":["KROHNE Messtechnik GmbH Duisburg, Germany","KROHNE Messtechnik GmbH, Duisburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KROHNE Messtechnik GmbH Duisburg, Germany","institution_ids":[]},{"raw_affiliation_string":"KROHNE Messtechnik GmbH, Duisburg, Germany","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045336064","display_name":"Felix Bruns","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Felix Bruns","raw_affiliation_strings":["KROHNE Messtechnik GmbH Duisburg, Germany","KROHNE Messtechnik GmbH, Duisburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"KROHNE Messtechnik GmbH Duisburg, Germany","institution_ids":[]},{"raw_affiliation_string":"KROHNE Messtechnik GmbH, Duisburg, Germany","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5023580518","display_name":"Thomas Musch","orcid":"https://orcid.org/0000-0002-3924-0883"},"institutions":[{"id":"https://openalex.org/I904495901","display_name":"Ruhr University Bochum","ror":"https://ror.org/04tsk2644","country_code":"DE","type":"education","lineage":["https://openalex.org/I904495901"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Thomas Musch","raw_affiliation_strings":["Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum Bochum, Germany","[Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum, Bochum, Germany]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum Bochum, Germany","institution_ids":["https://openalex.org/I904495901"]},{"raw_affiliation_string":"[Institute of Electronic Circuits, Ruhr-Universit\u00e4t Bochum, Bochum, Germany]","institution_ids":["https://openalex.org/I904495901"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"430","last_page":"436"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/2209","display_name":"Industrial and Manufacturing Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10917","display_name":"Smart Grid Security and Resilience","score":0.996399998664856,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems Engineering"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.989799976348877,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.8736931681632996},{"id":"https://openalex.org/keywords/automation","display_name":"Automation","score":0.749199628829956},{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.6529868841171265},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.6466606855392456},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5842521786689758},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5824944972991943},{"id":"https://openalex.org/keywords/automotive-industry","display_name":"Automotive industry","score":0.4907918870449066},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.4738495945930481},{"id":"https://openalex.org/keywords/process-automation-system","display_name":"Process automation system","score":0.43545979261398315},{"id":"https://openalex.org/keywords/risk-analysis","display_name":"Risk analysis (engineering)","score":0.3746581971645355},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.3477519154548645},{"id":"https://openalex.org/keywords/computer-security","display_name":"Computer security","score":0.34402191638946533},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.19824358820915222},{"id":"https://openalex.org/keywords/business","display_name":"Business","score":0.09462928771972656}],"concepts":[{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.8736931681632996},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.749199628829956},{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.6529868841171265},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.6466606855392456},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5842521786689758},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5824944972991943},{"id":"https://openalex.org/C526921623","wikidata":"https://www.wikidata.org/wiki/Q190117","display_name":"Automotive industry","level":2,"score":0.4907918870449066},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.4738495945930481},{"id":"https://openalex.org/C21457203","wikidata":"https://www.wikidata.org/wiki/Q4056293","display_name":"Process automation system","level":3,"score":0.43545979261398315},{"id":"https://openalex.org/C112930515","wikidata":"https://www.wikidata.org/wiki/Q4389547","display_name":"Risk analysis (engineering)","level":1,"score":0.3746581971645355},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3477519154548645},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.34402191638946533},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.19824358820915222},{"id":"https://openalex.org/C144133560","wikidata":"https://www.wikidata.org/wiki/Q4830453","display_name":"Business","level":0,"score":0.09462928771972656},{"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/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/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/indin.2015.7281773","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2015.7281773","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2015 IEEE 13th International Conference on Industrial Informatics (INDIN)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":33,"referenced_works":["https://openalex.org/W4214443","https://openalex.org/W76654676","https://openalex.org/W119592666","https://openalex.org/W193681383","https://openalex.org/W1595871524","https://openalex.org/W1969293922","https://openalex.org/W2005140205","https://openalex.org/W2029288475","https://openalex.org/W2029843014","https://openalex.org/W2031837756","https://openalex.org/W2033331833","https://openalex.org/W2063123010","https://openalex.org/W2077099824","https://openalex.org/W2117435128","https://openalex.org/W2147340401","https://openalex.org/W2149713648","https://openalex.org/W2169239645","https://openalex.org/W2189661469","https://openalex.org/W2250339111","https://openalex.org/W2269816731","https://openalex.org/W2295479667","https://openalex.org/W2523515454","https://openalex.org/W2562670940","https://openalex.org/W3189981105","https://openalex.org/W6600182073","https://openalex.org/W6603068416","https://openalex.org/W6604822957","https://openalex.org/W6607872026","https://openalex.org/W6657949775","https://openalex.org/W6658142182","https://openalex.org/W6726980479","https://openalex.org/W6731095301","https://openalex.org/W7058182466"],"related_works":["https://openalex.org/W2381742191","https://openalex.org/W2390581407","https://openalex.org/W2384002254","https://openalex.org/W2167610914","https://openalex.org/W2204392445","https://openalex.org/W4387011833","https://openalex.org/W2365103596","https://openalex.org/W4248723619","https://openalex.org/W2380790276","https://openalex.org/W2907978340"],"abstract_inverted_index":{"Cyber-physical":[0],"systems":[1,42],"(CPS)":[2],"integrate":[3],"computation":[4],"with":[5],"physical":[6,56],"processes.":[7],"For":[8],"the":[9,16,55,71,77,85,93,101],"last":[10],"years,":[11],"CPS":[12,37,51,66,88,94,116,127],"have":[13,67],"been":[14],"in":[15,24,80,117],"focus":[17],"of":[18,36,41,65,87,103],"research":[19,62],"and":[20,31,46,63],"are":[21],"getting":[22],"adopted":[23],"multiple":[25],"domains":[26],"like":[27],"health":[28],"care,":[29],"automotive":[30],"smart":[32],"factories.":[33],"The":[34],"use":[35],"promises":[38],"dynamic":[39],"adaption":[40],"to":[43,68,90,98,121],"changing":[44],"environmental":[45],"economic":[47],"conditions":[48],"through":[49],"autonomous":[50,105],"decisions":[52],"based":[53],"on":[54],"process.":[57],"In":[58],"industrial":[59,118],"process":[60,91,119],"automation,":[61,92],"adoption":[64],"account":[69],"for":[70,114,125],"severe":[72],"safety":[73,102],"restrictions":[74],"that":[75],"dominate":[76],"system":[78],"design":[79],"this":[81],"domain.":[82],"To":[83],"transfer":[84],"benefits":[86],"application":[89],"must":[95],"be":[96],"able":[97],"formally":[99],"verify":[100],"its":[104],"reconfiguration":[106],"decisions.":[107],"This":[108],"paper":[109],"proposes":[110],"a":[111],"domain":[112],"model":[113],"safety-critical":[115],"automation":[120],"serve":[122],"as":[123],"foundation":[124],"formal":[126],"algorithms.":[128]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2019,"cited_by_count":3},{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}