Stochastic Methods for Dependability, Performability, and Security Evaluation
نویسنده
چکیده
Stochastic methods are commonly used for dependability evaluation. In the mid 1970’s, stochastic evaluation was proposed for combined performance/dependability evaluation, called performability evaluation. Extending reliability evaluation to include performance related behaviors presented new challenges, most notably due to the large difference in time scale of performanceand dependability-related events. Stochastic Petri nets, invented shortly thereafter, played an integral part in the development of performability evaluation methods. Most recently, stochastic evaluation has been proposed to quantify the security or survivability that a system provides, taking into account malicious attacks on the system. As with performability evaluation, attempts to stochastically evaluate system security and survivability met new challenges, and researchers have attempted to use stochastic net models to quantify the security and survivability a system will provide. This invited presentation will survey the challenges, advances, and future research directions in the use of stochastic evaluation for dependability, performability, and security evaluation, paying particular attention to methods that make use of stochastic Petri nets and extensions. More specifically, I describe the challenges that were encountered as stochastic evaluation of successively more complex system properties was attempted, and show how net representations, together with new stochastic methods, enable their evaluation. In doing so, I show the relationship between methods for evaluating dependability, performability, and security, paying particular attention to issues that remain in creating a methodology for stochastically quantifying the security and survivability that a system provides to an end user.
منابع مشابه
Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets
Haverkort, B.R., Approximate performability and dependability analysis using generalized stochastic Petri nets, Performance Evaluation 18 (1993) 61-78. Since current day fault-tolerant and distributed computer and communicat ion systems tend to be large and complex, their corresponding performability models will suffer from the same characteristics. Therefore, calculating performability measure...
متن کاملStochastic Modeling Formalisms for Dependability, Performance and Performability
In this chapter, we discuss practical issues regarding analytical modeling of complex computer systems. We compare diierent model types in terms of their strengths and weaknesses for model construction, eeciency and accuracy of solution algorithms and the desired performance measures. The basic concepts of performance, dependability and performability modeling are introduced using the example o...
متن کاملStochastic Activity Networks: Formal Definitions and Concepts
Stochastic activity networks have been used since the mid1980s for performance, dependability, and performability evaluation. They have been used as a modeling formalism in three modeling tools (METASAN, UltraSAN, and Möbius), and have been used to evaluate a wide range of systems. This chapter provides the formal definitions and basic concepts associated with SANs, explaining their behavior an...
متن کاملA Unified Performability Evaluation Framework for Computer and Communication Systems A Unified Performability Evaluation Framework for Computer and Communication Systems
In this paper we discuss a unified approach towards model-based quantitative evaluation of both computer systems and communication systems. In the area of fault-tolerant computer systems, dependability evaluation has been recognized as being a topic of importance, both to judge a system on its merits and to provide trust in the actual dependability of the system. In communication systems, the n...
متن کاملModeling computer systems evolutions: non-stationary processes and stochastic Petri nets-application to dependability growth
Stochastic Petri nets (SPNs) have emerged over the years as a favored approach for performance and dependability modeling and evaluation. Their usual utilization assumes that systems specification and design do not evolve, in opposition to real-life. This paper is aimed at a preliminary exploration of how to take advantage of the existing body of results on SPNs for modeling the evolution of co...
متن کامل