Verifying timing constraints in real-time systems

Xiaoying Bai, Ming Wang, Hao Lu, Wei Tek Tsai

Research output: Contribution to journalArticlepeer-review

2 Scopus citations


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.

Original languageEnglish (US)
Pages (from-to)1286-1292
Number of pages7
JournalQinghua Daxue Xuebao/Journal of Tsinghua University
Issue number9
StatePublished - Sep 2012


  • Consistence checking
  • Constraint modeling
  • Constraint satisfaction problem
  • Real-time system
  • Timing constraint

ASJC Scopus subject areas

  • General Engineering
  • Computer Science Applications
  • Applied Mathematics


Dive into the research topics of 'Verifying timing constraints in real-time systems'. Together they form a unique fingerprint.

Cite this