DEFINING REAL TIME SEMANTICS BY SIMULATION
模拟式实时语义

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.