公开(公告)号：WO2004036429A1

公开(公告)日：2004-04-29

申请号：PCT/IB2003/004493

申请日：2003-10-13

Applicant: ABB AS ,  GUNNMARKER, Mats ,  HANSEN, Kai ,  OPEM, Audun

Inventor： GUNNMARKER, Mats ,  HANSEN, Kai ,  OPEM, Audun

IPC: G06F11/36

CPC classification number: G05B23/0256 ,  G05B9/02 ,  G06F11/2236

Abstract: The invention deals with improved reliability in safety critical control of real world objects. Examples of real world objects subject to safety control are gas/smoke/fire detection systems, drilling equipment, pipes and pipelines, distillation columns, compressors, conveyor systems, boilers and turbines. A test application includes all relevant high-level language constructs and is repeatedly executed as assembler code in an industrial controller, which CPU is subject to fault detection during on-line safety control.

Abstract translation: 本发明涉及改进现实世界物体安全关键控制的可靠性。 安全控制的真实世界物体的例子有气/烟/火检测系统，钻井设备，管道和管道，蒸馏塔，压缩机，输送系统，锅炉和涡轮机。 测试应用程序包括所有相关的高级语言结构，并在工业控制器中作为汇编代码重复执行，该CPU在线安全控制期间将受到故障检测。

公开(公告)号：WO2004057430A1

公开(公告)日：2004-07-08

申请号：PCT/IB2003/006021

申请日：2003-12-16

Applicant: ABB AS ,  OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

Inventor： OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

IPC: G05B9/00

CPC classification number: G05B9/02 ,  G05B19/0428 ,  G05B2219/24008 ,  G05B2219/25323

Abstract: A Controller is capable of executing non-safety-related control logic. A safety module is added to the Controller in order to increase the safety-integrity level of a Control System. The Controller is then able to execute safety-related control of real-world objects. Such a Control System may, for instance, exist at an offshore production platform or in a hazardous area of a chemical plant

Abstract translation: 控制器能够执行非安全相关的控制逻辑。 为了提高控制系统的安全完整性级别，将一个安全模块添加到控制器。 控制器然后能够对现实世界的对象执行安全相关的控制。 这样的控制系统可以例如存在于离岸生产平台或化学工厂的危险区域中

公开(公告)号：WO2004003739A1

公开(公告)日：2004-01-08

申请号：PCT/IB2003/002720

申请日：2003-06-27

Applicant: ABB AS ,  OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

Inventor： OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

IPC: G06F9/45

CPC classification number: G06F11/3688 ,  G06F8/41

Abstract: The present invention concerns revalidation of a compiler of control language for use in an industrial control system, each time the compiler has been used. In particular, the invention reveals a method to revalidate a compiler for compilation of a user-written program, which is intended for safety control of real world entities. The user-written program subject to compilation by the compiler is intended for execution in a device, which comprises functionality that adds safety features to an industrial control system. The invention ensures that no fault is introduced into the device due to error in the compiler code. Such an error may, for instance, occur during distribution of the compiler code or due to failure in a computer's memory or failure on a disk where the compiler code is stored. Hence, the invention ensures that no such fault is introduced into the control of real world entities which otherwise could lead to accidents that harm people or cause damage to the environment.

Abstract translation: 本发明涉及在每次使用编译器时在工业控制系统中使用的控制语言编译器的重新验证。 特别地，本发明揭示了一种重新验证用于编译用户编写的程序的编译器的方法，其用于真实世界实体的安全控制。 由编译器编译的用户编写的程序旨在在设备中执行，该设备包括将安全功能添加到工业控制系统的功能。 本发明确保了由于编译器代码中的错误而无法将故障引入到设备中。 例如，这种错误可能发生在编译器代码的分发期间，或者由于计算机内存中的故障或存储编译器代码的磁盘上的故障而发生。 因此，本发明确保了对现实世界实体的控制没有引入这种错误，否则可能导致危害人身或造成环境破坏的事故。

公开(公告)号：EP1540471A1

公开(公告)日：2005-06-15

申请号：EP03761726.3

申请日：2003-06-27

Applicant: ABB AS

Inventor： OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

IPC: G06F9/45 ,  G06F11/36

CPC classification number: G06F11/3688 ,  G06F8/41

Abstract: The present invention concerns revalidation of a compiler of control language for use in an industrial control system, each time the compiler has been used. In particular, the invention reveals a method to revalidate a compiler for compilation of a user-written program, which is intended for safety control of real world entities. The user-written program subject to compilation by the compiler is intended for execution in a device, which comprises functionality that adds safety features to an industrial control system. The invention ensures that no fault is introduced into the device due to error in the compiler code. Such an error may, for instance, occur during distribution of the compiler code or due to failure in a computer's memory or failure on a disk where the compiler code is stored. Hence, the invention ensures that no such fault is introduced into the control of real world entities which otherwise could lead to accidents that harm people or cause damage to the environment.

Abstract translation: 一种用于在工业控制系统使用之后重新验证用于编译用于工业控制系统的用户编写程序的编译器的编译器的方法。 第一次编译测试程序，该测试程序是以控制语言定义的。 编译器通过验证测试程序是否正确执行来验证。 生成的第一个软件是从编译的测试程序中得到的，旨在用于以后的比较。 测试程序在编译用户编写的程序后第二次编译。 生成第二个软件，用于基于测试程序的第二次编译进行比较。 将第一个软件与第二个软件进行比较，其中对于在第一个和第二个编译之间引入的任何错误，编译器被重新验证。 如果重新验证指示编译器没有错误，则可以在具有用于控制真实世界实体的安全功能的设备中执行用户编写的程序。

公开(公告)号：EP1573407B1

公开(公告)日：2006-11-22

申请号：EP03777103.7

申请日：2003-12-16

Applicant: ABB AS

Inventor： OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

IPC: G05B9/00 ,  G06F1/00

CPC classification number: G05B9/02 ,  G05B19/0428 ,  G05B2219/24008 ,  G05B2219/25323

Abstract: A Controller is capable of executing non-safety-related control logic. A safety module is added to the Controller in order to increase the safety-integrity level of a Control System. The Controller is then able to execute safety-related control of real-world objects. Such a Control System may, for instance, exist at an offshore production platform or in a hazardous area of a chemical plant

公开(公告)号：EP1573407A1

公开(公告)日：2005-09-14

申请号：EP03777103.7

申请日：2003-12-16

Applicant: ABB AS

Inventor： OPEM, Audun ,  GUNNMARKER, Mats ,  HANSEN, Kai

IPC: G05B9/00 ,  G06F1/00

CPC classification number: G05B9/02 ,  G05B19/0428 ,  G05B2219/24008 ,  G05B2219/25323

Abstract: A Controller is capable of executing non-safety-related control logic. A safety module is added to the Controller in order to increase the safety-integrity level of a Control System. The Controller is then able to execute safety-related control of real-world objects. Such a Control System may, for instance, exist at an offshore production platform or in a hazardous area of a chemical plant

公开(公告)号：EP1561167A1

公开(公告)日：2005-08-10

申请号：EP03748437.5

申请日：2003-10-13

Applicant: ABB AS

Inventor： GUNNMARKER, Mats ,  HANSEN, Kai ,  OPEM, Audun

IPC: G06F11/36

CPC classification number: G05B23/0256 ,  G05B9/02 ,  G06F11/2236

Abstract: The invention deals with improved reliability in safety critical control of real world objects. Examples of real world objects subject to safety control are gas/smoke/fire detection systems, drilling equipment, pipes and pipelines, distillation columns, compressors, conveyor systems, boilers and turbines. A test application includes all relevant high-level language constructs and is repeatedly executed as assembler code in an industrial controller, which CPU is subject to fault detection during on-line safety control.