挙動・事象因果の定量的表現に基づく製品の不具合検証

抄録

With the progress of recent globalization in industries, the number of failures and troubles of products caused by using them in unexpected ways has increased. To avoid such troubles, it is necessary not only to assume various ways of use thoroughly, but to verify whether the design plan can fulfill required functions when the product is utilized in those ways. From this point of view, the authors proposed a functional failure verification method considering ways of use based on qualitative modeling of behavior and cause-and-effect relationships among physical phenomena using Petri nets. However, it is not possible to verify failures concerning to specification which requires dealing with quantitative information. This paper provides a method for quantitative modeling of behavior and cause-and-effect relationships among physical phenomena. Two types of tokens were defined for dealing with positive and negative values and four types of arcs were for controlling changes of those values. This made it possible to represent behavior and cause-and-effect relationships quantitatively. Application of this new modeling method enabled automatic detection of failures of both functions and specification.