Parametric Timing Analysis for Real-Time Systems
Parametric Timing Analysis for Real-Time Systems
复制标题
实时系统的参数化时序分析
DOI：
10.1006/inco.1996.0086
复制
发表时间：
1996
期刊：
影响因子：
--
通讯作者：
Farn Wang
中科院分区：
文献类型：
--
作者：
Farn Wang
本文将TCTL模型检验问题扩展为实时系统的参数时序分析问题，并提出了新的求解方法，该算法接受时序转换系统描述和时序参数变量大小未知的参数TCTL公式，并给出时序参数变量的一般线性方程，其解使系统工作。
We extend a TCTL model-checking problem to a parametric timing analysis problem for real-time systems and develop new techniques for solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the systems work.