Model library for the simulation of logic controls

IndustrialControlSystems library has been created for duplicating and modeling the industrial controllers to use in the Modelica software in an efficient way. There are some logical functions in that library but there is no some of them therefore, the aim of this thesis is to create a model library which can be used in IndustrialControlSystems. It was decided to design Flip-Flops, Counters and the Sequencer based on the IEC standards with using the OpenModelica Connection Editor (OMEdit) tool in that model library. Before designing, the literature research has been made for the IEC standard, PLC (Programmable Logic Control) libraries, Modelica libraries and the logical functions that how to implement in model library. After literature research, the logical functions have been designed based on the IEC standards furthermore, each logical function has been tested and simulated in the model library. The results have been compared with the truth tables of the logical functions and the graphical signals of the outputs of the logical functions.

La libreria IndustrialControlSystems è stata creata per replicare e modellare i controller industriali da utilizzare nel software Modelica in modo efficiente. Ci sono alcune funzioni logiche in quella libreria, ma alcune mancano; quindi lo scopo di questa tesi è creare una libreria di modelli che possa essere utilizzata in IndustrialControlSystems. È stato deciso di progettare flip-flop, contatori e sequencer basati sugli standard IEC utilizzando lo strumento OpenModelica Connection Editor (OMEdit). Prima di progettare la libreria, è stata fatta una ricerca bibliografica per le librerie IEC standard, PLC (controllore logico programmabile), librerie Modelica e le funzioni logiche che come implementare nella libreria modello. Dopo tale ricerca lin letteratura, le funzioni logiche sono state progettate in base agli standard IEC, inoltre ogni funzione logica è stata testata e simulata nella libreria del modello. I risultati sono stati confrontati con le tabelle di verità delle funzioni logiche e i segnali grafici degli output delle funzioni logiche.