Patent ID: 7640521
Filing Date: 2009-12-29
Classification: G06F

Abstract:
1. A verification supporting apparatus comprising: an analytical information receiving unit that receives analytical information indicative of a result of analysis of a requirement specification regarding a large-scale integration of a design object; a concept model generating unit that generates a concept model in which basic functions of the design object are modeled and in which physical architecture of the design object and concept of time are abstracted, based on the analytical information; a function model generating unit that generates a function model that is modeled by extracting division of modules making up the design object and concurrence and parallelism of divided modules, based on the analytical information; a function model verifying unit that verifies whether the division of modules and the concurrence and the parallelism in the function model are proper based on the concept model; a storage unit that stores information on a plurality of kinds of physical architectures; an extracting unit that extracts information on an arbitrary architecture from the storage unit when the function model is verified as proper by the function model verifying unit; a motion model generating unit that generates a motion model in which motion of the design object is modeled by mapping the information on the architecture extracted by the extracting unit to the function model verified as proper by the function model verifying unit; and a motion model verifying unit that verifies whether motion timing of the modules is proper that make up the design object modeled by the motion model.