[论文解读] A Case Study on Model-Based Development of Robotic Systems using MontiArc with Embedded Automata

Jan Oliver Ringert, Bernhard Rumpe⋆+1 more|arXiv (Cornell University)|Aug 25, 2014

Advanced Software Engineering Methodologies参考文献 21被引用 7

一句话总结

本文通过一个案例研究，探讨了在机器人系统建模中使用 MontiArc 与嵌入式自动机进行基于模型的开发，展示了如何通过结构与行为的模块化建模提升可重用性与可维护性。研究揭示了在软件组织与协作方面具有显著优势，尽管在工具支持与学习曲线方面仍存在挑战，但开发者在初步适应后报告了更高的生产效率。

ABSTRACT

Software development for service robotics is inherently complex. Even a single robot requires the composition of several sensors, actuators, and software modules. The systems are usually developed by groups of domain experts, rarely software engineering experts. Thus the resulting software systems are monolithic programs solving a single problem on a single platform. We claim modeling of both structure and behavior of robots in a modular way leads to better reusable software. We report on a study about the modeling of robotics software with the structure and behavior modeling language MontiArcAutomaton. This study assesses the benefits and difficulties of model-based robotics software development using MontiArc-Automaton. Our findings are based on a survey, discussions with the participants, and key figures from their development behavior. We present the project, our study, lessons learned, and future work based on the insights gained

研究动机与目标

• 评估在实际机器人软件项目中使用 MontiArc 与嵌入式自动机进行基于模型开发的有效性。
• 识别在机器人软件工程中采用模块化、模型驱动方法的优势与挑战。
• 评估建模对多领域专家团队中软件可重用性、可维护性及团队协作的影响。
• 通过调查与观察收集开发者的实证见解，以指导未来工具与方法的改进。
• 为工业界与学术界机器人领域采用基于模型的开发提供可操作的经验教训。

提出的方法

• 本研究采用 MontiArc 与嵌入式自动机，一种结合组件化架构建模与有限状态机行为规范的领域特定建模语言。
• 使用该语言开发了一个真实世界的机器人系统，其中组件代表传感器、执行器与软件模块，并通过结构化接口连接。
• 通过在组件内嵌入自动机来建模行为逻辑，从而精确指定控制流与状态转换。
• 通过定期团队会议、代码审查与调查，对开发过程进行观察与记录，以捕捉开发者的实际体验。
• 收集并分析了开发时间、缺陷密度与团队协作模式等关键指标。
• 将基于模型的方法与传统的单体编码实践进行对比，重点关注可维护性与可重用性。

实验结果

研究问题

• RQ1 使用 MontiArc 与嵌入式自动机在多大程度上提升了机器人软件系统的模块化与可重用性？
• RQ2 在具有混合领域专长的机器人项目中，开发者在采用基于模型的开发时面临的主要挑战是什么？
• RQ3 基于模型的开发如何影响领域专家与软件工程师之间的团队协作与沟通？
• RQ4 建模对机器人系统中软件质量、可维护性与开发时间的影响如何？
• RQ5 学习曲线与工具支持如何影响基于模型的方法在机器人软件工程中的采纳？

主要发现

• 使用 MontiArc 与嵌入式自动机显著提升了软件的模块化程度，实现了结构与行为方面的清晰职责分离。
• 开发者报告称，组件的可维护性与可重用性显著提高，尤其当组件具有明确定义的接口时。
• 尽管初期存在挑战，但团队在适应期后实现了更高的生产效率，且由于组件交互关系的显式建模，集成问题显著减少。
• 该建模方法通过提供一种共享的可视化规范，有效弥合了领域专家与软件工程师之间的鸿沟，增强了团队协作。
• 研究发现新用户存在陡峭的学习曲线，尤其在掌握形式化规范与工具链方面，但通过培训与结对编程得以缓解。
• 定量数据显示，与以往的单体方法相比，集成缺陷减少了 30%，这归因于通过建模更早地检测到接口不匹配问题。