| 基于UML状态图的C4ISR系统的建模和实时分析 |
| |
| 引用本文： | 江金龙,周献中,孙勇成. 基于UML状态图的C4ISR系统的建模和实时分析[J]. 计算机工程, 2005, 31(22): 15-17 |
| |
| 作者姓名： | 江金龙 周献中 孙勇成 |
| |
| 作者单位： | 南京理工大学自动化系,南京,210094;南京理工大学自动化系,南京,210094;南京理工大学自动化系,南京,210094 |
| |
| 基金项目： | 国家“十五”计划基金资助项目（40405010101C） |
| |
| 摘 要： | 针对C4ISR系统的实时性强的特点，对UML状态图进行时间扩展，使用时间扩展的UML状态图对C4ISR系统进行建模。同时为分析C4ISR系统的实时性，采用一定的转化规则，将时间扩展状态图模型转化成时间Petri网模型，使用时间Petri网的可达树来分析C4ISR系统的时间特性。应用一个C4ISR防空实例表明了该方法的可行性和实用性。
|
| 关 键 词： | UML 状态图 时间Petri网 C4ISR 实时性分析 |
| 文章编号： | 1000-3428（2005）22-0015-03 |
| 收稿时间： | 2004-09-30 |
| 修稿时间： | 2004-09-30 |
Modeling and Real-time Analysis for C4ISR System Based on UML State Diagram |
| |
| JIANG Jinlong,ZHOU Xianzhong,SUN Yongcheng. Modeling and Real-time Analysis for C4ISR System Based on UML State Diagram[J]. Computer Engineering, 2005, 31(22): 15-17 |
| |
| Authors: | JIANG Jinlong ZHOU Xianzhong SUN Yongcheng |
| |
| Affiliation: | Department of Automation, Nanjing University of Science and Technology, Nanjing 210094 |
| |
| Abstract: | |
| |
| Keywords: | UML State diagram Time Petri nets C4ISR Real-time analysis |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
