关键词: 可验证设计, 装配约束, 验证树, 验证监视器, 验证分析器

Abstract: Aiming at the problems of assembly constrain verification in mechanical products design, a data structure of verification tree was adopted to store information of assembly constrain relationship into tree's node and to store modified design parameters into the verification modifier. Thus the changes of verification modifier's contents were monitored by monitor, and the verification tree was updated in real time. The verification analyzer was used to check the stack of verification monitor, and the start-stop of verification process was decided. Therefore dynamic relating verification for assembly constrain relationships was implemented. A prototype system of dynamic relating assembly verification was developed to verify the instance. The results showed that the verification system could monitor the influence of design change on constrain relationship synchronously, and check the design defects which violated the assembly constrain relationships dynamically.

Key words: verifiable design, assembly constrain, verification tree, verification monitor, verification analyzer