06918cam a2200769 i 4500
ocn906027939
OCoLC
20220701010828.0
m o d
cr |||||||||||
150331s2015 nju ob 001 0 eng
2015012821
DLC
eng
rda
pn
DLC
IDEBK
EBLCP
N$T
DG1
CDX
E7B
YDXCP
COO
RECBK
OCLCQ
DEBBG
K6U
961625846
962626286
9781119131144
(pdf)
1119131146
(pdf)
9781119131137
(epub)
1119131138
(epub)
9781119131151
1119131154
1118595211
(hardback)
9781118595213
(hardback)
9781118595213
(hardback)
DEBBG
BV043397672
(OCoLC)906027939
(OCoLC)961625846
(OCoLC)962626286
pcc
QA76.9.E94
COM
013000
bisacsh
COM
014000
bisacsh
COM
018000
bisacsh
COM
067000
bisacsh
COM
032000
bisacsh
COM
037000
bisacsh
COM
052000
bisacsh
004.029
23
TEC008000
bisacsh
MAIN
Quantitative assessments of distributed systems :
methodologies and techniques /
edited by Dario Bruneo and Salvatore Distefano.
Hoboken :
John Wiley and Sons, Inc.,
2015.
1 online resource.
text
txt
rdacontent
computer
n
rdamedia
online resource
nc
rdacarrier
Performability engineering series
Performability engineering series
"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."--
Provided by publisher.
Includes bibliographical references and index.
Print version record and CIP data provided by the publisher.
Half Title page; Title page; Copyright page; Preface; Part I: Verification; Chapter 1: Modeling and Verification of Distributed Systems Using Markov Decision Processes; 1.1 Introduction; 1.2 Markov Decision Processes; 1.3 Markov Decision Well-Formed Net formalism; 1.4 Case study: Peer-to-Peer Botnets; 1.5 Conclusion; Acknowledgments; Appendix A Well-Formed Net Formalism; References; Chapter 2: Quantitative Analysis of Distributed Systems in Stoklaim: A Tutorial; 2.1 Introduction; 2.2 STOKLAIM: Stochastic KLAIM; 2.3 STOKLAIM Operational Semantics; 2.4 MoSL: Mobile Stochastic Logic
2.5 jSAM: Java Stochastic Model-Checker2.6 Leader Election in STOKLAIM; 2.7 Concluding Remarks; References; Chapter 3: Stochastic Path Properties of Distributed Systems: The CSLTA Approach; 3.1 Introduction; 3.2 The Reference Formalisms for System Definition; 3.3 The Formalism for Path Property Definition: CSLTA; 3.4 CSLTA at Work: A Fault-Tolerant Node; 3.5 Literature Comparison; 3.6 Summary and Final Remarks; References; Part II: Evaluation; Chapter 4: Failure Propagation in Load-Sharing Complex Systems; 4.1 Introduction; 4.2 Building Blocks; 4.3 Sand Box for Distributed Failures
4.4 SummaryReferences; Chapter 5: Approximating Distributions and Transient Probabilities by Matrix Exponential Distributions and Functions; 5.1 Introduction; 5.2 Phase Type and Matrix Exponential Distributions; 5.3 Bernstein Polynomials and Expolynomials; 5.4 Application of BEs to Distribution Fitting; 5.5 Application of BEs to Transient Probabilities; 5.6 Conclusions; References; Chapter 6: Worst-Case Analysis of Tandem Queueing Systems Using Network Calculus; 6.1 Introduction; 6.2 Basic Network Calculus Modeling: Per-Flow Scheduling
6.3 Advanced Network Calculus Modeling: Aggregate Multiplexing6.4 Tandem Systems Traversed by Several Flows; 6.5 Mathematical Programming Approach; 6.6 Related Work; 6.7 Numerical Results; 6.8 Conclusions; References; Chapter 7: Cloud Evaluation: Benchmarking and Monitoring; 7.1 Introduction; 7.2 Benchmarking; 7.3 Benchmarking with mOSAIC; 7.4 Monitoring; 7.5 Cloud Monitoring in mOSAIC's Cloud Agency; 7.6 Conclusions; References; Chapter 8: Multiformalism and Multisolution Strategies for Systems Performance Evaluation; 8.1 Introduction; 8.2 Multiformalism and Multisolution
8.3 Choosing the Right Strategy8.4 Learning by the Experience; 8.5 Conclusions and Perspectives; References; Part III: Optimization and Sustainability; Chapter 9: Quantitative Assessment of Distributed Networks Through Hybrid Stochastic Modeling; 9.1 Introduction; 9.2 Modeling of Complex Systems; 9.3 Performance Evaluation of KNXnet/IP Networks Flow Control Mechanism; 9.4 LCII: On-Line Risk Estimation of a Power-Telco Network; 9.5 Conclusion; Acknowledgements; References; Chapter 10: Design of it Infrastructures of Data Centers: An Approach Based on Business and Technical Metrics
Computer systems
Evaluation
Mathematics.
System analysis
Mathematics.
Electronic data processing
Distributed processing
Mathematical models.
Quantitative research.
TECHNOLOGY & ENGINEERING
Electronics
General.
bisacsh
Electronic books.
Electronic books.
Bruneo, Dario.
Distefano, Salvatore.
Print version:
Quantitative assessments of distributed systems.
Hoboken : John Wiley and Sons, Inc., 2015
9781118595213
(DLC) 2015010455
Performability engineering series.
http://dx.doi.org/10.1002/9781119131151
Wiley Online Library
92
DG1
18628
18587