Visitor Counter

393126

Program Committee

Lothar Breuer
Peter Buchholz
Hans Daduna
Klaus Echtle
Bernhard Fechner
Markus Fidler
Reinhard German
Gerhard Haßlinger
Boudewijn Haverkort
Holger Hermanns
Joost-Pieter Katoen
Peter Kemper
Jörg Keller
Udo Krieger
Wolfram Lautenschläger
Axel Lehmann
Ralf Lehnert
Erik Maehle
Hermann de Meer
Michael Menth
Peter Reichl
Johannes Riedl
Francesca Saglietti
Jens Schmitt
Markus Siegle
Peter Sobe
Helena Szczerbicka
Kurt Tutschku
Oliver Waldhorst
Max Walter
Verena Wolf
Bernd Wolfinger
Katinka Wolter
Armin Zimmermann

Cooperating Partners

Society for Informatics
ITG
Technical Committee Measurment, Modelling and Evaluation of Computing Systems
DFT
Springer
TAO

The Registration is now open

 

17th International GI/ITG Conference on

Measurement, Modelling and Evaluation of Computing Systems” and “Dependability and Fault-Tolerance”

 

MMB & DFT 2014

 

March 157 - ­ 19, 2014,

Bamberg (Germany)

 

Organized by GI/ITG Technical Committees on “Measurement, Modelling and Evaluation of Computing Systems (MMB)” and “Dependability and Fault-Tolerance (DFT)”

 

The technical committees MMB and DFT are the main fora in Germany covering all aspects of performance and dependability evaluation of systems including networks, computer architectures, distributed systems, workflow systems, software, fault-tolerant and secure systems. In 2014 both committees join forces in a common international conference MMB & DFT 2014. In addition to its scientific programme on performance and dependability evaluation techniques, it will comprise invited talks, tool presentations, state-of-the-art tutorials, and workshops focusing on hot topics.

 

Topics of MMB & DFT 2014 include:

 

Models and Methods

  • Quantitative evaluation techniques related to performance, dependability, security, survivability, real-time constraints, cost, energy-efficiency and combined aspects like performance-security tradeoffs
  • Fault-tolerant system and network design, dependable computing, redundancy techniques, fault modelling, fault injection
  • Testing, measuring, benchmarking and monitoring of systems and networks
  • Queueing systems, stochastic Petri nets, stochastic process algebras, Markov chains, non-Markovian models, fluid models, network calculus
  • Simulation techniques including rare events, parallel and distributed simulation
  • Combination of stochastic modeling and formal methods in engineering
  • Model checking and theorem proving in model-driven software development
  • Network economics, accounting, tariffing

 

Applications

  • Computer and software architectures, cloud computing, organic computing, pervasive and ubiquitous computing, adaptive and self-organizing systems, embedded systems, sensor systems
  • Fault-tolerant systems and networks, safety-oriented and security-oriented architectures, redundancy techniques
  • Communication networks including access, backbone and optical networks, high-speed switching, software-defined networking, mobile and wireless networks, sensor networks, car communication, traffic engineering, network planning and optimization
  • Peer-to-peer, overlay and information-centric networks, web-based systems, multimedia systems
  • Complex networks, social networks, power-law and scale-invariant systems, biochemical reaction systems
  • Green IT, energy-efficient systems, future smart energy networks
  • Workflow and logistic systems, traffic and transportation systems

 

Tools and Case Studies in all Areas of Application

 

Sponsors

Centron Insius St.Erhard Grossmann