基于UML状态图的C4ISR系统的建模和实时分析

摘要：

针对C4ISR系统的实时性强的特点,对UML状态图进行时间扩展,使用时间扩展的UML状态图对C4ISR系统进行建模.同时为分析C4ISR系统的实时性,采用一定的转化规则,将时间扩展状态图模型转化成时间Petri网模型,使用时间Petri网的可达树来分析C4ISR系统的时间特性.应用一个C4ISR防空实例表明了该方法的可行性和实用性.

关键词：UML、状态图、时间Petri网、C4ISR、实时性分析

所属期刊栏目：31

分类号：TP391.9(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划40405010101C

在线出版日期：2006-01-19（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：15-17