{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T16:33:48Z","timestamp":1775838828598,"version":"3.50.1"},"reference-count":56,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T00:00:00Z","timestamp":1675123200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["ACM Trans. Cyber-Phys. Syst."],"published-print":{"date-parts":[[2023,1,31]]},"DOI":"10.1145\/3579986","type":"journal-article","created":{"date-parts":[[2023,2,23]],"date-time":"2023-02-23T13:06:35Z","timestamp":1677157595000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Introduction to the Special Issue on Automotive CPS Safety & Security: Part 1"],"prefix":"10.1145","volume":"7","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-0503-6235","authenticated-orcid":false,"given":"Samarjit","family":"Chakraborty","sequence":"first","affiliation":[{"name":"University of North Carolina at Chapel Hill, Chapel Hill, NC, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-5877-0436","authenticated-orcid":false,"given":"Somesh","family":"Jha","sequence":"additional","affiliation":[{"name":"University of Wisconsin-Madison, Madison, WI, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9572-1091","authenticated-orcid":false,"given":"Soheil","family":"Samii","sequence":"additional","affiliation":[{"name":"Link\u00f6ping University, Link\u00f6ping, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6132-3901","authenticated-orcid":false,"given":"Philipp","family":"Mundhenk","sequence":"additional","affiliation":[{"name":"Robert Bosch GmbH, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2023,3,22]]},"reference":[{"key":"e_1_3_1_2_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3090304"},{"key":"e_1_3_1_3_2","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Adiththan Arun","year":"2018","unstructured":"Arun Adiththan, S. Ramesh, and Soheil Samii. 2018. Cloud-assisted control of ground vehicles using adaptive computation offloading techniques. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"key":"e_1_3_1_4_2","doi-asserted-by":"publisher","DOI":"10.1109\/ICMECH.2019.8722844"},{"issue":"2","key":"e_1_3_1_5_2","first-page":"18:1\u201318:27","article-title":"Control communication co-design for wide area cyber-physical systems","volume":"5","author":"Bhatia Laksh","year":"2021","unstructured":"Laksh Bhatia, Ivana Tomic, Anqi Fu, Michael Breza, and Julie A. McCann. 2021. Control communication co-design for wide area cyber-physical systems. ACM Trans. Cyber Phys. Syst. 5, 2 (2021), 18:1\u201318:27.","journal-title":"ACM Trans. Cyber Phys. Syst."},{"key":"e_1_3_1_6_2","doi-asserted-by":"publisher","DOI":"10.1145\/2038642.2038683"},{"key":"e_1_3_1_7_2","volume-title":"7th International Workshop on Algorithms and Data Structures (WADS) (Lecture Notes in Computer Science)","author":"Chakraborty Samarjit","year":"2001","unstructured":"Samarjit Chakraborty, Thomas Erlebach, and Lothar Thiele. 2001. On the complexity of scheduling conditional real-time code. In 7th International Workshop on Algorithms and Data Structures (WADS) (Lecture Notes in Computer Science), Vol. 2125. Springer."},{"key":"e_1_3_1_8_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2016.2573598"},{"key":"e_1_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.1561\/1000000045"},{"key":"e_1_3_1_10_2","volume-title":"35th IEEE Real-Time Systems Symposium (RTSS)","author":"Chang Wanli","year":"2014","unstructured":"Wanli Chang, Alma Pr\u00f6bstl, Dip Goswami, Majid Zamani, and Samarjit Chakraborty. 2014. Battery- and aging-aware embedded control systems for electric vehicles. In 35th IEEE Real-Time Systems Symposium (RTSS)."},{"key":"e_1_3_1_11_2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.3023047"},{"key":"e_1_3_1_12_2","volume-title":"30th Euromicro Conference on Real-Time Systems (ECRTS)","author":"Freitag Johannes","year":"2018","unstructured":"Johannes Freitag, Sascha Uhrig, and Theo Ungerer. 2018. Virtual timing isolation for mixed-criticality systems. In 30th Euromicro Conference on Real-Time Systems (ECRTS)."},{"key":"e_1_3_1_13_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2018.11.013"},{"key":"e_1_3_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488855"},{"key":"e_1_3_1_15_2","doi-asserted-by":"publisher","DOI":"10.1145\/2544350.2544353"},{"key":"e_1_3_1_16_2","volume-title":"Design, Automation and Test in Europe (DATE)","author":"Goswami Dip","year":"2011","unstructured":"Dip Goswami, Reinhard Schneider, and Samarjit Chakraborty. 2011. Re-engineering cyber-physical control applications for hybrid communication protocols. In Design, Automation and Test in Europe (DATE)."},{"key":"e_1_3_1_17_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCST.2014.2301795"},{"key":"e_1_3_1_18_2","volume-title":"International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)","author":"Guo Liangpeng","year":"2014","unstructured":"Liangpeng Guo, Qi Zhu, Pierluigi Nuzzo, Roberto Passerone, Alberto L. Sangiovanni-Vincentelli, and Edward A. Lee. 2014. Metronomy: A function-architecture co-simulation framework for timing verification of cyber-physical systems. In International Conference on Hardware\/Software Codesign and System Synthesis (CODES+ISSS)."},{"key":"e_1_3_1_19_2","volume-title":"1st IEEE\/ACM International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS@ICSE)","author":"Henriksson Jens","year":"2018","unstructured":"Jens Henriksson, Markus Borg, and Cristofer Englund. 2018. Automotive safety and machine learning: Initial results from a study on how to adapt the ISO 26262 safety standard. In 1st IEEE\/ACM International Workshop on Software Engineering for AI in Autonomous Systems (SEFAIAS@ICSE)."},{"key":"e_1_3_1_20_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2022.3198905"},{"key":"e_1_3_1_21_2","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Hobbs Clara","year":"2021","unstructured":"Clara Hobbs, Debayan Roy, Parasara Sridhar Duggirala, F. Donelson Smith, Soheil Samii, James H. Anderson, and Samarjit Chakraborty. 2021. Perception computing-aware controller synthesis for autonomous systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"key":"e_1_3_1_22_2","volume-title":"22nd International Conference on Fundamental Approaches to Software Engineering (FASE) (Lecture Notes in Computer Science)","volume":"11424","author":"Huang Li","year":"2019","unstructured":"Li Huang and Eun-Young Kang. 2019. Formal verification of safety & security related timing constraints for a cooperative automotive system. In 22nd International Conference on Fundamental Approaches to Software Engineering (FASE) (Lecture Notes in Computer Science), Vol. 11424. Springer."},{"key":"e_1_3_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/1450135.1450175"},{"key":"e_1_3_1_24_2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA52439.2022.9921640"},{"key":"e_1_3_1_25_2","doi-asserted-by":"publisher","DOI":"10.1109\/MASS52906.2021.00064"},{"issue":"1","key":"e_1_3_1_26_2","first-page":"9:1\u20139:24","article-title":"Detection and mitigation of sensor and CAN bus attacks in vehicle anti-lock braking systems","volume":"6","author":"Kang Liuwang","year":"2022","unstructured":"Liuwang Kang and Haiying Shen. 2022. Detection and mitigation of sensor and CAN bus attacks in vehicle anti-lock braking systems. ACM Trans. Cyber Phys. Syst. 6, 1 (2022), 9:1\u20139:24.","journal-title":"ACM Trans. Cyber Phys. Syst."},{"key":"e_1_3_1_27_2","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Kauer Matthias","year":"2014","unstructured":"Matthias Kauer, Damoon Soudbakhsh, Dip Goswami, Samarjit Chakraborty, and Anuradha M. Annaswamy. 2014. Fault-tolerant control synthesis and verification of distributed embedded systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"key":"e_1_3_1_28_2","article-title":"Cloud resource allocation for cloud-based automotive applications","volume":"1701","author":"Li Zhaojian","year":"2017","unstructured":"Zhaojian Li, Tianshu Chu, Ilya V. Kolmanovsky, Xiang Yin, and Xunyuan Yin. 2017. Cloud resource allocation for cloud-based automotive applications. CoRR abs\/1701.04537 (2017). arXiv:1701.04537http:\/\/arxiv.org\/abs\/1701.04537.","journal-title":"CoRR"},{"key":"e_1_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2020.103183"},{"key":"e_1_3_1_30_2","volume-title":"15th Euromicro Conference on Digital System Design (DSD)","author":"Lukasiewycz Martin","year":"2012","unstructured":"Martin Lukasiewycz et\u00a0al. 2012. Cyber-physical systems design for electric vehicles. In 15th Euromicro Conference on Digital System Design (DSD)."},{"key":"e_1_3_1_31_2","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488852"},{"key":"e_1_3_1_32_2","first-page":"21:1\u201321:24","volume-title":"32nd Euromicro Conference on Real-Time Systems (ECRTS) (LIPIcs)","volume":"165","author":"Maggio Martina","year":"2020","unstructured":"Martina Maggio, Arne Hamann, Eckart Mayer-John, and Dirk Ziegenbein. 2020. Control-system stability under consecutive deadline misses constraints. In 32nd Euromicro Conference on Real-Time Systems (ECRTS) (LIPIcs), Vol. 165. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik, 21:1\u201321:24."},{"key":"e_1_3_1_33_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2020.2968281"},{"key":"e_1_3_1_34_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2010.38"},{"key":"e_1_3_1_35_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.micpro.2020.103037"},{"key":"e_1_3_1_36_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2020.2989808"},{"key":"e_1_3_1_37_2","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744906"},{"key":"e_1_3_1_38_2","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2017.78"},{"key":"e_1_3_1_39_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2019.2944085"},{"key":"e_1_3_1_40_2","volume-title":"IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)","author":"Roy Debayan","year":"2016","unstructured":"Debayan Roy, Licong Zhang, Wanli Chang, Dip Goswami, and Samarjit Chakraborty. 2016. Multi-objective co-optimization of FlexRay-based distributed control systems. In IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)."},{"key":"e_1_3_1_41_2","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Samal Kruttidipta","year":"2021","unstructured":"Kruttidipta Samal, Marilyn Wolf, and Saibal Mukhopadhyay. 2021. Closed-loop approach to perception in autonomous system. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"issue":"10","key":"e_1_3_1_42_2","doi-asserted-by":"crossref","first-page":"1215","DOI":"10.1016\/j.sysarc.2013.09.003","article-title":"Multi-layered scheduling of mixed-criticality cyber-physical systems","volume":"59","author":"Schneider Reinhard","year":"2013","unstructured":"Reinhard Schneider, Dip Goswami, Alejandro Masrur, Martin Becker, and Samarjit Chakraborty. 2013. Multi-layered scheduling of mixed-criticality cyber-physical systems. J. Syst. Archit. 59, 10-D (2013), 1215\u20131230.","journal-title":"J. Syst. Archit."},{"key":"e_1_3_1_43_2","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039394"},{"key":"e_1_3_1_44_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"e_1_3_1_45_2","volume-title":"21st Asia and South Pacific Design Automation Conference (ASP-DAC)","author":"Steinhorst Sebastian","year":"2016","unstructured":"Sebastian Steinhorst et\u00a0al. 2016. Distributed reconfigurable battery system management architectures. In 21st Asia and South Pacific Design Automation Conference (ASP-DAC)."},{"key":"e_1_3_1_46_2","doi-asserted-by":"publisher","DOI":"10.1145\/2966986.2980076"},{"key":"e_1_3_1_47_2","doi-asserted-by":"publisher","DOI":"10.1145\/3489517.3530556"},{"key":"e_1_3_1_48_2","volume-title":"Design, Automation & Test in Europe Conference & Exhibition (DATE)","author":"Wang Zhilu","year":"2021","unstructured":"Zhilu Wang, Chao Huang, Yixuan Wang, Clara Hobbs, Samarjit Chakraborty, and Qi Zhu. 2021. Bounding perception neural network uncertainty for safe control of autonomous systems. In Design, Automation & Test in Europe Conference & Exhibition (DATE)."},{"key":"e_1_3_1_49_2","doi-asserted-by":"publisher","DOI":"10.1109\/MDAT.2020.3037561"},{"key":"e_1_3_1_50_2","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2017.2666605"},{"key":"e_1_3_1_51_2","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2017.2762621"},{"key":"e_1_3_1_52_2","doi-asserted-by":"publisher","DOI":"10.1109\/TVT.2015.2410694"},{"key":"e_1_3_1_53_2","volume-title":"20th International Symposium on Automated Technology for Verification and Analysis (ATVA) (Lecture Notes in Computer Science)","author":"Yeolekar Anand","year":"2022","unstructured":"Anand Yeolekar, Ravindra Metta, Clara Hobbs, and Samarjit Chakraborty. 2022. Checking scheduling-induced violations of control safety properties. In 20th International Symposium on Automated Technology for Verification and Analysis (ATVA) (Lecture Notes in Computer Science), Vol. 13505. Springer."},{"key":"e_1_3_1_54_2","doi-asserted-by":"publisher","DOI":"10.23919\/ECC54610.2021.9654960"},{"key":"e_1_3_1_55_2","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2016.11"},{"issue":"4","key":"e_1_3_1_56_2","first-page":"45:1\u201345:30","article-title":"CAN bus intrusion detection based on auxiliary classifier GAN and out-of-distribution detection","volume":"21","author":"Zhao Qingling","year":"2022","unstructured":"Qingling Zhao, Mingqiang Chen, Zonghua Gu, Siyu Luan, Haibo Zeng, and Samarjit Chakraborty. 2022. CAN bus intrusion detection based on auxiliary classifier GAN and out-of-distribution detection. ACM Trans. Embed. Comput. Syst. 21, 4 (2022), 45:1\u201345:30.","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"e_1_3_1_57_2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2018.2864271"}],"container-title":["ACM Transactions on Cyber-Physical Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579986","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3579986","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T18:08:18Z","timestamp":1750183698000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3579986"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,1,31]]},"references-count":56,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2023,1,31]]}},"alternative-id":["10.1145\/3579986"],"URL":"https:\/\/doi.org\/10.1145\/3579986","relation":{},"ISSN":["2378-962X","2378-9638"],"issn-type":[{"value":"2378-962X","type":"print"},{"value":"2378-9638","type":"electronic"}],"subject":[],"published":{"date-parts":[[2023,1,31]]},"assertion":[{"value":"2023-01-09","order":0,"name":"received","label":"Received","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-02-15","order":1,"name":"accepted","label":"Accepted","group":{"name":"publication_history","label":"Publication History"}},{"value":"2023-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}