[论文解读] Towards Python-based Domain-specific Languages for Self-reconfigurable Modular Robotics Research

M Alavi Moghadam, David Johan Christensen+2 more|arXiv (Cornell University)|Feb 22, 2013

Modular Robots and Swarm Intelligence参考文献 7被引用 4

一句话总结

本文提出了一种基于Python的领域特定语言（DSL）框架，用于在ATRON II模块上使用Linux和Python实现自重构模块化机器人。通过利用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软件开发基础的可行性，减少对定制虚拟机的依赖。
• 通过现有操作系统和语言特性，提升软件可移植性、可重用性及开发人员生产力。
• 通过终端访问实现在机器人模块上直接进行动态、交互式编程与调试。
• 探索在高级框架之上以Python DSL形式集成基于角色的编程模型（例如DynaRole）的可行性。

提出的方法

• 为ATRON II模块配备完整的Linux操作系统，以访问高级系统服务和Python。
• 开发轻量级Python框架Moduleservice，通过套接字抽象模块间通信。
• 利用Python的进程间通信和文件传输能力，实现模块间动态源代码传输。
• 设计基于Python的DSL，用于基于角色的行为抽象，受DynaRole启发，以支持形态适应和行为重用。
• 利用Python的解释执行特性及压缩（如gzip）技术，实现源代码在低速红外链路上的高效传输。
• 利用现有操作系统和语言特性（如进程管理、文件I/O、网络通信）避免低层次系统功能的重复实现。

实验结果

研究问题

• RQ1 全功能操作系统和高级语言如Python是否能显著提升模块化机器人中的软件抽象能力和可移植性？
• RQ2 与传统字节码编译的DSL（如DynaRole）相比，基于Python的DSL在资源受限模块上的性能和资源使用情况如何？
• RQ3 现有操作系统和语言特性（如套接字、文件传输、进程控制）在多大程度上可减少SMR软件栈中对定制虚拟机的需求？
• RQ4 在模块化机器人系统中，通过低带宽红外信道传输源代码（如gzip压缩的Python脚本）的实际影响是什么？
• RQ5 基于Python的DSL是否能有效表达基于角色的编程模型（如DynaRole中的模型），并具备足够的表达力和可维护性？

主要发现

• 仅451行Python代码的Moduleservice框架，成功实现了ATRON II模块间基于套接字的透明通信和动态源代码传输。
• 使用Linux和Python使开发人员能够通过终端访问在机器人模块上直接进行交互式调试和软件开发，显著优化了开发工作流。
• 尽管压缩后的Python DSL版本（350字节）大于其字节码版本（156字节），但开销仍可接受，适合红外传输。
• 与基于引导加载程序的更新相比，该方法减少了开发开销，避免了模块重启带来的三倍时间延迟。
• 底层操作系统和语言栈提供了关键抽象（如进程管理、网络通信），降低了重复实现低层次功能的需求。
• 该框架为实现DynaRole等高级基于角色模型作为Python DSL提供了可能，表明未来DSL演进的可行路径。