[论文解读] Model-driven engineering approach to design and implementation of robot control system

Piotr Trojanek|arXiv (Cornell University)|Feb 20, 2013

Model-Driven Software Engineering Techniques参考文献 10被引用 13

一句话总结

本文提出一种基于模型驱动工程（MDE）的方法，利用领域特定建模语言（DSML）设计和实现基于抑制架构的机器人控制系统。通过定义元模型、图形化表示法以及基于Eclipse建模框架（EMF）的代码生成器，作者展示了在Lego Mindstorms NXT等嵌入式平台上的紧凑、高效Ada代码的自动生成，生成的可执行文件大小仅为50kB，且运行时开销极小。

ABSTRACT

In this paper we apply a model-driven engineering approach to designing domain-specific solutions for robot control system development. We present a case study of the complete process, including identification of the domain meta-model, graphical notation definition and source code generation for subsumption architecture -- a well-known example of robot control architecture. Our goal is to show that both the definition of the robot-control architecture and its supporting tools fits well into the typical workflow of model-driven engineering development.

研究动机与目标

• 为解决机器人控制架构设计中缺乏系统化工程方法的问题，该问题目前仍主要依赖非正式的、艺术化的方法。
• 应用模型驱动工程（MDE）原则，建立一种形式化、可重用且工具支持的机器人控制系统开发流程。
• 展示使用领域特定建模语言（DSML）进行高层规格说明和自动化代码生成在机器人控制逻辑中的可行性与优势。
• 通过模型转换将架构设计与底层编码解耦，降低实现复杂度并提高可移植性。
• 基于EMF工具构建一个完整的、集成的开发环境（IDE），用于机器人控制系统开发。

提出的方法

• 使用EMF的核心建模框架Ecore定义抑制架构的领域特定元模型，以形式化控制模块及其交互关系。
• 基于UML类图规范设计图形化表示法，提升开发人员对模型的可读性和易用性。
• 使用对象约束语言（OCL）指定约束，确保模型的有效性和语义正确性。
• 实现模型到文本的转换，为抑制模块生成Ada源代码骨架，目标平台为实时嵌入式系统。
• 利用EMF卫星工具构建完整的工具链，包括编辑器、验证器和代码生成器，集成于单一IDE中。
• 在Lego Mindstorms NXT平台上对方法进行评估，生成的可执行文件大小为50kB，证明了极小的运行时资源占用。

实验结果

研究问题

• RQ1 模型驱动工程能否有效应用于机器人控制系统的架构设计与实现？
• RQ2 如何构建一个领域特定建模语言（DSML），以准确捕捉如抑制架构这类反应式机器人控制架构的语义？
• RQ3 模型到文本的转换在多大程度上能够生成紧凑、高效且正确的嵌入式机器人平台低层代码？
• RQ4 在单一工具链中集成元建模、表示法、验证与代码生成，能否提升开发效率并减少错误？
• RQ5 在Lego Mindstorms NXT等真实嵌入式系统上，生成代码的实际可行性与性能开销如何？

主要发现

• 所提出的MDE方法成功实现了在资源受限的Lego Mindstorms NXT平台上的抑制架构的50kB可执行Ada应用程序的自动生成。
• 通过使用形式化元模型和OCL约束，确保了模型的一致性，显著减少了设计阶段的错误。
• 基于UML类图的图形化表示法提升了开发人员对控制架构的可读性和理解度。
• 完整的工具链（包括模型编辑器、验证器和代码生成器）基于EMF及其卫星项目实现，展示了端到端的工具集成能力。
• 该方法实现了极小的架构开销，生成的代码既紧凑又高效，适用于实时嵌入式执行。
• 源代码和建模工件已公开发布于GitHub，支持框架的复用与进一步扩展。