基于实时逻辑的时间约束检测方法

摘要：

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

关键词：实时系统、实时逻辑、约束、图、检测

所属期刊栏目：32

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金60474072,60174050;广东省自然科学基金04009465,010059;广东省高校自然科学基金Z03024

在线出版日期：2005-10-13（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：197-205