LTS - Leistungsbewertung technischer Systeme

Die Lehrveranstaltung beschäftigt sich mit der Modellierung und Bewertung technischer Systeme, um bereits während der Entwurfsphase Vorhersagen über die Machbarkeit oder Leistungsfähigkeit einer Entwurfsidee zu machen. Typische Anwendungsgebiete sind zuverlässige / sicherheitskritische Systeme, Echtzeitsysteme, eingebettete Systeme u.a. in der Avionik oder dem Automobilbau. TeilnehmerInnen lernen, wie Systeme modelliert und analysiert bzw. simuliert werden können. Dabei werden (im Unterschied zur Regelungstechnik) diskrete stochastische Modelle wie u.a. Petri-Netze und Markov-Ketten verwendet.
Zu jedem Thema gibt es Übungen in Gruppen, für die ein vergleichbares Problem vorgerechnet bzw. gemeinsam entwickelt wird. Dabei werden Modelle aufgestellt, selbst berechnet, mit Softwarewerkzeugen modelliert und untersucht, und eine kleine Simulation selbst programmiert. Die Übungen werden nicht benotet, helfen aber für das Verständnis der Aufgaben und erleichtern so die Prüfung. Die Teilnahme ist eine gute Vorbereitung für studentische Arbeiten am FG SSE im Themenbereich modellbasierter Systementwurf bzw. TimeNET.

• Wiederholung Grundlagen (Stochastische Grundlagen, Stochastische Prozesse)
• Modelle (Markov-Ketten, stochastische Petri-Netze, farbige stochastische Petri-Netze)
• Bewertungsverfahren (numerische Analyse, Simulation, Beschleunigungsverfahren)
• Ausgewählte Anwendungsgebiete, Bewertung zuverlässiger Systeme

• Moodle-Kurs
• Modultafel