Dr. Kishor S. Trivedi
Durham, NC 27708
Phone : (919) 660-5269
Fax : (919) 660-5293
Email : firstname.lastname@example.org
Kishor is a 1968 B.Tech. (EE) graduate from IIT Mumbai, has an M.S. (1972) and a Ph.D. (1974) in Computer Science from the University of Illinois at Urbana-Champaign. He
holds the Hudson Chair in the Department of Electrical and Computer Engineering
at Duke University, Durham, NC. His research group is known as Duke High
Availability Assurance Laboratory (DHAAL). He also holds a joint appointment in
the Department of Computer Science at Duke. He was the Duke-Site Director of an
NSF Industry-University Cooperative Research Center between NC State University
and Duke University for carrying out applied research in computing and
communications. He has been on the Duke faculty since 1975. He has served as a
Principal Investigator on various AFOSR, ARO, Burroughs, DARPA, Draper Lab,
NEC, IBM, DEC, Alcatel-Lucent, Telcordia, Motorola,
NASA, NIH, ONR, NSWC, Boeing, Union Switch and Signals, NSF, Cisco, Huawei,
NATO, JPL and SPC funded projects and as a consultant to industry and research
laboratories. He was an Editor of the IEEE Transactions on Computers from
1983-1987. He was on the editorial board of the IEEE Transactions on Dependable
and Secure Systems. He is a co-designer of NASA's HARP, IBM's SAVE, SHARPE,
SPNP, Boeing's IRAP and SREPT modeling packages. These packages have been widely circulated. He is the author of a well known text entitled, Probability
and Statistics with Reliability, Queuing and Computer Science Applications,
originally published by Prentice-Hall in 1982. A thoroughly revised second
edition was published by John Wiley in 2002. A comprehensive solution manual
for the second edition containing more than 300 problem solutions is available
from the author to instructors teaching a course using this book as a text. Power
point slides of all the chapters of the second edition are also available to
instructors. The use of the SHARPE software package may be very helpful as a
pedagogic aid. The book is translated into Chinese in 2015. A fully revised paperback version of the book (with the original blue cover) is reprinted in June 2016.
His most recent book, Reliability and Availability Engineering: Modeling, Analysis and Applications, is published by Cambridge University Press, August 2017.
He has 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. Second edition of the latter book was published in 2006. 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. He has published over 600 articles and lectured extensively on these topics. He has supervised 46 Ph.D. dissertations. He is a Life Fellow of the Institute of Electrical and Electronics Engineers. He is a Golden Core Member of IEEE Computer Society.
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 1000 academic and industrial laboratories. The graphical user-interfaces for these tools have been 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. He has been advocating environmental diversity as an affordable form or software fault tolerance over the more expensive use of design diversity.
Kishor has 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, to the availability/reliability analysis of many systems at Boeing, GE, Lucent, NEC, Motorola, Sun, Cisco, IBM, 3Com, JPL, HP etc. and to the analysis of real-time systems. His methods of software rejuvenation have been implemented in the IBM x series servers. He has developed a new algorithm for bounding reliability of very large networks together with Boeing engineers that helped do the reliability analysis of a major subsystem of Boeing 787 for FAA certification. His availability and reliability model of High Availability SIP implementation at IBM was instrumental in selling the system to a Telco customer.
Last Updated on 6 August 2017