[论文解读] A Graphical Language for Real-Time Critical Robot Commands

Andreas Angerer, Remi Smirra+4 more|arXiv (Cornell University)|Mar 27, 2013

Embedded Systems Design Techniques参考文献 10被引用 6

一句话总结

本文提出 GSRAPID，一种图形化领域特定语言，可在 SoftRobot 框架内实现直观、可视化的复杂实时机器人指令指定。它通过机器人 API 将高层级机器人任务图转换为可执行的 Java 代码，显著降低代码复杂度，提升工业机器人应用中硬实时约束下的可读性与可维护性。

ABSTRACT

Industrial robotics is characterized by sophisticated mechanical components and highly-developed real-time control algorithms. However, the efficient use of robotic systems is very much limited by existing proprietary programming methods. In the research project SoftRobot, a software architecture was developed that enables the programming of complex real-time critical robot tasks with an object-oriented general purpose language. On top of this architecture, a graphical language was developed to ease the specification of complex robot commands, which can then be used as part of robot application workflows. This paper gives an overview about the design and implementation of this graphical language and illustrates its usefulness with some examples.

研究动机与目标

• 解决在命令式语言中编写低层实时机器人控制代码时的复杂性与可维护性问题。
• 使应用开发者能够在高层次抽象下指定复杂机器人任务，同时确保硬实时执行保证。
• 开发一种图形化形式化方法，简化涉及并行性、时间事件和基于传感器的条件逻辑的复杂命令组合的指定。
• 将图形化指定与现有的机器人 API 及实时原语接口（RPI）堆栈集成，以实现确定性的实时执行。
• 评估该图形化方法相较于手工编码实现，在可用性与可扩展性方面的表现。

提出的方法

• 作者使用 EMF 和 GMF/GEF 进行模型与用户界面工程，设计了一种领域特定的图形化语言（GSRAPID），支持机器人指令的可视化组合。
• 该语言将机器人动作建模为相互连接的节点（例如，LIN 运动、SetDigitalValue、传感器），形成表示指令执行的数据流图。
• 关键构造包括 RuntimeCommands（用于原子动作）、TransactionCommands（用于组合动作）以及 State/EventEffect 机制（用于基于传感器数据或进度指示器的条件执行）。
• 系统从图形化图示生成 Java 代码，该代码可直接与机器人 API 集成，并通过 RPI 层在实时操作系统上执行。
• 图形化编辑器支持动态方法选择（例如，motionAtPercent、isGreater），以从机器人 API 定义时间与条件触发。
• 实现依赖于 SoftRobot 堆栈，RPI 原语确保在 Xenomai 扩展的 Linux 系统上实现确定性、硬实时执行。

实验结果

研究问题

• RQ1 图形化语言是否能显著降低复杂、实时关键机器人指令指定的复杂度，并提升其可理解性？
• RQ2 视觉形式化方法在保留实时保证的前提下，能否有效建模并发、条件及事件驱动的机器人行为？
• RQ3 与命令式编程相比，图形化方法在任务复杂度增加时的可扩展性如何？
• RQ4 对于不熟悉原始实现的开发人员，生成的代码在可重用性与可维护性方面表现如何？
• RQ5 在扩展图形化语言以支持机器人 API 的高级功能（如 WrappedActions）时，面临哪些实际挑战与开发开销？

主要发现

• GSRAPID 语言将一个复杂机器人任务规范简化为约 150 行生成的 Java 代码，若手工编写则会更加冗长且难以理解。
• 图形化表示使命令结构的语义可一目了然地推断，相比命令式代码显著提升了可读性与可维护性。
• 该系统成功与机器人 API 及 RPI 堆栈集成，确保了确定性、硬实时执行，并具备已知的最坏情况执行时间。
• 图形化方法加速了指令的指定过程，使非专家开发人员能够更高效地定义复杂、并发且条件触发的机器人行为。
• 该工具在原型化实际工业任务（如基于力传感器的误差恢复同步双臂运动）方面表现出优异的可用性。
• 未来工作表明，需扩展 GSRAPID 以支持 WrappedActions 等高级概念，用于安全监控，表明该语言在可扩展性方面既具潜力也面临复杂性挑战。