Sciweavers

Share
DSN
2008
IEEE

A recurrence-relation-based reward model for performability evaluation of embedded systems

8 years 8 months ago
A recurrence-relation-based reward model for performability evaluation of embedded systems
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, such as accumulated reward, are thus difficult to solve analytically in general. In this paper, we propose a recurrence-relation-based (RRB) reward model to evaluate such measures. A critical element in RRB reward models is the notion of state-entry probability. This notion enables us to utilize the embedded Markov chain in a DTSMP in a novel way. More specifically, we formulate state-entry probabilities, state-occupancy probabilities, and expressions concerning accumulated reward solely in terms of state-entry probability and its companion term, namely the expected accumulated reward at the point of state ena result, recurrence relations abstract away all the intermediate points that lack the memoryless property, enabling a solvable model to be directly built upon the embedded Markov chain. To show the use...
Ann T. Tai, Kam S. Tso, William H. Sanders
Added 29 May 2010
Updated 29 May 2010
Type Conference
Year 2008
Where DSN
Authors Ann T. Tai, Kam S. Tso, William H. Sanders
Comments (0)
books