METHOD FOR VALIDATING SURVIVABILITY OF DISTRIBUTED COMPONENT SYSTEM AND RECORDED MEDIUM FOR PERFORMING METHOD OF VALIDATING SURVIVABILITY OF DISTRIBUTED COMPONENT SYSTEM

摘要

PURPOSE: A survivability verification method of a distributed component system and a recording medium for recording a program are provided to reduce system development time and expense by analyzing survivability in the early stage of development of the dispersion component system. CONSTITUTION: A threatening element of a distributed component system is discriminated(110). The distributed component system performs modeling by using an HPPN(Hierarchically Profiled Petri Nets)(120). The analysis model of the distributed component system adds the threatening element in the HPPN model(150). The analysis model is transformed to a Markov reward model(180). The survivability of the distributed component system is analyzed based on the Markov reward model(190).