-
公开(公告)号：CN107506509A
公开(公告)日：2017-12-22
申请号：CN201710271230.5
申请日：2017-04-18
Applicant: 株式会社日立制作所
IPC: G06F17/50
Abstract: 本发明涉及应用逻辑及其验证方法和构成方法，提供与SIL4相当的高安全性的应用逻辑。该应用逻辑的验证方法具备：一个或多个宏逻辑，进行规定的运算；宏运算控制部，为了使宏逻辑进行运算而向宏逻辑指示开始运算；和运算数据存储区域，对数据进行存储。该应用逻辑分别针对宏逻辑、宏运算控制部、运算数据存储区域，进行基于形式验证语言的属性描述的静态验证，针对宏逻辑的至少一个，还进行基于仿真的动态验证。
-
公开(公告)号：CN101339415B
公开(公告)日：2012-10-10
申请号：CN200810130021.X
申请日：2007-07-02
Applicant: 株式会社日立制作所 , 日立信息控制系统有限公司
Inventor： 阪东明 , 小林正光 , 白石雅裕 , 小野塚明弘 , 梅原敬 , 小仓真 , 小林英二 , 石川雅一 , 古田康幸 , 益子直也 , 船木觉 , 关裕介 , 大谷辰幸 , 笹木亘 , 大塚祐策 , 中野晃博 , 小泽彰一 , 岩崎游 , 笠原武则
IPC: G05B19/04
Abstract: 本发明提供一种控制装置，其从中央运算存储装置经串行传送线路向通信控制装置发送接收数据，从通信控制装置经并行传送线路集合·分配输入输出装置的数据，通过来自中央控制装置的指令对并行传送总线的诊断装置进行起到，紧接着传送线路的诊断而进行输入输出装置的诊断。另外，还从中央运算存储装置指令输入输出装置的数据输入输出时序。通过这样，抑制了诊断所引起的应答速度的降低，维持了数据输入输出的定刻性。从而解决如下技术问题：即为了在可编程电子装置中实现功能安全，必需将诊断装置的偶发故障自身的诊断所需要的无限循环切断，而通过软件程序进行诊断，从而引起的存在装置的复杂化与应答速度·输入输出的定刻性容易被阻碍的问题。
-
公开(公告)号：CN1877471B
公开(公告)日：2010-08-18
申请号：CN200610091732.1
申请日：2006-06-09
Applicant: 株式会社日立制作所 , 日立信息控制系统有限公司
IPC: G05B19/00
CPC classification number: Y02P90/02
Abstract: 本发明提供了一种控制装置的任务管理装置、输入输出控制装置、信息控制装置、控制装置的任务管理方法、输入输出控制方法以及信息控制方法，对于多个处理器，针对共同的数据处理对象，输入以可互换的方式运算的处理结果，在从任何一个处理器接收到开始信号后，对于向处理器输出运算指示信号的运算指示信号，输出为一个处理器和另一个处理器的动作定时不同。之后，将一个处理器与另一个处理器的运算效果进行比较。由于采用这种结构，对于多个处理器，可兼顾小型高性能化和安全性，并实现高可靠性。
-
公开(公告)号：CN101110717A
公开(公告)日：2008-01-23
申请号：CN200710127313.3
申请日：2007-07-02
Applicant: 株式会社日立制作所 , 日立信息控制系统有限公司
CPC classification number: G05B23/0229 , G05B23/0262
Abstract: 一种通信控制系统及通信控制方法，在一台中央运算处理装置与多个输入装置及输出装置通过并行总线连接的可编程电子控制装置中，要求不使输入装置及输出装置的电路构成复杂化地实现输入装置及输出装置的自诊断功能健全性的确认。通过将安装于中央运算处理装置的微处理器兼用作输入装置及输出装置的自诊断功能测试(诊断测试)用处理器，由中央运算处理装置实施多个输入装置及输出装置的自诊断功能测试，排除了向与中央运算处理装置连接的输入装置及输出装置安装微处理器的必要性，以根据中央运算处理装置的来自微处理器的指示起动输入装置及输出装置的自诊断功能及诊断测试，由中央运算处理装置的微处理器判断结果为基本构成，从而解决了上述课题。
-
公开(公告)号：CN101098211A
公开(公告)日：2008-01-02
申请号：CN200710085052.3
申请日：2006-06-30
Applicant: 株式会社日立制作所 , 日立信息控制系统有限公司
Abstract: 本发明的目的是在过程控制系统中实现在通信时兼顾输入输出数据的可用性和安全性的通信控制。为此，在发送装置中设置：生成包含传送数据、表示可靠度的安全标志和由传送数据生成的数据错误检测码的传送数据的部件；在接收装置中设置：多个从接收帧抽取传送数据、安全标志和数据错误检测码并进行数据错误检测的部件，核对多个接收帧的部件，以及根据帧错误检测结果、安全标志、数据错误检测结果和核对结果选择一个接收帧的部件；通过与用安全标志所设定的可靠度相对应的检测方法来判定传送数据的有效性。
-
Patent Agency Ranking
公开(公告)号：CN1893336A
公开(公告)日：2007-01-10
申请号：CN200610099833.3
申请日：2006-06-30
Applicant: 株式会社日立制作所 , 日立信息控制系统有限公司
Abstract: 本发明的目的是在过程控制系统中实现在通信时兼顾输入输出数据的可用性和安全性的通信控制。为此，在发送装置中设置：生成包含传送数据、表示可靠度的安全标志和由传送数据生成的数据错误检测码的传送数据的部件；在接收装置中设置：多个从接收帧抽取传送数据、安全标志和数据错误检测码并进行数据错误检测的部件，核对多个接收帧的部件，以及根据帧错误检测结果、安全标志、数据错误检测结果和核对结果选择一个接收帧的部件；通过与用安全标志所设定的可靠度相对应的检测方法来判定传送数据的有效性。
-
公开(公告)号：CN110414029B
公开(公告)日：2023-06-27
申请号：CN201910256473.0
申请日：2019-03-29
Applicant: 株式会社日立制作所
IPC: G06F30/343 , G06F30/331
Abstract: 本发明提供一种控制装置的逻辑安装时的必要资源削减技术和验证技术。具备以下单元来构成半导体LSI设计装置：通过赋予功能块的运算顺序的连接信息而生成组合电路的单元，该组合电路通过组合根据应用程序规格在功能块库中定义的功能块而构成；将所述组合电路转换为能够应用于以时分方式多次使用功能块的顺序电路的运算顺序信息的单元；根据生成的运算顺序信息逆转换为组合电路的单元；验证所述组合电路和逆转换的组合电路的逻辑等价性的单元；以及结合所述运算顺序信息、所述顺序电路以及功能块的单元。
-
公开(公告)号：CN107506509B
公开(公告)日：2020-08-07
申请号：CN201710271230.5
申请日：2017-04-18
Applicant: 株式会社日立制作所
IPC: G06F30/20 , G06F30/327
Abstract: 本发明涉及应用逻辑及其验证方法和构成方法，提供与SIL4相当的高安全性的应用逻辑。该应用逻辑的验证方法具备：一个或多个宏逻辑，进行规定的运算；宏运算控制部，为了使宏逻辑进行运算而向宏逻辑指示开始运算；和运算数据存储区域，对数据进行存储。该应用逻辑分别针对宏逻辑、宏运算控制部、运算数据存储区域，进行基于形式验证语言的属性描述的静态验证，针对宏逻辑的至少一个，还进行基于仿真的动态验证。
-
公开(公告)号：CN109313946A
公开(公告)日：2019-02-05
申请号：CN201780032388.5
申请日：2017-04-11
Applicant: 株式会社日立制作所
Abstract: 课题在于满足在核电站的安全保护体系中要求的要求事项且抑制操作人员的监视和操作负担。作为解决手段的人机接口设备(5)具备应用于核电站的安全保护体系的逻辑控制器(1)和具备硬开关(38)的显示装置(3)。该逻辑控制器(1)具备：与构成核电站的仪表控制系统的接口(14)；逻辑控制器(11)，利用硬件逻辑切换并控制利用硬开关(38)的显示装置(3)的显示信息；以及显示器控制器(22)，将来自逻辑控制器(11)的显示信息展开为像素而输出到显示装置(3)。
-
公开(公告)号：CN107992018A
公开(公告)日：2018-05-04
申请号：CN201710973680.9
申请日：2017-10-19
Applicant: 株式会社日立制作所
IPC: G05B23/02
Abstract: 提供一种控制系统，该控制系统即使在基于双重化的对照中需要在不同电源系统之间转送信号的情况下也能够削减接口元件的使用数、提高装置的安装紧凑性。控制系统具备运算装置，该运算装置包括具备数据分割部的A系统运算部、具备数据分割部的B系统运算部以及具备数据结合部和对照部的A系统通信控制部，所述A系统运算部和所述B系统运算部为双重化结构，所述A系统运算部和所述B系统运算部被间隙隔开，所述A系统运算部输出的帧被转送到所述A系统通信控制部以及经由接口元件被转送到所述B系统通信控制部，所述B系统运算部输出的帧被转送到所述B系统通信控制部以及经由接口元件被转送到所述A系统通信控制部。
-
-
-
-
-
-
-
-
-
Search Results
39
records
(took 0.025 seconds)
