{"id":"https://openalex.org/W2557166381","doi":"https://doi.org/10.1109/isam.2016.7750714","title":"A verification-supported evolution approach to assist software application engineers in industrial factory automation","display_name":"A verification-supported evolution approach to assist software application engineers in industrial factory automation","publication_year":2016,"publication_date":"2016-08-01","ids":{"openalex":"https://openalex.org/W2557166381","doi":"https://doi.org/10.1109/isam.2016.7750714","mag":"2557166381"},"language":"en","primary_location":{"id":"doi:10.1109/isam.2016.7750714","doi":"https://doi.org/10.1109/isam.2016.7750714","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isam.2016.7750714","pdf_url":null,"source":{"id":"https://openalex.org/S4306418750","display_name":"IEEE International Symposium on Assembly and Manufacturing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"2016 IEEE International Symposium on Assembly and Manufacturing (ISAM)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://mediatum.ub.tum.de/node?id=1328570","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5064624689","display_name":"Sebastian Ulewicz","orcid":"https://orcid.org/0000-0003-4780-3735","observed_orcids":["https://orcid.org/0000-0003-4780-3735"]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Ulewicz","raw_affiliation_strings":["Technical University of Munich, Institute of Automation and Information Systems, Garching near Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Institute of Automation and Information Systems, Garching near Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039009530","display_name":"Mattias Ulbrich","orcid":"https://orcid.org/0000-0002-2350-1831","observed_orcids":["https://orcid.org/0000-0002-2350-1831"]},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Mattias Ulbrich","raw_affiliation_strings":["Karlsruhe Institute of Technology, Institute of Theoretical Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Institute of Theoretical Informatics","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067871787","display_name":"Alexander Weigl","orcid":"https://orcid.org/0000-0001-8446-4598","observed_orcids":["https://orcid.org/0000-0001-8446-4598"]},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Alexander Weigl","raw_affiliation_strings":["Karlsruhe Institute of Technology, Institute of Theoretical Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Institute of Theoretical Informatics","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5087841229","display_name":"Michael Kirsten","orcid":"https://orcid.org/0000-0001-9816-1504","observed_orcids":["https://orcid.org/0000-0001-9816-1504"]},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Kirsten","raw_affiliation_strings":["Karlsruhe Institute of Technology, Institute of Theoretical Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Institute of Theoretical Informatics","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057633266","display_name":"Franziska Wiebe","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Franziska Wiebe","raw_affiliation_strings":["Technical University of Munich, Institute of Automation and Information Systems, Garching near Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Institute of Automation and Information Systems, Garching near Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003024686","display_name":"Bernhard Beckert","orcid":"https://orcid.org/0000-0002-9672-3291","observed_orcids":["https://orcid.org/0000-0002-9672-3291"]},"institutions":[{"id":"https://openalex.org/I102335020","display_name":"Karlsruhe Institute of Technology","ror":"https://ror.org/04t3en479","country_code":"DE","type":"education","lineage":["https://openalex.org/I102335020","https://openalex.org/I1305996414"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Bernhard Beckert","raw_affiliation_strings":["Karlsruhe Institute of Technology, Institute of Theoretical Informatics"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Karlsruhe Institute of Technology, Institute of Theoretical Informatics","institution_ids":["https://openalex.org/I102335020"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5071323487","display_name":"Birgit Vogel\u2010Heuser","orcid":"https://orcid.org/0000-0003-2785-8819","observed_orcids":["https://orcid.org/0000-0003-2785-8819"]},"institutions":[{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Birgit Vogel-Heuser","raw_affiliation_strings":["Technical University of Munich, Institute of Automation and Information Systems, Garching near Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Munich, Institute of Automation and Information Systems, Garching near Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.3325,"has_fulltext":false,"cited_by_count":10,"citation_normalized_percentile":{"value":0.89079773,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"19","last_page":"25"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9804999828338623,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9804999828338623,"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/T10126","display_name":"Logic, programming, and type systems","score":0.006599999964237213,"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"}},{"id":"https://openalex.org/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.0017999999690800905,"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/automated-manufacturing-systems","display_name":"industrial automation systems","score":0.7739999890327454},{"id":"https://openalex.org/keywords/formal-verification","display_name":"formal verification","score":0.7620000243186951},{"id":"https://openalex.org/keywords/regression-verification","display_name":"regression verification","score":0.7250000238418579},{"id":"https://openalex.org/keywords/software-evolution","display_name":"software evolution","score":0.7350000143051147},{"id":"https://openalex.org/keywords/specification-reuse","display_name":"specification reuse","score":0.625},{"id":"https://openalex.org/keywords/industrial-software-engineering","display_name":"industrial software development","score":0.5559999942779541}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7223179936408997},{"id":"https://openalex.org/C142284323","wikidata":"https://www.wikidata.org/wiki/Q7921323","display_name":"Verification","level":5,"score":0.6877078413963318},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6124712824821472},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.5633814930915833},{"id":"https://openalex.org/C3406870","wikidata":"https://www.wikidata.org/wiki/Q6044160","display_name":"Intelligent verification","level":5,"score":0.541344165802002},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5380864143371582},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5295701026916504},{"id":"https://openalex.org/C48002344","wikidata":"https://www.wikidata.org/wiki/Q2919644","display_name":"Verification and validation","level":2,"score":0.5099951028823853},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5064862966537476},{"id":"https://openalex.org/C33054407","wikidata":"https://www.wikidata.org/wiki/Q6504747","display_name":"Software verification","level":5,"score":0.5001599788665771},{"id":"https://openalex.org/C115901376","wikidata":"https://www.wikidata.org/wiki/Q184199","display_name":"Automation","level":2,"score":0.4967699646949768},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.4590730667114258},{"id":"https://openalex.org/C202973057","wikidata":"https://www.wikidata.org/wiki/Q7380130","display_name":"Runtime verification","level":3,"score":0.4567874073982239},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.43801388144493103},{"id":"https://openalex.org/C40149104","wikidata":"https://www.wikidata.org/wiki/Q5620977","display_name":"Factory (object-oriented programming)","level":2,"score":0.4262157082557678},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.40732234716415405},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.3938455283641815},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.38063639402389526},{"id":"https://openalex.org/C186846655","wikidata":"https://www.wikidata.org/wiki/Q3398377","display_name":"Software construction","level":4,"score":0.3007616400718689},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.26266229152679443},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.1791599988937378},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.16726818680763245},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","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/C78519656","wikidata":"https://www.wikidata.org/wiki/Q101333","display_name":"Mechanical engineering","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}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/isam.2016.7750714","doi":"https://doi.org/10.1109/isam.2016.7750714","is_oa":false,"landing_page_url":"https://doi.org/10.1109/isam.2016.7750714","pdf_url":null,"source":{"id":"https://openalex.org/S4306418750","display_name":"IEEE International Symposium on Assembly and Manufacturing","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":"2016 IEEE International Symposium on Assembly and Manufacturing (ISAM)","raw_type":"proceedings-article"},{"id":"pmh:oai:EVASTAR-Karlsruhe.de:1000064991","doi":null,"is_oa":false,"landing_page_url":"https://publikationen.bibliothek.kit.edu/1000064991","pdf_url":null,"source":{"id":"https://openalex.org/S4306401992","display_name":"Repository KITopen (Karlsruhe Institute of Technology)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102335020","host_organization_name":"Karlsruhe Institute of Technology","host_organization_lineage":["https://openalex.org/I102335020"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"doc-type:conferenceObject"},{"id":"pmh:oai:mediatum.ub.tum.de:node/1328570","doi":null,"is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1328570","pdf_url":null,"source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"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":"","raw_type":"article"},{"id":"doi:10.5445/ir/1000064991","doi":"https://doi.org/10.5445/ir/1000064991","is_oa":true,"landing_page_url":"https://doi.org/10.5445/ir/1000064991","pdf_url":null,"source":{"id":"https://openalex.org/S7407052948","display_name":"KITopen","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I102335020","host_organization_name":"Karlsruhe Institute of Technology","host_organization_lineage":["https://openalex.org/I102335020"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"pmh:oai:mediatum.ub.tum.de:node/1328570","doi":null,"is_oa":true,"landing_page_url":"http://mediatum.ub.tum.de/node?id=1328570","pdf_url":null,"source":{"id":"https://openalex.org/S4306400453","display_name":"mediaTUM \u2013 the media and publications repository of the Technical University Munich (Technical University Munich)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I62916508","host_organization_name":"Technical University of Munich","host_organization_lineage":["https://openalex.org/I62916508"],"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":"","raw_type":"article"},"sustainable_development_goals":[{"score":0.651199996471405,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W36372577","https://openalex.org/W138155172","https://openalex.org/W198918365","https://openalex.org/W1159006237","https://openalex.org/W1549166962","https://openalex.org/W1591386601","https://openalex.org/W1640728868","https://openalex.org/W1771925833","https://openalex.org/W1919030086","https://openalex.org/W1946688542","https://openalex.org/W1952893996","https://openalex.org/W1983327858","https://openalex.org/W1991491410","https://openalex.org/W2016114133","https://openalex.org/W2039014400","https://openalex.org/W2063314113","https://openalex.org/W2067871120","https://openalex.org/W2080221300","https://openalex.org/W2085782116","https://openalex.org/W2101211404","https://openalex.org/W2105919193","https://openalex.org/W2124066057","https://openalex.org/W2134413894","https://openalex.org/W2179736478","https://openalex.org/W2295310903","https://openalex.org/W2535627560","https://openalex.org/W2537616282","https://openalex.org/W2544259300","https://openalex.org/W2749779701","https://openalex.org/W3138459719"],"related_works":["https://openalex.org/W2905439989","https://openalex.org/W2953604727","https://openalex.org/W1614343877","https://openalex.org/W7125977664","https://openalex.org/W15760131","https://openalex.org/W2899264388","https://openalex.org/W2121843816","https://openalex.org/W2401770164","https://openalex.org/W135423041","https://openalex.org/W4399876769"],"abstract_inverted_index":{"Automated":[0],"production":[1],"systems":[2,6],"(aPS)":[3],"are":[4,111],"complex":[5],"with":[7,42],"high":[8],"reliability":[9],"standards":[10],"which":[11],"can":[12],"-":[13,18],"besides":[14],"through":[15],"traditional":[16],"testing":[17],"be":[19,100],"ensured":[20],"by":[21,38,102,146],"verification":[22,81,85,153],"using":[23],"formal":[24,40],"methods.":[25],"In":[26],"this":[27],"paper":[28,138],"we":[29],"present":[30],"a":[31],"development":[32,60,124],"process":[33],"for":[34,74],"aPS":[35,51,63,103,123,163],"software":[36,104],"supported":[37],"efficient":[39],"techniques":[41],"easy-to-use":[43],"specification":[44,73,92,109,135],"formalisms":[45],"to":[46,58,99,142,148,154],"increase":[47],"applicability":[48,160],"in":[49,121,161],"the":[50,59,75,157,162,171,176],"engineering":[52,164],"domain.":[53,165],"Our":[54],"approach":[55,78,96,177],"is":[56,70,97],"tailored":[57],"of":[61,67,86,159,175],"evolving":[62],"as":[64,72],"existing":[65,149],"behavior":[66,150],"earlier":[68],"revisions":[69],"reused":[71],"verification.":[76,94],"The":[77,95],"covers":[79],"three":[80],"phases:":[82],"regression":[83],"verification,":[84],"critical":[87],"interlock":[88],"invariants":[89],"and":[90,93,130,133,173,178],"delta":[91],"designed":[98],"comprehensible":[101,134],"engineers:":[105],"Two":[106],"practically":[107],"applicable":[108],"means":[110],"presented.":[112],"Formal":[113],"methods":[114],"have":[115],"not":[116],"yet":[117],"been":[118],"widely":[119],"adapted":[120],"industrial":[122],"since":[125],"they":[126],"lack":[127],"(a)":[128],"scalability,":[129],"(b)":[131],"concise":[132],"means.":[136],"This":[137],"shows":[139,179],"concepts":[140],"how":[141],"tackle":[143],"both":[144],"issues":[145],"referring":[147],"during":[151],"evolution":[152],"advance":[155],"towards":[156],"goal":[158],"A":[166],"laboratory":[167],"case":[168],"study":[169],"demonstrates":[170],"feasibility":[172],"performance":[174],"promising":[180],"results.":[181]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3}],"updated_date":"2026-10-16T09:59:22.235173","created_date":"2016-11-30T00:00:00"}