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

【Abstract】 This paper makes the temporal extension of UML state diagram to analyze real-time characteristic for C4ISR system and models C4ISR system with the temporal extension of UML state diagram.At the same time,this paper adopts definite invert rules so as to convert the time-extended state diagram model into time Petri nets(TPN) model for C4ISR system’s temporal analysis and analyzes C4ISR system’s temporal feature with TPN’s reachable tree.A C4ISR anti-area example demonstrates that such a method is indeed feasible and practical.更多还原