{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,25]],"date-time":"2026-05-25T04:05:54Z","timestamp":1779681954350,"version":"3.53.1"},"reference-count":25,"publisher":"World Scientific Pub Co Pte Ltd","issue":"03","funder":[{"name":"AICODE China Southern Airlines Intelligent Coding Software Project","award":["2024018180"],"award-info":[{"award-number":["2024018180"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int. J. Comp. Intel. Appl."],"published-print":{"date-parts":[[2026,9]]},"abstract":"<jats:p>Artificial Intelligence Code Generation (AICODE) technology holds immense potential for enhancing software development efficiency. However, when applied to safety-critical domains like aeronautical control, the generated code often exhibits logical flaws and compliance risks due to its lack of domain knowledge. To address this issue, this paper proposes and implements a post-processing prototype mechanism based on a Knowledge Graph (KG), specifically designed for the automated correction and optimization of AICODE-generated aeronautical control code. The mechanism begins by constructing an Aeronautical Control Knowledge Graph (ACKG) for typical UAV attitude and navigation control tasks, which integrates principles of flight control, a subset of airworthiness-related standard clauses, and historical defects. This ACKG is integrated into a prototype system with static analysis and simulation verification tools. Upon receiving a piece of code generated by AICODE, the mechanism leverages the ACKG to perform semantic-level error detection and defect tracing, and then drives AICODE to generate targeted repair solutions. Subsequently, it iteratively optimizes the functionally correct code based on performance models and optimization strategies within the ACKG.\u00a0Case studies on two typical control modules (a PID attitude loop and an EKF navigator) demonstrate that, under the given dataset and experimental setup, the prototype system increased the simulation pass rate of the initial code from 68.5% to 99.1%, achieved a defect detection rate of 96.4%, and improved the performance of key modules by an average of approximately 18.5%. It must be emphasized that the main novelty lies in applying this integrated framework to the specific domain of AICODE-generated flight control software, and results are based on limited-scale case studies. This work serves as a proof of concept, and the proposed mechanism should be viewed as an auxiliary tool for development and simulation, not a qualified tool for certification under standards like DO-178C.\u00a0From a research perspective, this work validates the feasibility and application potential of a synergistic \u2018Knowledge Graph [Formula: see text] Large Model\u2019 approach to safeguarding the quality of AICODE-generated code.<\/jats:p>","DOI":"10.1142\/s1469026826500124","type":"journal-article","created":{"date-parts":[[2026,3,5]],"date-time":"2026-03-05T14:59:26Z","timestamp":1772722766000},"source":"Crossref","is-referenced-by-count":0,"title":["Correcting and Optimizing AICODE-Generated Aeronautical Control Code via a Knowledge Graph-Based Mechanism"],"prefix":"10.1142","volume":"25","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4677-9449","authenticated-orcid":false,"given":"Xijun","family":"Yu","sequence":"first","affiliation":[{"name":"CSN Digital Intelligence Technology Co., Ltd., Guangzhou, Guangdong 510405, P.\u00a0R.\u00a0China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0007-0001-847X","authenticated-orcid":false,"given":"Ling","family":"Jiang","sequence":"additional","affiliation":[{"name":"CSN Digital Intelligence Technology Co., Ltd., Guangzhou, Guangdong 510405, P.\u00a0R.\u00a0China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0004-8595-9866","authenticated-orcid":false,"given":"Weiqi","family":"Zhuang","sequence":"additional","affiliation":[{"name":"CSN Digital Intelligence Technology Co., Ltd., Guangzhou, Guangdong 510405, P.\u00a0R.\u00a0China"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0009-0000-4448-5650","authenticated-orcid":false,"given":"Le","family":"Yang","sequence":"additional","affiliation":[{"name":"CSN Digital Intelligence Technology Co., Ltd., Guangzhou, Guangdong 510405, P.\u00a0R.\u00a0China"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"219","published-online":{"date-parts":[[2026,3,5]]},"reference":[{"key":"S1469026826500124BIB001","doi-asserted-by":"crossref","unstructured":"W. K. Youn\n                      et al.\n                      , Software certification of safety-critical avionic systems: DO-178C and its impacts,\n                      IEEE Aerosp. Electron. Syst. Mag.\n                      30\n                      (4) (2015) 4\u201313, https:\/\/doi.org\/10.1109\/MAES.2014.140109.","DOI":"10.1109\/MAES.2014.140109"},{"key":"S1469026826500124BIB002","doi-asserted-by":"publisher","DOI":"10.1201\/9781315218168"},{"key":"S1469026826500124BIB003","doi-asserted-by":"crossref","unstructured":"D. Zan\n                      et al.\n                      , Large language models meet nl2code: a survey, in\n                      Proc. 61st Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)\n                      (Association for Computational Linguistics 2023), pp. 7443\u20137464, https:\/\/doi.org\/10.18653\/v1\/2023.acl-long.411.","DOI":"10.18653\/v1\/2023.acl-long.411"},{"issue":"5","key":"S1469026826500124BIB004","first-page":"367","volume":"21","author":"Vidot G.","year":"2024","journal-title":"J. Aerosp. Inf. Syst."},{"key":"S1469026826500124BIB005","doi-asserted-by":"publisher","DOI":"10.1145\/3571730"},{"key":"S1469026826500124BIB006","doi-asserted-by":"publisher","DOI":"10.1016\/j.jmsy.2025.04.016"},{"key":"S1469026826500124BIB007","doi-asserted-by":"publisher","DOI":"10.1016\/j.knosys.2025.113503"},{"key":"S1469026826500124BIB008","first-page":"27730","volume":"35","author":"Ouyang L.","year":"2022","journal-title":"Adv. Neural Inf. Process. Syst."},{"key":"S1469026826500124BIB009","doi-asserted-by":"publisher","DOI":"10.3390\/app14031046"},{"issue":"1","key":"S1469026826500124BIB010","first-page":"23","volume":"10","author":"Eberendu A. C.","year":"2022","journal-title":"Eur. J. Comput. Sci. Inf. Technol."},{"key":"S1469026826500124BIB011","doi-asserted-by":"crossref","unstructured":"M. C. Lee\n                      et al.\n                      , Hybgrag: hybrid retrieval-augmented generation on textual and relational knowledge bases, in\n                      Proc. 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers)\n                      (Association for Computational Linguistics 2025), pp. 879\u2013893, https:\/\/doi.org\/10.18653\/v1\/2025.acl-long.43.","DOI":"10.18653\/v1\/2025.acl-long.43"},{"key":"S1469026826500124BIB012","doi-asserted-by":"publisher","DOI":"10.1007\/s10115-025-02383-9"},{"key":"S1469026826500124BIB013","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2023.3308897"},{"key":"S1469026826500124BIB014","doi-asserted-by":"publisher","DOI":"10.1109\/APR59189.2023.00012"},{"issue":"7","key":"S1469026826500124BIB015","first-page":"1","volume":"34","author":"Wu J. J.","year":"2025","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"S1469026826500124BIB016","doi-asserted-by":"crossref","unstructured":"S. Ouyang, J. M. Zhang, Z. Sun and A. M. Penuela, Knowledge-enhanced program repair for data science code, preprint: arXiv:2502.09771 (2025), https:\/\/doi.org\/10.48550\/arXiv.2502.09771.","DOI":"10.1109\/ICSE55347.2025.00246"},{"key":"S1469026826500124BIB017","unstructured":"B. Yang, J. Ren, S. Jin, Y. Liu, F. Liu, B. Le and H. Tian, Enhancing repository-level software repair via repository-aware knowledge graphs, preprint: arXiv:2503.21710 (2025), https:\/\/doi.org\/10.48550\/arXiv.2503.21710."},{"key":"S1469026826500124BIB018","doi-asserted-by":"publisher","DOI":"10.3390\/s24010231"},{"key":"S1469026826500124BIB019","doi-asserted-by":"crossref","unstructured":"X. Tang, G. Chi, L. Cui, A. W. Ip, K. L. Yung and X. Xie, Research on construction and application of aircraft fault knowledge graphs, Preprints 2023, 2023041140 (2023), https:\/\/doi.org\/10.20944\/preprints202304.1140.v1.","DOI":"10.20944\/preprints202304.1140.v1"},{"key":"S1469026826500124BIB020","doi-asserted-by":"publisher","DOI":"10.3390\/aerospace12060463"},{"key":"S1469026826500124BIB021","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2025.112353"},{"key":"S1469026826500124BIB022","doi-asserted-by":"publisher","DOI":"10.1007\/s42979-022-01429-x"},{"key":"S1469026826500124BIB023","doi-asserted-by":"publisher","DOI":"10.18653\/v1\/2023.findings-emnlp.248"},{"key":"S1469026826500124BIB024","doi-asserted-by":"publisher","DOI":"10.1145\/3721145.3730419"},{"key":"S1469026826500124BIB025","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2025.107697"}],"container-title":["International Journal of Computational Intelligence and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.worldscientific.com\/doi\/pdf\/10.1142\/S1469026826500124","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,5,25]],"date-time":"2026-05-25T03:48:55Z","timestamp":1779680935000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.worldscientific.com\/doi\/10.1142\/S1469026826500124"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,3,5]]},"references-count":25,"journal-issue":{"issue":"03","published-print":{"date-parts":[[2026,9]]}},"alternative-id":["10.1142\/S1469026826500124"],"URL":"https:\/\/doi.org\/10.1142\/s1469026826500124","relation":{},"ISSN":["1469-0268","1757-5885"],"issn-type":[{"value":"1469-0268","type":"print"},{"value":"1757-5885","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026,3,5]]},"article-number":"2650012"}}