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

요약

의료 사물인터넷(MIoT) 환경에서 LLM을 활용해 구조화된 데이터를 변환하는 진화적 코드 합성 시스템을 제안합니다. 생성된 코드가 사전 정의된 요구 사항을 충족하도록 형식 검증(Formal Verification) 단계를 통합하여 데이터 변환의 신뢰성을 확보했습니다.

핵심 포인트

• LLM 기반의 진화적 코드 합성 시스템 제안
• 코드 합성 파이프라인에 형식 검증 단계 통합
• JSON 스키마와 FHIR 형식 간의 정확한 변환 보장
• 맥박 산소 측정기 통합 사례를 통한 시스템 유효성 입증