Method for automatic translation of ladder logic to a SMT-based model checker in a network

The present invention relates to a method for automatic translation of ladder logic to a SMT-based model checker in a network comprising defining (10) the topology of the network as an enriched network topology based on packets exchanged in the network, extracting (20) a program from the packets rel...

Ausführliche Beschreibung

Bibliographische Detailangaben

Hauptverfasser:	Bruttomesso, Roberto, Di Pinto, Alessandro, Carullo, Moreno, Carcano, Andrea
Format:	Patent
Sprache:	eng
Schlagworte:	CONTROL OR REGULATING SYSTEMS IN GENERAL CONTROLLING FUNCTIONAL ELEMENTS OF SUCH SYSTEMS MONITORING OR TESTING ARRANGEMENTS FOR SUCH SYSTEMS ORELEMENTS PHYSICS REGULATING
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!