Timing behavior analysis for real-time systems

  • Authors:
  • Farn Wang

  • Affiliations:
  • -

  • Venue:
  • LICS '95 Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science
  • Year:
  • 1995

Quantified Score

Hi-index 0.00

Visualization

Abstract

We extend TCTL model-checking problem to timing behavior analysis problem for real-time systems and develop new techniques in solving it. The algorithm we present here accepts timed transition system descriptions and parametric TCTL formulas with timing parameter variables of unknown sizes and can give back general linear equations of timing parameter variables whose solutions make the systems working.