Patent ID: 7712089

Claim:
A method to revalidate a compiler and a compiler execution environment intended for compilation of a user-written program for safety control in an industrial control system after use of the compiler and the compiler execution environment, the method comprising: compiling a test program a first time with a compiler which test program is defined in a control language; validating the compiler and the compiler execution environment by verifying that the test program executes correctly; generating a first software element derived from the compiled test program intended for later comparison purposes; compiling the test program a second time after the compilation of a user-written program wherein the test program and the user-written program are compiled with the compiler used to compile the test program the first time; generating a second software element intended for a comparison based on the second compilation of the test program; downloading the first software element and the second software element to a device with safety features; comparing, in the device with safety features, the first software element with the second software element to determine whether errors were introduced between the first and the second compilation; enabling, provided that the revalidation indicates no errors in the compiler and the compiler execution environment, the user-written program to execute in the device with safety features for control of real world entities; and when the user-written program is enabled, executing said user-written program in said device with safety features for control of real world entities.