[논문 리뷰] Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research

M Alavi Moghadam, David Johan Christensen외 2명|arXiv (Cornell University)|2013. 02. 22.

Modular Robots and Swarm Intelligence참고 문헌 7인용 수 4

한 줄 요약

이 논문은 ATRON II 모듈에서 Linux와 Python을 사용하여 자가재구성형 모듈형 로봇을 위한 Python 기반 도메인 특화 언어(DSL) 프레임워크를 제안한다. Linux의 시스템 서비스와 Python의 고수준 추상화 기능을 활용함으로써, 모듈 간 통신의 투명성, 동적 코드 전송, 역할 기반 프로그래밍이 가능해져 기존의 임베디드 가상 머신에 비해 소프트웨어 이식성과 개발자 생산성을 크게 향상시킨다.

ABSTRACT

This paper explores the role of operating system and high-level languages in the development of software and domain-specific languages (DSLs) for self-reconfigurable robotics. We review some of the current trends in self-reconfigurable robotics and describe the development of a software system for ATRON II which utilizes Linux and Python to significantly improve software abstraction and portability while providing some basic features which could prove useful when using Python, either stand-alone or via a DSL, on a self-reconfigurable robot system. These features include transparent socket communication, module identification, easy software transfer and reliable module-to-module communication. The end result is a software platform for modular robots that where appropriate builds on existing work in operating systems, virtual machines, middleware and high-level languages.

연구 동기 및 목표

• 자기재구성형 모듈형 로봇(SMR) 소프트웨어 개발의 복잡성과 저수준 성격을 해소하기 위해 고수준 추상화를 도입하고자 한다.
• Linux와 Python을 SMR 소프트웨어 개발의 기반으로 사용할 수 있는지의 타당성을 평가하고자 한다. 이는 고유의 가상 머신에 대한 의존도를 낮추기 위함이다.
• 기존 운영체제 및 프로그래밍 언어 기능을 통해 소프트웨어의 이식성, 재사용성, 개발자 생산성을 향상시키고자 한다.
• 터미널 접근을 통해 로봇 모듈에 직접 동적이고 상호작용 가능한 프로그래밍 및 디버깅을 가능하게 하고자 한다.
• DynaRole와 같은 역할 기반 프로그래밍 모델을 고수준 프레임워크 위에 Python DSL로 통합해보는 것을 목적으로 한다.

제안 방법

• ATRON II 모듈에 전체 Linux 운영체제를 탑재하여 고수준 시스템 서비스와 Python에의 접근을 가능하게 한다.
• 모듈 간 통신을 소켓 기반으로 추상화하기 위해 가벼운 Python 프레임워크인 Moduleservice를 개발한다.
• Python의 프로세스 간 통신 및 파일 전송 기능을 활용해 모듈 간 동적 소스 코드 전송을 구현한다.
• DynaRole를 영감으로 삼아 역할 기반 행동 추상화를 지원하는 Python 기반 DSL을 설계한다. 이는 구조적 적응과 행동 재사용을 가능하게 한다.
• Python의 인터프리터 성격과 압축 기능(gzip 등)을 활용해 느린 적외선 링크를 통해 소스 코드를 효율적으로 전송한다.
• 기존 운영체제 및 언어 기능(예: 프로세스 관리, 파일 입출력, 네트워킹)을 활용해 저수준 시스템 기능을 재구현할 필요를 줄인다.

실험 결과

연구 질문

• RQ1 완전한 기능을 갖춘 운영체제와 고수준 언어인 Python이 모듈형 로봇의 소프트웨어 추상화 및 이식성에 상당한 기여를 할 수 있는가?
• RQ2 자원이 제한된 모듈에서 전통적인 바이트코드 컴파일 기반 DSL인 DynaRole와 비교해 Python 기반 DSL의 성능 및 자원 사용량은 어떠한가?
• RQ3 기존 운영체제 및 언어 기능(예: 소켓, 파일 전송, 프로세스 제어)을 얼마나 활용할 수 있는가? 이는 SMR 소프트웨어 스택에서 고유의 가상 머신이 필요 없도록 줄일 수 있는가?
• RQ4 저대역폭의 적외선 채널을 통해 소스 코드 전송(예: 압축된 Python 스크립트)을 수행할 경우, 실용적인 영향은 무엇인가?
• RQ5 Python 기반 DSL이 DynaRole와 같은 역할 기반 프로그래밍 모델을 충분한 표현력과 유지보수성으로 효과적으로 표현할 수 있는가?

주요 결과

• Moduleservice 프레임워크는 단 451줄의 Python 코드로도 ATRON II 모듈 간에 투명한 소켓 기반 통신과 동적 소스 코드 전송을 성공적으로 구현했다.
• Linux와 Python의 사용 덕분에 개발자들은 터미널 접근을 통해 로봇 모듈에 직접 소프트웨어를 개발하고 상호작용적으로 디버깅할 수 있어 개발 워크플로우가 크게 향상되었다.
• 샘플 프로그램의 압축된 Python DSL 버전(350바이트)은 바이트코드 버전(156바이트)보다 크지만, 적외선 전송에 대해 여전히 수용 가능한 오버헤드를 유지하고 있다.
• 모듈 재부팅이 필요한 블로터로드 기반 업데이트에 비해 개발 오버헤드가 감소했으며, 모듈 재부팅에 따른 3배의 시간 패널티를 피할 수 있었다.
• 기반 운영체제와 언어 스택은 프로세스 관리, 네트워킹 등의 핵심 추상화를 제공하여 저수준 기능을 재구현할 필요를 줄였다.
• 이 프레임워크는 DynaRole와 같은 역할 기반 모델을 Python DSL로 구현할 잠재력을 지니며, 향후 DSL의 진화를 위한 실현 가능한 길을 제시한다.