离散状态图相关论文
为适应飞行控制器(FC)开发的快速性和可靠性要求,研究一种基于Statemate的FC虚拟原型(VP)(简称FC-VP)设计与验证新技术.该技术运用......
首先简要介绍了C4ISR系统体系结构，然后在基于Statemate的系统体系结构分析的基础上，结合防空系统实例给出了它的详细开发过程，为C4IS......
为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为对象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术.......
