{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:46:04Z","timestamp":1782755164411,"version":"3.54.5"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,7,5]],"date-time":"2026-07-05T00:00:00Z","timestamp":1783209600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,7,5]]},"DOI":"10.1145\/3803846.3807460","type":"proceedings-article","created":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:10:58Z","timestamp":1782753058000},"page":"1-10","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Model-Driven Automation of Cyber-Physical Systems via AADL and LLMs"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-9226-9741","authenticated-orcid":false,"given":"Abdul","family":"Wahab","sequence":"first","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering, Ontario Tech University, Oshawa, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6292-6939","authenticated-orcid":false,"given":"Akramul","family":"Azim","sequence":"additional","affiliation":[{"name":"Department of Electrical, Computer and Software Engineering, Ontario Tech University, Oshawa, Ontario, Canada"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,5]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Adaptability and Code Reuse in Embedded Software Development. In 2024 IEEE International Conference on Information Reuse and Integration for Data Science (IRI). IEEE, 246\u2013251","author":"Maruf Md Al","year":"2024","unstructured":"Md Al Maruf, Akramul Azim, Nitin Auluck, and Mansi Sahi. 2024. FeaMod: Enhancing Modularity, Adaptability and Code Reuse in Embedded Software Development. In 2024 IEEE International Conference on Information Reuse and Integration for Data Science (IRI). IEEE, 246\u2013251."},{"key":"e_1_3_2_1_2_1","unstructured":"Rohan Anil Andrew M Dai Orhan Firat Melvin Johnson Dmitry Lepikhin Alexandre Passos Siamak Shakeri Emanuel Taropa Paige Bailey Zhifeng Chen et al. 2023. Palm 2 technical report. arXiv preprint arXiv:2305.10403 (2023)."},{"key":"e_1_3_2_1_3_1","volume-title":"Cyber-physical systems. The impact of control technology 12, 1","author":"Baheti Radhakisan","year":"2011","unstructured":"Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. The impact of control technology 12, 1 (2011), 161\u2013166."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3358711.3361630"},{"key":"e_1_3_2_1_5_1","volume-title":"Language models are few-shot learners. arXiv preprint arXiv:2005.14165","author":"Brown Tom B","year":"2020","unstructured":"Tom B Brown. 2020. Language models are few-shot learners. arXiv preprint arXiv:2005.14165 (2020)."},{"key":"e_1_3_2_1_6_1","volume-title":"Yuanzhi Li, Scott Lundberg, et al.","author":"Bubeck S\u00e9bastien","year":"2023","unstructured":"S\u00e9bastien Bubeck, Varun Chandrasekaran, Ronen Eldan, Johannes Gehrke, Eric Horvitz, Ece Kamar, Peter Lee, Yin Tat Lee, Yuanzhi Li, Scott Lundberg, et al. 2023. Sparks of artificial general intelligence: Early experiments with GPT-4. arXiv. arXiv preprint arXiv:2303.12712 (2023)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Thidapat Chantem Nan Guan and Duo Liu. 2019. Sustainable embedded software and systems. 152\u2013154 pages.","DOI":"10.1016\/j.suscom.2019.05.003"},{"key":"e_1_3_2_1_8_1","volume-title":"Jun Shern Chan, Samuel R Bowman, Kyunghyun Cho, and Ethan Perez.","author":"Chen Angelica","year":"2023","unstructured":"Angelica Chen, J\u00e9r\u00e9my Scheurer, Tomasz Korbak, Jon Ander Campos, Jun Shern Chan, Samuel R Bowman, Kyunghyun Cho, and Ethan Perez. 2023. Improving code generation by training with natural language feedback. arXiv preprint arXiv:2303.16749 (2023)."},{"key":"e_1_3_2_1_9_1","volume-title":"Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al.","author":"Chen Mark","year":"2021","unstructured":"Mark Chen, Jerry Tworek, Heewoo Jun, Qiming Yuan, Henrique Ponde De Oliveira Pinto, Jared Kaplan, Harri Edwards, Yuri Burda, Nicholas Joseph, Greg Brockman, et al. 2021. Evaluating large language models trained on code. arXiv preprint arXiv:2107.03374 (2021)."},{"key":"e_1_3_2_1_10_1","volume-title":"Teaching large language models to self-debug. arXiv preprint arXiv:2304.05128","author":"Chen Xinyun","year":"2023","unstructured":"Xinyun Chen, Maxwell Lin, Nathanael Sch\u00e4rli, and Denny Zhou. 2023. Teaching large language models to self-debug. arXiv preprint arXiv:2304.05128 (2023)."},{"key":"e_1_3_2_1_11_1","volume-title":"Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence. Pervasive and mobile computing 8, 1","author":"Conti Marco","year":"2012","unstructured":"Marco Conti, Sajal K Das, Chatschik Bisdikian, Mohan Kumar, Lionel M Ni, Andrea Passarella, George Roussos, Gerhard Tr\u00f6ster, Gene Tsudik, and Franco Zambonelli. 2012. Looking ahead in pervasive computing: Challenges and opportunities in the era of cyber-physical convergence. Pervasive and mobile computing 8, 1 (2012), 2\u201321."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"crossref","unstructured":"Rog\u00e9rio De Lemos Holger Giese Hausi A M\u00fcller Mary Shaw Jesper Andersson Marin Litoiu Bradley Schmerl Gabriel Tamura Norha M Villegas Thomas Vogel et al. 2013. Software engineering for self-adaptive systems: A second research roadmap. In Software Engineering for Self-Adaptive Systems II: International Seminar Dagstuhl Castle Germany October 24\u201329 2010 Revised Selected and Invited Papers. Springer 1\u201332.","DOI":"10.1007\/978-3-642-35813-5"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10916-018-0921-x"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/TKDE.2020.2978469"},{"key":"e_1_3_2_1_15_1","first-page":"6624","article-title":"Cyber-physical system-based path tracking control of autonomous vehicles under cyber-attacks","volume":"19","author":"Guo Jinghua","year":"2022","unstructured":"Jinghua Guo, Lubin Li, Jingyao Wang, and Keqiang Li. 2022. Cyber-physical system-based path tracking control of autonomous vehicles under cyber-attacks. IEEE Transactions on Industrial Informatics 19, 5 (2022), 6624\u20136635.","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1369396.1369402"},{"key":"e_1_3_2_1_17_1","first-page":"7","article-title":"Cyber-physical systems: Concepts, technologies and implementation principles","volume":"1","author":"Horvath Imre","year":"2012","unstructured":"Imre Horvath and Bart HM Gerritsen. 2012. Cyber-physical systems: Concepts, technologies and implementation principles. In Proceedings of TMCE, Vol. 1. 7\u201311.","journal-title":"Proceedings of TMCE"},{"key":"e_1_3_2_1_18_1","volume-title":"Language models can solve computer tasks. Advances in Neural Information Processing Systems 36","author":"Kim Geunwoo","year":"2024","unstructured":"Geunwoo Kim, Pierre Baldi, and Stephen McAleer. 2024. Language models can solve computer tasks. Advances in Neural Information Processing Systems 36 (2024)."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the joint ACM SIGSOFT conference-QoSA and ACM SIGSOFT symposium-ISARCS on Quality of software architectures-QoSA and architecting critical systems-ISARCS. 3\u201312","author":"Koziolek Heiko","year":"2011","unstructured":"Heiko Koziolek. 2011. Sustainability evaluation of software architectures: a systematic review. In Proceedings of the joint ACM SIGSOFT conference-QoSA and ACM SIGSOFT symposium-ISARCS on Quality of software architectures-QoSA and architecting critical systems-ISARCS. 3\u201312."},{"key":"e_1_3_2_1_20_1","volume-title":"Yuyao Wang, and Lingming Zhang.","author":"Liu Jiawei","year":"2024","unstructured":"Jiawei Liu, Chunqiu Steven Xia, Yuyao Wang, and Lingming Zhang. 2024. Is your code generated by chatgpt really correct? rigorous evaluation of large language models for code generation. Advances in Neural Information Processing Systems 36 (2024)."},{"key":"e_1_3_2_1_21_1","volume-title":"Chipnemo: Domain-adapted llms for chip design. arXiv preprint arXiv:2311.00176","author":"Liu Mingjie","year":"2023","unstructured":"Mingjie Liu, Teodor-Dumitru Ene, Robert Kirby, Chris Cheng, Nathaniel Pinckney, Rongjian Liang, Jonah Alben, Himyanshu Anand, Sanmitra Banerjee, Ismet Bayraktaroglu, et al. 2023. Chipnemo: Domain-adapted llms for chip design. arXiv preprint arXiv:2311.00176 (2023)."},{"key":"e_1_3_2_1_22_1","volume-title":"Paolo Di Achille, and Shwetak Patel","author":"Liu Xin","year":"2023","unstructured":"Xin Liu, Daniel McDuff, Geza Kovacs, Isaac Galatzer-Levy, Jacob Sunshine, Jiening Zhan, Ming-Zher Poh, Shun Liao, Paolo Di Achille, and Shwetak Patel. 2023. Large language models are few-shot health learners. arXiv preprint arXiv:2305.15525 (2023)."},{"key":"e_1_3_2_1_23_1","volume-title":"2016 International conference on field-programmable technology (FPT). IEEE, 61\u201368","author":"Liu Zhiqiang","year":"2016","unstructured":"Zhiqiang Liu, Yong Dou, Jingfei Jiang, and Jinwei Xu. 2016. Automatic code generation of convolutional neural networks in FPGA implementation. In 2016 International conference on field-programmable technology (FPT). IEEE, 61\u201368."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1049\/iet-cps.2018.5062"},{"key":"e_1_3_2_1_25_1","volume-title":"Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things","author":"Marwedel Peter","unstructured":"Peter Marwedel. 2021. Embedded system design: embedded systems foundations of cyber-physical systems, and the internet of things. Springer Nature."},{"key":"e_1_3_2_1_26_1","volume-title":"Proceedings of the 11th international symposium on software engineering for adaptive and self-managing systems. 75\u201381","author":"Muccini Henry","year":"2016","unstructured":"Henry Muccini, Mohammad Sharaf, and Danny Weyns. 2016. Self-adaptation for cyber-physical systems: a systematic literature review. In Proceedings of the 11th international symposium on software engineering for adaptive and self-managing systems. 75\u201381."},{"key":"e_1_3_2_1_27_1","unstructured":"National Science Foundation. 2010. Cyber-Physical Systems (CPS) Program Solicitation. https:\/\/new.nsf.gov\/funding\/opportunities\/cps-cyber-physical-systems\/nsf10-515\/solicitation Accessed: 2024\u201310-11."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/3524842.3528470"},{"key":"e_1_3_2_1_29_1","volume-title":"Codegen2: Lessons for training llms on programming and natural languages. arXiv preprint arXiv:2305.02309","author":"Nijkamp Erik","year":"2023","unstructured":"Erik Nijkamp, Hiroaki Hayashi, Caiming Xiong, Silvio Savarese, and Yingbo Zhou. 2023. Codegen2: Lessons for training llms on programming and natural languages. arXiv preprint arXiv:2305.02309 (2023)."},{"key":"e_1_3_2_1_30_1","volume-title":"Proceedings of the Great Lakes Symposium on VLSI","author":"Pasricha Sudeep","year":"2022","unstructured":"Sudeep Pasricha. 2022. Embedded systems education in the 2020s: Challenges, reflections, and future directions. In Proceedings of the Great Lakes Symposium on VLSI 2022. 519\u2013524."},{"key":"e_1_3_2_1_31_1","volume-title":"Gorilla: Large language model connected with massive apis. arXiv preprint arXiv:2305.15334","author":"Patil Shishir G","year":"2023","unstructured":"Shishir G Patil, Tianjun Zhang, Xin Wang, and Joseph E Gonzalez. 2023. Gorilla: Large language model connected with massive apis. arXiv preprint arXiv:2305.15334 (2023)."},{"key":"e_1_3_2_1_32_1","volume-title":"Synchromesh: Reliable code generation from pre-trained language models. arXiv preprint arXiv:2201.11227","author":"Poesia Gabriel","year":"2022","unstructured":"Gabriel Poesia, Oleksandr Polozov, Vu Le, Ashish Tiwari, Gustavo Soares, Christopher Meek, and Sumit Gulwani. 2022. Synchromesh: Reliable code generation from pre-trained language models. arXiv preprint arXiv:2201.11227 (2022)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.111010"},{"key":"e_1_3_2_1_34_1","volume-title":"Transitioning from standard automation solutions to cyber-physical production systems: an assessment of critical conceptual and technical challenges","author":"Ribeiro Luis","year":"2017","unstructured":"Luis Ribeiro and Mats Bj\u00f6rkman. 2017. Transitioning from standard automation solutions to cyber-physical production systems: an assessment of critical conceptual and technical challenges. IEEE systems journal 12, 4 (2017), 3816\u20133827."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1021\/acs.est.3c01106"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2020.2981411"},{"key":"e_1_3_2_1_37_1","volume-title":"Reflexion: Language agents with verbal reinforcement learning. Advances in Neural Information Processing Systems 36","author":"Shinn Noah","year":"2024","unstructured":"Noah Shinn, Federico Cassano, Ashwin Gopinath, Karthik Narasimhan, and Shunyu Yao. 2024. Reflexion: Language agents with verbal reinforcement learning. Advances in Neural Information Processing Systems 36 (2024)."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2014.2312291"},{"key":"e_1_3_2_1_39_1","volume-title":"Attention is all you need. Advances in Neural Information Processing Systems","author":"Vaswani A","year":"2017","unstructured":"A Vaswani. 2017. Attention is all you need. Advances in Neural Information Processing Systems (2017)."},{"key":"e_1_3_2_1_40_1","volume-title":"Aakanksha Chowdhery, and Denny Zhou.","author":"Wang Xuezhi","year":"2022","unstructured":"Xuezhi Wang, Jason Wei, Dale Schuurmans, Quoc Le, Ed Chi, Sharan Narang, Aakanksha Chowdhery, and Denny Zhou. 2022. Self-consistency improves chain of thought reasoning in language models. arXiv preprint arXiv:2203.11171 (2022)."},{"key":"e_1_3_2_1_41_1","volume-title":"Denny Zhou, et al.","author":"Wei Jason","year":"2022","unstructured":"Jason Wei, Xuezhi Wang, Dale Schuurmans, Maarten Bosma, Fei Xia, Ed Chi, Quoc V Le, Denny Zhou, et al. 2022. Chain-of-thought prompting elicits reasoning in large language models. Advances in neural information processing systems 35 (2022), 24824\u201324837."},{"key":"e_1_3_2_1_42_1","volume-title":"A prompt pattern catalog to enhance prompt engineering with chatgpt. arXiv preprint arXiv:2302.11382","author":"White Jules","year":"2023","unstructured":"Jules White, Quchen Fu, Sam Hays, Michael Sandborn, Carlos Olea, Henry Gilbert, Ashraf Elnashar, Jesse Spencer-Smith, and Douglas C Schmidt. 2023. A prompt pattern catalog to enhance prompt engineering with chatgpt. arXiv preprint arXiv:2302.11382 (2023)."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/3650212.3680359"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2503119"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2956124"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.compbiomed.2023.107521"}],"event":{"name":"PROMISE '26: 22nd International Conference on Predictive Models and Data Analytics in Software Engineering","location":"Montreal QC Canada","acronym":"PROMISE '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"]},"container-title":["Proceedings of the 22nd International Conference on Predictive Models and Data Analytics in Software Engineering"],"original-title":[],"deposited":{"date-parts":[[2026,6,29]],"date-time":"2026-06-29T17:13:06Z","timestamp":1782753186000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3803846.3807460"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,7,5]]},"references-count":46,"alternative-id":["10.1145\/3803846.3807460","10.1145\/3803846"],"URL":"https:\/\/doi.org\/10.1145\/3803846.3807460","relation":{},"subject":[],"published":{"date-parts":[[2026,7,5]]},"assertion":[{"value":"2026-07-05","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}