155 search results - page 1 / 31 » A recurrence-relation-based reward model for performability ... |
DSN
2008
IEEE
13 years 10 months ago
2008
IEEE
Embedded systems for closed-loop applications often behave as discrete-time semi-Markov processes (DTSMPs). Performability measures most meaningful to iterative embedded systems, ...
QEST
2008
IEEE
13 years 10 months ago
2008
IEEE
The performability distribution is the distribution of accumulated reward in a Markov reward model (MRM) with
HASE
1999
IEEE
13 years 8 months ago
1999
IEEE
The paper introduces a method to model embedded dependability-critical systems as AND-composition of Guarded Statecharts which are special UMLstatecharts. With Guarded Statecharts...
PRDC
1999
IEEE
13 years 8 months ago
1999
IEEE
In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed ...
VALUETOOLS
2006
ACM
13 years 10 months ago
2006
ACM
High-level stochastic description methods such as stochastic Petri nets, stochastic UML statecharts etc., together with specifications of performance variables (PVs), enable a co...