By Robin A. Sahner,Kishor Trivedi,Antonio Puliafito

Performance and Reliability research of desktops: An Example-Based method utilizing the SHARPE software program Package presents quite a few probabilistic, discrete-state types used to determine the reliability and function of computing device and conversation structures. The versions integrated are combinatorial reliability versions (reliability block diagrams, fault bushes and reliability graphs), directed, acyclic job priority graphs, Markov and semi-Markov versions (including Markov gift models), product-form queueing networks and generalized stochastic Petri nets. a pragmatic strategy to process modeling is undefined; the entire examples defined are solved and analyzed utilizing the SHARPE device.
In structuring the e-book, the authors were cautious to supply the reader with a methodological method of analytical modeling options. those innovations aren't obvious as possible choices yet fairly as an essential component of a unmarried technique of review which, by way of hierarchically combining effects from other forms of versions, makes it attainable to take advantage of state-space tools for these elements of a approach that require them and non-state-space tools for the extra well-behaved elements of the method.
The SHARPE (Symbolic Hierarchical computerized Reliability and functionality Evaluator) package deal is the `toolchest' that permits the authors to specify stochastic types simply and remedy them fast, adopting version hierarchies and extremely effective resolution thoughts. All the types defined within the publication are exact and solved utilizing the SHARPE language; its syntax is defined and the resource code of just about all of the examples mentioned is supplied.
Audience: appropriate to be used in complicated point classes overlaying reliability and function of laptop and communications structures and by way of researchers and training engineers whose paintings contains modeling of process functionality and reliability.

Show description

Read Online or Download Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package PDF

Similar systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This is often either a pragmatic and theoretical consultant detailing tips on how to set up a profitable ProVision® process, utilizing a couple of genuine enterprise situations alongside the best way. not like different structure books, the strategy is holistic - it appears on the entire lifecycle of establishing a company case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This publication describes how engineers could make optimal use of the 2 regular analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout process, emphasizing how SystemC and SystemC-AMS beneficial properties could be exploited such a lot successfully to analyze/understand a given digital method and discover the layout house.

HSPA Evolution: The Fundamentals for Mobile Broadband

This e-book is vital studying for these wishing to acquire a structures viewpoint and a extensive view at the historical past, functionality and alertness of the newest advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader behind the curtain of 3GPP and offers an simply obtainable knowing of the fundamental ideas, the most recent steps within the standard’s evolution, and the motivations in the back of the advance of standardized positive aspects.

Formal Specification Level: Concepts, Methods, and Algorithms

This e-book introduces a brand new point of abstraction that closes the space among the textual specification of embedded platforms and the executable version on the digital approach point (ESL). Readers might be enabled to function at this new, Formal Specification point (FSL), utilizing types which not just enable major verification initiatives during this early degree of the layout circulation, but in addition could be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra info for Performance and Reliability Analysis of Computer Systems: An Example-Based Approach Using the SHARPE Software Package

Sample text

Download PDF sample

Rated 4.67 of 5 – based on 22 votes