Invention Grant
US5920715A System architecture permitting verified and unverified programs to
execute safely on one processor
失效
系统架构允许经过验证和未验证的程序在一个处理器上安全执行
- Patent Title: System architecture permitting verified and unverified programs to execute safely on one processor
- Patent Title (中): 系统架构允许经过验证和未验证的程序在一个处理器上安全执行
-
Application No.: US894859Application Date: 1997-08-05
-
Publication No.: US5920715APublication Date: 1999-07-06
- Inventor: Andreas Heckel , Roland Rupp , Christoph Weishaar , Klaus Wohnhaas
- Applicant: Andreas Heckel , Roland Rupp , Christoph Weishaar , Klaus Wohnhaas
- Applicant Address: DEX Ostfildern
- Assignee: PIlz GmbH & Co.
- Current Assignee: PIlz GmbH & Co.
- Current Assignee Address: DEX Ostfildern
- Priority: DEX19504404 19950210
- Main IPC: G06F11/18
- IPC: G06F11/18 ; G05B19/042 ; G05B19/18 ; G05B19/4063 ; G05B19/414 ; G05B19/4155 ; G06F9/46 ; G06F9/50 ; G06F11/00 ; G06F11/16 ; G06F13/00
Abstract:
A system architecture uses at least two processors (2, 3), which jointly control a process and constantly compare their data with each other. A program complex which has been checked with respect to the possible errors, as well as a non-checked program complex, runs on one of the two processors (2). In order to rule out interference in the checked program complex by the non-checked one, the peripheral hardware (12) which interact with the checked program complex are provided with inhibit inputs (16), and the tested program complex, via the inhibit inputs (16), blocks the peripheral hardware (12) which are reserved for it before it gives up command to the non-checked program complex.
Public/Granted literature
Information query