Abstract: A new design and verification technique based on Statemate for the virtual prototype (VP) of flight controllers(FC), namely FC-VP, is studied to meet the requirement of rapid and reliable development of FC. A hierarchical function model of FC is set up with Activity-charts. Following the detailed description of FC behaviors based on Statecharts are three verification and test methods for the FC-VP. The research opens a practical way for the engineering implementation of complex embedded systems (e.g. FC) and the application of VP in control systems, and is much worthy of applying and generalizing.