Abstract
Recent industrial globalization have increased importance of functional verification in product design for various ways / situations of use. In particular, for shortening development period, it is desired to perform functional verification and necessary modification of the design plan in the conceptual design phase. This paper describes a framework for such individual functional verification that can be applied to the conceptual design phase. A study with simple examples focusing on definition of function indicated that ways / situations of use affect functions indirectly through behavior of the product. This result implies the functional verification can be performed by modeling functions,behavior and physical phenomena caused by a way / situation of use respectively, by integrating those models and then by analyzing behavior that occurs on the integrated model. This paper presents a method based on graph modeling approach. Those three elements are modeled by function decomposition tree, Petri net and cause-and-effect graph, respectively. The designer relates the function and behavior models by interpreting transitions as sub-functions. The phenomena model is transformed into a Petri net and then integrated with the behavior model by specific places and transitions. This integration can make some behavior infeasible and shows the corresponding function cannot be satisfied. This method was applied to an example and its potential was proven.
