عنوان

Quantitative assessments of distributed systems :

(Number (ISBN

1119131138

(Number (ISBN

1119131146

(Number (ISBN

1119131154

(Number (ISBN

9781119131137

(Number (ISBN

9781119131144

(Number (ISBN

9781119131151

Erroneous ISBN

1118595211

Erroneous ISBN

9781118595213

Number

dltt

Title Proper

Quantitative assessments of distributed systems :

General Material Designation

[Book]

Other Title Information

methodologies and techniques /

First Statement of Responsibility

edited by Dario Bruneo and Salvatore Distefano

Specific Material Designation and Extent of Item

1 online resource

Series Title

Performability engineering series

Text of Note

Includes bibliographical references and index

Text of Note

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^TA Approach -- Introduction -- The Reference Formalisms for System Definition -- The Formalism for Path Property Definition; CSL^TA -- CSL^TA 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_b -- 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

0

Text of Note

"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."--

Title

Quantitative assessments of distributed systems.

International Standard Book Number

9781118595213

Computer systems-- Evaluation-- Mathematics

Electronic data processing-- Distributed processing-- Mathematical models.

Quantitative research.

System analysis-- Mathematics.

COM-- 013000

COM-- 014000

COM-- 018000

COM-- 032000

COM-- 037000

COM-- 052000

COM-- 067000

Number

Edition

Class number

Bruneo, Dario.

Distefano, Salvatore,1962-

Ohio Library and Information Network.

Date of Transaction

20160603081856.2

Cataloguing Rules (Descriptive Conventions))

pn

Electronic name

[Book]

Y