-
Patent Agency Ranking
公开(公告)号：CN102667729A
公开(公告)日：2012-09-12
申请号：CN201180004944.0
申请日：2011-01-12
Applicant: 株式会社日立制作所
CPC classification number: G06F11/202 , G06F8/61 , G06F11/1428
Abstract: 通过准备多个相同结构的硬件来实现的冗余化成本较高，难以应用于低成本产品。本发明在能够在应用程序级别变更处理内容的CPU和能够进行处理内容的变更的FPGA等共存的设备上，若检测出通过硬件实现的功能的故障，则以该设备上或者网络上的设备的结构信息为参考，选定可代替的设备，并选定为实现功能所需要的软件，实施使代替的硬件能够使用该软件的手续（软件的下载或向硬件可访问的存储器区域的展开等），代替处理。
-
公开(公告)号：CN114003271B
公开(公告)日：2025-02-25
申请号：CN202110784096.5
申请日：2021-07-12
Applicant: 株式会社日立制作所
Inventor： 长野岳彦
Abstract: 本发明提供一种软件查询信息管理系统和软件查询信息管理方法，能够高效地生成关于安装在搭载车辆的设备中的软件的法定许可所需的证据。软件查询信息管理系统与规定了车辆要获得法定许可而要满足的要件的法规的法规ID相关联地存储设备要求规格，确定与设备要求规格所关联的设备的追溯信息所关联的设备要求规格对应的法规ID，生成将所确定的法规ID与追溯信息中含有的一个以上的软件ID相关联的软件查询信息，基于软件查询信息确定与发生了事件的设备中安装的软件的软件ID对应的法规ID所对应的其它软件的软件ID，基于安装有所确定的软件ID的设备的通信数据生成证据。
-
公开(公告)号：CN114003271A
公开(公告)日：2022-02-01
申请号：CN202110784096.5
申请日：2021-07-12
Applicant: 株式会社日立制作所
Inventor： 长野岳彦
Abstract: 本发明提供一种软件查询信息管理系统和软件查询信息管理方法，能够高效地生成关于安装在搭载车辆的设备中的软件的法定许可所需的证据。软件查询信息管理系统与规定了车辆要获得法定许可而要满足的要件的法规的法规ID相关联地存储设备要求规格，确定与设备要求规格所关联的设备的追溯信息所关联的设备要求规格对应的法规ID，生成将所确定的法规ID与追溯信息中含有的一个以上的软件ID相关联的软件查询信息，基于软件查询信息确定与发生了事件的设备中安装的软件的软件ID对应的法规ID所对应的其它软件的软件ID，基于安装有所确定的软件ID的设备的通信数据生成证据。
-
公开(公告)号：CN103052943A
公开(公告)日：2013-04-17
申请号：CN201180038784.1
申请日：2011-08-08
Applicant: 株式会社日立制作所
CPC classification number: G06F8/40 , G06F8/51 , G06F8/75 , G06F11/3604 , G06F11/3624
Abstract: 为了在软件的模型检查中，降低用模型检查器的输入语言描述检查代码的成本，存在将软件的源代码转换为检查代码的方法。因为用户只能选择单一的转换方式，所以存在抽象化水平的变更困难、用于追随源代码的设计变更的规则修正成本较高、用于用不同检查工具检查的规则修正成本较高等课题。本发明在将源代码转换为检查代码时，提供选择多个转换规则的单元，用户能够容易地变更抽象化的水平。此外，多个转换规则包括将源代码转换为中间形式的转换规则、在中间形式中进行抽象化的转换规则和从中间形式转换为检查代码的转换规则。
-
公开(公告)号：CN101052104A
公开(公告)日：2007-10-10
申请号：CN200710095814.8
申请日：2007-04-04
Applicant: 株式会社日立制作所
CPC classification number: H04N7/17318 , H04N21/435 , H04N21/4586
Abstract: 本发明的数字播放接收装置具有接收包含第一识别信息的数字播放信号的接收部和控制部，所述控制部对由所述接收部接收到的数字播放信号中包含的所述第一识别信息和所述数字播放接收装置具有的第二识别信息进行比较，根据该比较结果，限制或停止所述数字播放接收装置具有的多个功能中的至少1个功能。因此，消除了数字播放接收装置仍旧在使用不兼容的某个软件的情况。
-
-
-
-
Search Results
5
records
(took 0.029 seconds)
