1. A method for generating a user program for a safety controller which is designed to control an automated installation having a plurality of sensors and a plurality of actuators, the method comprising the steps of: generating a source code for a user program, said source code comprising a number of control instructions for controlling the actuators and a number of diagnosis instructions for producing diagnosis reports, the control instructions comprising safety control instructions processing safety-related program variables in failsafe fashion during execution of the user program on the safety controller, the control instructions further comprising standard control instructions processing non-safety-related program variables during execution of the user program on the safety controller, and the diagnosis instructions comprising safety diagnosis instructions for producing safety-related diagnosis reports and standard diagnosis instructions for producing non-safety-related diagnosis reports during execution of the user program on the safety controller, generating a machine code on the basis of the source code for the control instructions and the diagnosis instructions, producing a checksum associated with the machine code for the safety control instructions only, wherein the standard control instructions, the standard diagnosis instructions and the safety diagnosis instructions are ignored for the production of the checksum; and allowing modification to the safety diagnosis instructions without producing a new checksum.