| 基于时间事件模型的实时系统仿真与时序分析 |
| |
| 引用本文： | 陈艳,徐晓峰,李晓潮,郭东辉.基于时间事件模型的实时系统仿真与时序分析[J].系统仿真学报,2011,23(9):1787-1794. |
| |
| 作者姓名： | 陈艳 徐晓峰 李晓潮 郭东辉 |
| |
| 作者单位： | 厦门大学信息科学与技术学院,厦门,361005 |
| |
| 基金项目： | 国家自然科学基金(60753001); 博士点基金(20090121110019) |
| |
| 摘 要： | 提出了一种基于时间事件模型的实时系统时序分析方法。该方法以仿真为基础对目标系统进行分析,不仅可以描述实时系统的周期和非周期任务,各种同步事件以及与时间有关的行为特征,而且还能够刻画实时系统中多个任务间的通信与同步特性;通过基于优先级的可抢占式的任务调度算法对目标模型进行仿真执行,并基于仿真结果对其进行时序分析,如任务响应时间和执行时间等,避免了形式化分析方法存在的状态空间爆炸问题。最后通过实例验证本模型与方法的有效性与实用性。
|
| 关 键 词： | 时间事件模型 仿真 时序分析 任务调度 任务间通信与同步 |
Simulation and Timing Analysis of Real-time System Based on Timed Event Model |
| |
| CHEN Yan,XU Xiao-feng,LI Xiao-chao,GUO Dong-hui.Simulation and Timing Analysis of Real-time System Based on Timed Event Model[J].Journal of System Simulation,2011,23(9):1787-1794. |
| |
| Authors: | CHEN Yan XU Xiao-feng LI Xiao-chao GUO Dong-hui |
| |
| Institution: | CHEN Yan1,XU Xiao-feng2,LI Xiao-chao1,GUO Dong-hui1(1.School of Information Science and Technology,Xiamen University,Xiamen 361005,China,2.Department of Physics,China) |
| |
| Abstract: | A timed event model and simulation based approach was proposed to analyze timing properties of real-time systems.The timed event model was used to specify periodic or aperiodic tasks,the timing behaviors and the inter-tasks communication and synchronization behaviors of real-time systems.The approach used a priority-based preemptive scheduling algorithm to simulate models,and then got the timing properties,such as response time,execution time,etc.,via analyzing the execution sequence generated.Different fro... |
| |
| Keywords: | timed event model simulation timing analysis task scheduling inter-task communication and synchronization |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
