Model verification support method, apparatus, and computer-readable recording medium storing program
US7640521B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Dec 27, 2006 |
| Grant date | Dec 29, 2009 |
| Priority date | — |
| Expiry date | Sep 7, 2027 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F30/33
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
A verification supporting apparatus includes a concept model generating unit, a function model verifying unit, a motion model verifying unit, and an ICA model verifying unit. The concept model generating unit generates a concept model aiming at a requirement specification of a customer to eliminate an error or misunderstanding of the specification at the initial stage of design. The function model verifying unit verifies a concurrent and parallel function model, to verify appropriateness of function module division and correctness of concurrence and parallelism. The motion model verifying unit verifies a motion model, to verify whether the design of architecture is appropriate and whether performance requirements are satisfied. The ICA model verifying unit verifies correctness of interface design.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.