의료 사물인터넷(Medical Internet of Things) 환경에서의 구조화된 데이터 변환을 위한 형식 검증된 코드 합성

본 연구에서는 의료 사물인터넷 (Medical Internet of Things) 환경에서 구조화된 데이터 변환을 위한 LLM (Large Language Model) 기반의 진화적 코드 합성 시스템을 제시합니다. 이 분야의 핵심 과제는 합성된 코드가 신뢰할 수 있고 믿을 수 있는지 보장하는 것입니다. 이를 위해, 우리는 생성된 모든 코드가 사전 정의된 요구 사항을 충족함을 보장하도록 코드 합성 파이프라인에 형식 검증 (Formal Verification) 단계를 통합합니다. 특히, 우리는 새로운 장치(맥박 산소 측정기)를 기존 장치 네트워크에 통합하는 사례 연구를 제시합니다. 우리의 시스템은 해당 장치의 JSON 스키마 (JSON schema)와 더 넓은 시스템에서 사용되는 FHIR (Fast Healthcare Interoperability Resources) 형식 간의 형식 검증된 변환을 생성합니다. 이 형식 검증 단계는 생성된 코드에 의해 변환된 구조화된 데이터가 항상 대상 출력 스키마에 있음을 보장합니다. 우리는 우리의 시스템이 낮은 비용으로 일관되게 정확한 변환을 생성할 수 있음을 입증하는 일련의 실험 결과를 제공합니다.