[发明专利]用于安全控制的编译器的再验证

摘要

本发明涉及在用于工业控制系统的控制语言编译器每次被使用之后该编译器的再验证。特别地，本发明揭示了一种用于对编译用户编写的程序的编译器进行再验证的方法，该用户编写的程序用于现实世界实体的安全控制。须经编译器编译的用户编写的程序用来在装置中执行，该装置包括向工业控制系统中添加安全部件的功能。本发明保证了不会由于编译器代码中的差错而将错误引入该装置。这种差错可能例如在编译器代码的分发期间产生，或者由计算机的存储器中的故障或者存储编译器代码的磁盘上的故障引起。因此，本发明保证了这样的错误不会被引入到现实世界实体的控制中，否则这样的错误可能会导致伤害人的事故或是造成对环境的破坏。

主权项

1.一种在编译器(22)已被使用之后对其进行再验证的方法，该编译器用来编译由用户编写的、用于在工业控制系统(2)中执行安全控制的程序，该方法包括以下步骤：-第一次编译(11a)一个测试程序(20)，该测试程序以一种控制语言定义；-通过检验该测试程序正确地执行来对编译器进行验证(11b)；其特征在于，还包括以下步骤：-生成(12)源自编译后的测试程序、用于后面的比较的第一软件装置；-在编译了用户编写的程序之后第二次编译(13)该测试程序；-基于该测试程序的第二次编译生成(14)用于比较的第二软件装置；-比较(15)第一软件装置和第二软件装置；其中针对在第一和第二次编译之间引入的任何差错对编译器(22)进行再验证；-假设再验证表明编译器(22)中没有差错，则使编译后的用户编写的程序能够在具有用于控制现实世界实体(10)的安全部件的设备(6a)中执行(16)。