A framework for runtime verification of industrial process control systems

Autor: Seppo Sierla, Tommi Karhela, Tuomas Miettinen, Roope Savolainen, Valeriy Vyatkin

Publikováno v: INDIN
Savolainen, R, Sierla, S, Karhela, T, Miettinen, T & Vyatkin, V 2017, A framework for runtime verification of industrial process control systems . in IEEE 15th International Conference on Industrial Informatics, INDIN 2017 ., 8104856, IEEE Institute of Electrical and Electronic Engineers, IEEE International Conference on Industrial Informatics (INDIN), vol. 15, pp. 687-694, IEEE 15th International Conference on Industrial Informatics, INDIN, Emden, Germany, 24/07/17 . https://doi.org/10.1109/INDIN.2017.8104856

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

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6be0b2e666dbfed230c1ebe64f14a810
https://doi.org/10.1109/INDIN.2017.8104856