PRISM: Proof-Carrying Artifact Generation through LLM x MDE Synergy and Stratified Constraints
Created by
- Haebom
Category
Empty
저자
Tong Ma, Hui Lai, Hui Wang, Zhenhu Tian, Jizhou Wang, Haichao Wu, Yongfan Gao, Chaochao Li, Fengjie Xu, Ling Fang
PRISM: 안전 및 규정 준수를 위한 자동화된 아티팩트 생성
개요
PRISM은 대규모 언어 모델(LLM)과 모델 기반 엔지니어링을 통합하여 안전 및 규정 준수에 중요한 분야에서 규제 기관에서 사용할 수 있는 아티팩트와 기계 검증 가능한 증거를 생성합니다. PRISM은 세 가지 핵심 요소로 구성됩니다. 첫째, Unified Meta-Model (UMM)은 이질적인 스키마와 규제 텍스트를 단일 의미 공간으로 통합합니다. 둘째, Integrated Constraint Model (ICM)은 구조적 및 의미적 요구 사항을 생성 시간 오토마타 (GBNF, DFA) 및 생성 후 검증기 (SHACL, SMT)를 포함한 실행 아티팩트로 컴파일합니다. 셋째, Constraint-Guided Verifiable Generation (CVG)은 두 계층의 적용을 통해 이러한 요소를 적용합니다. 구조적 제약 조건은 접두사 안전 디코딩을 유도하고, 의미/논리 검증은 기계 검증 가능한 인증서를 생성합니다. 위반 사항 발생 시 PRISM은 감사 기반 수정을 수행하고 규정 준수 검토를 위해 생성 추적을 기록합니다. 자동차 소프트웨어 엔지니어링 (AUTOSAR) 및 국경 간 법적 관할권 (Brussels I bis)에서 PRISM을 평가했습니다.
시사점, 한계점
•
시사점:
◦
기존 도구와 통합되는 구조적으로 유효하고 감사 가능한 아티팩트를 생성합니다.
◦
수동 수정 노력을 크게 줄여줍니다.
◦
내장된 보증을 통해 자동화된 아티팩트 생성을 위한 실용적인 경로를 제공합니다.
•
한계점:
◦
논문에서 구체적인 한계점이 명시되지 않음. (단, 연구 범위, 특정 적용 분야, 성능, 확장성 등 추가 정보가 필요할 수 있음)
