{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:57:16Z","timestamp":1776333436624,"version":"3.51.2"},"publisher-location":"Cham","reference-count":32,"publisher":"Springer Nature Switzerland","isbn-type":[{"value":"9783032227737","type":"print"},{"value":"9783032227744","type":"electronic"}],"license":[{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2026,1,1]],"date-time":"2026-01-01T00:00:00Z","timestamp":1767225600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-032-22774-4_4","type":"book-chapter","created":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:16:44Z","timestamp":1776331004000},"page":"64-85","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["LusGen: Leveraging LLMs for Safety-Critical Lustre Design and Requirements Traceability"],"prefix":"10.1007","author":[{"given":"Yili","family":"Jiang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhuoran","family":"Yan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ning","family":"Ge","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jiahao","family":"Weng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chunming","family":"Hu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2026,4,17]]},"reference":[{"key":"4_CR1","unstructured":"Bell, R.: Introduction to iec 61508. In: Acm international conference proceeding series. vol.\u00a0162, pp. 3\u201312 (2006)"},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Burmester, S., Giese, H., Hirsch, M., Schilling, D., Tichy, M.: The fujaba real-time tool suite: model-driven development of safety-critical, real-time systems. In: Proceedings of the 27th international conference on Software engineering. pp. 670\u2013671 (2005)","DOI":"10.1109\/ICSE.2005.1553646"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Cimatti, A., Griggio, A.: Software model checking via ic3. In: International Conference on Computer Aided Verification. pp. 277\u2013293. Springer (2012)","DOI":"10.1007\/978-3-642-31424-7_23"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Cola\u00e7o, J.L., Pagano, B., Pouzet, M.: Scade 6: A formal language for embedded critical software development. In: 2017 International Symposium on Theoretical Aspects of Software Engineering (TASE). pp. 1\u201311. IEEE (2017)","DOI":"10.1109\/TASE.2017.8285623"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"Donaldson, A.F., Haller, L., Kroening, D., R\u00fcmmer, P.: Software verification using k-induction. In: International Static Analysis Symposium. pp. 351\u2013368. Springer (2011)","DOI":"10.1007\/978-3-642-23702-7_26"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Ge, N., Dieumegard, A., Jenn, E., Voisin, L.: Correct-by-construction specification to verified code. Journal of Software: Evolution and Process 30(10), e1959 (2018)","DOI":"10.1002\/smr.1959"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Ge, N., Jenn, E., Breton, N., Fonteneau, Y.: Integrated formal verification of safety-critical software. International Journal on Software Tools for Technology Transfer 20(4), 423\u2013440 (2018)","DOI":"10.1007\/s10009-017-0475-0"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Geng, R., Weng, J., Ge, N., Li, J., Hu, C.: Drem: Efficiently generating domain-specific requirements modeling tool. In: Proceedings of the 33rd ACM International Conference on the Foundations of Software Engineering. pp. 1025\u20131029 (2025)","DOI":"10.1145\/3696630.3728574"},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Ghabi, A., Egyed, A.: Code patterns for automatically validating requirements-to-code traces. In: Proceedings of the 27th IEEE\/ACM International Conference on Automated Software Engineering. pp. 200\u2013209 (2012)","DOI":"10.1145\/2351676.2351705"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Gu, X., Chen, M., Lin, Y., Hu, Y., Zhang, H., Wan, C., Wei, Z., Xu, Y., Wang, J.: On the effectiveness of large language models in domain-specific code generation. ACM Transactions on Software Engineering and Methodology 34(3), 1\u201322 (2025)","DOI":"10.1145\/3697012"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Gu, X., Chen, M., Lin, Y., Hu, Y., Zhang, H., Wan, C., Wei, Z., Xu, Y., Wang, J.: On the effectiveness of large language models in domain-specific code generation. ACM Transactions on Software Engineering and Methodology 34(3), 1\u201322 (2025)","DOI":"10.1145\/3697012"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous data flow programming language lustre. Proceedings of the IEEE 79(9), 1305\u20131320 (2002)","DOI":"10.1109\/5.97300"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Joel, S., Wu, J.J., Fard, F.H.: A survey on llm-based code generation for low-resource and domain-specific programming languages. arXiv preprint arXiv:2410.03981 (2024)","DOI":"10.1145\/3770084"},{"key":"4_CR14","unstructured":"Karris, S.T.: Introduction to Simulink with engineering applications. Orchard Publications (2006)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of the 24th international conference on software engineering. pp. 547\u2013550 (2002)","DOI":"10.1109\/ICSE.2002.1007998"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Lahtinen, J., Johansson, M., Ranta, J., Harju, H., Nevalainen, R.: Comparison between iec 60880 and iec 61508 for certification purposes in the nuclear domain. In: International Conference on Computer Safety, Reliability, and Security. pp. 55\u201367. Springer (2010)","DOI":"10.1007\/978-3-642-15651-9_5"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Lamas, V., R.\u00a0Luaces, M., Garcia-Gonzalez, D.: Dsl-xpert: Llm-driven generic dsl code generation. In: Proceedings of the ACM\/IEEE 27th International Conference on Model Driven Engineering Languages and Systems. pp. 16\u201320 (2024)","DOI":"10.1145\/3652620.3687782"},{"key":"4_CR18","unstructured":"Lamrani, I., Banerjee, A., Gupta, S.K.: Toward operational safety verification via hybrid automata mining using i\/o traces of ai-enabled cps. In: SafeAI@ AAAI. pp. 186\u2013194 (2020)"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Lin, J., Liu, Y., Zeng, Q., Jiang, M., Cleland-Huang, J.: Traceability transformed: Generating more accurate links with pre-trained bert models. In: 2021 IEEE\/ACM 43rd International Conference on Software Engineering (ICSE). pp. 324\u2013335. IEEE (2021)","DOI":"10.1109\/ICSE43902.2021.00040"},{"key":"4_CR20","unstructured":"Liu, F., Liu, Y., Shi, L., Huang, H., Wang, R., Yang, Z., Zhang, L., Li, Z., Ma, Y.: Exploring and evaluating hallucinations in llm-powered code generation. arXiv preprint arXiv:2404.00971 (2024)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Liu, M., Wang, J., Lin, T., Ma, Q., Fang, Z., Wu, Y.: An empirical study of the code generation of safety-critical software using llms. Applied Sciences 14(3), \u00a01046 (2024)","DOI":"10.3390\/app14031046"},{"key":"4_CR22","unstructured":"Lu, S., Guo, D., Ren, S., Huang, J., Svyatkovskiy, A., Blanco, A., Clement, C., Drain, D., Jiang, D., Tang, D., et\u00a0al.: Codexglue: A machine learning benchmark dataset for code understanding and generation. arXiv preprint arXiv:2102.04664 (2021)"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Palin, R., Ward, D., Habli, I., Rivett, R.: Iso 26262 safety cases: Compliance and assurance. In: 6th IET International Conference on System Safety 2011. p.\u00a0B12. IET (2011)","DOI":"10.1049\/cp.2011.0251"},{"key":"4_CR24","unstructured":"Ramaswamy, A., Monsuez, B., Tapus, A.: Modeling non-functional properties for human-machine systems. In: 2014 AAAI Spring Symposia, Stanford University, Palo Alto, California, USA, March 24-26, 2014. AAAI Press (2014)"},{"key":"4_CR25","unstructured":"Roziere, B., Gehring, J., Gloeckle, F., Sootla, S., Gat, I., Tan, X.E., Adi, Y., Liu, J., Sauvestre, R., Remez, T., et\u00a0al.: Code llama: Open foundation models for code. arXiv preprint arXiv:2308.12950 (2023)"},{"key":"4_CR26","unstructured":"RTCA: DO-178C, Software Considerations in Airborne Systems and Equipment Certification (2011)"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Sevenhuijsen, M., Etemadi, K., Nyberg, M.: Vecogen: Automating generation of formally verified c code with large language models. arXiv preprint arXiv:2411.19275 (2024)","DOI":"10.1109\/FormaliSE66629.2025.00017"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Street, C., Warsame, Y., Mansouri, M., Klauck, M., Henkel, C., Lampacrescia, M., Palmas, M., Lange, R., Ghiorzi, E., Tacchella, A., et\u00a0al.: Towards a verifiable toolchain for robotics. In: Proceedings of the AAAI Symposium Series. vol.\u00a04, pp. 398\u2013403 (2024)","DOI":"10.1609\/aaaiss.v4i1.31823"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Tiwari, A., Rue\u00df, H., Sa\u00efdi, H., Shankar, N.: A technique for invariant generation. In: International Conference on Tools and Algorithms for the Construction and Analysis of Systems. pp. 113\u2013127. Springer (2001)","DOI":"10.1007\/3-540-45319-9_9"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Wang, Y., Ge, N., Liu, J., Cao, Z., Chen, Z., Hu, C.: Generating sysml behavior models via large language models: an empirical study. In: Proceedings of the 16th International Conference on Internetware. pp. 366\u2013377 (2025)","DOI":"10.1145\/3755881.3755926"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Wang, Y., Wang, W., Joty, S., Hoi, S.C.: Codet5: Identifier-aware unified pre-trained encoder-decoder models for code understanding and generation. arXiv preprint arXiv:2109.00859 (2021)","DOI":"10.18653\/v1\/2021.emnlp-main.685"},{"key":"4_CR32","unstructured":"Zhong, R., Du, X., Kai, S., Tang, Z., Xu, S., Zhen, H.L., Hao, J., Xu, Q., Yuan, M., Yan, J.: Llm4eda: Emerging progress in large language models for electronic design automation. arXiv preprint arXiv:2401.12224 (2023)"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-032-22774-4_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,16]],"date-time":"2026-04-16T09:17:11Z","timestamp":1776331031000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-032-22774-4_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026]]},"ISBN":["9783032227737","9783032227744"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-032-22774-4_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2026]]},"assertion":[{"value":"17 April 2026","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turin","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2026","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"11 April 2026","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 April 2026","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"29","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2026","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/etaps.org\/2026\/conferences\/fase\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}