Verifying timing constraints in real-time systems

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

Research output: Contribution to journalArticle

2 Scopus citations

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.

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

Keywords

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

ASJC Scopus subject areas

  • Engineering(all)
  • Computer Science Applications
  • Applied Mathematics

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

  • Cite this

    Bai, X., Wang, M., Lu, H., & Tsai, W. T. (2012). Verifying timing constraints in real-time systems. Qinghua Daxue Xuebao/Journal of Tsinghua University, 52(9), 1286-1292.