Parametric Analysis of Computer Systems
Institute of Information Science
, 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.