专利快速检索-快速检索全球专利，免费商用专利数据库-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. 发明申请

US20090031181A1 Automated root cause identification of logic controller failure 有权
标题翻译：自动根本原因识别逻辑控制器故障
公开(公告)号：US20090031181A1
公开(公告)日：2009-01-29
申请号：US11829321
申请日：2007-07-27
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
IPC分类号： G06F11/26
CPC分类号： G06F11/25
摘要： A method, system, and computer program product for automated root cause identification of a failure of a logic controller have been provided. The method includes receiving logic controller failure information, receiving a logic model of logic code for the logic controller, and mapping the logic controller failure information to the logic model to identify a logic failure model state. The method further includes determining a potential trigger of the failure of the logic controller as a root cause via tracing through at least one path in the logic model to reach the logic failure model state. The method also includes identifying the root cause in the logic code via mapping the root cause from the logic model to the logic code, and outputting the logic code with the identified root cause of the failure of the logic controller.
摘要翻译：已经提供了用于自动根本原因识别逻辑控制器的故障的方法，系统和计算机程序产品。该方法包括接收逻辑控制器故障信息，接收用于逻辑控制器的逻辑代码的逻辑模型，以及将逻辑控制器故障信息映射到逻辑模型以识别逻辑故障模型状态。该方法还包括通过经由逻辑模型中的至少一个路径的跟踪来确定逻辑控制器的故障的潜在触发作为根本原因以达到逻辑故障模型状态。该方法还包括通过将逻辑模型的根本原因映射到逻辑代码来识别逻辑代码中的根本原因，以及逻辑控制器的故障识别的根本原因来输出逻辑代码。

3. 发明授权

US07761765B2 Automated root cause identification of logic controller failure 有权
标题翻译：自动根本原因识别逻辑控制器故障
公开(公告)号：US07761765B2
公开(公告)日：2010-07-20
申请号：US11829321
申请日：2007-07-27
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Jerome O. Schroeder , Roland J. Menassa
IPC分类号： G06F11/00
CPC分类号： G06F11/25
摘要： A method, system, and computer program product for automated root cause identification of a failure of a logic controller have been provided. The method includes receiving logic controller failure information, receiving a logic model of logic code for the logic controller, and mapping the logic controller failure information to the logic model to identify a logic failure model state. The method further includes determining a potential trigger of the failure of the logic controller as a root cause via tracing through at least one path in the logic model to reach the logic failure model state. The method also includes identifying the root cause in the logic code via mapping the root cause from the logic model to the logic code, and outputting the logic code with the identified root cause of the failure of the logic controller.
摘要翻译：已经提供了用于自动根本原因识别逻辑控制器的故障的方法，系统和计算机程序产品。该方法包括接收逻辑控制器故障信息，接收用于逻辑控制器的逻辑代码的逻辑模型，以及将逻辑控制器故障信息映射到逻辑模型以识别逻辑故障模型状态。该方法还包括通过经由逻辑模型中的至少一个路径的跟踪来确定逻辑控制器的故障的潜在触发作为根本原因以达到逻辑故障模型状态。该方法还包括通过将逻辑模型的根本原因映射到逻辑代码来识别逻辑代码中的根本原因，以及逻辑控制器的故障识别的根本原因来输出逻辑代码。

4. 发明授权

US07684892B2 Process for generating control sequence of operations 有权
标题翻译：用于生成控制操作序列的过程
公开(公告)号：US07684892B2
公开(公告)日：2010-03-23
申请号：US11928542
申请日：2007-10-30
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
IPC分类号： G06F19/00 , G05B11/01 , G05B13/02 , G05B19/42 , G06F9/44
CPC分类号： G05B19/41835 , Y02P90/12
摘要： A method for generation of a control code set for a manufacturing process includes generating a list of sequences of operations with an automatic sequence of operations generator, selecting an optimized sequence of operations from the list of sequences of operations, and utilizing the optimized sequence of operations to generate the control code set.
摘要翻译：用于产生用于制造过程的控制代码集的方法包括利用自动序列生成器生成操作序列列表，从操作序列列表中选择优化的操作序列，以及利用优化的操作序列生成控制代码集。

5. 发明授权

US07809457B2 Framework for automatic generation of sequence of operations 有权
标题翻译：自动生成操作顺序的框架
公开(公告)号：US07809457B2
公开(公告)日：2010-10-05
申请号：US11928490
申请日：2007-10-30
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Magnus Johansson , Mikael Kjellgren , Richard C. Immers , Chieh-Yi Jerry Yen , Bengt Erik Lennartson , Martin Fabian , Knut Akesson , Petter Falkman
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Magnus Johansson , Mikael Kjellgren , Richard C. Immers , Chieh-Yi Jerry Yen , Bengt Erik Lennartson , Martin Fabian , Knut Akesson , Petter Falkman
IPC分类号： G06F19/00
CPC分类号： G05B19/41865 , G05B2219/32266 , G05B2219/32353 , Y02P90/20 , Y02P90/26
摘要： A method for generation of a sequence of operations for a manufacturing process including modeling the manufacturing process through a finite state machine to create a sequence of operations generator operative to generate a list of sequences of operations for the manufacturing process and utilizing the sequence of operations generator to input process information and automatically generate a list of sequences of operations.
摘要翻译：一种用于生成制造过程的操作序列的方法，包括通过有限状态机对制造过程进行建模，以创建一系列操作生成器，其操作以生成用于制造过程的操作序列列表，并利用操作生成器序列输入过程信息并自动生成一系列操作。

6. 发明申请

US20090112350A1 PROCESS FOR GENERATING CONTROL SEQUENCE OF OPERATIONS 有权
标题翻译：产生控制操作顺序的过程
公开(公告)号：US20090112350A1
公开(公告)日：2009-04-30
申请号：US11928542
申请日：2007-10-30
申请人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
发明人： Chengyin Yuan , Fangming Gu , Stephan R. Biller , Richard C. Immers , Chieh-Yi Jerry Yen , Magnus Johansson , Mikael Kjellgren , Bengt Erik Lennartson
IPC分类号： G06F19/00
CPC分类号： G05B19/41835 , Y02P90/12
摘要： A method for generation of a control code set for a manufacturing process includes generating a list of sequences of operations with an automatic sequence of operations generator, selecting an optimized sequence of operations from said list of sequences of operations, and utilizing said optimized sequence of operations to generate said control code set.
摘要翻译：用于产生用于制造过程的控制代码集的方法包括利用自动序列生成器生成操作序列列表，从所述操作序列列表中选择优化的操作序列，以及利用所述优化的操作序列以产生所述控制代码集。

7. 发明申请

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网或二进制决策图; 安全逻辑验证器被配置用于自动地将安全逻辑形式模型与测试规范形式模型进行比较，以验证安全逻辑模型以证明安全逻辑。测试规范可能包括测试安全逻辑行为，包括达到安全状态，保持安全状态，无需重置，从安全状态恢复，并通过虚假警报检测保持活动状态。

8. 发明授权

US08949480B2 Method and system for testing safety automation logic of a manufacturing cell 有权
标题翻译：用于测试制造单元的安全自动化逻辑的方法和系统
公开(公告)号：US08949480B2
公开(公告)日：2015-02-03
申请号：US12463579
申请日：2009-05-11
申请人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Demet C. Wood , Daniel B. Aufderheide
发明人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Demet C. Wood , Daniel B. Aufderheide
IPC分类号： G06F3/00 , G05B9/02 , G06F11/26
CPC分类号： G05B9/02 , G06F11/261
摘要： A method for testing the safety automation logic used in a manufacturing cell includes recording control signals of a safety-related component such as an E-Stop, light curtain, gate lock, or a safety mat using a host machine, and then disconnecting the component from the host machine. The recorded test signals are transmitted to an automation controller in accordance with a test scenario from a test scenario generator module (TSGM) to emulate operation of the component. The automation logic may be certified using the playback of the recorded test signals. A system for testing the safety automation logic includes the controller, host machine, and TSGM. The host machine records the control signals and plays back the test signals on the controller to emulate operation of the component. The automation control logic may be certified using the test signals, e.g., by comparing these to the test specification or standard.
摘要翻译：用于测试在制造单元中使用的安全自动化逻辑的方法包括使用主机记录诸如E-Stop，光幕，门锁或安全垫的安全相关部件的控制信号，然后断开组件从主机。记录的测试信号根据测试场景发生器模块（TSGM）的测试场景传输到自动化控制器，以模拟组件的操作。可以使用记录的测试信号的重放来认证自动化逻辑。用于测试安全自动化逻辑的系统包括控制器，主机和TSGM。主机记录控制信号，并在控制器上回放测试信号，以模拟组件的运行。可以使用测试信号来认证自动化控制逻辑，例如通过将它们与测试规范或标准进行比较。

9. 发明申请

US20100286797A1 METHOD AND SYSTEM FOR TESTING SAFETY AUTOMATION LOGIC OF A MANUFACTURING CELL 有权
标题翻译：用于测试制造商的安全自动化逻辑的方法和系统
公开(公告)号：US20100286797A1
公开(公告)日：2010-11-11
申请号：US12463579
申请日：2009-05-11
申请人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Demet C. Wood , Daniel B. Aufderheide
发明人： Jing Liu , Chengyin Yuan , Fangming Gu , Stephan R. Biller , Demet C. Wood , Daniel B. Aufderheide
IPC分类号： G05B9/02 , G06F11/00 , G06G7/66
CPC分类号： G05B9/02 , G06F11/261
摘要： A method for testing the safety automation logic used in a manufacturing cell includes recording control signals of a safety-related component such as an E-Stop, light curtain, gate lock, or a safety mat using a host machine, and then disconnecting the component from the host machine. The recorded test signals are transmitted to an automation controller in accordance with a test scenario from a test scenario generator module (TSGM) to emulate operation of the component. The automation logic may be certified using the playback of the recorded test signals. A system for testing the safety automation logic includes the controller, host machine, and TSGM. The host machine records the control signals and plays back the test signals on the controller to emulate operation of the component. The automation control logic may be certified using the test signals, e.g., by comparing these to the test specification or standard.
摘要翻译：用于测试在制造单元中使用的安全自动化逻辑的方法包括使用主机记录诸如E-Stop，光幕，门锁或安全垫的安全相关部件的控制信号，然后断开组件从主机。记录的测试信号根据测试场景发生器模块（TSGM）的测试场景传输到自动化控制器，以模拟组件的操作。可以使用记录的测试信号的重放来认证自动化逻辑。用于测试安全自动化逻辑的系统包括控制器，主机和TSGM。主机记录控制信号，并在控制器上回放测试信号，以模拟组件的运行。可以使用测试信号来认证自动化控制逻辑，例如通过将它们与测试规范或标准进行比较。

10. 发明申请

US20090089700A1 METHODS OF INTEGRATING REAL AND VIRTUAL WORLD USING PHYSICAL SENSOR/ACTUATOR 审中-公开
标题翻译：使用物理传感器/执行器集成真实世界和虚拟世界的方法
公开(公告)号：US20090089700A1
公开(公告)日：2009-04-02
申请号：US12237923
申请日：2008-09-25
申请人： Fangming Gu , Chengyin Yuan , Stephan R. Biller , Leandro G. Barajas
发明人： Fangming Gu , Chengyin Yuan , Stephan R. Biller , Leandro G. Barajas
IPC分类号： G06F3/048 , G05B15/00
CPC分类号： G05B19/41885 , G05B2219/31078 , G05B2219/39014 , G05B2219/40288 , Y02P90/083 , Y02P90/26
摘要： A system and method for integrating a real and virtual manufacturing automation system that provides a part flow between a virtual world part of the system including virtual world components and a real world part of the system including real world components. The system includes an interface device for transferring signals between the virtual world part of the system and the real world part of the system, a programmable logic controller for controlling the operation of the system and an input/output device that processes signals sent to the programmable logic controller and signals sent from the programmable logic controller. The programmable logic controller controls the operation of the system where sensors and actuators coupled between the virtual world part of the system and the real world part of the system are physically coupled.
摘要翻译：一种用于集成真实和虚拟制造自动化系统的系统和方法，该系统和虚拟制造自动化系统在系统的虚拟世界部分之间提供部分流程，包括虚拟世界组件和包括真实世界组件的系统的真实世界部分。该系统包括用于在系统的虚拟世界部分和系统的真实世界部分之间传送信号的接口设备，用于控制系统的操作的可编程逻辑控制器和处理发送到可编程的信号的输入/输出设备逻辑控制器和从可编程逻辑控制器发送的信号。可编程逻辑控制器控制系统的操作，其中耦合在系统的虚拟世界部分和系统的真实世界部分之间的传感器和致动器物理耦合。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式