Nicht lieferbar
Symbolische Erreichbarkeitsanalyse und automatische Implementierung strukturierter, zeitbewerteter Steuerungsmodelle
Versandkostenfrei!
Nicht lieferbar
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 Entwicklu...
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.