Friedrich-Alexander-Universität UnivisEnglish FAU-Logo
Techn. Fakultät Willkommen am Department Informatik FAU-Logo
Logo IMMD
Lehrstuhl für Informatik 4
MOSEL
Projektbeschreibung
Veröffentlichungen
Projektbeteiligte und Kontakt
MOSEL Herunterladen
Department Informatik  >  Informatik 4  >  Forschung  >  MOSEL

MOSEL

Modeling, Specification and Evaluation Language

MOSEL ist eine neue, ausdrucksstarke Spezifikationssprache für die Leistungs- und Zuverlässigkeitsbewertung von Computer-, Kommunikations- und Fertigungssystemen. Die Spezifikationssprache ist der zentrale Bestandteil der MOSEL Modellierungsumgebung. Nach der Spezifikation des Systems mit MOSEL führt die Modellierungsumgebung automatisch die zur Leistungs- und Zuverlässigkeitsbewertung nötigen Schritte durch. Die Ergebnisse der Analyse werden sowohl in textueller als auch in graphischer Form aufbereitet. Zum Betrachten der Graphiken kommt das in die MOSEL-Modellierungsumgebung integrierte Dienstprogramm IGL zum Einsatz.


[*] Projektbeschreibung [*] Projektbeteiligte und Kontakt
[*] Veröffentlichungen [*] MOSEL Herunterladen
  Impressum   Datenschutz Stand: 2003-06-12 11:14   Ba