车辆控制系统验证装置、车辆控制系统以及车辆控制系统验证方法

摘要

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