Product development based on design information model for verificatioii and validation

Abstract

In V-shaped process of model-based development, methods of product infonnation model decomposition from upper processes to lower processes have not yet been established. In this paper. we defined the diagrams. diagram elements and the design operations that are necessary to support the refinement and V&V process of the product information model in two Lacrs. based onstcpwisc methods for miming function sinictures. product behaviors, constraints, and required specifications. It is shown that design results are reflected and managed by expressing the model information data and design operations in DSM. It is proposed that iterative design processes using the matrices supports the effective refinement process. and stepwise V&V is supported effectively rising the DSM in cooperation with product information models by denionstrating verification as a method of verifying the design on the model in the lower Layer, and validation as a method of evaluating (he design in the lower Layer for requirements in the upper Layer.