DEXTEROUS SYSTEM FOR SAFETY SECURITY INSPECTION OF DIGITAL COMPUTER SYSTEM IN NETWORK ENVIRONMENT

摘要

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.