Login| Sign Up| Help| Contact|

Patent Searching and Data


Title:
TACTFUL SAFETY ASSURANCE CHECK SYSTEM FOR DIGITAL COMPUTER SYSTEM IN NETWORK ENVIRONMENT
Document Type and Number:
Japanese Patent JPH01315833
Kind Code:
A
Abstract:

PURPOSE: To detect the defects of the safety assurance in a computer system by preparing plural inspectors and checking the operations of these inspectors in relation to a specific pair of safety assurance infringement conditions.

CONSTITUTION: A controller 10 performs the check of the safety assurance independently of other checks via many individual safety assurance inspectors 11 to 14 and based on the input information received from an operator. Each of these inspectors acquires the preservation safety assurance information showing the safety assurance analysis result from a common work storage 16. The controller 10 also can analyze the safety assurance information stored in the common work storage 16 via a safety assurance analyzer 17. The analyzer 17 can secure the internal relation among the safety assurance work results which are acquired by the inspectors 11 to 14. Thus the latent safety assurance defects can be detected.


Inventors:
HENRII SHIYAO RIN TEN
Application Number:
JP3814789A
Publication Date:
December 20, 1989
Filing Date:
February 17, 1989
Export Citation:
Click for automatic bibliography generation   Help
Assignee:
DIGITAL EQUIPMENT CORP
International Classes:
G06F11/00; G06F9/06; G06F11/30; G06F15/00; G06F21/00; G06F21/20; G06F21/22; G06F1/00; (IPC1-7): G06F9/06; G06F11/00; G06F15/00
Domestic Patent References:
JPS6299831A1987-05-09
JPS5384524A1978-07-26
JPS5475967A1979-06-18
Foreign References:
US4719566A1988-01-12
US4104721A1978-08-01