Seok-Woo Lim

Proposing an LLM-Based Framework for Automated Structuring and Verification of Korean Railway Software Safety Requirements

Railway signaling software must satisfy strict requirements—clarity, completeness, verifiability, and traceability—from the specification phase. KRS-SG-0069 requirements are written in Korean natural language, making manual structuring costly and expert-dependent. I propose a sem...