Computer-implemented method, software component and system for verifying software component of automated driving function

A computer-implemented method for verifying at least one software component of an automated driving function is proposed, the software component to be verified comprising at least one function using sensor information of at least one sensor (1, 2). The method according to the invention comprises the following steps: a. Providing a model (3) of the software component to be verified, b. Providing at least one sensor performance model (13, 23) for the at least one sensor (1, 2), c. Generating an overall model (4) wherein the at least one sensor performance model (13, 23) is combined with the model (3) of the software component to be verified, and d. Analyzing the overall model (4) by means of a model inspection method. 提出了一种用于验证自动化驾驶功能的至少一个软件组件的计算机实现的方法，其中，待验证的软件组件包括使用至少一个传感器(1，2)的传感器信息的至少一个功能。根据本发明的方法包括以下步骤：a.提供所述待验证的软件组件的模型(3)，b.提供用于所述至少一个传感器(1，2)的至少一个传感器性能模型(13，23)，c.生成整体模型(4)，其中，所述至少一个传感器性能模型(13，23)与所述待验证的软件组件的所述模型(3)相结合，d.借助模型检查方法来分析所述整体模型(4)。