Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany.
MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact...

Practical Performance Modeling: Application of the MOSEL Language introduces the new and powerful performance and reliability modeling language MOSEL (MOdeling, Specification and Evaluation Language), developed at the University of Erlangen, Germany.
MOSEL facilitates the performance and reliability modeling of a computer, communication, manufacturing or workflow management system in a very intuitive and simple way. The core of MOSEL consists of constructs to specify the possible states and state transitions of the system under consideration. This specification is very compact...

Ein wichtiges Kriterium zur Beurteilung moderner Rechnersysteme und -netzwerke ist neben der Zuverlassigkeit und Benutzerfreundlichkeit vor allem die Leistung (Performance). Leistungsgrossen aus Anwendersieht sind z.B. die Antwortzeit und die Bearbeitungszeit bestimmter Aufgaben, aus Betreibersieht der Durchsatz und die Auslastung der einzelnen Rechnerkomponenten. Leistungsbewertung wird im wesentlichen beim Entwurf, bei der Auswahl und beim Thning von Rechensystemen durchgefuhrt: - Durch Vorhersage der Leistungsfahigkeit noch nicht bestehender Systeme kon nen neuartige Konzepte und...

6 An dieser Stelle sei allen gedankt, die zum Entstehen des Buches beigetragen haben. Unterlagen fur einzelne Kapitel haben uns freundlicherweise folgende Herren uberlassen: Dr. H. Dietsch, Dr. P. Eschenbacher, J. Gewalt, Dr. P. Hollezcek und DipL-Ing. T. Bonkhofer von der Firma Bayer AG Leverkusen. Der Abschnitt "Beispiele fur Echtzeitbetriebssysteme" wurde unter Mitar beit von Herrn DipL-Inf. F. Hauck verfasst. Wir danken auch Herrn DipL-Ing. G. Piesehe und seinen Kollegen von der Firma Siemens, Bereich Automa tisierungstechnik, die uns mit einem Beispiel und Informationen uber das Vorgehen...