Search For:

Displaying 1-50 out of 105 total
A Best Practice Guide to Resources Forecasting for the Apache Webserver
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Gunther A. Hoffmann, Kishor S. Trivedi, Miroslaw Malek
Issue Date:December 2006
pp. 183-193
Recently, measurement based studies of software systems prolifirated, reflecting an increasingly empirical focus on system availability, reliability, aging and fault tolerance. However, it is a non-trivial, error-prone, arduous, and time-consuming task eve...
 
Ensuring the Performance of Apache HTTP Server Affected by Aging
Found in: IEEE Transactions on Dependable and Secure Computing
By Jing Zhao,Kishor S. Trivedi,Michael Grottke,Javier Alonso,Yanbin Wang
Issue Date:March 2014
pp. 130-141
Failures due to software aging are typically caused by resource exhaustion, which is often preceded by progressive software performance degradation. Response time as a customer-affecting metric can thus be used to detect the onset of software aging. In thi...
 
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques
Found in: IEEE Transactions on Dependable and Secure Computing
By Salvatore Distefano,Antonio Puliafito,Kishor S. Trivedi
Issue Date:September 2013
pp. 251-252
No summary available.
 
SHARPE 2002: Symbolic Hierarchical Automated Reliability and Performance Evaluator
Found in: Dependable Systems and Networks, International Conference on
By Kishor S. Trivedi
Issue Date:June 2002
pp. 544
No summary available.
   
Performance Assurance via Software Rejuvenation: Monitoring, Statistics and Algorithms
Found in: Dependable Systems and Networks, International Conference on
By Alberto Avritzer, Andre Bondi, Michael Grottke, Kishor S. Trivedi, Elaine J. Weyuker
Issue Date:June 2006
pp. 435-444
We present three algorithms for detecting the need for software rejuvenation by monitoring the changing values of a customer-affecting performance metric, such as response time. Applying these algorithms can improve the values of this customer-affecting me...
 
Optimizing Software Rejuvenation Policies under Interval Reliability Criteria
Found in: 2012 IEEE 9th Int'l Conference on Ubiquitous Intelligence & Computing / 9th Int'l Conference on Autonomic & Trusted Computing (UIC/ATC)
By Tadashi Dohi,Hiroyuki Okamura,Kishor S. Trivedi
Issue Date:September 2012
pp. 478-485
Software aging often affects the performance of software systems and eventually causes them to fail. A complementary approach to handle transient software failures due to the software aging is called software rejuvenation, and can be regarded as a preventi...
 
Recovery from Failures Due to Mandelbugs in IT Systems
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Kishor S. Trivedi,Rajesh Mansharamani,Dong Seong Kim,Michael Grottke,Manoj Nambiar
Issue Date:December 2011
pp. 224-233
Several studies have been carried out on software bugs analysis and classification for life and mission critical systems, which include reproducible bugs called Bohrbugs, and hard to reproduce bugs called Mandelbugs. Although software reliability in IT sys...
 
Uncertainty Propagation through Software Dependability Models
Found in: Software Reliability Engineering, International Symposium on
By Kesari Mishra,Kishor S. Trivedi
Issue Date:December 2011
pp. 80-89
Stochastic models are often employed to study dependability of critical systems and assess various hardware and software fault-tolerance techniques. These models take into account the randomness in the events of interest (aleatory uncertainty) and are gene...
 
Using Accelerated Life Tests to Estimate Time to Software Aging Failure
Found in: Software Reliability Engineering, International Symposium on
By Rivalino Matias Jr., Kishor S. Trivedi, Paulo R.M. Maciel
Issue Date:November 2010
pp. 211-219
Software aging is a phenomenon defined as the continuing degradation of software systems during runtime, being particularly noticeable in long-running applications. Aging-related failures are very difficult to observe, because the accumulation of aging eff...
 
Maximizing Interval Reliability in Operational Software System with Rejuvenation
Found in: Software Reliability Engineering, International Symposium on
By Hiroyuki Suzuki, Tadashi Dohi, Naoto Kaio, Kishor S. Trivedi
Issue Date:November 2003
pp. 479
Software aging often affects the performance of a software system and eventually causes it to fail. A novel approach to handle transient software failures is called software rejuvenation which can be regarded as a preventive and proactive solution that is ...
 
Reliability Prediction and Sensitivity Analysis Based on Software Architecture
Found in: Software Reliability Engineering, International Symposium on
By Swapna S. Gokhale, Kishor S. Trivedi
Issue Date:November 2002
pp. 64
Prevalent approaches to characterize the behavior of monolithic applications are inappropriate to model modern software systems which are heterogeneous, and are built using a combination of components picked off the shelf, those developed in-house and thos...
 
Modeling and Analysis of Software Rejuvenation in Cable Modem Termination Systems
Found in: Software Reliability Engineering, International Symposium on
By Yun Liu, Kishor S. Trivedi, Yue Ma, James J. Han, Haim Levendel
Issue Date:November 2002
pp. 159
In order to reduce system outages and the associated downtime cost caused by the
 
A Simple Characterization of Provably Efficient Prefetching Algorithms
Found in: Dependable Systems and Networks, International Conference on
By Wei Jin, Rakesh D. Barve, Kishor S. Trivedi
Issue Date:June 2002
pp. 571
<p>In this paper, we characterize a broad class C of prefetching algorithms and prove that, for any prefetching algorithm in this class, its total elapsed time is no more than twice the smallest possible total elapsed time. This result provides a per...
 
Sufficient Conditions for Existence of a Fixed Point in Stochastic Reward Net-Based Iterative Models
Found in: IEEE Transactions on Software Engineering
By Varsha Mainkar, Kishor S. Trivedi
Issue Date:September 1996
pp. 640-653
<p><b>Abstract</b>—Stochastic Petri net models of large systems that are solved by generating the underlying Markov chain pose the problem of largeness of the state-space of the Markov chain. Hierarchical and iterative models of systems h...
 
SREPT: A Tool for Software Reliability Estimation and Prediction
Found in: Dependable Systems and Networks, International Conference on
By Kishor S. Trivedi
Issue Date:June 2002
pp. 546
No summary available.
   
Scalable optimal countermeasure selection using implicit enumeration on attack countermeasure trees
Found in: 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
By Arpan Roy,Dong Seong Kim,Kishor S. Trivedi
Issue Date:June 2012
pp. 1-12
Constraints such as limited security investment cost precludes a security decision maker from implementing all possible countermeasures in a system. Existing analytical model-based security optimization strategies do not prevail for the following reasons: ...
   
Multi-granularity Software Rejuvenation Policy Based on Continuous Time Markov Chain
Found in: Workshop on Software Aging and Rejuvenation
By Gaorong Ning,Kishor S. Trivedi,Hai Hu,Kai-Yuan Cai
Issue Date:December 2011
pp. 32-37
In this paper,  a multi-granularity software rejuvenation policy isstudied. Four granularities of rejuvenation  are proposed tomitigate the impact of four levels of software aging respectively.Continuous Time Markov Chain (CTMC) model is used to obtain...
 
Hierarchical Computation of Interval Availability and Related Metrics
Found in: Dependable Systems and Networks, International Conference on
By Dong Tang, Kishor S. Trivedi
Issue Date:July 2004
pp. 693
As the new generation high-availability commercial computer systems incorporate deferred repair service strategies, steady-state availability metrics may no longer reflect reality. Transient solution of availability models for such systems to calculate int...
 
Confidence Interval Estimation of NHPP-Based Software Reliability Models
Found in: Software Reliability Engineering, International Symposium on
By Liang Yin, Kishor S. Trivedi
Issue Date:November 1999
pp. 6
The software reliability growth models (such as NHPP models) are frequently used in software reliability prediction. Estimation of parameters in these models is often done by point estimation. However, some numerical problems arise and make the actual comp...
 
A Framework for Performability Modeling of Messaging Services in Distributed Systems
Found in: Engineering of Complex Computer Systems, IEEE International Conference on
By Srinivasan Ramani, Katerina Goseva-Popstojanova, Kishor S. Trivedi
Issue Date:December 2002
pp. 25
Messaging services are a useful component in distributed systems that require scalable dissemination of messages (events) from suppliers to consumers. These services decouple suppliers and consumers, and take care of client registration and message propaga...
 
Reliability and Availability Analysis for the JPL Remote Exploration and Experimentation System
Found in: Dependable Systems and Networks, International Conference on
By Dong Chen, S. Dharmaraja, Dongyan Chen, Lei Li, Kishor S. Trivedi, Raphael R. Some, Allen P. Nikora
Issue Date:June 2002
pp. 337
The NASA Remote Exploration and Experimentation (REE) Project, managed by the Jet Propulsion Laboratory, has the vision of bringing commercial supercomputing technology into space, in a form which meets the demanding environmental requirements, to enable a...
 
Performance Analysis of the CORBA Event Service Using Stochastic Reward Nets
Found in: Reliable Distributed Systems, IEEE Symposium on
By Srinivasan Ramani, Kishor S. Trivedi, Balakrishnan Dasarathy
Issue Date:October 2000
pp. 238
The Event service is the earliest CORBA solution to the message queue model of communication in distributed systems. Typical implementations however suffer from the lack of event delivery guarantees. The loss of messages is aggravated in the presence of bu...
 
Locating Program Features using Execution Slices
Found in: Application-Specific Software Engineering and Technology, IEEE Workshop on
By W. Eric Wong, Joseph R. Horgan, Swapna S. Gokhale, Kishor S. Trivedi
Issue Date:March 1999
pp. 194
An important step towards effective software maintenance is to locate the code relevant to a particular feature. In this paper we report a study applying an execution slice-based technique to a reliability and performance evaluator to identify the code whi...
 
An Analytical Approach to Architecture-Based Software Reliability Prediction
Found in: Computer Performance and Dependability Symposium, International
By Swapna S. Gokhale, W. Eric Wong, Kishor S. Trivedi, J. R. Horgan
Issue Date:September 1998
pp. 13
Prevalent approaches to software reliability modeling are black-box based, i.e., the the software system is treated as a monolithic entity and only its interactions with the outside world are modeled. However, with the advancement and widespread use of obj...
 
Reliability Simulation of Fault-Tolerant Software and Systems
Found in: Pacific Rim International Symposium on Fault-Tolerant Systems
By Swapna S. Gokhale, Kishor S. Trivedi, Michael R. Lyu
Issue Date:December 1997
pp. 167
Fault tolerance is a survival attribute of complex computer systems and software in their ability to deliver continuous service to their users in the presence of faults. Formulating an analytic model for dependability and performance evaluation of hardware...
 
On the Development of Dependability-Evaluation Workbench for High-Assurance System Designers
Found in: High-Assurance Systems Engineering, IEEE International Symposium on
By Ann T. Tai, Kishor S. Trivedi, Herbert Hecht
Issue Date:August 1997
pp. 0002
High-assurance system engineering requires efficient computer-aided dependability evaluation. Although various dependability evaluation techniques and tools have been developed and studied in the last two decades, no adequate attention has been paid to all...
 
Reliability and Performance of Component Based Software Systems with Restarts, Retries, Reboots and Repairs
Found in: Software Reliability Engineering, International Symposium on
By Vibhu Saujanya Sharma, Kishor S. Trivedi
Issue Date:November 2006
pp. 299-310
High reliability and performance are vital for software systems handling diverse mission critical applications. Such software systems are usually component based and may possess multiple levels of fault recovery. A number of parameters, including the softw...
 
Software Reliability and Testing Time Allocation: An Architecture-Based Approach
Found in: IEEE Transactions on Software Engineering
By Roberto Pietrantuono, Stefano Russo, Kishor S. Trivedi
Issue Date:May 2010
pp. 323-337
With software systems increasingly being employed in critical contexts, assuring high reliability levels for large, complex systems can incur huge verification costs. Existing standards usually assign predefined risk levels to components in the design phas...
 
A BDD-Based Algorithm for Analysis of Multistate Systems with Multistate Components
Found in: IEEE Transactions on Computers
By Xinyu Zang, Dazhi Wang, Hairong Sun, Kishor S. Trivedi
Issue Date:December 2003
pp. 1608-1618
<p><b>Abstract</b>—In this paper, a new algorithm based on Binary Decision Diagram (BDD) for the analysis of a system with multistate components is proposed. Each state of a multistate component is represented by a Boolean variable, and a...
 
Discrete-event simulation of fluid stochastic Petri nets
Found in: Petri Nets and Performance Models, IEEE International Workshop on
By Gianfranco Ciardo, David Nicol, Kishor S. Trivedi
Issue Date:June 1997
pp. 217
The purpose of this paper is to describe a method for simulation of recently introduced fluid stochastic Petri nets. Since such nets result in rather complex set of partial differential equations, numerical solution becomes a formidable task. Because of a ...
 
Toward Accessibility Enhancement of Dependability Modeling Techniques and Tools
Found in: Fault-Tolerant Computing, International Symposium on
By Ann T. Tai, Herbert Hecht, Kishor S. Trivedi, Bing Zhang
Issue Date:June 1997
pp. 37
Although various dependability evaluation techniques and tools have been developed in the last two decades, no adequate attention has been paid to allow system designers not well versed in analytic modeling to easily employ these techniques and tools. In t...
 
An empirical investigation of fault repairs and mitigations in space mission system software
Found in: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
By Javier Alonso,Michael Grottke,Allen P. Nikora,Kishor S. Trivedi
Issue Date:June 2013
pp. 1-8
Faults in software systems can have different characteristics. In an earlier paper, the anomaly reports for a number of JPL/NASA missions were analyzed and the underlying faults were classified as Bohrbugs, non-aging-related Mandelbugs, and aging-related b...
 
Adaptive Software Rejuvenation: Degradation Model and Rejuvenation Scheme
Found in: Dependable Systems and Networks, International Conference on
By Yujuan Bao, Xiaobai Sun, Kishor S. Trivedi
Issue Date:June 2003
pp. 241
We present a framework of adaptive estimation and rejuvenation of software system performance in the presence of aging sources. The framework speci.es that a degradation model not only describe an aging process but also enable the adaptation of model-based...
 
Guest Editors' Introduction: Special Section on Cloud Computing Assessment: Metrics, Algorithms, Policies, Models, and Evaluation Techniques
Found in: IEEE Transactions on Dependable and Secure Computing
By Salvatore Distefano,Antonio Puliafito,Kishor S. Trivedi
Issue Date:July 2013
pp. 196-197
This special issue deals with open problems related to Cloud computing assessment, and the interest raised in the scientific community is confirmed by the high quality of the papers received, which were selected after a review process started on July 2012 ...
   
Performance and Reliability of Tree-Structured Grid Services Considering Data Dependence and Failure Correlation
Found in: IEEE Transactions on Computers
By Yuan-Shun Dai, Gregory Levitin, Kishor S. Trivedi
Issue Date:July 2007
pp. 925-936
Grid computing is a newly emerging technology aimed at large-scale resource sharing and global-area collaboration. It is the next step in the evolution of parallel and distributed computing. Due to the largeness and complexity of the grid system, its perfo...
 
Model-Based Evaluation: From Dependability to Security
Found in: IEEE Transactions on Dependable and Secure Computing
By David M. Nicol, William H. Sanders, Kishor S. Trivedi
Issue Date:January 2004
pp. 48-65
The development of techniques for quantitative, model-based evaluation of computer system dependability has a long and rich history. A wide array of model-based evaluation techniques is now available, ranging from combinatorial methods, which are useful fo...
 
Analysis of Inspection-Based Preventive Maintenance in Operational Software Systems
Found in: Reliable Distributed Systems, IEEE Symposium on
By Kalyanaraman Vaidyanathan, Dharmaraja Selvamuthu, Kishor S. Trivedi
Issue Date:October 2002
pp. 286
Recently, the phenomenon of
 
End-to-End Performability Analysis for Infrastructure-as-a-Service Cloud: An Interacting Stochastic Models Approach
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Rahul Ghosh, Kishor S. Trivedi, Vijay K. Naik, Dong Seong Kim
Issue Date:December 2010
pp. 125-132
Handling diverse client demands and managing unexpected failures without degrading performance are two key promises of a cloud delivered service. However, evaluation of a cloud service quality becomes difficult as the scale and complexity of a cloud system...
 
Survivability Quantification of Real-Sized Networks Including End-to-End Delay Distributions
Found in: Systems and Networks Communication, International Conference on
By Poul E. Heegaard, Kishor S. Trivedi
Issue Date:October 2008
pp. 50-55
In a telecommunication network it is essential to provide virtual connections between peering nodes with performance guarantees such as minimum throughput, maximum delay or loss. Critical services in telecommunication network should be continuously provide...
 
On a Method for Mending Time to Failure Distributions
Found in: Dependable Systems and Networks, International Conference on
By Michael Grottke, Kishor S. Trivedi
Issue Date:July 2005
pp. 560-569
Many software reliability growth models assume that the time to next failure may be infinite; i.e., there is a chance that no failure will occur at all. For most software products this is too good to be true even after the testing phase. Moreover, if a non...
 
Availability and Performance Evaluation for Automatic Protection Switching in TDMA Wireless System
Found in: Pacific Rim International Symposium on Dependable Computing, IEEE
By Hairong Sun, Yonghuan Cao, Kishor S. Trivedi, James J. Han
Issue Date:December 1999
pp. 15
In this paper, we compare the availability and performance of a wireless TDMA system with and without automatic protection switching. Stochastic reward net models are constructed and solved by SPNP (Stochastic Petri Net Package). Hierarchical decomposition...
 
Performance and Reliability Evaluation of BSM Broadcasting in DSRC with Multi-Channel Schemes
Found in: IEEE Transactions on Computers
By Xiaoyan Yin,Xiaomin Ma,Kishor S. Trivedi,Alexey Vinel
Issue Date:December 2014
pp. 3101-3113
IEEE 1609.4 protocol defines a channel switching mechanism to enable a single radio operating efficiently on multiple channels to support both safety and non-safety services. Basic safety message (BSM) is transmitted only through the control channel at reg...
 
Analysis of bugs in Apache Virtual Computing Lab
Found in: 2013 43rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)
By Flavio Frattini,Rahul Ghosh,Marcello Cinque,Andy Rindos,Kishor S. Trivedi
Issue Date:June 2013
pp. 1-6
Understanding the bugs in software platforms is extremely valuable for developers, especially during the testing phase. However, this is a rarely investigated issue for open source Cloud platforms till date. In this paper, we present the analysis of 146 bu...
 
MAC and application-level broadcast reliability in vanets with channel fading
Found in: 2013 International Conference on Computing, Networking and Communications (ICNC)
By Xiaomin Ma,Xiaoyan Yin,Matthew Wilson,Kishor S. Trivedi
Issue Date:January 2013
pp. 756-761
In this paper, a new analytic model is built to derive MAC and application-level reliability metrics of IEEE 802.11 based one-dimensional (1-D) vehicular ad-hoc networks (VANETs) in highways, which include Packet Reception Probability, Packet Reception Rat...
 
Software Rejuvenation in Eucalyptus Cloud Computing Infrastructure: A Method Based on Time Series Forecasting and Multiple Thresholds
Found in: Workshop on Software Aging and Rejuvenation
By Jean Araujo,Rubens Matos,Paulo Maciel,Francisco Vieira,Rivalino Matias,Kishor S. Trivedi
Issue Date:December 2011
pp. 38-43
The need for reliability and availability has increased in modern applications, in order to handle rapidly growing demands while providing uninterrupted service. Cloud computing systems fundamentally provide access to large pools of data and computational ...
 
Performance Modeling of Apache Web Server Affected by Aging
Found in: Workshop on Software Aging and Rejuvenation
By Jing Zhao,Kishor S. Trivedi
Issue Date:December 2011
pp. 56-61
A number of studies have reported the phenomenon of
 
Job Completion Time on a Virtualized Server Subject to Software Aging and Rejuvenation
Found in: Workshop on Software Aging and Rejuvenation
By Fumio Machida,Victor F. Nicola,Kishor S. Trivedi
Issue Date:December 2011
pp. 44-49
Virtual machine monitor (VMM) rejuvenation is a proactive recovery method against failures caused by software aging in VMM. Since the job running on a hosted virtual machine (VM) is interrupted at VMM rejuvenation, the preemption type of VMM rejuvenation i...
 
Injecting Memory Leaks to Accelerate Software Failures
Found in: Software Reliability Engineering, International Symposium on
By Jing Zhao,Yuliang Jin,Kishor S. Trivedi,Rivalino Matias Jr.
Issue Date:December 2011
pp. 260-269
A number of studies have reported the phenomenon of
 
Candy: Component-based Availability Modeling Framework for Cloud Service Management Using SysML
Found in: Reliable Distributed Systems, IEEE Symposium on
By Fumio Machida,Ermeson Andrade,Dong Seong Kim,Kishor S. Trivedi
Issue Date:October 2011
pp. 209-218
High-availability assurance of cloud service is a critical and challenging issue for cloud service providers. To quantify the availability of cloud services from both architectural and operational points of views, availability modeling and evaluation are e...
 
Third workshop on proactive failure avoidance, recovery, and maintenance (PFARM)
Found in: Dependable Systems and Networks Workshops
By Miroslaw Malek,Felix Salfner,Kishor S. Trivedi
Issue Date:June 2011
pp. 257-258
Over the last decade, research on dependable computing has undergone a shift from reactive towards proactive methods: In classical fault tolerance a system reacts to errors or component failures in order to prevent them from turning into system failures, a...
 
 1  2 Next >>