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.
Sign-in/Register to access full text options 
Free) 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a call
