@inproceedings{dfcd867771464fa3bf3be12fd608bdf0,
title = "A framework for runtime verification of industrial process control systems",
abstract = "Despite the significant research on automation systems verification, further work is needed on methods for the industrial scale verification of automated processes that are able to cover control software errors, sensor and actuator errors as well as design errors in the process to be controlled. In this paper, such an approach is based building on previous work on runtime verification using plant simulation models created during the plant design process. A framework for runtime verification is proposed based on keyword driven testing that is applied to the entire automated process rather than only to control software. Through the use of ontologies, the framework is made independent of any particular simulator. The approach is demonstrated with a case study from the mineral processing industry.",
keywords = "testing, process control, feeds, solid modeling, automation, ontologies, actuators, simulation runtime verification, test automation, driven testing, ISO/IEC/IEEE 29119",
author = "Roope Savolainen and Seppo Sierla and Tommi Karhela and Tuomas Miettinen and Valeriy Vyatkin",
year = "2017",
month = nov,
day = "10",
doi = "10.1109/INDIN.2017.8104856",
language = "English",
isbn = "978-1-5386-0838-8",
series = "IEEE International Conference on Industrial Informatics (INDIN)",
publisher = "IEEE Institute of Electrical and Electronic Engineers",
pages = "687--694",
booktitle = "IEEE 15th International Conference on Industrial Informatics, INDIN 2017",
address = "United States",
note = "IEEE 15th International Conference on Industrial Informatics, INDIN, INDIN ; Conference date: 24-07-2017 Through 25-07-2017",
}
