Kishor S. Trivedi
Duke University (USA)
Monday, November 10, 2014 at 10:00am in Room 516 (Santa Marta)
Non-state-space solution methods are often used to solve reliability block diagrams, fault trees and reliability graphs. Relatively efficient algorithms are known to handle systems with hundreds of components and have been implemented in many software packages. Nevertheless many practical problems cannot be handled by such algorithms. Bounding algorithms are then used in such cases as was done for a major subsystem of Boeing 787. Non-state-space methods derive their efficiency from the independence assumption that is often violated in practice. State space methods based on Markov chains, stochastic Petri nets, semi-Markov and Markov regenerative processes can be used to capture various kinds of dependencies among system components. However, the resulting state space explosion severely restricts the size of the problem that can be solved. Hierarchical and fixed-point iterative methods provide a scalable alternative that combines the strengths of state space and non-state-space methods and have been extensively used to solve real-life problems. We will take a journey through these model types via interesting examples.
Kishor S. Trivedi holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke Universi-ty, Durham, NC. He has a B.Tech (EE, 1968) from IIT Mumbai, M.S. (CS, 1972) and PhD (CS, 1974) from the University ofIllinois, Urbana-Champaign. He has been on the Duke faculty since 1975. He is currently a visiting professor at IITGandhinagar. He is the author of a well-known text entitled, Probability and Statistics with Reliability, Queuing andComputer Science Applications, first published by Prentice-Hall; a thoroughly revised second edition (including itsIndian edition) of this book has been published by John Wiley. He is a Fellow of the Institute of Electrical and Electro-nics Engineers. He is a Golden Core Member of IEEE Computer Society. He has published over 500 articles and hassupervised 45 Ph.D. dissertations. He is the recipient of IEEE Computer Society Technical Achievement Award for hisresearch on Software Aging and Rejuvenation. His research interests in are in reliability, availability, performance,performability and survivability modeling of computer and communication systems. He works closely with industryin carrying our reliability/availability analysis, providing short courses on reliability, availability, performability mode-ling and in the development and dissemination of software packages such as SHARPE and SPNP.