Parametric Analysis of Computer Systems

Farn Wang and Pao-Ann Hsiung
Institute of Information Science
Academia Sinica, Taipei, Taiwan.
( IIS Technical Reports, TR-IIS-97-010, 1997.)


A general parametric analysis problem which allows the usage of parameter variables in both the real-time automata and the specifications is proposed and solved. The solutions come in the forms of linear conditions on the parameter variables.