Performance and dependability modeling with Möbius

Authors:
Shravan Gaonkar;Ken Keefe;Ruth Lamprecht;Eric Rozier;Peter Kemper;William H. Sanders
Affiliations:
University of Illinois, Urbana, IL;University of Illinois, Urbana, IL;College of William and Mary, Williamsburg, VA;University of Illinois, Urbana, IL;College of William and Mary, Williamsburg, VA;University of Illinois, Urbana, IL
Venue:
ACM SIGMETRICS Performance Evaluation Review
Year:
2009

Citing 5
Cited 4

The Möbius Framework and Its Implementation

IEEE Transactions on Software Engineering
Integrated Frameworks for Multi-Level and Multi-Formalism Modeling

PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
The Möbius Modeling Tool

PNPM '01 Proceedings of the 9th international Workshop on Petri Nets and Performance Models (PNPM'01)
The Möbius state-level abstract functional interface

Performance Evaluation - Modelling techniques and tools for computer performance evaluation
Automated Trace Analysis of Discrete-Event System Models

IEEE Transactions on Software Engineering

Modeling QoS in P2P file-sharing with benign and malicious peers by stochastic activity networks

CCNC'10 Proceedings of the 7th IEEE conference on Consumer communications and networking conference
A comparative study of stochastic analysis techniques

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Parallel file system measurement and modeling using colored petri nets

ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Understanding the quality of experience in modern distributed interactive multimedia applications in presence of failures: metrics and analysis

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

Möbius is a multi-paradigm multi-solution framework to describe and analyze stochastic models of discrete-event dynamic systems. Möbius is widely used in academia and industry for the performance and dependability assessment of technical systems. It comes with a design of experiments as well as automated support for distributing a series of simulation experiments over a network to support the exploration of design spaces for real-world applications. In addition to that, the Möbius simulator interfaces with Traviando, a separate trace analyzer and visualizer that helps to investigate the details of a complex model for validation, verification, and debugging purposes. In this paper, we outline the development of a multi-formalism model of a Lustre-like file system, the analysis of its detailed simulated behavior, and the results obtained from a simulation study.