{"id":"https://openalex.org/W4414198839","doi":"https://doi.org/10.1109/mmar65820.2025.11150819","title":"Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring","display_name":"Validating the Design of CPS: Interfacing Simulations of Multi-Physics Components and Software with Contract-Based Monitoring","publication_year":2025,"publication_date":"2025-08-26","ids":{"openalex":"https://openalex.org/W4414198839","doi":"https://doi.org/10.1109/mmar65820.2025.11150819"},"language":"en","primary_location":{"id":"doi:10.1109/mmar65820.2025.11150819","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mmar65820.2025.11150819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 29th International Conference on Methods and Models in Automation and Robotics (MMAR)","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/A5110692202","display_name":"Friederike Bruns","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Friederike Bruns","raw_affiliation_strings":["Carl von Ossietzky Universität Oldenburg,Dept. of Computing Science,Germany"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universität Oldenburg,Dept. of Computing Science,Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033188238","display_name":"Francesco Tosoni","orcid":"https://orcid.org/0000-0003-3331-2935"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Francesco Tosoni","raw_affiliation_strings":["University of Verona,Dept. of Engineering IM,Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering IM,Italy","institution_ids":["https://openalex.org/I119439378"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5040796365","display_name":"Sven Mehlhop","orcid":"https://orcid.org/0009-0009-8614-1376"},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sven Mehlhop","raw_affiliation_strings":["OFFIS e.V. Institut für Informatik,Oldenburg,Germany"],"affiliations":[{"raw_affiliation_string":"OFFIS e.V. Institut für Informatik,Oldenburg,Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5088498976","display_name":"Andreas Rauh","orcid":"https://orcid.org/0000-0002-1548-6547"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andreas Rauh","raw_affiliation_strings":["Carl von Ossietzky Universität Oldenburg,Dept. of Computing Science,Germany"],"affiliations":[{"raw_affiliation_string":"Carl von Ossietzky Universität Oldenburg,Dept. of Computing Science,Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5070652829","display_name":"Sara Vinco","orcid":"https://orcid.org/0000-0001-9666-5194"},"institutions":[{"id":"https://openalex.org/I177477856","display_name":"Polytechnic University of Turin","ror":"https://ror.org/00bgk9508","country_code":"IT","type":"education","lineage":["https://openalex.org/I177477856"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Sara Vinco","raw_affiliation_strings":["Politecnico di Torino,Dept. of Control and Computer Engineering,Italy"],"affiliations":[{"raw_affiliation_string":"Politecnico di Torino,Dept. of Control and Computer Engineering,Italy","institution_ids":["https://openalex.org/I177477856"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5112526412","display_name":"J\u00f6rg Walter","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"J\u00f6rg Walter","raw_affiliation_strings":["OFFIS e.V. Institut für Informatik,Oldenburg,Germany"],"affiliations":[{"raw_affiliation_string":"OFFIS e.V. Institut für Informatik,Oldenburg,Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5080413334","display_name":"Frank Oppenheimer","orcid":null},"institutions":[{"id":"https://openalex.org/I202367325","display_name":"Oldenburger Institut f\u00fcr Informatik","ror":"https://ror.org/003sav189","country_code":"DE","type":"facility","lineage":["https://openalex.org/I202367325"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Frank Oppenheimer","raw_affiliation_strings":["OFFIS e.V. Institut für Informatik,Oldenburg,Germany"],"affiliations":[{"raw_affiliation_string":"OFFIS e.V. Institut für Informatik,Oldenburg,Germany","institution_ids":["https://openalex.org/I202367325"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5040302302","display_name":"Franco Fummi","orcid":"https://orcid.org/0000-0002-4404-5791"},"institutions":[{"id":"https://openalex.org/I119439378","display_name":"University of Verona","ror":"https://ror.org/039bp8j42","country_code":"IT","type":"education","lineage":["https://openalex.org/I119439378"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Franco Fummi","raw_affiliation_strings":["University of Verona,Dept. of Engineering IM,Italy"],"affiliations":[{"raw_affiliation_string":"University of Verona,Dept. of Engineering IM,Italy","institution_ids":["https://openalex.org/I119439378"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":8,"corresponding_author_ids":["https://openalex.org/A5110692202"],"corresponding_institution_ids":["https://openalex.org/I129877168"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.41814763,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"35","last_page":"40"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.49810001254081726,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.49810001254081726,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/interfacing","display_name":"Interfacing","score":0.675000011920929},{"id":"https://openalex.org/keywords/fault-tolerance","display_name":"Fault tolerance","score":0.5623000264167786},{"id":"https://openalex.org/keywords/fault-detection-and-isolation","display_name":"Fault detection and isolation","score":0.5501999855041504},{"id":"https://openalex.org/keywords/reliability","display_name":"Reliability (semiconductor)","score":0.545799970626831},{"id":"https://openalex.org/keywords/software-fault-tolerance","display_name":"Software fault tolerance","score":0.5349000096321106},{"id":"https://openalex.org/keywords/resilience","display_name":"Resilience (materials science)","score":0.5285000205039978},{"id":"https://openalex.org/keywords/fault","display_name":"Fault (geology)","score":0.4747999906539917},{"id":"https://openalex.org/keywords/fault-injection","display_name":"Fault injection","score":0.4587000012397766}],"concepts":[{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.7502999901771545},{"id":"https://openalex.org/C2776303644","wikidata":"https://www.wikidata.org/wiki/Q1020499","display_name":"Interfacing","level":2,"score":0.675000011920929},{"id":"https://openalex.org/C63540848","wikidata":"https://www.wikidata.org/wiki/Q3140932","display_name":"Fault tolerance","level":2,"score":0.5623000264167786},{"id":"https://openalex.org/C152745839","wikidata":"https://www.wikidata.org/wiki/Q5438153","display_name":"Fault detection and isolation","level":3,"score":0.5501999855041504},{"id":"https://openalex.org/C43214815","wikidata":"https://www.wikidata.org/wiki/Q7310987","display_name":"Reliability (semiconductor)","level":3,"score":0.545799970626831},{"id":"https://openalex.org/C50712370","wikidata":"https://www.wikidata.org/wiki/Q4269346","display_name":"Software fault tolerance","level":3,"score":0.5349000096321106},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.531499981880188},{"id":"https://openalex.org/C2779585090","wikidata":"https://www.wikidata.org/wiki/Q3457762","display_name":"Resilience (materials science)","level":2,"score":0.5285000205039978},{"id":"https://openalex.org/C175551986","wikidata":"https://www.wikidata.org/wiki/Q47089","display_name":"Fault (geology)","level":2,"score":0.4747999906539917},{"id":"https://openalex.org/C2775928411","wikidata":"https://www.wikidata.org/wiki/Q2041312","display_name":"Fault injection","level":3,"score":0.4587000012397766},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.43230000138282776},{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.4007999897003174},{"id":"https://openalex.org/C126953365","wikidata":"https://www.wikidata.org/wiki/Q5438152","display_name":"Fault coverage","level":3,"score":0.38510000705718994},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.36410000920295715},{"id":"https://openalex.org/C108074857","wikidata":"https://www.wikidata.org/wiki/Q3067360","display_name":"Fault management","level":3,"score":0.35740000009536743},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.3377000093460083},{"id":"https://openalex.org/C167391956","wikidata":"https://www.wikidata.org/wiki/Q1401211","display_name":"Fault model","level":3,"score":0.3328999876976013},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.32100000977516174},{"id":"https://openalex.org/C117447612","wikidata":"https://www.wikidata.org/wiki/Q1412670","display_name":"Software quality","level":4,"score":0.3206000030040741},{"id":"https://openalex.org/C203479927","wikidata":"https://www.wikidata.org/wiki/Q5165939","display_name":"Controller (irrigation)","level":2,"score":0.3197000026702881},{"id":"https://openalex.org/C79403827","wikidata":"https://www.wikidata.org/wiki/Q3988","display_name":"Real-time computing","level":1,"score":0.3149999976158142},{"id":"https://openalex.org/C163707989","wikidata":"https://www.wikidata.org/wiki/Q1996307","display_name":"Life-critical system","level":3,"score":0.3073999881744385},{"id":"https://openalex.org/C133731056","wikidata":"https://www.wikidata.org/wiki/Q4917288","display_name":"Control engineering","level":1,"score":0.2759999930858612},{"id":"https://openalex.org/C113863187","wikidata":"https://www.wikidata.org/wiki/Q17498","display_name":"SCADA","level":2,"score":0.2653999924659729},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.258899986743927},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.25440001487731934},{"id":"https://openalex.org/C2775846686","wikidata":"https://www.wikidata.org/wiki/Q643012","display_name":"Condition monitoring","level":2,"score":0.2515000104904175}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/mmar65820.2025.11150819","is_oa":false,"landing_page_url":"https://doi.org/10.1109/mmar65820.2025.11150819","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2025 29th International Conference on Methods and Models in Automation and Robotics (MMAR)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1178643701","https://openalex.org/W1914368550","https://openalex.org/W1994901326","https://openalex.org/W2022219508","https://openalex.org/W2050779443","https://openalex.org/W2052363833","https://openalex.org/W2071396426","https://openalex.org/W2127902188","https://openalex.org/W2140252453","https://openalex.org/W2152973316","https://openalex.org/W2172251322","https://openalex.org/W2898702847","https://openalex.org/W2899427356","https://openalex.org/W2909660179","https://openalex.org/W2914039358","https://openalex.org/W2916146303","https://openalex.org/W2965989144","https://openalex.org/W3035242395","https://openalex.org/W3084233697","https://openalex.org/W3092012490","https://openalex.org/W3098015864","https://openalex.org/W3112096957","https://openalex.org/W4230460640","https://openalex.org/W4231980343","https://openalex.org/W4312121070","https://openalex.org/W4312329654","https://openalex.org/W4312708710","https://openalex.org/W4390045129"],"related_works":[],"abstract_inverted_index":{"Ensuring":[0],"fault":[1,21,43,50,68,80,98,112],"tolerance":[2,51],"in":[3,73,100,110,115],"Cyber-Physical":[4],"Systems":[5],"(CPSs)":[6],"is":[7],"challenging":[8],"due":[9],"to":[10,30,48,125],"their":[11,32,119],"complexity":[12],"and":[13,24,34,45,70,82,92,118,129],"stringent":[14],"safety":[15],"requirements.":[16],"Modern":[17],"fault-tolerant":[18],"approaches":[19,29],"guarantee":[20],"detection,":[22],"isolation,":[23],"mitigation,":[25],"but":[26],"lack":[27],"systematic":[28],"prove":[31],"effectiveness":[33,109],"correctness.":[35],"This":[36,76],"paper":[37],"presents":[38],"a":[39],"simulation":[40],"framework":[41],"integrating":[42],"injection":[44],"contract-based":[46],"monitoring":[47,91],"validate":[49],"under":[52],"diverse":[53],"conditions.":[54],"Unlike":[55],"nominal":[56],"behavior-based":[57],"methods,":[58],"it":[59],"refines":[60],"contract":[61],"specifications":[62],"through":[63],"fault-driven":[64],"scenarios,":[65],"defining":[66],"acceptable":[67],"severity":[69],"enhancing":[71],"trust":[72],"detection":[74,81],"mechanisms.":[75],"approach":[77],"enables":[78],"early":[79],"precise":[83],"assessment":[84],"of":[85,131],"critical":[86],"components":[87,117],"by":[88],"supporting":[89],"continuous":[90],"allowing":[93],"prompt":[94],"corrective":[95],"actions,":[96],"improving":[97],"management":[99],"dynamic":[101],"environments.":[102],"A":[103],"proof-of-concept":[104],"implementation":[105],"demonstrates":[106],"the":[107,127],"framework's":[108],"assessing":[111],"impacts":[113],"both":[114],"multi-physics":[116],"controller":[120],"modules,":[121],"highlighting":[122],"its":[123],"potential":[124],"enhance":[126],"reliability":[128],"resilience":[130],"complex":[132],"CPSs.":[133]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-10-10T00:00:00"}