Paper: Timing behavior analysis for real-time systems (at LICS 1995)

Authors: Farn Wang

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.

BibTeX

  @InProceedings{Wang-Timingbehavioranaly,
    author = 	 {Farn Wang},
    title = 	 {Timing behavior analysis for real-time systems},
    booktitle =  {Proceedings of the Tenth Annual IEEE Symposium on Logic in Computer Science (LICS 1995)},
    year =	 {1995},
    month =	 {June}, 
    pages =      {112--122},
    location =   {San Diego, CA, USA}, 
    publisher =	 {IEEE Computer Society Press}
  }