{"id":"https://openalex.org/W2998533264","doi":"https://doi.org/10.1515/auto-2019-0115","title":"Formale Methoden f\u00fcr rekonfigurierbare cyber-physische Systeme in der Produktion","display_name":"Formale Methoden f\u00fcr rekonfigurierbare cyber-physische Systeme in der Produktion","publication_year":2019,"publication_date":"2019-12-21","ids":{"openalex":"https://openalex.org/W2998533264","doi":"https://doi.org/10.1515/auto-2019-0115","mag":"2998533264"},"language":"de","primary_location":{"id":"doi:10.1515/auto-2019-0115","is_oa":true,"landing_page_url":"https://doi.org/10.1515/auto-2019-0115","pdf_url":"https://www.degruyter.com/document/doi/10.1515/auto-2019-0115/pdf","source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"at - Automatisierungstechnik","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://www.degruyter.com/document/doi/10.1515/auto-2019-0115/pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5073324670","display_name":"Marco Grochowski","orcid":"https://orcid.org/0000-0003-2964-6799"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Marco Grochowski","raw_affiliation_strings":["Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5004910713","display_name":"Hendrik Simon","orcid":"https://orcid.org/0000-0003-1575-9688"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Hendrik Simon","raw_affiliation_strings":["Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5056276944","display_name":"Dimitri Bohlender","orcid":"https://orcid.org/0000-0002-8591-501X"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Dimitri Bohlender","raw_affiliation_strings":["Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102831185","display_name":"Stefan Kowalewski","orcid":"https://orcid.org/0000-0002-7184-4804"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Stefan Kowalewski","raw_affiliation_strings":["Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Lehrstuhl Informatik 11 \u2013 Embedded Software , RWTH Aachen University , Ahornstra\u00dfe 55 , Aachen , Deutschland","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076163320","display_name":"Andreas L\u00f6cklin","orcid":"https://orcid.org/0000-0002-7474-0613"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Andreas L\u00f6cklin","raw_affiliation_strings":["Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101775107","display_name":"Timo M\u00fcller","orcid":"https://orcid.org/0000-0002-3189-4823"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Timo M\u00fcller","raw_affiliation_strings":["Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042926074","display_name":"Nasser Jazdi","orcid":"https://orcid.org/0000-0001-6722-0911"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Nasser Jazdi","raw_affiliation_strings":["Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5051672229","display_name":"Andreas Zeller","orcid":"https://orcid.org/0000-0003-4719-8803"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Zeller","raw_affiliation_strings":["Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland","institution_ids":["https://openalex.org/I100066346"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072168528","display_name":"Michael Weyrich","orcid":"https://orcid.org/0000-0003-3176-9288"},"institutions":[{"id":"https://openalex.org/I100066346","display_name":"University of Stuttgart","ror":"https://ror.org/04vnq7t77","country_code":"DE","type":"education","lineage":["https://openalex.org/I100066346"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael Weyrich","raw_affiliation_strings":["Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institut f\u00fcr Automatisierungstechnik und Softwaresysteme , Universit\u00e4t Stuttgart , Pfaffenwaldring 47 , Stuttgart , Deutschland","institution_ids":["https://openalex.org/I100066346"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5076163320"],"corresponding_institution_ids":["https://openalex.org/I100066346"],"apc_list":{"value":2400,"currency":"EUR","value_usd":2712},"apc_paid":null,"fwci":3.2427,"has_fulltext":true,"cited_by_count":23,"citation_normalized_percentile":{"value":0.92888927,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":99},"biblio":{"volume":"68","issue":"1","first_page":"3","last_page":"14"},"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.9994999766349792,"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.9994999766349792,"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/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9731000065803528,"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/T10763","display_name":"Digital Transformation in Industry","score":0.9552000164985657,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/gynecology","display_name":"Gynecology","score":0.5628986358642578},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.45465540885925293},{"id":"https://openalex.org/keywords/medicine","display_name":"Medicine","score":0.16081532835960388}],"concepts":[{"id":"https://openalex.org/C29456083","wikidata":"https://www.wikidata.org/wiki/Q1221899","display_name":"Gynecology","level":1,"score":0.5628986358642578},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.45465540885925293},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.16081532835960388}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1515/auto-2019-0115","is_oa":true,"landing_page_url":"https://doi.org/10.1515/auto-2019-0115","pdf_url":"https://www.degruyter.com/document/doi/10.1515/auto-2019-0115/pdf","source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"at - Automatisierungstechnik","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1515/auto-2019-0115","is_oa":true,"landing_page_url":"https://doi.org/10.1515/auto-2019-0115","pdf_url":"https://www.degruyter.com/document/doi/10.1515/auto-2019-0115/pdf","source":{"id":"https://openalex.org/S4210170077","display_name":"at - Automatisierungstechnik","issn_l":"0178-2312","issn":["0178-2312","2196-677X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319967","host_organization_name":"R. Oldenbourg Verlag","host_organization_lineage":["https://openalex.org/P4310319967"],"host_organization_lineage_names":["R. Oldenbourg Verlag"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"at - Automatisierungstechnik","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.6299999952316284,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2998533264.pdf","grobid_xml":"https://content.openalex.org/works/W2998533264.grobid-xml"},"referenced_works_count":33,"referenced_works":["https://openalex.org/W7895151","https://openalex.org/W181397639","https://openalex.org/W840438062","https://openalex.org/W1159006237","https://openalex.org/W1498432697","https://openalex.org/W1591856965","https://openalex.org/W1603317402","https://openalex.org/W1952893996","https://openalex.org/W1969550065","https://openalex.org/W1973822881","https://openalex.org/W1991491410","https://openalex.org/W2025983852","https://openalex.org/W2099729591","https://openalex.org/W2110837847","https://openalex.org/W2227958109","https://openalex.org/W2295310903","https://openalex.org/W2377086384","https://openalex.org/W2440985157","https://openalex.org/W2531283137","https://openalex.org/W2553984716","https://openalex.org/W2755316975","https://openalex.org/W2767874069","https://openalex.org/W2775431879","https://openalex.org/W2809689721","https://openalex.org/W2900767607","https://openalex.org/W2932074657","https://openalex.org/W2954513170","https://openalex.org/W2963723316","https://openalex.org/W4234983448","https://openalex.org/W4237018387","https://openalex.org/W4247605504","https://openalex.org/W4285719527","https://openalex.org/W4392494174"],"related_works":["https://openalex.org/W2935759653","https://openalex.org/W3105167352","https://openalex.org/W54078636","https://openalex.org/W2954470139","https://openalex.org/W1501425562","https://openalex.org/W2902782467","https://openalex.org/W3084825885","https://openalex.org/W2298861036","https://openalex.org/W3148032049","https://openalex.org/W2271181815"],"abstract_inverted_index":{"Zusammenfassung":[0],"Durch":[1],"zunehmende":[2],"Agilit\u00e4t":[3],"im":[4],"Entwicklungsprozess,":[5],"k\u00fcrzere":[6],"Lebenszyklen":[7],"und":[8,12,86],"sich":[9,34,55,78,87],"\u00e4ndernde":[10],"Kunden-":[11],"Gesetzgeberanforderungen":[13],"m\u00fcssen":[14],"Produktionssysteme":[15],"wandlungsf\u00e4hig":[16],"sein.":[17],"Aber":[18],"jede":[19],"Ver\u00e4nderung":[20],"des":[21,75],"Systemverhaltens":[22],"muss":[23],"anschlie\u00dfend":[24],"auch":[25],"erneut":[26],"abgesichert":[27],"werden.":[28],"Zur":[29,64],"Absicherung":[30,94],"sicherheitskritischer":[31],"Funktionen":[32],"eignen":[33],"formale":[35],"Verifikationsmethoden.":[36],"Allerdings":[37],"ist":[38],"hierzu":[39],"ein":[40],"hoher":[41],"Modellierungsaufwand":[42],"notwendig,":[43],"was":[44],"den":[45],"Einsatz":[46],"formaler":[47],"Verifikationsmethoden":[48],"in":[49,81],"der":[50,58,66],"Praxis":[51],"hemmt.":[52],"Zudem":[53],"empfiehlt":[54],"eine":[56,72],"\u00dcberpr\u00fcfung":[57],"zur":[59],"formalen":[60],"Verifikation":[61],"eingesetzten":[62],"Modelle.":[63],"Bew\u00e4ltigung":[65],"Herausforderungen":[67],"f\u00fcr":[68,91],"die":[69,71,92],"Absicherung,":[70],"Rekonfiguration":[73],"w\u00e4hrend":[74],"Betriebs":[76],"nach":[77],"zieht,":[79],"werden":[80],"diesem":[82],"Beitrag":[83],"zwei":[84],"vielversprechende":[85],"gegenseitig":[88],"erg\u00e4nzende":[89],"Ans\u00e4tze":[90],"lebenszyklus\u00fcbergreifende":[93],"von":[95],"Produktionssystemen":[96],"vorgestellt.":[97]},"counts_by_year":[{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":6},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":3}],"updated_date":"2026-08-21T09:56:20.448147","created_date":"2025-10-10T00:00:00"}