Automatic timed automata extraction from ladder programs for model-based analysis of control systems

Control systems are used to produce a certain result with little or no human supervision. The principal aim of such systems is to ensure that resources are used efficiently and that the desired product quality is achieved. Moreover, for critical systems such as oil and gas plants, it is important to...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	de Vasconcelos Oliveira, K, da Silva, L D, Perkusich, A, Lima, A M N, Gorgônio, K
Format:	Tagungsbericht
Sprache:	eng
Schlagworte:	Automata Control systems Safety Software Synchronization Testing XML
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!