Papers
The following papers have been categorized into three categories:
Articles Published in Journals
Probabilistic Modeling of Computer System Availability, A. Goyal, S. Lavenberg, and K. S. Trivedi, in: Annals of Operations Research, Vol. 8, 1987, pp. 285-306. This is the paper that discusses the algorithms implemented in SAVE
Approximate Availability Analysis of VAXCluster Systems, O. Ibe and R. Howe, and K. S. Trivedi, IEEE Transactions on Reliability, Vol. 38, No. 1, Apr. 1989, pp. 146-152.
Dependability Modeling Using Petri Net Based Models, M. Malhotra and K. S. Trivedi, IEEE Transactions on Reliability, Vol. 44, No. 3, pp. 428-440, Sept., 1995.
Availability and Performance-Based Sizing of Multiprocessor Systems, K. S. Trivedi, Archana S. Sathaye, Oliver C. Ibe, Richard C. Howe and Ashutosh Aggarwal, Communications in Reliability, Maintainability and Serviceability: An International Journal published by SAE International, 1996.
Availability Modeling of Energy Management Systems, R. Fricks and K. S. Trivedi, Microelectronics and Reliability, Vol. 38, pp. 727-743, 1998.
Composite Performance & Availability Analysis of Wireless Communication Networks, Yue Ma, J. Han, and K. S. Trivedi, IEEE Transactions on Vehicular Technology, 50(5) pp. 1216-1223, September 2001.
Closed-form Analytical Results for Condition-Based Maintenance,
Dongyan Chen and Kishor Trivedi,
Reliability Engineering and System Safety,
Vol. 76, pp. 43--51, 2002.
System Availability with Non-Exponentially Distributed Outages,
Y. Cao, H. Sun, J. Han and Kishor Trivedi,
IEEE Transactions on Reliability, V. 51, No. 2, pp. 193-198, 2002.
Preventive Maintenance of Multi-State System with Phase-Type Fail
ure Time
Distribution and Non-Zero Inspection Time,
Dongyan Chen, Y. Hong, Y. Cao and Kishor Trivedi,
International Journal of Quality and Safety Engineering,
Vol. 10, No. 3, pp. 323-344, September 2003.
A Workload-based Analysis of Software Aging and Rejuvenation
Y. Bao, X. Sun, and K. S. Trivedi, IEEE Transactions on Reliability.
Optimization for Condition-Based Maintenance with Semi-Markov Decision Process,
Dongyan Chen and Kishor Trivedi,
Reliability Engineering and System Safety, Vol. 90, pp. 25--29, 2005.
A Comprehensive Model for Software Rejuvenation
K. Vaidyanathan and K. S. Trivedi, IEEE Transactions on Dependable and Secure
Computing, Vol 2, No. 2, April-June 2005.
Chapters of Books
Techniques for System Dependability Evaluation, J. Muppala, R. Fricks, and K. S. Trivedi, in Computational Probability, W. Grassman (ed.), pp. 445-480, Kluwer Academic Publishers, The Netherlands, 2000.
Dependability Modeling of a Heterogenous VAXcluster System using Stochastic Reward Nets, Jogesh Muppala, Archana Sathaye, Richard Howe, Kishor Trivedi, In: Avresky, D.R: Hardware and Software Fault Tolerance in Parallel Computing Systems, pages 33-59. Ellis Horwood Ltd., 1992.
Fixed-Point Iteration in Availability Modeling, Lorrie Tomek and K. S. Trivedi, in: Informatik-Fachberichte, Vol. 283: Fehlertolerierende Rechensysteme, M. Dal Cin (ed.), pp. 229-240, Springer-Verlag, Berlin, 1991.
Availability and Reliability Modeling for Computer Systems, D. Heimann and N. Mittal, and K. S. Trivedi, in: Advances in Computers, M. Yovitts (Ed.), Vol. 31, pp. 175-233, Academic Press, San Diego, 1990.
Articles in Symposia Proceedings
Performance and reliability evaluation of passive replication schemes in application level fault tolerance,
S. Garg, Y. Huang, C. M. Kintala, K. S. Trivedi, and S. Yajnik,
Proc. 29th Annual Int.Symp. Fault Tolerant Computing (FTCS), Madison, Wisconsin,
pp.15-18, June 15 ~V18, 1999.
Availability modeling and analysis of a two node cluster, S. W. Hunter and W. E.
Smith, Proc. 5th Int. Conf. on Information Systems, Analysis and Synthesis,
Orlando, FL, Oct.1999.
The System AVailability Estimator (SAVE),
A. Goyal, W. Carter, E. de Souza e Silva, S. Lavenberg, and K. S. Trivedi,
Proc. Sixteenth International Symposium on Fault-Tolerant Computing,
Vienna, Austria, July 1986.
Sensitivity Analysis of Reliability
and Performability Measures for
Multiprocessor Systems, J. Blake,
A. Reibman, and K. S. Trivedi, Proc.
ACM SIGMETRICS, 1988.
Stochastic Petri Net Modeling of VAXcluster Availability, O. Ibe,
A. Sathaye, R. Howe, and K. S. Trivedi, Proc. Third Int. Workshop on Petri Nets and
Performance Models (PNPM89), Kyoto, pp. 112-121, 1989.
Should I Add a Processor?, K. S. Trivedi, A. Sathaye, O.
Ibe, and R. Howe. Proceedings of 23rd Hawaii International Conference
on System Sciences, January 1990.
Composite
Performance and Availability Analysis using a Hierarchy of Stochastic Reward
Nets, J. Muppala and K. S. Trivedi, Fifth International Conference on Modelling
Techniques and Tools for Computer Performance Evaluation, Turin, Italy, Feb.
13-15, 1991.
A Methodology for Formal Expression of
Hierarchy in Model Solution, Manish Malhotra and K. S. Trivedi, Proc. Fifth
Int. Workshop on Petri Nets and Performance Models (PNPM93), Toulouse,
pp. 258-267, October 1993.
Availability and performance evaluation for
automatic protection switching in TDMA wireless system, Hairong
Sun, Yonghuan Cao, K. S. Trivedi, and James J. Han, Pacific Rim International Symposium
on Dependable Computing, Hong Kong (PRDC99), p15-22, Dec., 1999.
Availability Models in Practice, Archana Sathaye, Srinivasan Ramani,
and K. S. Trivedi, Proceedings of Int. Workshop on Fault-Tolerant Control
and Computing (FTCC-1), May 22-23, 2000, Seoul, Korea.
Availability Evaluation for Redundant Load-sharing
Communication Systems with Planned Outage under Different Upgrade Schemes,
Yonghuan Cao, Hairong Sun, K. S. Trivedi, and James J. Han, The 8th International
Conference on Software, Telecommunications and Computer Networks,
SoftCOM 2000, Split, Croatia, Oct., 2000.
Composite performance and availability
analysis of communications networks: a comparison of exact and approximate
approaches, Yue Ma, James J. Han, K. S. Trivedi, Proc. of IEEE Globecom 2000,
San Francisco, CA, November 27 - December 1 2000.
Analysis of periodic preventive maintenance with
general component failure distribution, Dongyan Chen and K. S. Trivedi,
Pacific Rim International Symposium on Dependable Computing, PRDC 2001, Seoul,
Korea, December 2001.
Modeling and Quantification of Security Attributes of Software Systems,
B.B. Madan and K. Goseva-Popstojanova and K. Vaidyanathan and K.S. Trivedi, Proc. Int. Conf. DSN, (IPDS stream)
Vol. 2 pp505-514, 2002.
Modeling High Availability Systems
K. S. Trivedi, R. Vasireddy, D. Trindade, S. Nathan and Rick Castro, Pacific Rim
Dependability Conference, PRDC 2006.
Defining Steady-State Service Level Agreeability using Semi-Markov Process. (Fast Abstract)
Ranjith Vasireddy and Kishor S. Trivedi, IEEE Intl Conf on Dependable Systems and Networks (DSN), Philadelphia, PA, USA, Jun 2006.
Achieving and Assuring High Availability
K. S. Trivedi, G. Ciardo, B. Dasarathy, M. Grottke, A. Rindos, and B. Vashaw. Proc. 13th IEEE Workshop on Dependable Parallel, Distributed and Network-Centric Systems/22nd IEEE International Parallel & Distributed Processing Symposium, Miami, USA, April 2008.
Ten Fallacies of Availability and Reliability Analysis
M. Grottke, H. Sun, R. M. Fricks, and K. S. Trivedi. Proc. 5th International Service Availability Symposium, Tokyo, Japan, pp. 187-206, May 2008.
Last updated on 3 July 2007