Verifying timing constraints in real-time systems
Xiaoying Bai, Ming Wang, Hao Lü, WEI TEK TSAI · 2012
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.