Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance [recurso electrónico] 16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012. Proceedings

This book constitutes the refereed proceedings of the 16th International GI/ITG Conference on Measurement, Modeling and Evaluation of Computing Systems and Dependability and Fault Tolerance, MMB & DFT 2012, held in Kaiserslautern, Germany, in March 2012. The 16 revised full papers presented together with 5 tool papers and 5 selected workshop papers were carefully reviewed and selected from 54 submissions. MMB & DFT 2012 covers diverse aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, software, fault-tolerant and secure systems. Front Matter....Pages - Availability in Large Networks: Global Characteristics from Local Unreliability Properties....Pages 1-15 Stochastic Analysis of a Finite Source Retrial Queue with Spares and Orbit Search....Pages 16-30 Bounds for Two-Terminal Network Reliability with Dependent Basic Events....Pages 31-45 Software Reliability Testing Covering Subsystem Interactions....Pages 46-60 Failure-Dependent Timing Analysis - A New Methodology for Probabilistic Worst-Case Execution Time Analysis....Pages 61-75 A Calculus for SLA Delay Properties....Pages 76-90 Verifying Worst Case Delays in Controller Area Network....Pages 91-105 Lifetime Improvement by Battery Scheduling....Pages 106-120 Weighted Probabilistic Equivalence Preserves ω -Regular Properties....Pages 121-135 Probabilistic CSP: Preserving the Laws via Restricted Schedulers....Pages 136-150 Heuristics for Probabilistic Timed Automata with Abstraction Refinement....Pages 151-165 Simulative and Analytical Evaluation for ASD-Based Embedded Software....Pages 166-181 Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems....Pages 182-196 Performance Evaluation of 10GE NICs with SR-IOV Support: I/O Virtualization and Network Stack Optimizations....Pages 197-205 Business Driven BCM SLA Translation for Service Oriented Systems....Pages 206-220 Boosting Design Space Explorations with Existing or Automatically Learned Knowledge....Pages 221-235 IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring....Pages 236-239 A Workbench for Internet Traffic Analysis....Pages 240-243 A Modelling and Analysis Environment for LARES ....Pages 244-248 Simulation and Statistical Model Checking for Modestly Nondeterministic Models....Pages 249-252 UniLoG: A Unified Load Generation Tool....Pages 253-257 Non Preemptive Static Priority with Network Calculus: Enhancement....Pages 258-272 A Demand-Response Calculus with Perfect Batteries....Pages 273-287 A Formal Definition and a New Security Mechanism of Physical Unclonable Functions....Pages 288-301 Modeling and Analysis of a P2P-VoD System Based on Stochastic Network Calculus....Pages 302-316 Using NFC Phones for Proving Credentials....Pages 317-330 Back Matter....Pages -