一种UAV飞行控制器虚拟原型设计与验证新技术  

A New Design and Verification Technique for Virtual Prototypes of UAV Flight Controllers

作　　者：杨忠[1] 沈春林[1] 刘久富[1] 

机构地区：[1]南京航空航天大学自动化学院,江苏南京210016

出　　处：《信息与控制》2005年第1期81-85,共5页Information and Control

基　　金：空装重点预研专项资助项目(402050102);国防科技重点实验室基金资助项目(51463030303ZS5204)

摘　　要：为适应飞行控制器 (FC)开发的快速性和可靠性要求,研究一种基于Statemate的FC虚拟原型(VP) (简称FC VP)设计与验证新技术。该技术运用功能结构图建立FC的功能层次模型,基于离散状态图详细描述FC的功能行为,并通过三种方法对FC VP进行验证测试 该项研究为FC等复杂嵌入式系统的工程开发和VP在控制系统中的应用探索了一条实用途径,具有很好的应用与推广价值.*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.

关 键 词：无人机 飞行控制器 虚拟原型 验证 离散状态图 

分 类 号：TP361[自动化与计算机技术—计算机系统结构]