论文部分内容阅读
可调整时间自动机在时间自动机的基础上扩展了时钟调整形式,是一种有效描述实时系统行为的计算模型,借助这种模型对实时系统进行分析、设计、验证能够保证较高的可靠性.研究其可达性算法是保证系统可靠性的理论基础,文中给出适用于时钟调整形式的EDBM操作并提出一种可达性算法,针对对角线约束情况给出一种对角线约束筛选算法保证了算法的正确性.