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.
Author(s): Hans Daduna, Lars Peter Saul (auth.), Jens B. Schmitt (eds.)
Series: Lecture Notes in Computer Science 7201
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 2012
Language: English
Pages: 331
Tags: Software Engineering; Programming Languages, Compilers, Interpreters; Computer Communication Networks; Information Systems Applications (incl. Internet); Logics and Meanings of Programs; Programming Techniques
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 -
