Parametric Analysis of Computer Systems.
Journal
Formal Methods in System Design
Journal Volume
17
Journal Issue
1
Pages
39-60
Date Issued
2000
Author(s)
Abstract
The parametric analysis problem of computer systems is defined and solved algorithmically. The parametric analysis describes system behaviors and design requirements with various timing and nontiming parameter variables. It requires general conditions for all solutions to these parameter variables. These problems include an automaton with nontiming parameter and a specification with both timing and nontiming parameter variables. The system behavior is given in a statically parametric automaton (SPA) and specifications are given in parametric computation tree logic (PCTL). The algorithms having Boolean outputs are presented. The design feedback could be obtained from further processing of the parameter variables.
Type
journal article