通过执行可验证地执行预定义的控制任务的程序步骤来控制机器的方法和系统技术方案

一种用于通过执行可验证地执行预定义的控制任务的程序步骤来控制机器(30)的计算机实现的方法和控制装置，包括：通过数据处理单元(27)中的根据声明式编程范例构造的数据编程步骤，基于从机器(30)接收的输入数据来操纵(S1)数据并且得到参考数据，以及执行(S2)针对明确条件来验证参考数据的控制程序步骤，而无需控制处理单元(25)中的控制程序步骤中的参考数据的任何进一步操纵，以及向机器(30)提供(S3)由所执行的控制程序步骤得到的指令以供机器(30)执行该指令。

【技术实现步骤摘要】
【国外来华专利技术】

技术介绍

技术实现思路

【技术保护点】

1.一种用于通过执行可验证地执行预定义的控制任务的程序步骤来控制机器(30)的计算机实现的方法，包括

2.根据权利要求1所述的计算机实现的方法，其中，所述控制程序步骤是由不包括任何数据操纵功能的控制编程范例来执行的。

3.根据权利要求2所述的计算机实现的方法，其中，所述控制编程语言是根据有限状态机、工作流图或行为树来构造的。

4.根据前述权利要求中任一项所述的计算机实现的方法，其中，基于在所述数据处理单元(27)中根据反应式编程步骤从所述机器(30)接收的更新的输入数据来重新处理所述参考数据，并且将所述重新处理的参考数据从所述数据处理单元(27)提供到...

【技术特征摘要】
【国外来华专利技术】

1.一种用于通过执行可验证地执行预定义的控制任务的程序步骤来控制机器(30)的计算机实现的方法，包括

2.根据权利要求1所述的计算机实现的方法，其中，所述控制程序步骤是由不包括任何数据操纵功能的控制编程范例来执行的。

3.根据权利要求2所述的计算机实现的方法，其中，所述控制编程语言是根据有限状态机、工作流图或行为树来构造的。

4.根据前述权利要求中任一项所述的计算机实现的方法，其中，基于在所述数据处理单元(27)中根据反应式编程步骤从所述机器(30)接收的更新的输入数据来重新处理所述参考数据，并且将所述重新处理的参考数据从所述数据处理单元(27)提供到所述控制处理单元(25)。

5.根据权利要求4所述的计算机实现的方法，其中，在所述数据处理单元(27)和所述控制处理单元(25)之间仅间接地经由数据存储单元(26)来传送数据。

6.根据权利要求5所述的计算机实现的方法，其中，来自所述机器(30)的输入数据是仅在所述数据存储单元(26)中被接收的。

7.根据前述权利要求中任一项所述的计算机实现的方法，其中，所述数据程序步骤是根据逻辑编程来构造的。

8.用于通过执行程序步骤来...

【专利技术属性】
技术研发人员：M·M·盖佩尔，D·博格多尔，J·凯勒，A·赖廷格，F·斯特里克斯纳，
申请(专利权)人：西门子股份公司，
类型：发明
国别省市：