MOSEL-2 is a textual model description language for the performance and reliability modeling of computer, communication, and manufacturing systems. The modeling language is accompanied by an evaluation environment. Once a system has been specified using MOSEL-2, the evaluation environment executes the performance and reliability analysis of the model automatically. Results are collected either in a text file or can be displayed graphically with the utility IGL, which is distributed with MOSEL-2.
MOSEL-2 is developed in joint with the Ana Group of the Dept. of Computer Science 4 (Distributed Systems and Operating Systems) at the Faculty of Engineering Sciences, FAU Erlangen/Nürnberg, Germany.
The development of MOSEL-2 and MOSEL-2-based models is/was partly supported by the following projects (alphabetical order):
Further information about MOSEL-2 can be found on the former official homepage. MOSEL-2 is open-source and distributed under the GNU Public License (GPL).
The following publications are about MOSEL-2, its predecessor MOSEL, or use one of both for modeling and evaluation.
This publication material is presented to ensure timely dissemination of scholarly and technical work. Copyright and all rights therein are retained by authors or by other copyright holders. All persons copying this information are expected to adhere to the terms and constraints invoked by each author's copyright. In most cases, these works may not be reposted without the explicit permission of the copyright holder.
Please see our chair's publication database for further publications and abstracts as well as for advanced search and filtering capabilities.
