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.
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. 3. The verification supporting apparatus according to claim 1 , further comprising: a software model generating unit that generates a software model that is modeled so as to include tasks executable by software, based on the design object modeled by the function model, when the motion timing is verified as proper; and a software model verifying unit that verifies whether the tasks included in the software model are proper, based on the concept model.