인문학
사회과학
자연과학
공학
의약학
농수해양학
예술체육학
복합학
DBpia AI
AI 에이전트
AI 아이디어
AI 리더
AI 뷰어
Citeasy
크롬 서지관리 다운로드
지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
피인용 0
초록·키워드
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 semi-automated framework combining LLM-based structuring with deterministic verification. Analysis of 94 requirements identified seven defect types mapped to EN 50128 clause 7.2.4 violations. The framework comprises four modules: M1 classifies requirements; M2 converts them into a six-element boilerplate via Chain-of-Thought prompting; M3 validates drafts through a four-layer rule engine; M4 generates state transition models, test cases, and a traceability matrix. The LLM is confined to draft generation, while safety judgments are delegated to deterministic engines and formal validators. This paper presents an architectural foundation; quantitative evaluation and broader applicability remain as future work.
본문·목차
인공지능 문자 인식 모델을 통해 추출된 텍스트로, 일부 오타나 오류가 포함될 수 있으나 지속적으로 개선 중입니다.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
오류를 발견하셨다면 해당 부분을 드래그한 후 ' 를 통해 신고해주세요.
최근 본 자료 전체보기
