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

• 作者: 周献中 孙勇成 江金龙
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: UML 状态图 时间Petri网 C4ISR 实时性分析
• 年，卷（期）: 2005,（22）
• 所属期刊栏目: 博士论文
• 页码范围: 15-17
• 页数: 3页
• 分类号: TP391.9
• 字数: 2596字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2005.22.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	周献中	南京理工大学自动化系	48	640	15.0	23.0
2	孙勇成	南京理工大学自动化系	14	157	8.0	12.0
3	江金龙	南京理工大学自动化系	12	150	8.0	12.0