Model-based automated testing of critical PLC programs

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.


Published in:
2013 11th IEEE International Conference on Industrial Informatics (INDIN), 722-727
Presented at:
2013 IEEE 11th International Conference on Industrial Informatics (INDIN), Bochum, Germany, 29-31 July, 2013
Year:
2013
Publisher:
IEEE
Keywords:
Laboratories:




 Record created 2014-02-04, last modified 2018-03-17


Rate this document:

Rate this document:
1
2
3
 
(Not yet reviewed)