面向信息物理机器人系统组件行为的需求建模语言
软件工程
2014-09-02 v1
摘要
机器人应用的软件开发是一项复杂的任务，因为机器人本质上非常复杂。对机器人应用的架构和行为进行显式建模，通过识别和分离逻辑上与物理上独立的组件并以层次化结构组织待开发系统，为应对这种复杂性带来了诸多优势。在组件和连接器模型之上，我们建议使用 I/O! 自动机对机器人软件组件的行为需求进行建模。这种方法促进了需求模型的早期仿真，允许对其进行形式化分析并从中生成软件。在本文中，我们介绍了架构描述语言 MontiArc 的一个扩展，用于使用 I/O! 自动机对组件需求进行建模，这些自动机的定义秉承了 Martin Glinz 用于需求建模的 Statecharts 的精神 [10]。此外，我们展示了一个基于为 Lego NXT 机器人平台生成的机器人应用的案例研究。
引用
@article{arxiv.1409.0394,
title = {A Requirements Modeling Language for the Component Behavior of Cyber Physical Robotics Systems},
author = {Jan Oliver Ringert and Bernhard Rumpe and Andreas Wortmann},
journal= {arXiv preprint arXiv:1409.0394},
year = {2014}
}
备注
13 pges, 6 figures. In: Norbert Seyff and Anne Koziolek (eds.), Modelling and Quality in Requirements Engineering: Essays Dedicated to Martin Glinz on the Occasion of His 60th Birthday, M\"unster: Monsenstein und Vannerdat, 2012