摘要
程序的实时行为依赖于其所在的实时环境，诸如所采用的编译程序、调度程序、通信媒介以及主机等．本文设法甩模拟环境的手段来刻化程序的实时行为，从而为实时语义提供了一种通用的方法．文中所采用的逻辑是通常的线性时态逻辑，但引入了各种时间变量．
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.
出处
《软件学报》
EI
CSCD
北大核心
1995年第3期186-192,F003,共8页
Journal of Software
关键词
实时语义
实时通信
模拟
调度
程序
Real time semantics,timed CSP,temporal logic,simulation,scheduler.
