作者：刘瑞成; 张立臣时间约束检测方法算法时间复杂度约束条件系统规范空间复杂度逻辑实现通过检测可满足性系统检测搜索时间检测效率约束规则约束图一致性安全性实时性运行前
摘要：本文针对具有严格时间要求的系统,阐述并分析了三种利用实时逻辑实现时间约束检测的方法.第一种方法通过检测系统规范和安全性断言的一致性来验证约束的满足性,非常适合于系统规范的设计与可满足性检测,算法的时间复杂度是O(n2)+O(n2)+O(2).第二种方法利用实时逻辑与约束图的方法实现运行时的时间约束检测,但检测时的系统约束条件不够第三种方法简约,算法时间复杂度为O(n3),改进之后为O(n2).第三种方法通过对约束图的处理,减少运行时系统检测的约束条件,从而减少运行时的时间约束条件的搜索时间,算法的时间复杂度为O(n),在实时性和检测效率明显优于前两种方法.但需要运行前优化约束规则,将会增加额外的时间和空间复杂度.
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
