Skip to main content
  • Conference proceedings
  • © 2012

Measurement, Modeling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

16th International GI/ITG Conference, MMB & DFT 2012, Kaiserslautern, Germany, March 19-21, 2012, Proceedings

Editors:

  • Fast track conference proceedings

  • Unique visibility

  • State of the art research

Conference proceedings info: MMB&DFT 2012.

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (26 papers)

  1. Front Matter

  2. Full Papers

    1. Software Reliability Testing Covering Subsystem Interactions

      • Matthias Meitner, Francesca Saglietti
      Pages 46-60
    2. A Calculus for SLA Delay Properties

      • Sebastian Vastag
      Pages 76-90
    3. Verifying Worst Case Delays in Controller Area Network

      • Nikola Ivkovic, Dario Kresic, Kai-Steffen Hielscher, Reinhard German
      Pages 91-105
    4. Lifetime Improvement by Battery Scheduling

      • Marijn R. Jongerden, Boudewijn R. Haverkort
      Pages 106-120
    5. Probabilistic CSP: Preserving the Laws via Restricted Schedulers

      • Sonja Georgievska, Suzana Andova
      Pages 136-150
    6. Heuristics for Probabilistic Timed Automata with Abstraction Refinement

      • Luis María Ferrer Fioriti, Holger Hermanns
      Pages 151-165
    7. Simulative and Analytical Evaluation for ASD-Based Embedded Software

      • Ramin Sadre, Anne Remke, Sjors Hettinga, Boudewijn Haverkort
      Pages 166-181
    8. Reducing Channel Zapping Delay in WiMAX-Based IPTV Systems

      • Alireza Abdollahpouri, Bernd E. Wolfinger
      Pages 182-196
    9. Business Driven BCM SLA Translation for Service Oriented Systems

      • Ulrich Winkler, Wasif Gilani, Alan Marshall
      Pages 206-220
    10. Boosting Design Space Explorations with Existing or Automatically Learned Knowledge

      • Ralf Jahr, Horia Calborean, Lucian Vintan, Theo Ungerer
      Pages 221-235
  3. Tool Papers

    1. IBPM: An Open-Source-Based Framework for InifiniBand Performance Monitoring

      • Michael Hoefling, Michael Menth, Christian Kniep, Marcus Camen
      Pages 236-239
    2. A Workbench for Internet Traffic Analysis

      • Philipp M. Eittenberger, Udo R. Krieger
      Pages 240-243
    3. A Modelling and Analysis Environment for LARES

      • Alexander Gouberman, Martin Riedl, Johann Schuster, Markus Siegle
      Pages 244-248

Other Volumes

  1. Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance

About this book

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.

Keywords

  • SOA
  • genetic algorithm
  • model checking
  • multi-objective optimization
  • stochastic modeling

Editors and Affiliations

  • disco - Distributed Computer Systems Lab, Computer Science Department, University of Kaiserslautern, Kaiserslautern, Germany

    Jens B. Schmitt

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (Canada)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions