| 摘要: |
| 程序的实时行为依赖于其所在的实时环境，诸如所采用的编译程序、调度程序、通信媒介以及主机等．本文设法甩模拟环境的手段来刻化程序的实时行为，从而为实时语义提供了一种通用的方法．文中所采用的逻辑是通常的线性时态逻辑，但引入了各种时间变量． |
| 关键词: 实时语义，实时通信顺序进程，时态逻辑，模拟，调度 |
| DOI： |
| 分类号: |
| 基金项目: |
|
| DEFINING REAL TIME SEMANTICS BY SIMULATION |
|
Han Yan
|
| Abstract: |
| The real time behavior of a program depends on its hard real time environment,such as the used compiler, scheduler,communication medium and computer.This paper is describing the real time behavior by simulating its environment,so that it provides a general approach to define real time semantics.The employed logic in the paper is the conventional linear temporal logic with explicit time variables. |
| Key words: Real time semantics,timed CSP,temporal logic,simulation,scheduler. |
