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