Method and Apparatus for Automatically Creating an Executable Safety Function for a Device

The method as claimed in one of the preceding claims, wherein the first check value is determined through an application of a digital check rule, in particular a determination of a cyclic redundancy or checksum, to digital parameters, in particular to digital parameters which are assigned to the respective digital function block or a combination of the digital function blocks.

The method as claimed in one of the preceding claims, wherein the first check value and the second check value are determined on the basis of the same digital check rule, in particular the determination of a cyclic redundancy or checksum.

The method as claimed in one of the preceding claims, wherein an executable verification function is generated in the compilation step on the basis of a digital check rule for determining the second check value.

The method as claimed in one of the preceding claims, wherein the first check value and the second check value fulfill the verification criterion if the first check value and the second check value are equal or if the first check value and the second check value do not exceed a threshold value, in particular the same threshold value, or if the first and second check values must be different in the event of diverse processing. The verification criterion must in every case be unique.

The method as claimed in one of the preceding claims, wherein the digital parameters further comprise device parameters which specify at least one safety-related device function.

The method as claimed in one of the preceding claims, wherein the digital parameters are read from a table, in particular from digital specifications, or from a memory in order to input the digital parameters.

The method as claimed in one of the preceding claims, wherein, in the digital function block assignment step (105), a first digital function block is selected for the input signal processing, a second digital function block is selected for the processing of output signals of the first digital function block, and a third digital function block is selected for the generation of an output signal for the device on the basis of an output signal of the second digital function block.

The method as claimed in one of the preceding claims, wherein, in the digital function block assignment step (105), the selected digital function blocks are automatically interconnected or parameterized, in particular are automatically connected or parameterized according to the digital parameters.

The method as claimed in one of the preceding claims, wherein, in the assignment step (105), a terminal connection diagram is generated for the wiring of the device.

The method as claimed in one of the preceding claims, wherein further check values are further determined in order to verify the executable safety function.

The method as claimed in one of the preceding claims, which is carried out by means of a data processing system.