Tenth Annual IEEE Symposium on

Logic in Computer Science (LICS 1995)

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

Authors: Farn Wang


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.


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