|
|
|
|
Beschreibung |
|
KursbeschreibungIn der Prozeßautomatisierung werden Prozeßrechensysteme im Echtzeitbetrieb zur Automatisierung technischer Prozesse eingesetzt. Der Kursteil "Echtzeitsysteme I" ist Fragen des grundsätzlichen strukturellen, geräte- und programmtechnischen Aufbaus von Prozeßautomatisierungssystemen gewidmet. Dieser zweite Kursteil vertieft nun die Betrachtungen von Feldbussen, Echtzeitbetriebssystemen und Vorgehensweisen zur Erstellung von Software für die Prozeßautomatisierung. Bei letztgenanntem Themengebiet liegt der Schwerpunkt nicht auf der Echtzeitprogrammierung im engeren Sinne, sondern auf Anforderungsanalyse sowie Entwurf und Strukturierung automatisierungstechnischer Software, wozu auch graphische Methoden vorgestellt werden. Da zur Programmverifikation zunehmend formale Methoden an Bedeutung gewinnen, wird in dieses Gebiet unter besonderer Berücksichtigung von Petri-Netzen und temporaler Logik eingeführt. Weiterhin wird eine Übersicht zu aktiven und Echtzeitdatenbanken gegeben, die im Rahmen datenintensiver Automatisierungsanwendungen von Interesse sind. Eine Kurseinheit stellt die terrestrische und satellitengestützte Zeitsignalverbreitung über Funk und rechnerinterne Zeitverwaltung eingehend dar. |
|
|
