[논문 리뷰] Towards Live Programming in ROS with PhaROS and LRP

Pablo Estefó, Miguel Campusano외 4명|arXiv (Cornell University)|2014. 12. 15.

Robotics and Automated Systems참고 문헌 2인용 수 3

한 줄 요약

이 논문은 LRP 언어와 PhaROS를 사용하여 ROS 로봇을 위한 라이브 프로그래밍 접근법을 제안한다. 이는 실시간 코드 변경, 동적 노드 관리, 런타임 매개변수 및 연결 업데이트를 가능하게 하며, ROS에서 라이브 프로그래밍을 위한 네 가지 핵심 요구사항을 충족한다. 이를 통해 프로젝트 개발 중에 반복적인 코드 조정을 통해 실시간 행동 피드백을 즉각적으로 제공한다.

ABSTRACT

In traditional robot behavior programming, the edit-compile-simulate-deploy-run cycle creates a large mental disconnect between program creation and eventual robot behavior. This significantly slows down behavior development because there is no immediate mental connection between the program and the resulting behavior. With live programming the development cycle is made extremely tight, realizing such an immediate connection. In our work on programming of ROS robots in a more dynamic fashion through PhaROS, we have experimented with the use of the Live Robot Programming language. This has given rise to a number of requirements for such live programming of robots. In this text we introduce these requirements and illustrate them using an example robot behavior.

연구 동기 및 목표

• 기존의 정적 편집-컴파일-시뮬레이션-배포-실행 사이클로 인해 발생하는 인지적 괴리 문제를 해결하기 위해.
• 라이브 프로그래밍을 통해 코드 수정과 로봇 행동 간 즉각적인 피드백을 확보하기 위해 ROS에서 실현 가능하도록 하기 위해.
• 런타임 노드 제어 및 동적 구성과 같은 라이브 프로그래밍을 위한 핵심 요구사항을 식별하고 충족시키기 위해.
• LRP와 PhaROS를 통한 라이브 프로그래밍의 타당성과 효과성을 실제 로봇 응용 프로그램에서 평가하기 위해.
• 라이브 프로그래밍이 로봇 행동 개발 시 개발 효율성을 향상시키고 정신적 부담을 줄이는 데 기여함을 보여주기 위해.

제안 방법

• Pharo 동적 언어를 위한 ROS 클라이언트인 PhaROS를 활용하여, 런타임 수명 주기 제어가 가능한 첫 번째급 객체로서 ROS 노드를 표현하였다.
• 중첩된 상태 기계를 사용하고 실시간 코드 업데이트를 지원하는 라이브 로봇 프로그래밍(LRP) 도메인 특화 언어를 통합하였다.
• Pharo의 동적 환경을 활용하여 핫 코드 스왑을 구현하여 실행을 멈추지 않고도 코드 변경을 가능하게 하였다.
• 접근 가능한 노드 필드를 통한 런타임 매개변수 수정을 구현하여 실행 중 동적 구성이 가능하도록 하였다.
• 런타임에 ROS 연결을 생성함으로써 동적 주제 구독 및 발행을 가능하게 하여, 응용 프로그램 재시작 없이도 노드 연결을 재구성할 수 있도록 하였다.
• 로봇 전용 하드웨어 상호작용을 추상화하기 위해 RobulabBridge API를 활용하여, LRP 코드 개발을 단순화하였다.

실험 결과

연구 질문

• RQ1 기존에 정적 구성을 강요하는 ROS 생태계에 라이브 프로그래밍을 효과적으로 통합할 수 있는 방법은 무엇인가?
• RQ2 ROS에서 로봇 행동의 라이브 프로그래밍을 지원하기 위해 충족시켜야 할 핵심 요구사항은 무엇인가?
• RQ3 동적 언어 환경을 사용할 때, 런타임 노드 관리, 매개변수 업데이트, 코드 스왑, 연결 변경이 얼마나 잘 달성될 수 있는가?
• RQ4 LRP와 PhaROS의 조합은 기존의 ROS 개발 방식에 비해 로봇 행동 개발 워크플로우에 어떤 개선을 이끌어내는가?
• RQ5 라이브 코드 통합을 통해 ROS에서 실시간 행동 피드백을 확보할 수 있는가?

주요 결과

• 제안된 LRP+PhaROS 솔루션은 ROS에서 라이브 프로그래밍을 위한 네 가지 핵심 요구사항을 모두 성공적으로 충족시켰다: 동적 노드 시작/정지, 런타임 매개변수 변경, 핫 코드 스왑, 동적 연결 업데이트.
• PhaROS 노드는 여러 번 재시작되며, 주제에 자동으로 재연결하고 통신을 재개할 수 있어 요구사항 1을 충족시켰다.
• PhaROS의 노드 매개변수는 필드로 접근 가능하여, Smalltalk 코드 또는 명령줄 인수를 통해 런타임 수정이 가능하며, 요구사항 2를 충족시켰다.
• 시스템이 실행 중일 때 코드를 수정하면서 장애물 회피 행동을 반복적으로 개선함으로써 효과적인 핫 코드 스왑(요구사항 3)이 가능함을 입증하였다.
• 주제 구독 및 발행이 런타임에 동적으로 관리되어 응용 프로그램 재시작 없이도 노드 연결을 변경할 수 있었으며, 요구사항 4를 충족시켰다.
• LRP와 PhaROS의 통합은 즉각적인 행동 피드백을 제공하는 원활하고 상호작용적인 개발 경험을 가능하게 하여, 코드와 실행 간의 인지적 괴리를 크게 줄였다.