基于时间距离的可抢占实时系统状态空间计算
形式语言与自动机理论
2022-01-25 v1
摘要
本文探索了一种构建可抢占实时系统状态空间过近似的新方法。我们的图构造将类的表达式扩展到时间距离系统，该系统编码了过去已触发子序列的定量属性。这使得恢复相关的时间信息成为可能，这些信息被用来进一步收紧可达类的DBM过近似。我们由此成功地构建了更高效的、更紧致的近似图，这些图更适合于恢复模型的定量属性。仿真结果表明，计算出的图与精确图具有相同的大小，同时大幅缩短了计算所需的时间。
引用
@article{arxiv.2201.09784,
title = {Time distance based computation of the state space of preemptive real time systems},
author = {Abdelkrim Abdelli},
journal= {arXiv preprint arXiv:2201.09784},
year = {2022}
}