用于安全控制的编译器的再验证方法

摘要

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