REVALIDATION OF A COMPILER FOR SAFETY CONTROL

摘要

The present invention concerns revalidation of a compiler of control language for use in an industrial control system, each time the compiler has been used. In particular, the invention reveals a method to revalidate a compiler for compilation of a user-written program, which is intended for safety control of real world entities. The user-written program subject to compilation by the compiler is intended for execution in a device, which comprises functionality that adds safety features to an industrial control system. The invention ensures that no fault is introduced into the device due to error in the compiler code. Such an error may, for instance, occur during distribution of the compiler code or due to failure in a computer's memory or failure on a disk where the compiler code is stored. Hence, the invention ensures that no such fault is introduced into the control of real world entities which otherwise could lead to accidents that harm people or cause damage to the environment.