|
" Quantitative assessments of distributed systems : "
edited by Dario Bruneo and Salvatore Distefano
| Document Type
|
:
|
BL
|
| Record Number
|
:
|
640843
|
| Doc. No
|
:
|
dltt
|
| Title & Author
|
:
|
Quantitative assessments of distributed systems : : methodologies and techniques /\ edited by Dario Bruneo and Salvatore Distefano
|
| Series Statement
|
:
|
Performability engineering series
|
| Page. NO
|
:
|
1 online resource
|
| ISBN
|
:
|
9781119131144
|
|
|
:
|
: 1119131146
|
|
|
:
|
: 9781119131137
|
|
|
:
|
: 1119131138
|
|
|
:
|
: 9781119131151
|
|
|
:
|
: 1119131154
|
|
|
:
|
1118595211
|
|
|
:
|
9781118595213
|
| Bibliographies/Indexes
|
:
|
Includes bibliographical references and index
|
| Contents
|
:
|
Verification -- Modeling and Verification of Distributed Systems Using Markov Decision Processes -- Introduction -- Markov Decision Processes -- Markov Decision Well-Formed Net formalism -- Case study: Peer-to-Peer Botnets -- Conclusion -- Appendices: Well-formed Net Formalism -- Syntax of Basic Predicates -- Markings and Enabling -- References -- Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial -- Introduction -- STOKLAIM: Stochastic KLAIM -- KLAIM in a Nutshell -- Syntactic Categories -- STOKLAIM Syntax -- STOKLAIM at Work -- STOKLAIM Operational Semantics -- Rate Transition Systems -- STOKLAIM: RTS-based Semantics -- MoSL: Mobile Stochastic Logic -- JSAM: Java Stochastic Model-Checker -- Leader Election in StoKlaim -- As far as it can -- Asynchronous Leader Election -- Concluding Remarks -- References -- Stochastic Path Properties of Distributed Systems: the CSL<sup>TA</sup> Approach -- Introduction -- The Reference Formalisms for System Definition -- The Formalism for Path Property Definition; CSL<sup>TA</sup> -- CSL<sup>TA</sup> at work: a Fault-Tolerant Node -- Literature Comparison -- Summary and Final Remarks -- References -- Evaluation -- Failure Propagation in Load-Sharing Complex Systems -- Introduction -- Building Blocks -- Coarse-grained Modeling -- Abstract Mechanisms Impacting the Failure Occurrence -- Parametric Distributions Revisited -- Exponential Distribution -- Weibull Distribution -- Lognormal Distribution -- Other Distributions -- Sand Box for Distributed Failures -- Failure Modes -- LOS and Stress Rupture -- Summary -- References -- Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions -- Introduction -- Phase Type and Matrix Exponential Distributions -- Bernstein Polynomials and Expolynomials -- Application of BEs to Distribution Fitting -- Application of BEs to Transient Probabilities -- Conclusions -- References -- Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus -- Introduction -- Basic Network Calculus Modeling: Per-flow Scheduling -- Service Curve -- Arrival Curve -- Delay and Backlog Bounds -- Numerical Examples -- Advanced Network Calculus Modeling: Aggregate Multiplexing -- Aggregate-multiplexing Schemes -- Tandem Systems Traversed by Several Flows -- Model -- Loss of the Tightness -- Separated-flow Analysis -- Mathematical Programming Approach -- Blind Multiplexing -- FIFO Multiplexing -- Related Work -- Numerical Results -- Conclusions -- References -- Cloud Evaluation: Benchmarking and Monitoring -- Introduction -- Benchmarking -- Benchamrking State of Art -- Benchmarking Big Data Services -- Benchmarking with mOSAIC -- Monitoring -- Monitoring Problem Scenarios -- Monitoring Problem Analysis -- Monitoring State of the Art -- Cloud Monitoring in mOSAIC's Cloud Agency -- Conclusions -- References -- Multiformalism and Multisolution Strategies for Systems Performance -- Introduction -- Multiformalism and Multisolution -- Choosing the Right Strategy -- Learning by the Experience -- Distributed Transaction Processing -- Service Oriented Architectures -- Supervision of Distributed Information Systems -- Big Data Architectures -- Degradation for Software Aging -- Product Forms Exploitation -- Conclusions and Perspectives -- References -- Optimization and Sustainability -- Quantitative Assessment of Distributed Networks Through Hybrid Stochastic Modeling -- Introduction -- Modeling of Complex Systems -- Classical Non State-space Models -- State-space Models -- High Level Formalisms -- Stochastic Activity Networks -- Adaptive Transition Systems -- Analytical Solution vs Simulation -- Performance Evaluation of KNXnet/IP Networks Flow Control Mechanism -- Overview of KNX and KNXnet/IP -- The KNXnet/IP Flow Control Mechanism -- Modeling Hypotheses and Motivation for Using the SAN Formalism -- KNX TP1 Communication Device Model -- KNXnet/IP Router Model -- Results -- Model Settings -- Analysis of Information Flow from Subnet₁ to Subnet<sub>b</sub> -- LCII: On-line Risk Estimation of A Power-Telco Network -- Power Network -- Stochastic model of the PN -- Simulation of the Power Network -- TELCO sites and backup batteries -- Stochastic model of the batteries -- The online Risk Estimator -- Conclusion -- References -- Design of IT Infrastructures of Data Centers: An Approach Based on Business and Technical Metrics -- Introduction -- Fundamental Concepts -- Dependability -- Reliability Importance -- Factorial Experimental Design -- Hierarchical Clustering -- Business-Oriented Models -- Infrastructure Cost -- Infrastructure Revenue -- Penalty -- Profit -- Additional Profit per Monetary Unit -- Data Center Infrastructure Models -- Modeling Strategy -- Dependability Models -- Methodology -- Phase I: Problem Analysis -- Phase II: System Modeling -- Phase III: Design Selection -- Case Study - Data Center Design -- Base Architectures -- Modeling and Evaluation -- Conclusion -- References -- Software Rejuvenation and its Application in Distributed Systems -- Introduction -- Software rejuvenation scheduling classification -- Software rejuvenation granularity classification -- Physical node granularity rejuvenation -- Operating system granularity rejuvenation -- Virtual machine monitor/hypervisor rejuvenation granularity -- Virtual machine rejuvenation granularity -- Application rejuvenation granularity -- Application component rejuvenation granularity -- Methods, policies and metrics of software rejuvenation -- Software rejuvenation in distributed systems -- Summary -- References -- Machine Learning Based Dynamic Reconfiguration of Distributed Data Management Systems -- Introduction -- Methodologies -- ML Approaches -- Brief overview of Neural Networks -- System Architecture and Performance Prediction Scheme -- Model of the Data Grid Platform -- Objective Functions -- Platform Reconfiguration -- Experimentation -- Infinispan Overview -- Experimental Settings -- Results -- Conclusions -- References -- Going Green with the Networked Cloud: Methodologies and Assessment -- Introduction -- Modeling of Data Centre Power Consumption -- CPU Power Dissipation -- Server Power Consumption -- Power Consumption in a Networked Environment -- Energy Efficiency in the Cloud -- Energy conservation techniques for servers -- Power conservation techniques for networks -- Performance Analysis Methodologies and Tools -- Evaluation Metrics -- Performance Analysis Tools and Settings -- Case Study: Performance Evaluation of Energy Aware Resource Allocation in the Cloud -- Experimentation Setup -- Numerical Results -- Summary -- References
|
| Abstract
|
:
|
"Distributed systems employed in critical infrastructures must fulfill dependability, timeliness, and performance specifications. Since these systems most often operate in an unpredictable environment, their design and maintenance require quantitative evaluation of deterministic and probabilistic timed models. This need gave birth to an abundant literature devoted to formal modeling languages combined with analytical and simulative solution techniques The aim of the book is to provide an overview of techniques and methodologies dealing with such specific issues in the context of distributed systems and covering aspects such as performance evaluation, reliability/availability, energy efficiency, scalability, and sustainability. Specifically, techniques for checking and verifying if and how a distributed system satisfies the requirements, as well as how to properly evaluate non-functional aspects, or how to optimize the overall behavior of the system, are all discussed in the book. The scope has been selected to provide a thorough coverage on issues, models. and techniques relating to validation, evaluation and optimization of distributed systems. The key objective of this book is to help to bridge the gaps between modeling theory and the practice in distributed systems through specific examples."--
|
| Subject
|
:
|
Computer systems-- Evaluation-- Mathematics
|
| Subject
|
:
|
System analysis-- Mathematics.
|
| Subject
|
:
|
Electronic data processing-- Distributed processing-- Mathematical models.
|
| Subject
|
:
|
Quantitative research.
|
| Dewey Classification
|
:
|
004.029
|
| LC Classification
|
:
|
QA76.9.E94
|
| Added Entry
|
:
|
Bruneo, Dario.
|
|
|
:
|
Distefano, Salvatore,1962-
|
| Added Entry
|
:
|
Ohio Library and Information Network.
|
| |