{"id":"https://openalex.org/W2062853608","doi":"https://doi.org/10.1109/indin.2012.6300900","title":"Runtime safety analysis for safe reconfiguration","display_name":"Runtime safety analysis for safe reconfiguration","publication_year":2012,"publication_date":"2012-07-01","ids":{"openalex":"https://openalex.org/W2062853608","doi":"https://doi.org/10.1109/indin.2012.6300900","mag":"2062853608"},"language":"en","primary_location":{"id":"doi:10.1109/indin.2012.6300900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2012.6300900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Industrial Informatics","raw_type":"proceedings-article"},"type":"article","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/A5014309709","display_name":"Claudia Priesterjahn","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Claudia Priesterjahn","raw_affiliation_strings":["Heinz Nixdorf Institute and Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","Heinz Nixdorf Institute and Department of Computer, Science, Software Engineering Group, University of Paderborn, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute and Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"Heinz Nixdorf Institute and Department of Computer, Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080822166","display_name":"Christian Heinzemann","orcid":"https://orcid.org/0000-0003-2144-6215"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Christian Heinzemann","raw_affiliation_strings":["Heinz Nixdorf Institute and Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","Heinz Nixdorf Institute and Department of Computer, Science, Software Engineering Group, University of Paderborn, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute and Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"Heinz Nixdorf Institute and Department of Computer, Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108428366","display_name":"Wilhelm Sch\u00e4fer","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Wilhelm Schafer","raw_affiliation_strings":["Heinz Nixdorf Institute and Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","Heinz Nixdorf Institute and Department of Computer, Science, Software Engineering Group, University of Paderborn, Paderborn, Germany"],"affiliations":[{"raw_affiliation_string":"Heinz Nixdorf Institute and Department of Computer Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"Heinz Nixdorf Institute and Department of Computer, Science, Software Engineering Group, University of Paderborn, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5043271427","display_name":"Matthias Tichy","orcid":"https://orcid.org/0000-0002-9067-3748"},"institutions":[{"id":"https://openalex.org/I66862912","display_name":"Chalmers University of Technology","ror":"https://ror.org/040wg7k59","country_code":"SE","type":"education","lineage":["https://openalex.org/I66862912"]}],"countries":["SE"],"is_corresponding":false,"raw_author_name":"Matthias Tichy","raw_affiliation_strings":["Software Engineering Division, Chalmers University of Technology and University of Gothenborg, Gothenburg, Sweden","Software Engineering Division, Chalmers University of Technology and University of Gothenborg, Gothenborg, Sweden"],"affiliations":[{"raw_affiliation_string":"Software Engineering Division, Chalmers University of Technology and University of Gothenborg, Gothenburg, Sweden","institution_ids":["https://openalex.org/I66862912"]},{"raw_affiliation_string":"Software Engineering Division, Chalmers University of Technology and University of Gothenborg, Gothenborg, Sweden","institution_ids":["https://openalex.org/I66862912"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5014309709"],"corresponding_institution_ids":["https://openalex.org/I206945453"],"apc_list":null,"apc_paid":null,"fwci":3.6964,"has_fulltext":false,"cited_by_count":13,"citation_normalized_percentile":{"value":0.925231,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"1092","last_page":"1097"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9995999932289124,"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"}},"topics":[{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9995999932289124,"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"}},{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9972000122070312,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9962999820709229,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/control-reconfiguration","display_name":"Control reconfiguration","score":0.7922519445419312},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6804277300834656},{"id":"https://openalex.org/keywords/component","display_name":"Component (thermodynamics)","score":0.6737595796585083},{"id":"https://openalex.org/keywords/mechatronics","display_name":"Mechatronics","score":0.5790113210678101},{"id":"https://openalex.org/keywords/system-safety","display_name":"System safety","score":0.5476552248001099},{"id":"https://openalex.org/keywords/adaptation","display_name":"Adaptation (eye)","score":0.5452057719230652},{"id":"https://openalex.org/keywords/life-critical-system","display_name":"Life-critical system","score":0.5275744199752808},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.49345913529396057},{"id":"https://openalex.org/keywords/runtime-verification","display_name":"Runtime verification","score":0.44990333914756775},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.42149463295936584},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.36624589562416077},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.34940657019615173},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.22575214505195618},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.200118750333786},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.16137200593948364},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.10820731520652771},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.07566550374031067}],"concepts":[{"id":"https://openalex.org/C119701452","wikidata":"https://www.wikidata.org/wiki/Q5165881","display_name":"Control reconfiguration","level":2,"score":0.7922519445419312},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6804277300834656},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.6737595796585083},{"id":"https://openalex.org/C28704281","wikidata":"https://www.wikidata.org/wiki/Q180165","display_name":"Mechatronics","level":2,"score":0.5790113210678101},{"id":"https://openalex.org/C132835097","wikidata":"https://www.wikidata.org/wiki/Q7663745","display_name":"System safety","level":2,"score":0.5476552248001099},{"id":"https://openalex.org/C139807058","wikidata":"https://www.wikidata.org/wiki/Q352374","display_name":"Adaptation (eye)","level":2,"score":0.5452057719230652},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.5275744199752808},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.49345913529396057},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.44990333914756775},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.42149463295936584},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.36624589562416077},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.34940657019615173},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.22575214505195618},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.200118750333786},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.16137200593948364},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.10820731520652771},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.07566550374031067},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","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/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","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/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/indin.2012.6300900","is_oa":false,"landing_page_url":"https://doi.org/10.1109/indin.2012.6300900","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE 10th International Conference on Industrial Informatics","raw_type":"proceedings-article"},{"id":"pmh:oai:research.chalmers.se:156798","is_oa":false,"landing_page_url":"https://research.chalmers.se/en/publication/156798","pdf_url":null,"source":{"id":"https://openalex.org/S4306402469","display_name":"Chalmers Research (Chalmers University of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66862912","host_organization_name":"Chalmers University of Technology","host_organization_lineage":["https://openalex.org/I66862912"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.46000000834465027,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320320879","display_name":"Deutsche Forschungsgemeinschaft","ror":"https://ror.org/018mejw64"},{"id":"https://openalex.org/F4320324816","display_name":"Universit\u00e4t Paderborn","ror":"https://ror.org/058kzsd48"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W85227700","https://openalex.org/W1508143344","https://openalex.org/W1518836114","https://openalex.org/W1570153265","https://openalex.org/W1577544661","https://openalex.org/W1771743772","https://openalex.org/W1882402176","https://openalex.org/W1999616773","https://openalex.org/W2011035257","https://openalex.org/W2033406822","https://openalex.org/W2065236943","https://openalex.org/W2133213925","https://openalex.org/W2145071552","https://openalex.org/W2739340209","https://openalex.org/W4285719527","https://openalex.org/W6603466071","https://openalex.org/W6631279444","https://openalex.org/W6639439284"],"related_works":["https://openalex.org/W610870253","https://openalex.org/W2536173650","https://openalex.org/W1981169586","https://openalex.org/W650512627","https://openalex.org/W2184478364","https://openalex.org/W2389909316","https://openalex.org/W2995934072","https://openalex.org/W2151392245","https://openalex.org/W2342977825","https://openalex.org/W2300671284"],"abstract_inverted_index":{"Modern":[0],"technical":[1],"systems":[2,30],"are":[3,64,150,156],"increasingly":[4],"built":[5],"to":[6,45,73,86,136],"exhibit":[7],"self-x":[8],"properties":[9],"as,":[10],"e.g.,":[11,59],"self-healing":[12],"or":[13,28],"self-optimization.":[14],"For":[15,121],"this,":[16,122],"they":[17],"require":[18],"adaptation":[19,42],"at":[20,66,129],"runtime.":[21,77],"This":[22],"is":[23,140],"even":[24],"true":[25],"for":[26,56],"embedded":[27],"mechatronic":[29],"which":[31],"often":[32],"operate":[33],"in":[34,91],"safety-critical":[35],"environments.":[36],"There,":[37],"the":[38,41,60,92,125],"effects":[39],"of":[40,80],"with":[43,112,134,146],"respect":[44,135],"safety":[46,57,70,82,106],"must":[47],"be":[48,74,99],"analyzed":[49],"carefully.":[50],"However,":[51],"not":[52,118,151],"all":[53],"parameters":[54],"needed":[55],"analyses,":[58],"concrete":[61],"system":[62,96,110,139],"architecture,":[63],"known":[65],"design":[67],"time.":[68],"Consequently,":[69],"analyses":[71],"need":[72],"executed":[75],"during":[76],"Current":[78],"approaches":[79],"runtime":[81,105,130],"analysis":[83,107],"typically":[84],"react":[85],"anomalies":[87],"that":[88,108,116,143],"already":[89],"occurred":[90],"system.":[93],"Thus,":[94],"unsafe":[95],"states":[97,111],"cannot":[98],"excluded":[100],"completely.":[101],"We":[102],"present":[103],"a":[104],"prevents":[109],"an":[113,147],"unacceptable":[114,148],"risk":[115,149],"have":[117],"yet":[119],"occurred.":[120],"we":[123],"generate":[124],"reachable":[126,152],"component":[127,144],"structures":[128,145],"and":[131,155],"analyze":[132],"them":[133],"risk.":[137],"The":[138],"modified":[141],"such":[142],"any":[153],"more":[154],"thus":[157],"prevented.":[158]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-03-13T16:22:10.518609","created_date":"2025-10-10T00:00:00"}