实时系统时间约束验证 |
| |
引用本文: | 白晓颖,汪明,陆皓,蔡维德.实时系统时间约束验证[J].清华大学学报(自然科学版),2012(9):1286-1292. |
| |
作者姓名: | 白晓颖 汪明 陆皓 蔡维德 |
| |
作者单位: | 清华大学计算机科学与技术系;南京陆军指挥学院;亚利桑那州立大学信息与决策系统工程学院 |
| |
摘 要: | 为保证实时系统满足特定的时间约束,该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念,提出了基于改进的STP(simple temporal problem)时间约束建模方法,提出了约束图的一致性检测的约束求解算法,给出了将复杂时间约束转化为基本时间约束的机制,并以典型的数据处理单元(data process unit,DPU)系统的实际时间需求为例,进行了实例分析和实验。该文系统地分析了时间故障模式,与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系,从而可以更有针对性地检验系统的时间缺陷。
|
关 键 词: | 实时系统 时间约束 一致性验证 约束建模 约束满足问题 |
Verifying timing constraints in real-time systems |
| |
Institution: | BAI Xiaoying1,WANG Ming1,LU Hao2,Tsai Wei-Tek3(1.Department of Computer Science and Technology, Tsinghua University,Beijing 100084,China; 2.Nanjing Army Command College,Nanjing 210045,China; 3.School of Computing,Informatics,and Decision Systems Engineering,Arizona State University,Tempe,AZ 85287,USA) |
| |
Abstract: | |
| |
Keywords: | |
本文献已被 CNKI 等数据库收录! |
|