Verifying timing constraints in real-time systems

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

Research output: Contribution to journalArticle

2 Citations (Scopus)

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 2012

Fingerprint

Real time systems
Timing
Real-time
Chemical reactions
Defect Detection
Graph Model
Fault
Transform
Model-based
Interval
Unit
Modeling
Model

Keywords

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

ASJC Scopus subject areas

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

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.

Verifying timing constraints in real-time systems. / Bai, Xiaoying; Wang, Ming; Lu, Hao; Tsai, Wei Tek.

In: Qinghua Daxue Xuebao/Journal of Tsinghua University, Vol. 52, No. 9, 09.2012, p. 1286-1292.

Research output: Contribution to journalArticle

Bai, X, Wang, M, Lu, H & Tsai, WT 2012, 'Verifying timing constraints in real-time systems', Qinghua Daxue Xuebao/Journal of Tsinghua University, vol. 52, no. 9, pp. 1286-1292.
Bai, Xiaoying ; Wang, Ming ; Lu, Hao ; Tsai, Wei Tek. / Verifying timing constraints in real-time systems. In: Qinghua Daxue Xuebao/Journal of Tsinghua University. 2012 ; Vol. 52, No. 9. pp. 1286-1292.
@article{1cb180b13e984b4aadd555d1eb8b48d1,
title = "Verifying timing constraints in real-time systems",
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.",
keywords = "Consistence checking, Constraint modeling, Constraint satisfaction problem, Real-time system, Timing constraint",
author = "Xiaoying Bai and Ming Wang and Hao Lu and Tsai, {Wei Tek}",
year = "2012",
month = "9",
language = "English (US)",
volume = "52",
pages = "1286--1292",
journal = "Qinghua Daxue Xuebao/Journal of Tsinghua University",
issn = "1000-0054",
publisher = "Press of Tsinghua University",
number = "9",

}

TY - JOUR

T1 - Verifying timing constraints in real-time systems

AU - Bai, Xiaoying

AU - Wang, Ming

AU - Lu, Hao

AU - Tsai, Wei Tek

PY - 2012/9

Y1 - 2012/9

N2 - 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.

AB - 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.

KW - Consistence checking

KW - Constraint modeling

KW - Constraint satisfaction problem

KW - Real-time system

KW - Timing constraint

UR - http://www.scopus.com/inward/record.url?scp=84871133084&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84871133084&partnerID=8YFLogxK

M3 - Article

AN - SCOPUS:84871133084

VL - 52

SP - 1286

EP - 1292

JO - Qinghua Daxue Xuebao/Journal of Tsinghua University

JF - Qinghua Daxue Xuebao/Journal of Tsinghua University

SN - 1000-0054

IS - 9

ER -