A formalism for monitoring real-time constraints at run-time

A formalism for monitoring real-time constraints at run-time
复制标题

在运行时监控实时约束的形式主义

DOI：
--
复制
发表时间：
1990
期刊：
[1990] Digest of Papers. Fault-Tolerant Computing: 20th International Symposium
影响因子：
--
通讯作者：
A. Goyal
A. Goyal
中科院分区：
--
文献类型：
--
作者：
F. Jahanian;A. Goyal

文献摘要

被引文献

相似文献

提出了形式主义，用于在运行时进行实时限制的规范和分析。实时逻辑（RTL）用于说明如何以添加到程序（或设计规范）的注释形式优雅地指定定时属性。 << etx >>提出了用于检测在RTL中表达的运行时违反计时属性的算法
A formalism is presented for specification and analysis of real-time constraints of systems at run time. Real-time logic (RTL) is employed to illustrate how timing properties can be specified elegantly in the form of annotation added to a program (or to a design specification). The algorithms for detecting a violation of a timing property at runtime, expressed in RTL, are presented.<<ETX>>