• 대한전기학회
Mobile QR Code QR CODE : The Transactions of the Korean Institute of Electrical Engineers
  • COPE
  • kcse
  • 한국과학기술단체총연합회
  • 한국학술지인용색인
  • Scopus
  • crossref
  • orcid
The Transactions of the Korean Institute of Electrical Engineers

The Transactions of the Korean Institute of Electrical Engineers

ISO Journal TitleTrans. Korean. Inst. Elect. Eng.
SCImago Journal & Country Rank

Journal Search

  1. Home
  2. Archive
  3. 2026-10 (Vol.75 No.10)
  4. 10.5370/KIEE.2026.75.10.2562
XML PDF INFO REF

References

1 
"EN 50128:2011, “Railway applications – Communication, signalling and processing systems – Software for railway control and protection systems,”," CENELEC, European Committee for Electrotechnical Standardization, 2020. Google Search
2 
"EN 50716:2023, “Railway applications – Requirements for software development,”," CENELEC, European Committee for Electrotechnical Standardization, 2023. Google Search
3 
D. Zowghi, C. Coulin, "Requirements Elicitation: A Survey of Techniques, Approaches, and Tools," Engineering and Managing Software Requirements, pp. 19-46, 2005. DOI
4 
Hye Sun Lim, Seok-Woo Lee, "A Method to Specify and Verify Requirements for Safety Critical System," Journal of KIISE, vol. 44, no. 9, pp. 893-907, 2017. DOI
5 
W. Zhao, "A Survey of Large Language Models," arXiv preprint arXiv:2303.18223, 2023. DOI
6 
S.-C. Necula, F. Dumitriu, V. Greavu-Serban, "A Systematic Literature Review on Using Natural Language Processing in Software Requirements Engineering," Electronics, vol. 13, no. 11, 2024. DOI
7 
Z. Ji, "Survey of Hallucination in Natural Language Generation," ACM Computing Surveys, vol. 55, no. 12, pp. 1-38, 2023. DOI
8 
L. Provenzano, K. Hänninen, "Specifying Software Requirements for Safety-Critical Railway Systems: An Experience Report," REFSQ 2017, LNCS, Springer, vol. 10153, pp. 363-369, 2017. DOI
9 
A. Iliasov, D. Taylor, L. Laibinis, A. Romanovsky, "Practical Verification of Railway Signalling Programs," IEEE Trans. Dependable Secure Comput., vol. 20, no. 1, pp. 695-707, 2023. DOI
10 
Z. Chen, "Developing CBTC system safety requirement hierarchy through STPA methodology," Heliyon, vol. 10, 2024. DOI
11 
L. Zhao, "Natural Language Processing for Requirements Engineering: A Systematic Mapping Study," ACM Computing Surveys, vol. 54, no. 3, pp. 1-41, 2021. DOI
12 
A. Ferrari, "Detecting Requirements Defects with NLP Patterns: An Industrial Experience in the Railway Domain," Empirical Software Engineering, vol. 23, pp. 3684-3733, 2018. DOI
13 
A. Veizaga, S. Y. Shin, L. C. Briand, "Automated Smell Detection and Recommendation in Natural Language Requirements," IEEE Transactions on Software Engineering, vol. 50, no. 4, pp. 695-720, 2024. DOI
14 
A. Mavin, P. Wilkinson, A. Harwood, M. Novak, "Easy Approach to Requirements Syntax (EARS)," pp. 317-322, Proc. 17th IEEE International Requirements Engineering Conference (RE'09), 2009. DOI
15 
X. Hou, "Large Language Models for Software Engineering: A Systematic Literature Review," ACM Transactions on Software Engineering and Methodology, vol. 33, no. 8, pp. 1-79, 2024. DOI
16 
J. White, "A Prompt Pattern Catalog to Enhance Prompt Engineering with ChatGPT," arXiv:2302.11382; also in Proc. 30th Conf. Pattern Languages of Programs (PLoP'23), ACM, 2023. DOI
17 
A. Nouri, B. Cabrero-Daniel, F. Törner, H. Sivencrona, C. Berger, "Engineering Safety Requirements for Autonomous Driving with Large Language Models," pp. 218-228, Proc. 32nd IEEE International Requirements Engineering Conference (RE'24), 2024. DOI
18 
K. Greshake, S. Abdelnabi, S. Mishra, C. Endres, T. Holz, M. Fritz, "Not What You've Signed Up For: Compromising Real-World LLM-Integrated Applications with Indirect Prompt Injection," pp. 79-90, Proc. 16th ACM Workshop on Artificial Intelligence and Security (AISec'23), 2023. DOI
19 
E. Kurian, D. Briola, P. Braione, G. Denaro, "Automatically Generating Test Cases for Safety-Critical Software via Symbolic Execution," Journal of Systems and Software, vol. 199, 2023. DOI
20 
A. Bucaioni, F. Di Silvestro, I. Singh, M. Saadatmand, H. Muccini, T. Jochumsson, "Model-based Generation of Test Scripts Across Product Variants: An Experience Report from the Railway Industry," Journal of Software: Evolution and Process, vol. 34, no. 11, 2022. DOI
21 
A. Ferrari, F. Mazzanti, D. Basile, M. H. ter Beek, "Systematic Evaluation and Usability Analysis of Formal Methods Tools for Railway Signaling System Design," IEEE Transactions on Software Engineering, vol. 48, no. 11, pp. 4675-4691, 2022. DOI
22 
M. A. Zadenoori, J. Dąbrowski, W. Alhoshan, L. Zhao, A. Ferrari, "Large Language Models (LLMs) for Requirements Engineering (RE): A Systematic Literature Review," arXiv: 2509.11446, 2025. Google Search
23 
I.-G. Oțelea, B. Pintea, R. V. Rughiniș, V. Tîrșu, "Evaluating LLMs for Automated Requirement and Test Case Generation in Railway Signaling Systems," pp. 1-6, Proc. 24th RoEduNet International Conference (IEEE), 2025. DOI
24 
Woo Sung Jang, Young Chul Kim, "Automatic test case generation with informal korean requirement specifications," Hongik University Graduate School, pp. 13-33, 2022. DOI