Formal verification of UML-modeled machine controls

Programmable logic controllers (PLCs) are applied in a wide field of application and, especially, for safety-critical controls. Thus, there is the demand for high reliability of PLCs. Moreover, the increasing complexity of the PLC programs and the short time-to-market are hard to cope with. Formal v...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Klotz, T., Fordran, E., Straube, B., Haufe, J.
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automatic control Control systems Design automation Formal verification Machine control Medical control systems Power system modeling Programmable control Safety Unified modeling language
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!