DocumentCode :
2318160
Title :
State-space support for path-based reward variables
Author :
Obal, W. Douglas, II ; Sanders, William H.
Author_Institution :
Center for Reliable & High Performance Comput., Illinois Univ., Urbana, IL, USA
fYear :
1998
fDate :
7-9 Sep 1998
Firstpage :
228
Lastpage :
237
Abstract :
Many sophisticated formalisms exist for specifying complex system behaviors, but methods for specifying performance and dependability variables have remained quite primitive. To cope with this problem, modelers often must augment system models with extra state information and event types to support particular variables. This often leads to models that are non-intuitive, and must be changed to support different variables. To address this problem, we extend the array of performance measures that may be derived from a given system model by developing new performance measure specification and model construction techniques. Specifically, we introduce a class of path-based reward variables, and show how various performance measures may be specified using these variables. Path-based reward variables extend the previous work with reward structures to allow rewards to be accumulated based on sequences of states and transitions. To maintain the relevant history, we introduce the concept of a path automaton, whose state transitions are based on the system model state and transitions. Furthermore, we present a new procedure for constructing state spaces and the associated transition rate matrices that support path-based reward variables. Our new procedure takes advantage of the path automaton to allow a single system model to be used as the basis of multiple performance measures that would otherwise require separate models or a single more complicated model
Keywords :
formal specification; performance evaluation; state-space methods; complex system behaviors specification; dependability; path automaton; path-based reward variables; performance; state-space support; states; system model state; system models; transition rate matrices; transitions; Automata; Contracts; Electronic switching systems; Indium tin oxide; Read only memory; State-space methods; Stochastic processes;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Performance and Dependability Symposium, 1998. IPDS '98. Proceedings. IEEE International
Conference_Location :
Durham, NC
ISSN :
1087-2191
Print_ISBN :
0-8186-8679-0
Type :
conf
DOI :
10.1109/IPDS.1998.707725
Filename :
707725
Link To Document :
بازگشت