Abstract: A method for determining an evaluated detection condition for an evaluation of sensor data. The method includes: providing a first integrity value of the detection condition, based on a first basis for determining the detection condition; providing a second integrity value of the detection condition, based on a second basis for determining the detection condition; determining an overall integrity value for the detection condition, based on the first integrity value and the second integrity value; assigning the overall integrity value to the detection condition for determining the evaluated detection condition.

Abstract: A method for modeling the surroundings of an automated vehicle in which environment information is continuously received from currently available information sources. Each information source provides pieces of environment information. A formal assumption and a formal guarantee is associated with each piece of environment information in such a way that it is guaranteed, if the formal assumption associated with the respective piece of environment information is fulfilled, that the piece of environment information fulfills the formal guarantee associated with it. Each information source provides the associated formal assumptions and formal guarantees for the pieces of environment information it supplies. A piece of environment information is used for calculating the world model at a given point in time only if the formal assumption associated with this piece of environment information is fulfilled at this point in time.

Abstract: A computer-implemented method for model-based analysis, in particular safety analysis, of a technical system, in particular of a control device for a semiautonomous or autonomous vehicle. The method includes: furnishing a model that characterizes the system; furnishing first information items that characterize dependences between different components and/or subsystems of the system; ascertaining at least one state that at least one component and/or subsystem of the system, and/or the system, can assume; ascertaining, in particular based on the first information items and/or on the at least one state, a method for describing a behavior of the system.