基于时间Petri网的星载海量存储器动态仿真

• 作者: 刘建军 苏洁 金声震
• 来源期刊: 系统仿真学报
• 学科: 工学
• 关键词: 时间Petri网 状态图 可调度性 可达性树 海量存储器 统一建模语言
• 年，卷（期）: 2004,（6）
• 所属期刊栏目: 信息与控制
• 页码范围: 1326-1329
• 页数: 4页
• 分类号: TP391.9
• 字数: 3726字
• 语种: 中文
• DOI: 10.3969/j.issn.1004-731X.2004.06.058

摘要

星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真.在采用UML对系统进行建模的基础上,本文提出一种通用算法将状态图自动转化为时间Petri网.同时根据系统约束和Petri网化简规则化简,分析其可调度性并给出星载海量存储器的时间性能评估.该方法适用于周期任务的静态、有限级调度系统,具有较广的适用性.