TY - GEN
T1 - Model-based automated testing of critical PLC programs
AU - Adiego, Borja Fernández
AU - Viñuela, Enrique Blanco
AU - Suárez, Victor M.González
AU - Bliudze, Simon
PY - 2013/12/9
Y1 - 2013/12/9
N2 - Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model based approach which uses the BIP (Behavior, Interactions and Priorities) framework to perform automated testing of PLC programs developed with the UNICOS (UNified Industrial COntrol System) framework. This paper defines the translation procedure and rules from UNICOS to BIP which can be fully automated in order to hide the complexity of the underlying model from the control engineers. The approach is illustrated and validated through the study of a water treatment process.
AB - Testing of critical PLC (Programmable Logic Controller) programs remains a challenging task for control system engineers as it can rarely be automated. This paper proposes a model based approach which uses the BIP (Behavior, Interactions and Priorities) framework to perform automated testing of PLC programs developed with the UNICOS (UNified Industrial COntrol System) framework. This paper defines the translation procedure and rules from UNICOS to BIP which can be fully automated in order to hide the complexity of the underlying model from the control engineers. The approach is illustrated and validated through the study of a water treatment process.
U2 - 10.1109/INDIN.2013.6622973
DO - 10.1109/INDIN.2013.6622973
M3 - Conference contribution
AN - SCOPUS:84889007541
SN - 9781479907526
T3 - IEEE International Conference on Industrial Informatics (INDIN)
SP - 722
EP - 727
BT - Proceedings - 2013 11th IEEE International Conference on Industrial Informatics, INDIN 2013
T2 - 2013 11th IEEE International Conference on Industrial Informatics, INDIN 2013
Y2 - 29 July 2013 through 31 July 2013
ER -