摘要
针对MannaPnueli命题线性时态逻辑(PLTL)在描述实时性方面的不足,本文扩充PLTL,引入物理时间因子,提出一种用于实时系统的定量时态逻辑;
Classical temporal logic (PLTL) has some drawbacks in describing the properties of real time systems.In view of this situation,a quantitative temporal logic to real time systems is introduced,it extends PLTL and presents a timing component.At last,to illustrate its application,a simple example watchdog timer network is given.
出处
《重庆师范学院学报(自然科学版)》
1999年第2期1-4,共4页
Journal of Chongqing Normal University(Natural Science Edition)
关键词
PLTL
实时系统
定量时态逻辑
监视器计时网
PLTL, real time systems, quantitative temporal logic, watchdog timer network