Abstract: A method for automatically creating an executable safety function for a device, includes the steps of collecting digital parameters which specify a particular safety function, determining a first check value on the basis of the digital parameters, automatically assigning a number of digital function modules from a plurality of predefined digital function modules to the collected digital parameters in order to obtain a safety function source code of the particular safety function, compiling the safety function source code in order to obtain the executable safety function, determining a second check value on the basis of the executable safety function, and outputting the executable safety function if the first check value and the second check value meet a verification criteria.

Abstract: A method for automatically creating an executable safety function for a device, includes the steps of collecting digital parameters which specify a particular safety function, determining a first check value on the basis of the digital parameters, automatically assigning a number of digital function modules from a plurality of predefined digital function modules to the collected digital parameters in order to obtain a safety function source code of the particular safety function, compiling the safety function source code in order to obtain the executable safety function, determining a second check value on the basis of the executable safety function, and outputting the executable safety function if the first check value and the second check value meet a verification criteria.

Abstract: The invention relates to monitoring actuators arranged in the load circuit of an output circuit for switching the load circuit. Actuators are arranged in series in the load circuit, each of the actuators is connected to a control and evaluation device by a separate channel for individual control, wherein an auxiliary contact is assigned to each actuator. The contacts are connected via a readback circuit to the device such that when all the actuators assigned to a readback circuit are deactivated, a standby signal is detected as a readback signal by the device, wherein the device is parameterized such that, for their activation, the control of actuators in the load circuit comprises the steps that only one actuator belonging to a readback circuit is always activated and the readback signal detected by the readback circuit assigned to this actuator is evaluated and the actuators in the load circuit remains deactivated.

Abstract: The invention relates to a method and to devices for monitoring actuators arranged in the load circuit of an output circuit for switching the load circuit, wherein a number of actuators (10, 101; 20, 201) are arranged in series in the load circuit, wherein each of the actuators is connected to a control and evaluation device (SA) by means of a separate control channel (SK1; SK2) for individual control, and an auxiliary contact (10H; 20H) is assigned to each actuator (10, 101; 20, 201), wherein the auxiliary contacts are connected via at least one readback circuit (RK, RK1, RK2) to the control and evaluation device in such a way that only when all of the actuators assigned to a readback circuit are deactivated, a standby signal is detected as a readback signal by the control and evaluation device by means of this readback circuit, and wherein the control and evaluation device is parameterized in such a way that, for their activation, the control of actuators arranged in series in the load circuit comprises the