离散状态图相关论文
Statemate MAGNUM是目前世界上最强大和最完整的面向功能需求的系统级自动设计软件包之一,具有宽广的工程应用范围和针对系统层设......
为适应飞行控制器(FC)开发的快速性和可靠性要求,研究一种基于Statemate的FC虚拟原型(VP)(简称FC-VP)设计与验证新技术.该技术运用......
首先简要介绍了C4ISR系统体系结构，然后在基于Statemate的系统体系结构分析的基础上，结合防空系统实例给出了它的详细开发过程，为C4IS......
为快速构建飞行器控制软件的系统功能与行为模型,以无人飞行器为对象研究了一种飞控软件的Statechart原型(简称SCP)及其验证技术.......
