首页> 中国专利> 车辆控制系统验证装置、车辆控制系统以及车辆控制系统验证方法

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

摘要

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

著录项

  • 公开/公告号CN109074299B

    专利类型发明专利

  • 公开/公告日2021-12-14

    原文格式PDF

  • 申请/专利权人 日立安斯泰莫株式会社;

    申请/专利号CN201780011147.2

  • 发明设计人 大塚敏史;樱井康平;

    申请日2017-04-13

  • 分类号G06F11/22(20060101);B60T17/18(20060101);G05B9/02(20060101);G06F30/15(20200101);

  • 代理机构31300 上海华诚知识产权代理有限公司;

  • 代理人肖华

  • 地址 日本茨城县

  • 入库时间 2022-08-23 12:57:44

相似文献

  • 专利
  • 中文文献
  • 外文文献
获取专利

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号