专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 发明申请

US20100023534A1 Computer-aided safety logic certification 审中-公开
标题翻译：计算机辅助安全逻辑认证
公开(公告)号：US20100023534A1
公开(公告)日：2010-01-28
申请号：US12179640
申请日：2008-07-25
申请人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Jerome O. Schroeder , Richard C. Immers , Jeffrey J. Byrnes
发明人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Jerome O. Schroeder , Richard C. Immers , Jeffrey J. Byrnes
IPC分类号： G01R31/3177 , G06F11/25 , G06F17/30
CPC分类号： G01R31/3177
摘要： A method is provided for certifying safety logic code in a manufacturing automation system. A plurality of safety related test scenarios is provided for testing the safety logic code in the manufacturing automation system. A processing unit is configured for communication with the logic controller. The processing unit generates logic input signals in response to the plurality of safety related test scenarios and provides the logic input signals to the logic controller. Execution of the plurality of safety related test scenarios via the safety logic code is triggered in response to the processing unit providing the logic input signals to the logic controller. Response output signals are generated by the logic controller in response to the safety related test scenarios being executed by the safety logic code. Compliancy of the safety logic code is determined by evaluating response output signals and associated logic input signals to a predetermined standard.
摘要翻译：提供了一种用于在制造自动化系统中验证安全逻辑代码的方法。提供了多个安全相关的测试场景，用于测试制造自动化系统中的安全逻辑代码。处理单元被配置为与逻辑控制器通信。处理单元响应于多个安全相关的测试场景产生逻辑输入信号，并将逻辑输入信号提供给逻辑控制器。响应于处理单元向逻辑控制器提供逻辑输入信号，触发经由安全逻辑代码执行多个与安全相关的测试场景。响应输出信号由逻辑控制器响应于由安全逻辑代码执行的安全相关测试场景而产生。通过将响应输出信号和相关联的逻辑输入信号评估为预定标准来确定安全逻辑代码的兼容性。

2. 发明授权

US08219799B1 Secure communication system 有权
标题翻译：安全通信系统
公开(公告)号：US08219799B1
公开(公告)日：2012-07-10
申请号：US12109867
申请日：2008-04-25
申请人： Frank A. Lucchesi , Christopher T. Wolff , Jeffrey J. Byrnes
发明人： Frank A. Lucchesi , Christopher T. Wolff , Jeffrey J. Byrnes
IPC分类号： H04L9/00
CPC分类号： H04L63/302 , H04L63/0485 , H04L63/105 , H04L67/12 , H04L67/2823
摘要： A secure communication system that includes a communication processor, an internet protocol converter that converts data to and from its original protocol to internet protocol, an encryptor/decryptor to provide additional security for communications that are routed through the secure communication system, and a cryptography module and other logic that identifies the security classification of data and verifies the cryptographic keys of the source, in the communication, and of the destination. An additional security processor may be provided as required by secure communication standards. The secure communication system may also include an a internet router that routes the data through the secure communication system. The communication processor provides real-time control and can change a source or destination, an encryption key, a security level, the protocol of a communication in response to sensor data received from a communicating entity or from command signals from a connected or remote control system.
摘要翻译：一种安全通信系统，包括通信处理器，将数据从原始协议转换为互联网协议的因特网协议转换器，为通过安全通信系统路由的通信提供附加安全性的加密器/解密器，以及加密模块以及识别数据的安全分类并验证源，通信和目的地的加密密钥的其他逻辑。可以根据安全通信标准的要求提供附加的安全处理器。安全通信系统还可以包括通过安全通信系统路由数据的因特网路由器。通信处理器提供实时控制，并且可以响应于从通信实体接收的传感器数据或来自连接或远程控制系统的命令信号来改变源或目的地，加密密钥，安全级别，通信协议。

3. 发明申请

US20110125302A1 METHOD AND SYSTEM FOR FORMAL SAFETY VERIFICATION OF MANUFACTURING AUTOMATION SYSTEMS 审中-公开
标题翻译：制造自动化系统的正式安全验证方法与系统
公开(公告)号：US20110125302A1
公开(公告)日：2011-05-26
申请号：US12604449
申请日：2009-10-23
申请人： Nagarajan Sethuraman , Jerome O. Schroeder , Soumen De , Chengyin Yuan , Stephan R. Biller , Frank Gajor , Jeffrey J. Byrnes , Narahari K. Hunsur
发明人： Nagarajan Sethuraman , Jerome O. Schroeder , Soumen De , Chengyin Yuan , Stephan R. Biller , Frank Gajor , Jeffrey J. Byrnes , Narahari K. Hunsur
IPC分类号： G06F19/00 , G06F11/36 , G05B9/02
CPC分类号： G05B9/02 , G06F11/3604
摘要： A method and system is provided for verifying and certifying the safety logic of a manufacturing automation system including safety logic, where the logic may include one or more safety modules, routines, programs and tasks or a combination thereof; testing specifications corresponding to the safety logic; one or more formal model generators adapted for automatically transforming the safety logic and testing specifications through a logic parser into their respective mathematical models, formatted for example, as a Petri-net or binary decision diagram; a safety logic verifier configured for automatically comparing the safety logic formal model against the testing specification formal model to verify the safety logic model for the purpose of certifying the safety logic. The testing specifications may include testing of safety logic behavior including reaching safe state, remaining in safe state without reset, recovering from safe state with reset and remaining active with false alarm detection.
摘要翻译：提供了一种用于验证和认证包括安全逻辑的制造自动化系统的安全逻辑的方法和系统，其中逻辑可以包括一个或多个安全模块，例程，程序和任务或其组合; 测试规范对应于安全逻辑; 适用于通过逻辑解析器将安全逻辑和测试规范自动转换成其各自的数学模型的一个或多个形式模型发生器，其格式化为例如Petri网或二进制决策图; 安全逻辑验证器被配置用于自动地将安全逻辑形式模型与测试规范形式模型进行比较，以验证安全逻辑模型以证明安全逻辑。测试规范可能包括测试安全逻辑行为，包括达到安全状态，保持安全状态，无需重置，从安全状态恢复，并通过虚假警报检测保持活动状态。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式