{"id":"https://openalex.org/W4386136258","doi":"https://doi.org/10.1145/3617170","title":"Testing Abstractions for Cyber-Physical Control Systems","display_name":"Testing Abstractions for Cyber-Physical Control Systems","publication_year":2023,"publication_date":"2023-08-24","ids":{"openalex":"https://openalex.org/W4386136258","doi":"https://doi.org/10.1145/3617170"},"language":"en","primary_location":{"id":"doi:10.1145/3617170","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3617170","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3617170","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3617170","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061413377","display_name":"Claudio Mandrioli","orcid":"https://orcid.org/0000-0002-7013-1191"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Claudio Mandrioli","raw_affiliation_strings":["Univeristy of Luxembourg, Luxembourg"],"raw_orcid":"https://orcid.org/0000-0002-7013-1191","affiliations":[{"raw_affiliation_string":"Univeristy of Luxembourg, Luxembourg","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101792595","display_name":"Max Nyberg Carlsson","orcid":"https://orcid.org/0000-0002-2608-1182"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Max Nyberg Carlsson","raw_affiliation_strings":["Lund Univeristy, Sweden"],"raw_orcid":"https://orcid.org/0000-0002-2608-1182","affiliations":[{"raw_affiliation_string":"Lund Univeristy, Sweden","institution_ids":[]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5007294890","display_name":"Martina Maggio","orcid":"https://orcid.org/0000-0002-1143-1127"},"institutions":[{"id":"https://openalex.org/I91712215","display_name":"Saarland University","ror":"https://ror.org/01jdpyv68","country_code":"DE","type":"education","lineage":["https://openalex.org/I91712215"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Martina Maggio","raw_affiliation_strings":["Saarland Univeristy, Germany"],"raw_orcid":"https://orcid.org/0000-0002-1143-1127","affiliations":[{"raw_affiliation_string":"Saarland Univeristy, Germany","institution_ids":["https://openalex.org/I91712215"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":1.6273,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.82344875,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":"33","issue":"1","first_page":"1","last_page":"32"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10933","display_name":"Real-Time Systems Scheduling","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T10933","display_name":"Real-Time Systems Scheduling","score":0.998199999332428,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"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/T12810","display_name":"Real-time simulation and control systems","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/2207","display_name":"Control and Systems 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/T11005","display_name":"Radiation Effects in Electronics","score":0.9973999857902527,"subfield":{"id":"https://openalex.org/subfields/2208","display_name":"Electrical and Electronic 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/computer-science","display_name":"Computer science","score":0.8246533870697021},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.7184624671936035},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.6191054582595825},{"id":"https://openalex.org/keywords/cyber-physical-system","display_name":"Cyber-physical system","score":0.5215294361114502},{"id":"https://openalex.org/keywords/intuition","display_name":"Intuition","score":0.5190556645393372},{"id":"https://openalex.org/keywords/isolation","display_name":"Isolation (microbiology)","score":0.49214333295822144},{"id":"https://openalex.org/keywords/embedded-system","display_name":"Embedded system","score":0.44430503249168396},{"id":"https://openalex.org/keywords/control-system","display_name":"Control system","score":0.4419453740119934},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.3726617097854614},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.19376912713050842}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8246533870697021},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.7184624671936035},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.6191054582595825},{"id":"https://openalex.org/C179768478","wikidata":"https://www.wikidata.org/wiki/Q1120057","display_name":"Cyber-physical system","level":2,"score":0.5215294361114502},{"id":"https://openalex.org/C132010649","wikidata":"https://www.wikidata.org/wiki/Q189222","display_name":"Intuition","level":2,"score":0.5190556645393372},{"id":"https://openalex.org/C2775941552","wikidata":"https://www.wikidata.org/wiki/Q25212305","display_name":"Isolation (microbiology)","level":2,"score":0.49214333295822144},{"id":"https://openalex.org/C149635348","wikidata":"https://www.wikidata.org/wiki/Q193040","display_name":"Embedded system","level":1,"score":0.44430503249168396},{"id":"https://openalex.org/C17500928","wikidata":"https://www.wikidata.org/wiki/Q959968","display_name":"Control system","level":2,"score":0.4419453740119934},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.3726617097854614},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.19376912713050842},{"id":"https://openalex.org/C89423630","wikidata":"https://www.wikidata.org/wiki/Q7193","display_name":"Microbiology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3617170","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3617170","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3617170","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},{"id":"pmh:oai:orbilu.uni.lu:10993/58077","is_oa":true,"landing_page_url":"https://orbilu.uni.lu/handle/10993/58077","pdf_url":"https://orbilu.uni.lu/bitstream/10993/58077/1/mandrioli2023.pdf","source":{"id":"https://openalex.org/S4306401815","display_name":"Open Repository and Bibliography (University of Luxembourg)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I186903577","host_organization_name":"University of Luxembourg","host_organization_lineage":["https://openalex.org/I186903577"],"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":"ACM Transactions on Software Engineering and Methodology, 33 (1), 1-32 (2023-11-23)","raw_type":"http://purl.org/coar/resource_type/c_6501"},{"id":"pmh:oai:lup.lub.lu.se:00a11a70-a3e1-4a86-87e8-8be9f4ca9671","is_oa":false,"landing_page_url":"https://lup.lub.lu.se/record/00a11a70-a3e1-4a86-87e8-8be9f4ca9671","pdf_url":null,"source":{"id":"https://openalex.org/S4306400536","display_name":"Lund University Publications (Lund University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I187531555","host_organization_name":"Lund University","host_organization_lineage":["https://openalex.org/I187531555"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ISSN: 1049-331X","raw_type":"info:eu-repo/semantics/article"},{"id":"doi:10.22028/d291-47715","is_oa":true,"landing_page_url":"https://doi.org/10.22028/d291-47715","pdf_url":null,"source":{"id":"https://openalex.org/S7407052975","display_name":"Universit\u00e4t des Saarlandes","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Collection"}],"best_oa_location":{"id":"doi:10.1145/3617170","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3617170","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3617170","source":{"id":"https://openalex.org/S142627899","display_name":"ACM Transactions on Software Engineering and Methodology","issn_l":"1049-331X","issn":["1049-331X","1557-7392"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Software Engineering and Methodology","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2485497276","display_name":"Towards Adaptively Morphing Embedded Systems","funder_award_id":"871259","funder_id":"https://openalex.org/F4320320300","funder_display_name":"European Commission"}],"funders":[{"id":"https://openalex.org/F4320320300","display_name":"European Commission","ror":"https://ror.org/00k4n6c32"},{"id":"https://openalex.org/F4320321806","display_name":"Lunds Universitet","ror":"https://ror.org/012a77v79"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4386136258.pdf","grobid_xml":"https://content.openalex.org/works/W4386136258.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W54491458","https://openalex.org/W1490305874","https://openalex.org/W1521464635","https://openalex.org/W1538884829","https://openalex.org/W1553870399","https://openalex.org/W1603371326","https://openalex.org/W1865560257","https://openalex.org/W1973763043","https://openalex.org/W1973860941","https://openalex.org/W1986542351","https://openalex.org/W1992253074","https://openalex.org/W2004960600","https://openalex.org/W2009166708","https://openalex.org/W2011482087","https://openalex.org/W2021028598","https://openalex.org/W2026926213","https://openalex.org/W2049777185","https://openalex.org/W2062803637","https://openalex.org/W2091823786","https://openalex.org/W2105004207","https://openalex.org/W2130966309","https://openalex.org/W2133217493","https://openalex.org/W2138699167","https://openalex.org/W2147338786","https://openalex.org/W2157992659","https://openalex.org/W2166112834","https://openalex.org/W2269457277","https://openalex.org/W2344321026","https://openalex.org/W2344795941","https://openalex.org/W2501500917","https://openalex.org/W2504171091","https://openalex.org/W2547074464","https://openalex.org/W2565125308","https://openalex.org/W2570151426","https://openalex.org/W2624823380","https://openalex.org/W2724266064","https://openalex.org/W2737170301","https://openalex.org/W2737628516","https://openalex.org/W2772846197","https://openalex.org/W2787159450","https://openalex.org/W2805047358","https://openalex.org/W2809744066","https://openalex.org/W2811400181","https://openalex.org/W2884894912","https://openalex.org/W2888348201","https://openalex.org/W2889549856","https://openalex.org/W2942990232","https://openalex.org/W2948911651","https://openalex.org/W2957026807","https://openalex.org/W2967844381","https://openalex.org/W3028121138","https://openalex.org/W3036758131","https://openalex.org/W3037447381","https://openalex.org/W3048116582","https://openalex.org/W3089976743","https://openalex.org/W3100344681","https://openalex.org/W3119193920","https://openalex.org/W3136673411","https://openalex.org/W3141482170","https://openalex.org/W3162909168","https://openalex.org/W3165293486","https://openalex.org/W4225627334","https://openalex.org/W4238538572","https://openalex.org/W4238595570","https://openalex.org/W4243581292"],"related_works":["https://openalex.org/W2350278424","https://openalex.org/W2071432835","https://openalex.org/W4234371507","https://openalex.org/W4299534542","https://openalex.org/W1628824497","https://openalex.org/W4239401009","https://openalex.org/W2053441600","https://openalex.org/W1990401748","https://openalex.org/W2047586841","https://openalex.org/W2141018266"],"abstract_inverted_index":{"Control":[0],"systems":[1],"are":[2,17,67,87,126,199],"ubiquitous":[3],"and":[4,14,33,54,91,103,124,137,155,182,197],"often":[5],"at":[6],"the":[7,28,38,48,63,98,104,118,132,139,152,159,163,169,173,188,204],"core":[8],"of":[9,62,100,106,142,146,162,172],"Cyber-Physical":[10],"Systems,":[11],"like":[12],"cars":[13],"aeroplanes.":[15],"They":[16],"implemented":[18,78],"as":[19,212,214],"embedded":[20],"software":[21,39,123],"that":[22,187],"interacts":[23],"in":[24,44,50,144,151,176],"closed":[25],"loop":[26,49],"with":[27,158],"physical":[29],"world":[30],"through":[31],"sensors":[32],"actuators.":[34],"As":[35],"a":[36,51,113,120,194],"consequence,":[37],"cannot":[40],"just":[41],"be":[42,77,211],"tested":[43],"isolation.":[45],"To":[46],"close":[47,213],"testing":[52,74,135],"environment":[53],"root":[55],"causing":[56],"failure":[57],"generated":[58],"by":[59,79],"different":[60,81,174],"parts":[61],"system,":[64],"executable":[65],"models":[66],"used":[68],"to":[69,180,193,202,210,216],"abstract":[70],"specific":[71,170],"components.":[72],"Different":[73],"setups":[75,102,136,175,189],"can":[76,109],"abstracting":[80],"elements:":[82],"The":[83],"most":[84,133],"common":[85,134],"ones":[86],"model-in-the-loop,":[88],"software-in-the-loop,":[89],"hardware-in-the-loop,":[90],"real-physics-in-the-loop.":[92],"In":[93],"this":[94],"article,":[95],"we":[96,156,185],"discuss":[97],"properties":[99],"these":[101],"types":[105],"faults":[107,143,150],"they":[108,198],"expose.":[110],"We":[111,129,148],"develop":[112],"comprehensive":[114],"case":[115],"study":[116],"using":[117],"Crazyflie,":[119],"drone":[121],"whose":[122],"hardware":[125],"open":[127],"source.":[128],"implement":[130],"all":[131],"ensure":[138],"consistent":[140],"injection":[141],"each":[145],"them.":[147],"inject":[149],"control":[153],"system":[154],"compare":[157],"nominal":[160],"performance":[161],"non-faulty":[164],"software.":[165],"Our":[166],"results":[167],"show":[168,186],"capabilities":[171],"exposing":[177],"faults.":[178],"Contrary":[179],"intuition":[181],"previous":[183],"literature,":[184],"do":[190],"not":[191],"belong":[192],"strict":[195],"hierarchy,":[196],"best":[200],"designed":[201],"maximize":[203],"differences":[205],"across":[206],"them":[207],"rather":[208],"than":[209],"possible":[215],"reality.":[217]},"counts_by_year":[{"year":2025,"cited_by_count":5},{"year":2023,"cited_by_count":2}],"updated_date":"2026-07-20T07:56:41.581041","created_date":"2025-10-10T00:00:00"}