公开(公告)号：NO334446B1

公开(公告)日：2014-03-03

申请号：NO20052013

申请日：2005-04-25

Applicant: ABB AS

Inventor： GUNNMARKER MATS ,  HANSEN KAI ,  OPEM AUDUN

IPC: G06F11/267 ,  G06F20060101 ,  G06F11/36

Abstract: Oppfinnelsen omhandler forbedret pålitelighet i sikkerhetskritisk kontroll av objekter i den virkelige verden. Eksempler på objekter i den virkelige verden som er gjenstand for sikkerhetskontroll er gass/røyk/ild- deteksjonssystemer, oljeboringsutstyr, rør og rørledninger, destillasjonstårn, kompressorer, transportbånd, kjeler og turbiner. En testapplikasjon innbefatter alle relevante høynivå språkkonstruksjoner og utføres repeterende som assemblerkode i en industriell styreanordning, hvis CPU er gjenstand for feildeteksjon under on-line sikkerhetskontroll.

公开(公告)号：NO331420B1

公开(公告)日：2011-12-27

申请号：NO20052770

申请日：2005-06-08

Applicant: ABB AS

Inventor： GUNNMARKER MATS ,  HANSEN KAI ,  OPEM AUDUN

IPC: G05B9/02 ,  G05B19/042

Abstract: En kontroller er i stand til å utføre ikke-sikkerhetsrelatert kontrollogikk. En sikkerhetsmodul er tilføyd kontrolleren i den hensikt å øke sikkerhetsintegritetsnivået til et kontrollsystem. Kontrolleren er da i stand til å utføre sikkerhetsrelatert kontroll av objekter i den virkelige verden. Et slikt kontrollsystem kan for eksempel befinne seg på en offshore produksjonsplattform eller i et farlig område på en kjemisk fabrikk.

公开(公告)号：NO20052013A

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

申请号：NO20052013

申请日：2005-04-25

Applicant: ABB AS

Inventor： GUNNMARKER MATS ,  HANSEN KAI ,  OPEM AUDUN

IPC: G06F20060101 ,  G06F11/267 ,  G06F11/36

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

公开(公告)号：SE0202019D0

公开(公告)日：2002-06-28

申请号：SE0202019

申请日：2002-06-28

Applicant: ABB AS

Inventor： OPEM AUDUN ,  GUNNMARKER MATS ,  HANSEN KAI

IPC: G06F9/45 ,  G06F11/36 ,  G06F

Abstract: A method to revalidate a compiler intended for compilation of a user-written program for safety control in an industrial control system after it has been used. A test program is compiled a first time which test program is defined in a control language. The compiler is validated by verifying that the test program executes correctly. A first software is generated derived from the compiled test program intended for later comparison purposes. The test program is compiled a second time after the compilation of a user-written program. A second software is generated intended for a comparison based on the second compilation of the test program. The first software is compared with the second software, wherein the compiler is revalidated for any errors introduced between the first and the second compilation. Provided that the revalidation indicates no errors in the compiler, the user-written program is enabled to execute in a device with safety features for control of real world entities.

公开(公告)号：AU2003286358A1

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

申请号：AU2003286358

申请日：2003-12-16

Applicant: ABB AS

Inventor： OPEM AUDUN ,  GUNNMARKER MATS ,  HANSEN KAI

IPC: G05B9/02 ,  G05B19/042 ,  G05B9/00 ,  G06F1/00

公开(公告)号：AU2003267742A1

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

申请号：AU2003267742

申请日：2003-10-13

Applicant: ABB AS

Inventor： GUNNMARKER MATS ,  HANSEN KAI ,  OPEM AUDUN

IPC: G06F20060101 ,  G06F11/267 ,  G06F11/36

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.

公开(公告)号：SE0203819D0

公开(公告)日：2002-12-19

申请号：SE0203819

申请日：2002-12-19

Applicant: ABB AS

Inventor： OPEM AUDUN ,  GUNNMARKER MATA ,  HANSEN KAI

IPC: G05B9/02 ,  G05B19/042 ,  G06F

公开(公告)号：SE0203054D0

公开(公告)日：2002-10-15

申请号：SE0203054

申请日：2002-10-15

Applicant: ABB AS

Inventor： OPEM AUDUN ,  GUNNMARKER MATS ,  HANSEN KAI

IPC: G06F20060101 ,  G06F11/267 ,  G06F11/36 ,  G06F

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.

公开(公告)号：NO20052770D0

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

申请号：NO20052770

申请日：2005-06-08

Applicant: ABB AS

Inventor： GUNNMARKER MATS ,  HANSEN KAI ,  OPEM AUDUN

IPC: G05B9/02 ,  G05B19/042 ,  G05B

公开(公告)号：SE0203054L

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

申请号：SE0203054

申请日：2002-10-15

Applicant: ABB AS

Inventor： OPEM AUDUN ,  GUNNMARKER MATS ,  HANSEN KAI

IPC: G06F20060101 ,  G06F11/267 ,  G06F11/36

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.