Reliability modeling software to support the book
 Probability
and Statistics with Reliability, Queueing, and Computer Science Applications (The Blue Book), 2nd Edition (Kishor Shridharbhai Trivedi)
ISBN: 0471333417
In the second edition, all the chapters have been thoroughly revised. Many examples and problems are updated, and many new examples and
problems have been added. There is a considerable addition of examples on system availability modeling, wireless system performance and
availability modeling, software reliability modeling, and system performability modeling. New material on fault trees and stochastic Petri
nets, and numerical solution techniques for Markov chains have been added. Detection of software aging is included as well as statistical
estimation of availability is added.
A section on the computation of response time distribution for Markovian queuing networks has
also been added. Chapter 8, on continuous-time Markov chains, has undergone the most change. Research experience and the application of
these methods for last 25 years have been distilled in these chapters as much as possible.
The book will be of use as a classroom textbook as well as of use for practicing engineers. Researchers will also find valuable material
here.
Instructors can obtain a comprehensive (405 pages) solution manual from the publisher by
contacting Kirsten Rohstedt (John Wiley) at KRohsted@wiley.com.
More at Amazon.com ...
More at Amazon.co.uk ...
is offered by the author for use "as is" and is available for download.
The following is an extract from the author's website at http://www.ee.duke.edu/~kst/software_packages.html
:
Software Packages
| SHARPE |
| Tool & Interface
Description |
| SHARPE Examples |
| SHARPE built-in
functions for various models |
| Interface Tutorial |
| Description of
the examples given with the interface |
| How to run
SHARPE package & SHARPE gui? |
| Tool Manual: PS, PDF |
| Interface Manual: PDF, DOC |
| FAQs SHARPE |
| DOWNLOAD
THE AGREEMENT! |
| DOWNLOAD SHARPE! |
| SPNP |
| Tool Description |
| SPNP Examples |
| Interface Description |
| How to run SPNP
package & SPNP gui? |
| Interface Tutorial |
| FAQ |
| Simulation Description |
| Tool Manual: PS, PDF |
| Interface Manual: PDF |
| DOWNLOAD THE
AGREEMENT! |
| DOWNLOAD SPNP! |
| SRA (Software Rejuvenation Agent) |
Coming Soon!
|
| SREPT |
| Tool Description: very brief,
PS(10 MB), PS(compressed,
1 MB) |
| DOWNLOAD THE
AGREEMENT! |
| DOWNLOAD SREPT! |
| PAPERS |
| SPNP: Stochastic Petri Nets Version 6.0 PS,
PDF |
| Reliability and Performability Modeling using SHARPE 2000 PS,
PDF |
| The Development of an Integrated Modeling Environment PS,
PDF |
| iSPN: an Integrated Environment for Modeling Using Stochastic Petri Nets PS,
PDF |
| IDEAS: an Integrated Design Environment for
Assessment of Computer Systems PS, PDF |
|
Last updated on 29 August 2001
|
|
