[发明专利]车辆控制系统验证装置、车辆控制系统以及车辆控制系统验证方法

说明书

本发明提供一种用以根据安全分析结果来全面地验证功能的设计的安全性的技术。本揭示的车辆控制系统验证装置具备：存储设备，其存储用以验证车辆控制系统的逻辑架构的安全性的程序；以及处理器，其从存储设备读入程序来验证逻辑架构的安全性。该处理器执行根据给出的安全分析结果的信息来验证逻辑架构是否具有对应于安全分析结果的逻辑功能的处理。

技术领域

本揭示涉及一种车辆控制系统验证装置、车辆控制系统以及车辆控制系统验证方法。

背景技术

近年来，汽车的电子控制在迅速复杂化，对该复杂化的应对是一个紧迫课题，业界期望更具可靠性的车辆控制系统。要实现这种车辆控制系统，较理想为能够检查车辆控制系统中安装的各功能的可靠性。

例如，专利文献1揭示了如下内容：使用用以检查所要求的系统的功能的可靠性功能，根据该目的所需的系统的硬件组件来检查基于软件的电子系统的安全性和可靠性。此外，专利文献2揭示了一种重视安全性的系统的设计和检验用的改良方法。根据专利文献1或2，可以针对与安全性、可靠性相关的要件来检查、验证架构的设计、执行的内容。

现有技术文献

专利文献

专利文献1：日本专利特表2007-506591号公报

专利文献2：日本专利特表2007-528532号公报

发明内容

发明要解决的问题

然而，专利文献1及2并未揭示如下内容：根据安全分析结果(也称为安全分析信息)来全面地验证安全功能的要件，或者除了可靠性中的多重性(多重性在专利文献1中有记载)以外还对安全功能彼此的关系性进行验证。因而，专利文献1及2揭示的技术在对车辆控制系统的各功能的验证上并不充分。

本揭示是鉴于这种状况而做成，其目的在于提供一种用以根据安全分析结果来全面地验证功能的设计的安全性的技术。

解决问题的技术手段

为了解决上述问题，作为本揭示的一实施的形态，例如使用权利要求书中记载的技术思想即可。具体而言，本揭示的车辆控制系统验证装置具备：存储设备，其存储用以验证车辆控制系统的逻辑架构的安全性的程序；以及处理器，其从存储设备读入程序来验证逻辑架构的安全性。该处理器执行根据给出的安全分析结果的信息来验证逻辑架构是否具有对应于安全分析结果的逻辑功能的处理。

本揭示相关的更多特征将通过本说明书的记述、附图来加以明确。此外，本揭示的形态通过要素以及多种要素的组合以及后面的详细记述和随附的权利要求书的样态来达成、实现。

须了解，本说明书的记述只是典型的示例，在任何意义下都不会限定本揭示的权利要求书或运用例。

发明的效果

根据本揭示，可以根据安全分析信息全面地对自动驾驶系统的逻辑架构及物理架构和基于功能配置信息的设计进行验证。

附图说明

图1为表示本揭示的实施方式的车辆控制系统验证装置100的概略构成的图。

图2为表示配备作为评价对象的车辆控制系统的车辆系统1的概略构成例的图。

图3为表示车辆控制系统2的物理架构的例子的图。

图4为表示ECU 302的内部构成例的图。

图5为表示物理架构20的参数例的图。

图6为表示车辆控制系统(例如第1车辆控制系统2)的逻辑架构601的构成例的图。

图7为表示逻辑架构601的参数例的图。

图8为表示逻辑架构配置在物理架构上的情况下的构成例的图。