Modellierung der Dynamik einer Batch-Anlage
Engineering komplexer Automatisierungssysteme. Braunschweig. 2001 S. 57 - 74
Erscheinungsjahr: 2001
Publikationstyp: Buchbeitrag (Konferenzbeitrag)
Sprache: Deutsch
Inhaltszusammenfassung
Systematische Ansätze zur Verifikation technischer Systeme und zur Codegenerierung verlangen präzise Modelle der untersuchten Objekte. Neben der Dynamik solcher technischer Anlagen spielen die in ihnen zu realisierenden Prozesse eine zentrale Rolle. In dem vorliegenden Beitrag wird anhand eines umfangreichen Beispiels die Modellierung einer verfahrenstechnischen Analge unter Verwendung einer Logik des Handelns und Erweiterter Zeitstempelnetze vorgestellt. Das Ergebnis wird evaluiert und Mögli...Systematische Ansätze zur Verifikation technischer Systeme und zur Codegenerierung verlangen präzise Modelle der untersuchten Objekte. Neben der Dynamik solcher technischer Anlagen spielen die in ihnen zu realisierenden Prozesse eine zentrale Rolle. In dem vorliegenden Beitrag wird anhand eines umfangreichen Beispiels die Modellierung einer verfahrenstechnischen Analge unter Verwendung einer Logik des Handelns und Erweiterter Zeitstempelnetze vorgestellt. Das Ergebnis wird evaluiert und Möglichkeiten f ür seine Weiterverwendung werden diskutiert.» weiterlesen» einklappen
Klassifikation
DFG Fachgebiet:
Informatik
DDC Sachgruppe:
Informatik
