DEPENDABILITY MAINTENANCE DEVICE DEPENDABILITY MAINTENANCE SYSTEM MALFUNCTION SUPPORTING SYSTEM METHOD FOR CONTROLLING DEPENDABILITY MAINTENANCE DEVICE CONTROL PROGRAM COMPUTER READABLE RECORDING MEDIUM RECORDING CONTROL PROGRAM

摘要

This workspace computer (101) and/or runtime computer (102) obtains a D value which indicates a quantitative value of the dependability of a target system on the basis of dependability descriptive data in which requirement/specification relating to the dependability of the target system is described.