会员体验
专利管家(专利管理)
工作空间(专利管理)
风险监控(情报监控)
数据分析(专利分析)
侵权分析(诉讼无效)
联系我们
交流群
官方交流:
QQ群: 891211   
微信请扫码    >>>
现在联系顾问~
热词
    • 1. 发明申请
    • PLCユニット及びプログラマブルロジックコントローラ
    • PLC单元和可编程逻辑控制器
    • WO2015162760A1
    • 2015-10-29
    • PCT/JP2014/061582
    • 2014-04-24
    • 三菱電機株式会社
    • 杉山 緑内越 正弘新開 孝一
    • G05B19/05
    • G05B19/058G05B2219/14006
    •  ベースに装着された他のユニットとシステムバスを通じてデータを直接送受信するシステムバスI/F機能部(26)と、単独で用いるか他のCPUユニットと二重化させて用いるかの設定を保持するSIL設定保持部(21)と、システムバスI/F機能部26を通じて二重化の相手である他のCPUユニットから取得した演算結果とプログラム実行部(23)が生成した演算結果とを照合する演算結果照合部(24)とを有し、他のCPUユニットと二重化させて用いる設定がなされている場合には、システムバスI/F機能部(26)を通じて他のCPUユニットから取得した演算結果とプログラム実行部(23)が生成した演算結果との照合結果が一致である場合に出力値を出力ユニットへ送信し、照合結果が不一致である場合にはエラー処理を行う。
    • 本发明具有用于通过系统总线直接发送/接收数据的系统总线I / F功能单元(26)和安装在基座上的另一个单元,SIL设置维护单元(21),用于保持设置是否仅 正在使用系统总线或者是否将系统总线与另一个CPU单元结合使用;以及计算结果对照单元(24),用于将从与该系统一起使用的另一个CPU单元获得的计算结果进行整理 总线通过系统总线I / F功能单元(26)和由程序执行单元(23)产生的计算结果。 当系统总线被设置为与另一个CPU单元一起使用时,如果通过系统总线I / F功能单元从另一个CPU单元获得的计算结果的整理结果将输出值传送到输出单元 26),并且由程序执行单元(23)生成的计算结果匹配,而如果对照结果不匹配则处理错误。
    • 2. 发明申请
    • A METHOD FOR VERIFYING A SAFETY LOGIC IN AN INDUSTRIAL PROCESS
    • 一种在工业过程中验证安全逻辑的方法
    • WO2016103229A1
    • 2016-06-30
    • PCT/IB2015/059975
    • 2015-12-24
    • ABB TECHNOLOGY LTD.
    • PISSEY, Prashant Kumar
    • G05B23/02
    • G05B23/0278G05B2219/14006G05B2219/25118
    • The invention provides a method for verifying a safety logic executed by a controller of a control system of an industrial process, wherein the safety logic corresponds to a predefined cause and effect matrix. The controller executes the safety logic by controlling one or more devices based on one or more input signals received from one or more sensors. The method comprises loading data corresponding to the safety logic from one of the controller and a tool used for generating the safety logic. The method also comprises determining a relationship between a plurality of causes and a corresponding plurality of effects from the data, and reconstructing a cause and effect matrix implemented by the safety logic based on the relationship. The reconstructed cause and effect matrix is compared with the predefined cause and effect matrix to determine one or more inconsistencies in the safety logic for verifying the safety logic.
    • 本发明提供了一种用于验证由工业过程的控制系统的控制器执行的安全逻辑的方法,其中安全逻辑对应于预定义的因果矩阵。 控制器通过基于从一个或多个传感器接收的一个或多个输入信号控制一个或多个设备来执行安全逻辑。 该方法包括从控制器和用于产生安全逻辑的工具之一加载对应于安全逻辑的数据。 该方法还包括从数据中确定多个原因与相应的多个效果之间的关系,以及基于该关系重建由安全逻辑实现的因果矩阵。 将重建的因果矩阵与预定义的因果矩阵进行比较,以确定用于验证安全逻辑的安全逻辑中的一个或多个不一致性。
    • 6. 发明申请
    • SYSTEM AND METHOD FOR THREAT IMPACT DETERMINATION
    • 用于威胁影响判定的系统和方法
    • WO2018038718A1
    • 2018-03-01
    • PCT/US2016/048374
    • 2016-08-24
    • SIEMENS AKTIENGESELLSCHAFT
    • PFLEGER DE AGUIAR, LeandroMARTINEZ CANEDO, ArquimedesSRIVASTAVA, Sanjeev
    • G05B19/05G06F21/00
    • G06F21/577G05B19/05G05B19/058G05B2219/14006G06F21/566G06F2221/034
    • A system (100) and method is provided that facilitates threat impact characterization. The system may include a replica programmable logic controller (PLC) (102) that corresponds to a production PLC (122) in a production system (120) and that may be configured to operate at an accelerated processing speed that is at least two times faster than a processing speed of the production PLC. The system may also include a data processing system (132) configured to communicate with the replica PLC when executing malware infected PLC firmware (112) and generate a simulation (146) of the production system based on a virtual model (142) of the production system operating at an accelerated processing speed that is at least two times faster than a processing speed of the physical production system. The simulation may include accelerated simulation of the production PLC based on communication with the replica PLC using the malware infected PLC firmware. The data processing system may also monitor: outputs from the replica PLC and the simulation of the production system to determine a possible threat to a hardware component (124) of the production system caused by the production PLC executing the infected PLC firmware rather than a non-infected PLC firmware; and output data indicative of the possible threat thorough a display device (152).
    • 提供了便于威胁影响表征的系统(100)和方法。 该系统可以包括对应于生产系统(120)中的生产PLC(122)并且可以被配置成以至少两倍更快的加速处理速度操作的复制可编程逻辑控制器(PLC)(102) 比生产PLC的处理速度快。 该系统还可以包括数据处理系统(132),该数据处理系统被配置为在执行恶意软件感染的PLC固件(112)时与复制PLC通信并且基于生产的虚拟模型(142)生成生产系统的模拟(146) 系统以比物理生产系统的处理速度快至少两倍的加速处理速度进行操作。 仿真可包括基于与使用感染恶意软件的PLC固件的副本PLC的通信来加速模拟生产PLC。 数据处理系统还可以监视:来自副本PLC的输出和生产系统的模拟,以确定由生产PLC执行受感染的PLC固件而非非生产系统所导致的对生产系统的硬件组件(124)的可能威胁 感染的PLC固件; 并通过显示设备(152)输出指示可能的威胁的数据。
    • 9. 发明申请
    • DISPOSITIF ET PROCEDE DE CLASSEMENT DE VARIABLES A DEUX ETATS D’UN SYSTEME A FONCTIONNEMENT CYCLIQUE COMPORTANT DES SOUS UNITES
    • 用于分类包含子系统的循环运行系统的两个状态变量的装置和方法
    • WO2004102289A1
    • 2004-11-25
    • PCT/FR2004/001148
    • 2004-05-11
    • PROSYST SAWILLAEYS, DidierASSE, Abdallah
    • WILLAEYS, DidierASSE, Abdallah
    • G05B19/05
    • G05B19/058G05B2219/14006G05B2219/14068
    • L'invention concerne un dispositif et un procédé de classement de variables à deux états d'un système à fonctionnement cyclique comportant des sous unités. Selon le procédé de l'invention, on réalise : une étape d'enregistrement dans laquelle on enregistre les changements d'état datés de chacune desdites variables durant un temps déterminé T, une étape de calcul dans laquelle on détermine à partir des changements d'état datés, et pour chacune des variables, d'une part les différentes durées (D1) entre deux passages consécutifs à un premier état (E1) et d'autre part les différentes durées (D2) entre deux passages consécutifs à un second état (E2),de manière à créer des listes de durée (LD1) et (LD2), une étape de traitement dans laquelle on compare pour chaque variable les différentes listes de durées (LD1) et/ou (LD2), aux différentes listes de durées (LD1) et/ou (LD2) des autres variables et leur nombre d'occurrences de manière à classer lesdites variables dans des groupements correspondant chacune à au moins une des sous unités dudit système.
    • 本发明涉及用于对包括子单元的循环操作系统的两状态变量进行分类的装置和方法。 本发明的方法包括以下步骤:记录步骤,包括在确定的时间T内记录每个变量所注明的日期状态变化; 计算步骤包括使用上述过时的状态变化,以便为每个变量确定(i)在两个连续通道到第一状态(E1)之间的不同持续时间(D1)和(ii)不同持续时间( D2)在两个连续通路之间到第二状态(E2),例如创建持续时间列表(LD1)和(LD2); 以及处理步骤,对于每个变量,将不同持续时间列表(LD1)和/或(LD2)与其他变量的不同持续时间列表(LD1)和/或(LD2)及其出现次数进行比较, 例如将所述变量分组为组,由此每个组对应于系统的至少一个子单元。