TeamBotS - A tool-supported methodology for developing software for dynamic teams of robots
TeamBotS - A tool-supported methodology for developing software for dynamic teams of robots
批准号:
387652208
负责人:
Professor Dr. Wolfgang Reif
金额:
$0.0万
依托单位国家:
德国
项目类别:
Research Grants
财政年份:
2017
资助国家:
德国
项目状态:
已结题
起止时间:
2016-12-31 至 2022-12-31
中文摘要
工业机器人是当今高效自动化的重要组成部分。它们以独特的方式联合收割机高灵活性,速度和精度,这使得它们与其他自动化技术相比脱颖而出。然而,在大多数情况下,工业机器人用于任务可变性有限的大规模生产,例如在汽车工业中。考虑到工业4.0和物联网等举措,机器人将在智能工厂中发挥更大的作用,生产高度定制的产品,具有高可变性和小批量。以孤立方式工作的单个机器人不足以满足上述要求。相反,需要有组建灵活的机器人团队的能力。通过使用不同的、可互换的工具,创建了多功能机器人单元,这些单元提供了灵活性、性能和鲁棒性的大幅提高。另一方面,规划和编程达到了一个新的复杂程度。TeamBotS提案解决了这一复杂性。我们的目标是创建一个工具支持的方法,用于开发动态形成多功能机器人团队的控制软件。为了实现这一目标,开发了一种包括不同工具的机器人团队建模技能的方法。这使得机器人团队可以灵活地规划、调度和执行工艺任务。此外,开发了用于从产品的构造计划自动导出工艺步骤的技术,找到这些步骤到具有兼容技能的可能机器人团队的分配,并计算具有高度并行化的无冲突执行时间表以改善周期时间。机器人团队技能模型有助于更好地控制规划的复杂性。最后,技能模型使得机器人团队动作的编程以及这些动作的执行变得更容易。为了在实践中实现这一点,新的概念,同步硬实时执行分布式机器人控制器上的动作developed.The所提出的方法集成了专家从过程以及自动化领域的各个层面。开发的理论结果被纳入一个原型工具,使结果可用于领域专家。在此基础上,该方法适用于两个案例研究-碳纤维增强塑料部件的生产和家具的组装,并进行评估。
英文摘要
Industrial robots are an important building block for efficient automation nowadays. They combine high flexibility, velocity and precision in a unique way, which makes them stand out compared to other automation techniques. In most cases, however, industrial robots are used for mass production with limited variability of tasks, like e.g. in the automotive industry. Considering initiatives like Industry 4.0 and the Internet of Things, robots will play an even larger role in intelligent factories, producing highly customized products with high variability and in small lot sizes. Single robots working in an isolated manner will not be sufficient to address the aforementioned requirements. Instead, the ability to form flexible teams of robots is required. By using different, interchangeable toolings, multi-functional robot cells are created that offer a drastic increase in flexibility, performance and robustness. On the other hand, planning and programming reaches a new level of complexity.The proposal TeamBotS addresses this complexity. The goal is to create a tool-supported methodology for the development of control software of dynamically forming multi-functional robot teams. To achieve this, an approach for modelling skills of robot teams including different toolings is developed. This allows for flexible planning, scheduling and execution of process tasks with robot teams. Furthermore, techniques are developed for automatically deriving process steps from the products' construction plans, finding allocations of those steps to possible robot teams with compatible skills and calculating collision-free execution schedules with a high degree of parallelization to improve cycle times. The robot team skill model helps to better control planning complexity. Finally, the skill model enables easier programming of robot team actions as well as execution of those actions. To achieve this in practice, new concepts for synchronized hard real-time execution of actions on distributed robot controllers are developed.The proposed approach integrates experts from process as well as automation domains on all levels. The developed theoretical results are incorporated in a prototypical tool that makes the results usable for the domain experts. On this basis, the approach is applied to and evaluated against two case studies - production of carbon-fibre reinforced plastic components and assembly of pieces of furniture.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
COMBO – Combining Planning, Self-Organization and Reconfiguration in Robot Ensembles for ScORe Missions
-
批准号:402956354
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2018
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Flashix II: Incremental verification of non-local refinements
-
批准号:175408244
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Verifikation Lock-freier Algorithmen
-
批准号:165974113
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Developing Systems with Secure Information Flow
-
批准号:183481129
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2010
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
ForSa@OC-TRUST: Formal Analysis and Software Architectures for Trustworthy Organic Computing
-
批准号:115342850
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Coordination
-
批准号:115506196
-
项目类别:Research Units
-
资助金额:$0.0万
-
财政年份:2009
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Modellgetriebene Softwareentwicklung für sichere Systeme
-
批准号:77575322
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2008
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Formal Modeling, Safety Analysis, and Verification of Organic Computing Applications
-
批准号:5454659
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:2005
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Interoperabilität von Kalkülen zur Systemmodellierung
-
批准号:5327570
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:2001
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Formale Methoden für den sicheren Einsatz von Java Chipkarten
-
批准号:5201618
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1999
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Ingenieurwissenschaftliche Sicherheitsanalyse im Kontext formaler Spezifikation
-
批准号:5134877
-
项目类别:Priority Programmes
-
资助金额:$0.0万
-
财政年份:1998
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
Correct translation of abstract specifications to C-Code
-
批准号:503992399
-
项目类别:Research Grants
-
资助金额:$0.0万
-
财政年份:--
-
负责人:Professor Dr. Wolfgang Reif
-
依托单位:
海外基金