Kishor S. Trivedi
Hudson Professor of Electrical and Computer Engineering, in the Edmund T. Pratt, Jr. School of Engineering
Kishor S. Trivedi holds the Hudson Chair in the Department of Electrical and Computer Engineering at Duke University, Durham, NC. He has been on the Duke faculty since 1975. He is the author of a well known text entitled, Probability and Statistics with Reliability, Queuing and Computer Science Applications, published by Prentice-Hall; a thoroughly revised second edition (including its Indian edition) of this book has been published by John Wiley. A comprehensive solution manual for the second edition containing more than 300 problem solutions is now available from the publisher (John Wiley). He has also published two other books entitled, Performance and Reliability Analysis of Computer Systems, published by Kluwer Academic Publishers and Queueing Networks and Markov Chains,John Wiley. He is a Fellow of the Institute of Electrical and Electronics Engineers. He is a Golden Core Member of IEEE Computer Society. He has published over 420 articles and has supervised 45 Ph.D. dissertations. He is on the editorial boards of IEEE Transactions on dependable and secure computing, Journal of risk and reliability, international journal of performability engineering and international journal of quality and safety engineering. He is a co-designer of HARP, SAVE, SHARPE, SPNP, and SREPT modeling packages. These packages have been widely circulated. He has edited two books, Advanced Computer System Design, published by Gordon and Breach Science Publishers, and Performability Modeling Tools and Techniques, published by John Wiley & Sons. His research interests are in reliability and performance assessment of computer and communication systems.
Recent research accomplishments include three areas of activity: Advances in modeling techniques; performance, reliability and dependability modeling of applications; and development and dissemination of modeling tools. Kishor and his colleagues have developed polynomial time algorithms for performability analysis, numerical solution techniques for completion time problems, algorithms for the numerical solution of the response time distribution in a closed queueing network, techniques to solve large and stiff Markov chains, and algorithms for the automated generation and solution of stochastic reward nets including sensitivity and transient analysis. His group has also developed fast algorithms for the solution of large fault trees and reliability graphs including multistate components and phase mission systems analysis. His group has developed new formalisms of fluid stochastic Petri nets and Markov regenerative stochastic Petri nets. His group has developed many tools - SHARPE, SPNP and SREPT - which have been used at over 500 academic and industrial laboratories. The graphical user-interfaces for these tools have been recently developed. These tools also form the core of BOEING's integrated reliability analysis package. Kishor's group has been in the forefront of the development of fundamentals of software aging and rejuvenation. His group is also very active in software reliability.
Dr. Trivedi has recently developed solution methods for Markov regenerative processes and used it for performance and reliability analysis. He has applied his modeling techniques to a variety of "real world'' applications including: performance analysis of polling systems and client-server systems, wireless hand-off, connection admission control in CDMA systems, reliability analysis of RAID, reliability analysis of FDDI token rings, availability analysis of Vaxcluster systems, transient performance analysis of leaky bucket rate control scheme, and to the analysis of real-time systems. His methods of software rejuvenation have been implemented in the IBM x series servers. Trivedi worked with IBM engineers to develop a reliability model of the SIP protocol running on High Availability WebSphere. Trivedi and his student worked with Boeing for the reliability analysis of Boeing 787 Current Return Network for the purpose of certification by FAA. They have developed a new algorithm for the network reliability bounds analysis.
Appointments and Affiliations
- Hudson Professor of Electrical and Computer Engineering, in the Edmund T. Pratt, Jr. School of Engineering
- Professor of Electrical and Computer Engineering
- Office Location: Science Drive, 203 Hudson Eng Ctr, Durham, NC 27708-0291
- Office Phone: (919) 660-5269
- Web Page:
- Ph.D. University of Illinois, 1974
- M.S. University of Illinois, 1972
- B.S.E.E. Indian Institute of Technology (India), 1968
Awards, Honors, and Distinctions:
- Fellow, IEEE
- COMPSCI 555: Probability for Electrical and Computer Engineers
- ECE 555: Probability for Electrical and Computer Engineers
- ECE 557: Performance and Reliability of Computer Networks
Representative Publications: (More Publications)
- Sebastio, S; Trivedi, KS; Wang, D; Yin, X, Fast computation of bounds for two-terminal network reliability, European Journal of Operational Research, vol 238 no. 3 (2014), pp. 810-823 [10.1016/j.ejor.2014.04.035] [abs].
- Hong, S; Yang, H; Li, G; Huang, N; Ma, X; Trivedi, KS, Analysis of propagation dynamics in complex dynamical network based on disturbance propagation model, International Journal of Modern Physics B, vol 28 no. 22 (2014), pp. 1450149-1450149 [10.1142/S0217979214501495] [abs].
- Menasché, DS; Avritzer, A; Suresh, S; Leão, RM; de Souza e Silva, E; Diniz, M; Trivedi, K; Happe, L; Koziolek, A, Assessing survivability of smart grid distribution network designs accounting for multiple failures, Concurrency and Computation: Practice and Experience, vol 26 no. 12 (2014), pp. 1949-1974 [10.1002/cpe.3241] [abs].
- Xia, R; Yin, X; Alonso Lopez, J; Machida, F; Trivedi, KS, Performance and Availability Modeling of ITSystems with Data Backup and Restore, IEEE Transactions on Dependable and Secure Computing, vol 11 no. 4 (2014), pp. 375-389 [10.1109/TDSC.2013.50] [abs].
- Matos, R; Araujo, J; Oliveira, D; Maciel, P; Trivedi, K, Sensitivity analysis of a hierarchical model of mobile cloud computing, Simulation Modelling Practice and Theory (2014) [10.1016/j.simpat.2014.04.003] [abs].