[논문 리뷰] Towards a Domain Specific Language for a Scene Graph based Robotic World Model

Sebastian Blumenthal, Herman Bruyninckx|arXiv (Cornell University)|2014. 08. 01.

Robotics and Sensor-Based Localization참고 문헌 9인용 수 12

한 줄 요약

이 논문은 로봇 시나리오 그래프(Robot Scene Graph) 프레임워크 기반으로 로봇 월드 모델을 모델링하기 위한 도메인 특화 언어(RSG-DSL)를 소개한다. 이는 구조적이고 오류가 적은 시나리오 구성, 의미적 구조, 기능 블록의 입력/출력을 정의할 수 있게 하며, M1 모델에서 C++ 코드로의 모델-텍스트 변환을 통해 BRICS_3D 라이브러리에 통합할 수 있도록 한다. 이는 로봇 분야에서 모델 기반 개발을 향상시킨다.

ABSTRACT

Robot world model representations are a vital part of robotic applications. However, there is no support for such representations in model-driven engineering tool chains. This work proposes a novel Domain Specific Language (DSL) for robotic world models that are based on the Robot Scene Graph (RSG) approach. The RSG-DSL can express (a) application specific scene configurations, (b) semantic scene structures and (c) inputs and outputs for the computational entities that are loaded into an instance of a world model.

연구 동기 및 목표

• 모델 기반 공학에서 로봇 월드 모델을 위한 도메인 특화 언어(DSL)의 부족을 해결한다.
• 로봇 응용 프로그램에서 시나리오 구성, 의미적 구조, 기능 블록 인터페이스를 공식적이고 구조적으로 정의할 수 있는 방법을 제공한다.
• 런타임 오류를 줄이고 개발 효율성을 향상시키기 위해 월드 모델 컴포넌트를 조기에 설계 시점에 명시할 수 있도록 한다.
• 자동 코드 생성을 통해 기존 C++ 라이브러리인 BRICS_3D와의 통합을 지원한다.
• perception, 계획, 조율 등의 로봇 하위 도메인을 위한 다수의 DSL을 통합할 수 있도록 한다.

제안 방법

• M0에서 M3까지의 네 수준 모델 기반 공학 스택을 사용하여 RSG-DSL을 정의하고, M2를 DSL의 메타모델로 사용한다.
• 계층적 구조를 사용하여 시나리오 구조를 모델링한다: 공간적 및 의미적 조직을 위한 GeometricNode, Transform, Group, Attribute.
• 입력 및 출력의 구조를 포함한 기능 블록을 정의하며, 선택적 기수성(예: "*"로 다중 출력을 지정)과 시나리오 그래프에 삽입 가능한 훅 포인트를 지원한다.
• M1 DSL 모델에서 C++ 코드로의 모델-텍스트 변환을 사용하여 BRICS_3D C++ 라이브러리 대상으로 코드를 생성한다.
• 공유 포인터와 라이브러리 종속성을 포함한 타입 정의(예: PointCloudPCL)를 통해 데이터 타입을 표현한다.
• 의미적 주석(예: 네 개의 다리가 있는 테이블)과 센서 또는 처리 노드에 연결된 입력/출력 훅을 통한 동적 데이터 흐름을 지원한다.

실험 결과

연구 질문

• RQ1 어떻게 시나리오 그래프 기반의 로봇 월드 모델의 구조적 및 계산적 측면을 모델링할 수 있는 도메인 특화 언어를 설계할 수 있는가?
• RQ2 직접 C++ API를 사용하는 것과 비교해 RSG-DSL이 코드 복잡성과 오류 발생 가능성을 얼마나 줄이는가?
• RQ3 RSG-DSL은 사전 정의된 객체 구조와 같은 의미 지식과 기능적 데이터 흐름(입력/출력)을 표현할 수 있는가?
• RQ4 어떻게 RSG-DSL은 코드 생성을 통해 PCL 및 BRICS_3D와 같은 기존 로봇 소프트웨어 스택과 통합할 수 있는가?
• RQ5 기하학 또는 제어 등의 다른 DSL들을 통합하여 유일한 로봇 개발 프레임워크를 구성할 잠재력은 무엇인가?

주요 결과

• RSG-DSL은 로봇 운동학, 정적 환경 구성 요소, 센서 데이터 저장 위치 등 응용 프로그램 전용 시나리오 구성 요소를 성공적으로 모델링한다.
• DSL은 테이블이 플레이트와 네 개의 다리로 구성된 의미적 시나리오 구조를 정의할 수 있으며, 이는 인식 알고리즘에 사전 지식으로 활용될 수 있다.
• 기능 블록 인터페이스는 입력 및 출력의 구조를 공식적으로 정의하며, "*" 기수성 연산자를 통해 다중 출력을 지원한다.
• 모델-텍스트 변환은 BRICS_3D 라이브러리에 적합한 정확한 C++ 코드를 생성하여 기존 월드 모델 구현과의 호환성을 확보한다.
• DSL은 시나리오 구조 정의를 저수준 API의 순서 제약 조건에서 분리함으로써 개발자 생산성을 향상시키고 코드 오류를 줄인다.
• 미래의 향상 사항, 예를 들어 불확실성 모델링, 다중 로봇 지원, 로봇 하위 도메인을 위한 다른 DSL들과의 통합을 위한 확장성도 지원한다.