METHOD AND SYSTEM FOR ANALYZING STABILITY OF EMBEDDING TYPE SOFTWARE SYSTEM

摘要

PURPOSE: A stability analysis method and a system for the same are provided to express a system state involving uncertain cause and result relation specifications in a reverse direction by using a CPN(Coloured Petri Nets) so as to analyze the stability of an uncertain system. CONSTITUTION: The system comprises a risk definer(501), an interface window(503), a reverse processor(507), a critical state checker(511) and a forward processor(509). The risk definer(501) defines the risk. The reverse processor(507) generates a prior state of the software system. The critical state checker(511) detects if the software is in the critical state. The forward processor(509) performs a transition process in a forward direction on listed uncertain values to minimize the uncertain parts in an expression of the system state. The prior state generation step in the reverse processor(507) includes steps of designating the posterior state value of a place if a reverse function does not exist, and performing an OR logic on the posterior places if an interaction exists among the posterior places, and performing an AND logic on the posterior places if an interaction does not exist among the posterior places.