-
公开(公告)号：CN102959526B
公开(公告)日：2015-08-19
申请号：CN201180031504.4
申请日：2011-06-15
Applicant: 三菱重工业株式会社
CPC classification number: G06F11/0751 , G06F11/1004 , G06F12/1009 , G06F12/1027 , G06F2212/1032
Abstract: 本发明提供一种地址变换检查装置、中央处理运算装置及地址变换检查方法。信息处理装置(10)具备基于用于对作为物理存储器的地址的物理地址和作为虚拟存储器的地址的虚拟地址进行变换的变换表来变换所述虚拟地址和所述物理地址的MMU(20)。并且，在RAM(14)中存储了表示页面表的页面表信息、以及附加于页面表信息并且用于检测由MMU(20)进行的虚拟地址和物理地址的变换有无异常的异常检测信息。并且，CPU(12)基于异常检测信息来检测由MMU(20)进行的虚拟地址和物理地址的变换有无异常。由此，利用被读入至设置于存储器管理装置内的缓冲器中的变换表，能够在保持执行其他程序的状态下检查中央处理运算装置是否能正常地对物理存储器访问。
-
公开(公告)号：CN117716310A
公开(公告)日：2024-03-15
申请号：CN202280053043.9
申请日：2022-11-25
Applicant: 三菱重工业株式会社
IPC: G05B23/02
Abstract: 在成套设备运行模拟系统中，控制装置对任意时刻的控制装置的控制功能的运算结果的快照赋予时间戳，并将快照传送至仿真器，仿真器使用从控制装置传送过来的快照中包含的运算结果和被赋予对快照赋予的时间戳所表示的时刻之后的时间戳的输入数据来执行加速运算，直至赶上控制装置的控制功能的当前时点的运算时刻，所述加速运算以比控制装置的控制功能的运算周期快的周期进行仿真器的控制模型的运算。
-
公开(公告)号：CN116097183A
公开(公告)日：2023-05-09
申请号：CN202180062037.5
申请日：2021-10-19
Applicant: 三菱重工业株式会社
IPC: G05B19/042
Abstract: 控制器虚拟化装置具备：多个控制器虚拟化装置，其分别包含用于生成针对控制对象的控制信号的一个以上的虚拟机；以及一个以上的OT线，其用于将来自多个控制器虚拟化装置的控制信号向控制对象传送。多个控制器虚拟化装置构成为分别经由一个以上的OT线相互收发虚拟机的生存确认信号或可靠性确认信号。
-
公开(公告)号：CN103069393B
公开(公告)日：2016-03-02
申请号：CN201180031495.9
申请日：2011-06-21
Applicant: 三菱重工业株式会社
CPC classification number: G06F11/273 , G06F11/2215 , G06F11/261 , G06F12/10 , G06F12/145 , G06F12/1491
Abstract: 本发明提供一种异常检查装置、中央处理运算装置以及异常检查方法。CPU(12)将动作模式变更成即便是从MMU(20)输出了CPU例外通知的情况也不使执行中的程序停止的测试模式，在测试模式中向MMU(20)输出用于使MMU(20)输出CPU例外通知的访问信号，在向MMU(20)输出了访问信号之后，对有无CPU例外通知的输入进行检测。由此，能够在保持执行其他程序的状态下检查在MMU(20)中是否发生了无法探测非法访问的异常。
-
Patent Agency Ranking
公开(公告)号：CN102959526A
公开(公告)日：2013-03-06
申请号：CN201180031504.4
申请日：2011-06-15
Applicant: 三菱重工业株式会社
CPC classification number: G06F11/0751 , G06F11/1004 , G06F12/1009 , G06F12/1027 , G06F2212/1032
Abstract: 本发明提供一种地址变换检查装置、中央处理运算装置及地址变换检查方法。信息处理装置(10)具备基于用于对作为物理存储器的地址的物理地址和作为虚拟存储器的地址的虚拟地址进行变换的变换表来变换所述虚拟地址和所述物理地址的MMU(20)。并且，在RAM(14)中存储了表示页面表的页面表信息、以及附加于页面表信息并且用于检测由MMU(20)进行的虚拟地址和物理地址的变换有无异常的异常检测信息。并且，CPU(12)基于异常检测信息来检测由MMU(20)进行的虚拟地址和物理地址的变换有无异常。由此，利用被读入至设置于存储器管理装置内的缓冲器中的变换表，能够在保持执行其他程序的状态下检查中央处理运算装置是否能正常地对物理存储器访问。
-
公开(公告)号：CN113169865B
公开(公告)日：2024-01-09
申请号：CN201980077412.6
申请日：2019-10-16
Applicant: 三菱重工业株式会社
Abstract: 控制装置构成为经由通信网络与其他装置进行通信，该控制装置具备：密钥取得部，其构成为经由通信网络从密钥分配服务器取得具有寿命期间的加密密钥，该加密密钥用于进行与所述其他装置的加密通信；加密通信部，其构成为使用寿命期间内的加密密钥来执行与其他装置的加密通信；服务器状态检测部，其构成为检测无法取得密钥状态，该无法取得密钥状态是无法通过密钥取得部取得加密密钥的状态；以及寿命延长部，其构成为在检测到无法取得密钥状态的情况下执行延长寿命期间的延长处理。
-
公开(公告)号：CN117157947A
公开(公告)日：2023-12-01
申请号：CN202280025399.1
申请日：2022-02-09
Applicant: 三菱重工业株式会社
IPC: H04L12/46
Abstract: 目的在于提供能够简化结构的控制装置及其控制方法以及控制程序。控制装置(C1)对控制对象设备进行控制，控制装置(C1)具备：输入部(IN1)，被输入包含输入信息的输入信号，将输入信息向通信网络(NW)输送；及CPU_1，经由通信网络(NW)而从输入部(IN1)接收输入信息，基于输入信息来进行控制，CPU_1将接收到的输入信息经由通信网络(NW)而向在独立于控制装置(C1)地设置的其他装置(C2)中对控制对象设备进行控制的CPU_2发送。
-
公开(公告)号：CN114586015A
公开(公告)日：2022-06-03
申请号：CN202080071862.7
申请日：2020-11-13
Applicant: 三菱重工业株式会社
Abstract: 运算装置是构成冗余化系统的运算装置，具备：感测部，被构成为感测在工作中新加入于冗余化系统的其他运算装置；以及构建处理部，被构成为执行用于构建与其他运算装置的冗余化结构的构建处理，构建处理部具有：第一发送部，确定构建处理的开始时的、冗余化结构的构建所需的本装置的状态信息即构建开始状态信息，并向其他运算装置发送；以及第二发送部，在每当给定定时到来时，反复执行变更差分的确定及向其他运算装置的发送，直到满足给定的结束条件为止，该变更差分是通过在构建开始状态信息的确定后进行的本装置的运算处理而产生的状态信息的、与构建开始状态信息的确定时或者从前一个到来时起的差分。
-
公开(公告)号：CN103069393A
公开(公告)日：2013-04-24
申请号：CN201180031495.9
申请日：2011-06-21
Applicant: 三菱重工业株式会社
CPC classification number: G06F11/273 , G06F11/2215 , G06F11/261 , G06F12/10 , G06F12/145 , G06F12/1491
Abstract: 本发明提供一种异常检查装置、中央处理运算装置以及异常检查方法。CPU(12)将动作模式变更成即便是从MMU(20)输出了CPU例外通知的情况也不使执行中的程序停止的测试模式，在测试模式中向MMU(20)输出用于使MMU(20)输出CPU例外通知的访问信号，在向MMU(20)输出了访问信号之后，对有无CPU例外通知的输入进行检测。由此，能够在保持执行其他程序的状态下检查在存储器管理装置中是否发生了无法探测非法访问的异常。
-
-
-
-
-
-
-
-
Search Results
9
records
(took 0.014 seconds)
