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.)
Abstract
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.