| 基于时间Petri网的星载海量存储器动态仿真 |
| |
| 引用本文： | 苏洁,刘建军,金声震.基于时间Petri网的星载海量存储器动态仿真[J].系统仿真学报,2004,16(6):1326-1329. |
| |
| 作者姓名： | 苏洁 刘建军 金声震 |
| |
| 作者单位： | 中国科学院国家天文台,北京,100012 |
| |
| 基金项目： | 863项目(863-2.5.1.25) |
| |
| 摘 要： | 星载海量存储器的实时性和安全性要求在系统设计初期进行形式化分析和仿真。在采用UML对系统进行建模的基础上,本文提出一种通用算法将状态图自动转化为时间Petri网。同时根据系统约束和Petri网化简规则化简,分析其可调度性并给出星载海量存储器的时间性能评估。该方法适用于周期任务的静态、有限级调度系统,具有较广的适用性。
|
| 关 键 词： | 时间Petri网 状态图 可调度性 可达性树 海量存储器 统一建模语言 |
| 文章编号： | 1004-731X(2004)06-1326-04 |
| 修稿时间： | 2003年11月6日 |
Simulation of Onboard Mass Memory Based on Time Petri Nets |
| |
| SU Jie,LIU Jian-jun,JIN Sheng-zhen.Simulation of Onboard Mass Memory Based on Time Petri Nets[J].Journal of System Simulation,2004,16(6):1326-1329. |
| |
| Authors: | SU Jie LIU Jian-jun JIN Sheng-zhen |
| |
| Abstract: | The critical time and safety requirements of onboard Mass Memory make it imperative to apply formal analysis and simulation at the early phase of system design. Modeling with UML, an algorithm is presented to automatically translate the state chart into a time Petri net. Simplification of it based on the given principles and the analysis of schedulability are performed. Generally, the proposed approach can be applied to the periodic, static and limited scheduled systems. |
| |
| Keywords: | time Petri nets state chart schedulability reachability tree mass memory UML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
