UPPAAi: LLM 지원 모델링, 검증, 분석 및 합성 방향으로

요약

UPPAAI는 기존의 복잡한 시스템 모델링 및 분석 도구인 UPPAAL을 LLM과 결합하여 확장한 버전입니다. 사용자가 대화를 통해 모델 구성, 디버깅, 명세화가 가능하며, 핵심 원칙은 LLM이 제안하고 오케스트레이션하면 UPPAAL이 검증하는 것입니다.

핵심 포인트

• LLM을 활용하여 복잡한 시스템 모델링 및 분석 과정을 지원합니다.
• UPPAAI는 Tools API를 통해 UPPAAL의 에디터, 쿼리, 검증기에 접근 가능합니다.
• LLM은 단순 해결책 제시 외에도 관련 기능을 선제적으로 제안하는 데 유용함을 입증했습니다.
• 시간 자동장치 등 다양한 고급 모델링 기법을 다루는 사례 연구가 포함됩니다.