{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,2]],"date-time":"2026-06-02T17:26:52Z","timestamp":1780421212407,"version":"3.54.1"},"reference-count":63,"publisher":"IEEE","license":[{"start":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T00:00:00Z","timestamp":1665532800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,10,12]],"date-time":"2022-10-12T00:00:00Z","timestamp":1665532800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2022,10,12]]},"DOI":"10.1109\/pais56586.2022.9946868","type":"proceedings-article","created":{"date-parts":[[2022,11,16]],"date-time":"2022-11-16T20:47:32Z","timestamp":1668631652000},"page":"1-8","source":"Crossref","is-referenced-by-count":7,"title":["Testing Cyber-Physical Production System: Test Methods Categorization and dataset"],"prefix":"10.1109","author":[{"given":"Zina","family":"Oudina","sequence":"first","affiliation":[{"name":"Badji Mokhtar-Annaba University,LASE Laboratory,Department of Computer Science,Annaba,Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Makhlouf","family":"Derdour","sequence":"additional","affiliation":[{"name":"Oum El Bouaghi University,LRS Laboratory,Department of Computer Science,Oum E1 Bouaghi,Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Mohammed Mounir","family":"Bouhamed","sequence":"additional","affiliation":[{"name":"Abdelhamid Mehri University,MISC Laboratory,Department of Computer Science,Constantine,Algeria"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","first-page":"246","article-title":"Cyber range for industrial control systems (cr-ics) for simulating attack scenarios","author":"khan","year":"2021","journal-title":"ITASEC"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1109\/CIT\/IUCC\/DASC\/PICOM.2015.263"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1145\/2492348.2492354"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/APNOMS.2015.7275445"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/AHS.2017.8046363"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2017.2704444"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1109\/EAEEIE.2017.8768639"},{"key":"ref36","doi-asserted-by":"publisher","DOI":"10.1145\/2994487.2994496"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2018.2851241"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/s12008-016-0313-8"},{"key":"ref60","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_5"},{"key":"ref62","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2019.00093"},{"key":"ref61","doi-asserted-by":"publisher","DOI":"10.1109\/ICIS.2010.73"},{"key":"ref63","doi-asserted-by":"publisher","DOI":"10.1109\/NAPS.2014.6965381"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2017.04.004"},{"key":"ref27","first-page":"1491","article-title":"Simulating drone-be-gone: Agile low-cost cyber-physical uav testbed","author":"khan","year":"0","journal-title":"Proceedings of the 2016 International Conference on Autonomous Agents & Multiagent Systems"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1109\/MCC.2015.51"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2017.04.022"},{"key":"ref1","first-page":"1","article-title":"Cyber-physical systems-are computing foundations ade-quate","volume":"2","author":"lee","year":"2006","journal-title":"Position Paper for NSF Workshop On Cyber-Physical Systems Research Motivation Techniques and Roadmap"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SmartGridComm.2015.7436289"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CCNC49032.2021.9369615"},{"key":"ref21","first-page":"1","article-title":"A coordinated cyber attack detection system (ccads) for multiple substations","year":"0","journal-title":"2016 Power Systems Computation Conference (PSCC)"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA.2017.7989200"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2018.8593636"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.scient.2011.05.004"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s12083-013-0241-3"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/ICCI-CC.2013.6622270"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.3182\/20060926-3-PL-4904.00007"},{"key":"ref59","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref58","doi-asserted-by":"publisher","DOI":"10.1145\/1127878.1127900"},{"key":"ref57","first-page":"167","article-title":"An optimized memory mon-itoring for runtime assertion checking of c programs","author":"kosmatov","year":"0","journal-title":"International Conference on Runtime Verification"},{"key":"ref56","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2012.6164948"},{"key":"ref55","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2018.08.418"},{"key":"ref54","doi-asserted-by":"publisher","DOI":"10.1145\/3205455.3205490"},{"key":"ref53","first-page":"485","article-title":"Simulation of complex systems using modelica and tool coupling","volume":"2","author":"kossel","year":"0","journal-title":"5th Modelica Conference"},{"key":"ref52","first-page":"338","article-title":"Arcade. plc: A verification platform for programmable logic controllers","author":"biallas","year":"0","journal-title":"2012 Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.ifacol.2015.06.318"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2014.6945601"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC.2009.101"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.cad.2014.07.006"},{"key":"ref13","first-page":"351","article-title":"List of partners","author":"no","year":"2013","journal-title":"CESAR-Cost-efficient Methods and Processes for Safety-relevant Embedded Systems"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/s10845-021-01753-8"},{"key":"ref15","first-page":"92","article-title":"Testbed for model-based veri-fication of cyber-physical production systems","author":"budnik","year":"2017","journal-title":"ARCH CPSWeek"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/MILCOM.2016.7795340"},{"key":"ref17","article-title":"A testbed for detecting false data injection attacks in systems with distributed energy resources","author":"albunashee","year":"2019","journal-title":"IEEE Journal of Emerging and Selected Topics in Power Electronics"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2012.2226919"},{"key":"ref19","first-page":"1","article-title":"An evaluation of cybersecurity assess-ment tools on a scada environment","author":"hahn","year":"0","journal-title":"2011 IEEE Power and Energy Society General Meeting"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00207543.2016.1146419"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.procir.2014.03.115"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2866403"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2015.7301518"},{"key":"ref8","author":"yang","year":"0","journal-title":"Review on testing of cyber physical systems Methods and testbeds"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1016\/j.promfg.2018.06.050"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2011.25"},{"key":"ref9","article-title":"Guidelines for performing systematic literature reviews in software engineering","author":"keele","year":"2007","journal-title":"Technical report Ver 2 3 EBSE Technical Report EBSE Tech Rep"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2016.7497884"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2009.5195890"},{"key":"ref48","first-page":"2449","article-title":"To-wards the automatic verification of plc programs written in instruction list","volume":"4","author":"canet","year":"0","journal-title":"Smc 2000 conference proceedings 2000 IEEE international conference on systems man and cybernetics ’ cybernetics evolving to systems humans organizations and their complex interactions' (cat no 0"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1109\/ICECCS.2015.32"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.05.002"},{"key":"ref41","first-page":"7","article-title":"Automatic test-case derivation and execution in industrial control","author":"von styp","year":"0","journal-title":"Proceedings of the Workshop on Industrial Automation Tool Integration for Engineering Project Automation (IATPA 2011)"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-58298-2_8"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.3182\/20120523-3-RO-2023.00370"}],"event":{"name":"2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)","location":"Oum El Bouaghi, Algeria","start":{"date-parts":[[2022,10,12]]},"end":{"date-parts":[[2022,10,13]]}},"container-title":["2022 4th International Conference on Pattern Analysis and Intelligent Systems (PAIS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9946838\/9946658\/09946868.pdf?arnumber=9946868","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,19]],"date-time":"2022-12-19T20:09:15Z","timestamp":1671480555000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9946868\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,10,12]]},"references-count":63,"URL":"https:\/\/doi.org\/10.1109\/pais56586.2022.9946868","relation":{},"subject":[],"published":{"date-parts":[[2022,10,12]]}}}