Fault avoidance in development of robot motion-control software by modeling the computation

被引：0
作者：
Brodskiy, Yury [1 ]
Wilterdink, Robert [1 ]
Stramigioli, Stefano [1 ]
Broenink, Jan [1 ]
机构：
[1] Robotics and Mechatronics, Faculty EEMCS, University of Twente
来源：
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) | 2014年 / 8810卷
关键词：
Process control - Software reliability;
D O I：
10.1007/978-3-319-11900-7_14
中图分类号：
学科分类号：
摘要：
In this article, we present the process of modeling control algorithms as means to increase reliability of software components. The approach to developing Embedded Control Software (ECS) is tailored to Component-Based Software Development (CBSD). Such tailoring allows to re-use the ECS development process tools in a development process for robotics software. Model-to-text transformation of the ECS design tool is extended to model-to-component transformation suitable for CBSD frameworks. The development process and tools are demonstrated by a use case. © Springer International Publishing Switzerland 2014.
引用
收藏
页码：158 / 169
页数：11
相关论文
共 41 条
  • [1] Aviezienis A., Laprie J.C., Randell B., Landwehr C., Basic Concepts and Taxonomyof Dependable and Secure Computing, IEEE Trans. on Dependable and Secure Computing, 1, 1, pp. 11-33, (2004)
  • [2] Bezemer M.M., Cyber-Physical Systems Software Development, (2013)
  • [3] Bezemer M.M., Wilterdink R.J.W., Broenink J.F., CSP-Capable Execution Framework, Communicating Process Architectures, 68, pp. 157-175, (2011)
  • [4] Bischoff R., Huggenberger U., Prassler E., KUKA youBot - a mobile manipulatorfor research and education, Proc IEEE Int'l Conf on Robotics and Automation, pp. 1-4, (2011)
  • [5] de Boer H., Modeling and Control of the Philips Robot Arm, (2012)
  • [6] BRICS, BRICS Research camp, (2011)
  • [7] BRICS, BRICS - European Research Project - demonstration booth, 5th International Trade Fair for Automation and Mechatronics, (2012)
  • [8] BRICS, BRICS Research camp, (2012)
  • [9] BRICS, BRIDE - the BRIcs Development Environment, (2013)
  • [10] Brodskiy Y., Robust autonomy for interactive robots, (2014)
12345