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

Modeling and Real-time Analysis for C4ISR System Based on UML State Diagram

作　　者：江金龙[1] 周献中[1] 孙勇成[1] 

机构地区：[1]南京理工大学自动化系,南京210094

出　　处：《计算机工程》2005年第22期15-17,共3页Computer Engineering

基　　金：国家"十五"计划基金资助项目(40405010101C)

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

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

分 类 号：TP391.9[自动化与计算机技术—计算机应用技术]