摘要
为适应飞行控制器 (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.
出处
《信息与控制》
CSCD
北大核心
2005年第1期81-85,共5页
Information and Control
基金
空装重点预研专项资助项目(402050102)
国防科技重点实验室基金资助项目(51463030303ZS5204)
关键词
无人机
飞行控制器
虚拟原型
验证
离散状态图
UAV(unmanned aerial vehicle)
flight controller
virtual prototype
verification
Statechart
