MENÜ MENÜ  

cover

Symbolische Erreichbarkeitsanalyse und automatische Implementierung strukturierter, zeitbewerteter Steuerungsmodelle

Hallenser Schriften zur Automatisierungstechnik, Bd. 3

Jan Thieme

ISBN 978-3-8325-0014-6
235 pages, year of publication: 2002
price: 40.50 €
Bei der Automatisierung von Produktionsanlagen der Fertigungs- oder Verfahrenstechnik kommen programmierbare Steuerungen zum Einsatz. Die korrekte Funktion einer solchen Steuerung entscheidet maßgeblich darüber, ob das automatisierte System spezifikationsgemäß arbeitet oder nicht. Aus dieser Tatsache erwächst das Bedürfnis, Nachweise über die korrekte Arbeitsweise von Steuerungen zu erbringen. Mit formalen, auf mathematischen Modellen basierenden Verifikationsverfahren lassen sich diese Nachweise führen. Im Mittelpunkt der Arbeit stehen die Definition einer Modellform und die Entwicklung von Methoden zur Umsetzung eines derartigen Verifikationsvorhabens.

Keywords:
  • Hierarchische Systemmodellierung
  • Zeitbewertete Steuerungsmodelle
  • Symbolische Analyse
  • Code-Generierung
  • Funktionsbausteine

BUYING OPTIONS

40.50 €
only 2 in stock