Modellwelten für diskrete, ereignisorientierte Systeme und ihre Analyse - eine Übersicht

Spezialvorlesung (Nr 42763) im Wintersemester 2004/05

Vorlesung : GB V, R 420, donnerstags, 8.30-10.00 Uhr Start: 14.10.04

Thema:

Für viele reale Systeme wird anhand von Modellen geprüft, ob Anforderungen an die Funktionsfähigkeit, Performance, Zuverlässigkeit, Verfügbarkeit, in jüngster Zeit auch vielfach an die Security und Survivability erfüllt werden. Für die modellgestützte Bewertung von Systemen werden in dieser Veranstaltung unterschiedliche Beschreibungssprachen und Analysetechniken vorgestellt, wie sie in den verschiedenen Anwendungsgebieten, der Informatik, der Telekommunikation, der Logistik, der Automatisierungs- und Steuerungstechnik eingesetzt werden. Die gemeinsame formale Basis ist ein Zustandsübergangssystem (discrete event dynamic system) von der sich auf einfache Art und Weise ein Überblick sowohl über Modellierungsnotationen als auch über Analysemethoden gewinnen läßt.

Literatur

Ho,Y., Scanning the Issue: Dynamics of Discrete Event Systems, Proceedings of the IEEE, Vol 77, No 1, Januar 1989
Arnold,A., Finite Transition Systems: Semantics of Communicating Systems, int. Series on Computer Science, Prentice Hall, 1994. (ZB : Sn 19907)
Hogrefe, D., Estelle, Lotos und SDL Standard-Spezifikationssprachen für verteilte Systeme, Springer-Compass, 1989 (ZB : Sn 17634)
Bause, F., Kritzinger, P.S., Stochastic Petri Nets - An Introduction to the Theory , Advanced Studies in Computer Science, Friedr. Vieweg & Sohn Verlag, Braunschweig/Wiesbaden (Germany), 1996.
Sreenivas,R.S., Krogh,B.H., On Condition/Event Systems with Discrete State Realization, Discrete Event Dynamic Systems: Theory and Applications 1, 1991: 209-236.
Kuhn, A. u.a.: Prozeßketten in der Logistik. Verlag Praxiswissen, Dortmund 1995.

weitere Literatur in der Vorlesung