{"id":"https://openalex.org/W4312852315","doi":"https://doi.org/10.1109/access.2022.3225399","title":"Adaptive Model Verification for Modularized Industry 4.0 Applications","display_name":"Adaptive Model Verification for Modularized Industry 4.0 Applications","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4312852315","doi":"https://doi.org/10.1109/access.2022.3225399"},"language":"en","primary_location":{"id":"doi:10.1109/access.2022.3225399","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3225399","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09965400.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09965400.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5100393253","display_name":"Xin Xin","orcid":"https://orcid.org/0000-0003-4703-7356"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Xin Xin","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, U.K","School of Computing Science, University of Glasgow, Glasgow, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-4703-7356","affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, U.K","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039662039","display_name":"Sye Loong Keoh","orcid":"https://orcid.org/0000-0003-3640-5010"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Sye Loong Keoh","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, U.K","School of Computing Science, University of Glasgow, Glasgow, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0003-3640-5010","affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, U.K","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5042005513","display_name":"Michele Sevegnani","orcid":"https://orcid.org/0000-0001-6773-9481"},"institutions":[{"id":"https://openalex.org/I7882870","display_name":"University of Glasgow","ror":"https://ror.org/00vtgdb53","country_code":"GB","type":"education","lineage":["https://openalex.org/I7882870"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Michele Sevegnani","raw_affiliation_strings":["School of Computing Science, University of Glasgow, Glasgow, U.K","School of Computing Science, University of Glasgow, Glasgow, United Kingdom"],"raw_orcid":"https://orcid.org/0000-0001-6773-9481","affiliations":[{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, U.K","institution_ids":["https://openalex.org/I7882870"]},{"raw_affiliation_string":"School of Computing Science, University of Glasgow, Glasgow, United Kingdom","institution_ids":["https://openalex.org/I7882870"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033579624","display_name":"Martin Saerbeck","orcid":"https://orcid.org/0000-0001-5664-5586"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martin Saerbeck","raw_affiliation_strings":["Digital Service, TÜV SÜD Asia Pacific, International Business Park, Singapore"],"raw_orcid":"https://orcid.org/0000-0001-5664-5586","affiliations":[{"raw_affiliation_string":"Digital Service, TÜV SÜD Asia Pacific, International Business Park, Singapore","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5035558228","display_name":"Teck Ping Khoo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Teck Ping Khoo","raw_affiliation_strings":["Digital Service, TÜV SÜD Asia Pacific, International Business Park, Singapore"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Digital Service, TÜV SÜD Asia Pacific, International Business Park, Singapore","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":0.7547,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.69316891,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"10","issue":null,"first_page":"125353","last_page":"125364"},"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.9983999729156494,"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.9983999729156494,"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/T11741","display_name":"Flexible and Reconfigurable Manufacturing Systems","score":0.996999979019165,"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/T10142","display_name":"Formal Methods in Verification","score":0.9969000220298767,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.801278829574585},{"id":"https://openalex.org/keywords/modular-design","display_name":"Modular design","score":0.6634230613708496},{"id":"https://openalex.org/keywords/flexibility","display_name":"Flexibility (engineering)","score":0.5054202079772949},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.48525476455688477},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4426790773868561},{"id":"https://openalex.org/keywords/data-verification","display_name":"Data verification","score":0.43732383847236633},{"id":"https://openalex.org/keywords/formal-verification","display_name":"Formal verification","score":0.43609827756881714},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.41166603565216064},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.40087464451789856},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.367317259311676},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.34748804569244385},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3398579955101013},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.13171467185020447}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.801278829574585},{"id":"https://openalex.org/C101468663","wikidata":"https://www.wikidata.org/wiki/Q1620158","display_name":"Modular design","level":2,"score":0.6634230613708496},{"id":"https://openalex.org/C2780598303","wikidata":"https://www.wikidata.org/wiki/Q65921492","display_name":"Flexibility (engineering)","level":2,"score":0.5054202079772949},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.48525476455688477},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4426790773868561},{"id":"https://openalex.org/C49895821","wikidata":"https://www.wikidata.org/wiki/Q5227368","display_name":"Data verification","level":2,"score":0.43732383847236633},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.43609827756881714},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.41166603565216064},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.40087464451789856},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.367317259311676},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.34748804569244385},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3398579955101013},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.13171467185020447},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1109/access.2022.3225399","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3225399","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09965400.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:eprints.gla.ac.uk:286059","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4210235606","display_name":"ENLIGHTEN (Jurnal Bimbingan dan Konseling Islam)","issn_l":"2622-8912","issn":["2622-8912","2622-8920"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"acceptedVersion","is_accepted":true,"is_published":false,"raw_source_name":"","raw_type":"Articles"},{"id":"pmh:oai:doaj.org/article:53d15f8b74f7478993e626d837382d43","is_oa":true,"landing_page_url":"https://doaj.org/article/53d15f8b74f7478993e626d837382d43","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 10, Pp 125353-125364 (2022)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2022.3225399","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2022.3225399","pdf_url":"https://ieeexplore.ieee.org/ielx7/6287639/6514899/09965400.pdf","source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","score":0.550000011920929,"display_name":"Industry, innovation and infrastructure"}],"awards":[{"id":"https://openalex.org/G1257459233","display_name":"Verifying Interoperability Requirements in Pervasive Systems","funder_award_id":"EP/F033206/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G521268540","display_name":"PETRAS 2","funder_award_id":"EP/S035362/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G5212835721","display_name":null,"funder_award_id":"EP/F033206/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320320742","display_name":"Economic Development Board - Singapore","ror":"https://ror.org/02nqj0b62"},{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4312852315.pdf","grobid_xml":"https://content.openalex.org/works/W4312852315.grobid-xml"},"referenced_works_count":40,"referenced_works":["https://openalex.org/W93306303","https://openalex.org/W175120007","https://openalex.org/W1489725951","https://openalex.org/W1590463358","https://openalex.org/W1862398452","https://openalex.org/W2003827925","https://openalex.org/W2005998857","https://openalex.org/W2007072455","https://openalex.org/W2049768769","https://openalex.org/W2076337359","https://openalex.org/W2111765806","https://openalex.org/W2127240436","https://openalex.org/W2133859873","https://openalex.org/W2150015649","https://openalex.org/W2161252702","https://openalex.org/W2162130878","https://openalex.org/W2285521038","https://openalex.org/W2346648140","https://openalex.org/W2485044463","https://openalex.org/W2568156289","https://openalex.org/W2752596881","https://openalex.org/W2752666516","https://openalex.org/W2764136893","https://openalex.org/W2810084952","https://openalex.org/W2811266402","https://openalex.org/W2889545727","https://openalex.org/W2912640545","https://openalex.org/W2945357379","https://openalex.org/W2951740426","https://openalex.org/W3022362085","https://openalex.org/W3022757405","https://openalex.org/W3044281881","https://openalex.org/W3085344455","https://openalex.org/W3087828736","https://openalex.org/W3088963635","https://openalex.org/W3098812810","https://openalex.org/W3109937781","https://openalex.org/W3111234428","https://openalex.org/W3176169682","https://openalex.org/W6781220640"],"related_works":["https://openalex.org/W3004173571","https://openalex.org/W3019776739","https://openalex.org/W2546638913","https://openalex.org/W2209816623","https://openalex.org/W2968885840","https://openalex.org/W2378076731","https://openalex.org/W2080885082","https://openalex.org/W4254960297","https://openalex.org/W2140586641","https://openalex.org/W2013077575"],"abstract_inverted_index":{"Cyber-Physical":[0],"Systems":[1],"(CPSs)":[2],"are":[3,61],"the":[4,38,42,45,69,75,79,114,119],"core":[5],"of":[6,23,27,44,72,91,118,130],"Industry":[7],"4.0":[8],"applications,":[9],"integrating":[10],"advanced":[11],"technologies":[12],"such":[13,100],"as":[14,97,101,108],"sensing,":[15],"data":[16,36],"analytics,":[17],"and":[18,30,53,116,152,174],"artificial":[19],"intelligence.":[20],"This":[21],"kind":[22],"combination":[24],"typically":[25,88],"consists":[26],"networked":[28],"sensors":[29,46],"decision-making":[31],"processes":[32,87],"in":[33],"which":[34,112],"sensor-generated":[35],"drive":[37],"control":[39],"decisions.":[40],"Hence,":[41],"trustworthiness":[43],"is":[47,83,123],"essential":[48],"to":[49,126],"guarantee":[50],"performance,":[51],"safety":[52],"quality":[54],"during":[55],"operation.":[56],"Formal":[57],"model":[58,156],"verification":[59,141],"techniques":[60],"a":[62,98,109,139,182],"valuable":[63],"tool":[64],"allowing":[65],"strong":[66],"reasoning":[67,169],"about":[68],"high-level":[70],"design":[71],"CPSs.":[73],"However,":[74],"uncertainty":[76],"exhibited":[77],"by":[78],"underlying":[80],"sensor":[81,164],"networks":[82],"often":[84],"ignored.":[85],"Manufacturing":[86],"involve":[89],"composition":[90],"various":[92],"modular":[93,144],"CPSs":[94,145],"that":[95,146],"work":[96],"whole,":[99],"multiple":[102],"Collaborative":[103],"Robots":[104],"(cobots)":[105],"working":[106],"together":[107],"production":[110,120],"line,":[111],"improves":[113],"flexibility":[115],"resilience":[117],"process.":[121,185],"It":[122],"still":[124],"challenging":[125],"verify":[127],"this":[128],"class":[129],"compositional":[131],"process":[132],"while":[133],"also":[134],"considering":[135],"uncertainty.":[136],"We":[137,177],"propose":[138],"novel":[140],"framework":[142,160],"for":[143,170],"combines":[147],"sensor-level":[148],"data-driven":[149],"fault":[150],"detection":[151],"system-level":[153],"model-driven":[154],"probabilistic":[155],"checking.":[157],"The":[158],"resulting":[159],"can":[161],"rigorously":[162],"quantify":[163],"readings\u2019":[165],"trustworthiness,":[166],"enabling":[167],"formal":[168],"system":[171],"failure":[172],"prediction":[173],"reliability":[175],"analysis.":[176],"validated":[178],"our":[179],"approach":[180],"on":[181],"cobots-based":[183],"manufacturing":[184]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":2}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}