Abstract: For increasing the operational reliability of a system component such as a light source unit or a camera control unit of a visualization system, waste heat produced by at least one heat source, which is arranged in an interior of the system component that is closed off to the outside, preferably so as to be air-tight, is transported by a cooling line, which is arranged in the interior and is filled with coolant, and/or by using an internal air circulation effected with appropriately, to a primary heat sink arranged in the interior, and the waste heat is then released from the interior to the outside through the primary heat sink using heat conduction. An efficient cooling of the at least one heat source can be achieved thereby; in addition, the heat source remains largely protected from external ambient influences, in particular it remains protected against dust.

Abstract: A method for verifying an operating software block. The operating software block to be verified is defined based on an operating software. Function inputs and outputs corresponding to the operating software block are ascertained. A multi-dimensional parameter space is defined, each dimension of which corresponding to a function input of the operating software block. Input data tuples are formed based on predetermined rules, which correspond to points within specifiable limits of the parameter space. The operating software block is executed using the input data tuples in order to obtain output data, so that for every function output a dependency on the input data of the function inputs is ascertained. The dependency of the function outputs is compared with a specified standard dependency. A reaction is initiated based on a deviation between the dependency of a function output and the standard dependency.

Abstract: A method for verifying an operating software block. The operating software block to be verified is defined based on an operating software. Function inputs and outputs corresponding to the operating software block are ascertained. A multi-dimensional parameter space is defined, each dimension of which corresponding to a function input of the operating software block. Input data tuples are formed based on predetermined rules, which correspond to points within specifiable limits of the parameter space. The operating software block is executed using the input data tuples in order to obtain output data, so that for every function output a dependency on the input data of the function inputs is ascertained. The dependency of the function outputs is compared with a specified standard dependency. A reaction is initiated based on a deviation between the dependency of a function output and the standard dependency.