实时系统时间约束验证
Verifying timing constraints in real-time systems
白晓颖 1汪明 1陆皓 2蔡维德3
作者信息
- 1. 清华大学计算机科学与技术系,北京100084
- 2. 南京陆军指挥学院,南京210045
- 3. 亚利桑那州立大学信息与决策系统工程学院,坦佩85287,美国
- 折叠
摘要
为保证实时系统满足特定的时间约束，该文提出了一种时间约束的建模和验证方法。定义了基本的时间概念，提出了基于改进的STP（simpletemporalproblem）时间约束建模方法，提出了约束图的一致性检测的约束求解算法，给出了将复杂时间约束转化为基本时间约束的机制，并以典型的数据处理单元（dataprocessunit，DPU）系统的实际时间需求为例，进行了实例分析和实验。该文系统地分析了时间故障模式，与已有的方法相比更加准确地描述时间点、时间区间之间的约束关系，从而可以更有针对性地检验系统的时间缺陷。
Abstract
A systematic approach for modeling and verifying timing constraints was developed to ensure timing constraints in the real-time systems. The approach defines the basic time concepts and gives a timing constraint model based on the simple temporal problem-improved (STP I)method. A verification algorithm is given for consistence checking of the constraint graph model using a constraint resolver. A transformation mechanism is also given to transform complex timing constraints to basic expressions. A case study of a real-time data process unit (DPU) system illustrates the approach. This approach gives a more systematic analysis of typical fault models for real time systems than existing designs, hence it can model the constraints more accurately using the concepts of time points and time intervals that facilitate effective time defect detection.
关键词
实时系统/时间约束/一致性验证/约束建模/约柬满足问题Key words
real-time system/timing constraint/consistence checking/constraint modeling/constraint satisfaction problem引用本文复制引用
出版年
2012
国家科技期刊平台
NSTL
维普
万方数据