Invention Grant
- Patent Title: Method for verifying the processing of software
-
Application No.: US14601289Application Date: 2015-01-21
-
Publication No.: US09703672B2Publication Date: 2017-07-11
- Inventor: Franz Kaufleitner , Alois Holzleitner
- Applicant: BERNECKER + RAINER INDUSTRIE-ELEKTRONIK Ges.m.b.H
- Applicant Address: AT Eggelsberg
- Assignee: BERNECKER + RAINER INDUSTRIE-ELEKTRONIK Ges.m.b.H
- Current Assignee: BERNECKER + RAINER INDUSTRIE-ELEKTRONIK Ges.m.b.H
- Current Assignee Address: AT Eggelsberg
- Agency: Greenblum & Bernstein, P.L.C.
- Priority: ATA50043/2014 20140123
- Main IPC: G06F11/00
- IPC: G06F11/00 ; G06F11/36 ; G06F11/14 ; G06F11/16

Abstract:
In order to provide simple, fast, and reliable verification of the functioning and processing of an automation task in the form of software in a multi-channel safety-oriented automation component (1), the software (SW1) is run in one channel (K1) of the automation component (1) in an active unit (P1) of the hardware of the channel (K1), and first diversity software (SW3) redundant relative to the software (SW1) is run in a verification unit (V1) in this channel (K1), wherein in a processing step (Z1) input data (Ez) associated with the software (SW1) and first output data (Az) computed by the software (SW1) in this processing step (Z1) are temporarily stored in a memory unit (M1), and the diversity software (SW3) in the verification unit (V1) computes second output data (Az′) based on the stored input data (Ez) independently of the processing of the software (SW1) in the active unit (P1), and the second output data (Az′) computed by the diversity software (SW3) is compared with the stored first output data (Az) of the software (SW1) in order to verify the processing.
Public/Granted literature
- US20150205698A1 METHOD FOR VERIFYING THE PROCESSING OF SOFTWARE Public/Granted day:2015-07-23
Information query