[论文解读] Towards a graphical language for quadrotor missions

Benjamin D. Schwartz, Ludwig Nägele+2 more|arXiv (Cornell University)|Dec 5, 2014

Robotic Path Planning Algorithms参考文献 3被引用 5

一句话总结

本文提出一种用于四旋翼无人机任务的领域特定图形语言，支持复杂工作流、条件分支和并行执行，使非专家用户能够直观地设计任务。该原型基于Eclipse Modeling Project构建，支持可扩展的参数化操作，证明了可通过代码生成将高层任务模型自动转换为可执行代码。

ABSTRACT

This paper presents an approach for defining Unmanned Aerial Vehicle (UAV) missions on a high level. Current methods for UAV mission specification are evaluated and their deficiencies are analyzed. From these findings, a new graphical specification language for UAV missions is proposed, which is targeted towards typical UAV users from various domains rather than computer science experts. The research is ongoing, but a first prototype is presented.

研究动机与目标

• 为农业、考古学和基础设施监测等领域的非程序员无人机用户提供直观的高层任务规范工具，以解决当前缺乏此类工具的问题。
• 克服现有工具的局限性，这些工具通常为专有系统，缺乏对复杂工作流的支持，或需要编程专业知识。
• 设计一种灵活、可扩展且平台无关的图形化语言，支持条件逻辑、并行执行和用户自定义操作。
• 通过可视化、基于模型的方法实现任务规范，支持静态和动态任务行为。
• 构建并评估一个可工作的实现原型，将图形化任务模型自动转换为可用于仿真和实际部署的可执行代码。

提出的方法

• 作者使用Eclipse Modeling Project（EMP）定义的元模型开发了一种领域特定语言（DSL），通过GMF框架自动生成图形化编辑器。
• 该语言支持顺序、条件和并行任务组件，其中条件分支在并行块中仅在真值情况下退出，该行为通过虚线表示。
• 通过超类'GenericAction'实现可扩展性，允许开发人员继承并实现具有可配置参数的新操作，例如支持分辨率和画质设置的'TakePicture'操作。
• 该原型使用Xtend模板进行代码生成，为Morse仿真器生成Python代码，未来可通过翻译模板实现与真实四旋翼平台的兼容性。
• 系统确保操作和条件之间的类型一致性，并通过编辑器中的属性视图支持动态配置。
• 该方法支持在单一开发环境中定义、配置和执行任务，而无需为新操作重新编译。

实验结果

研究问题

• RQ1 如何设计一种图形化领域特定语言，以支持非专家用户对复杂无人机任务工作流（包括条件分支和并行执行）进行建模？
• RQ2 哪些机制可实现语言的可扩展性，使用户可自定义操作而无需修改核心元模型？
• RQ3 如何在无人机任务的可视化编程环境中强制实施类型安全和参数化？
• RQ4 基于模型的方法结合代码生成，在多大程度上能够从高层图形化任务规范生成可执行且与真实世界兼容的代码？
• RQ5 与现有的专有或基于代码的任务规划工具相比，所提出的语言在可用性和表达能力方面表现如何？

主要发现

• 该原型成功证明了复杂无人机任务模型（包括条件分支和并行任务）可通过图形化方式建模，并利用代码生成技术自动转换为可执行代码。
• 通过使用超类'GenericAction'，可无缝将新型参数化操作集成到图形化编辑器中，而无需重新编译元模型，显著提升了可扩展性。
• 条件分支在并行块后仅在真值情况下退出的特殊语义，确保了清晰的流程控制，并通过虚线在视觉上明确标识。
• 使用Xtend模板为Morse仿真器生成Python代码的实现，证实了从高层图形化模型自动转换为可执行代码的可行性，适用于真实世界测试。
• 该方法支持操作和条件之间的类型一致性，减少了运行时错误，提升了任务执行的可靠性。
• 计划开展用户研究，以评估图形化编辑器的可用性，并识别改进方向，例如集成虚拟地图以实现航点可视化。