Dmitry Drozdov, postgraduate student at the Department of Computer Engineering, Polytechnic Institute, Penza State University, delivered a report at the international conference IECON 2017.

IECON 2017 is the 43rd Annual Conference of the Industrial Electronics Society which is the part of the Institute of Electrical and Electronics Engineers (IEEE). This year the flagship conference was held in Beijing (China) from October 29th to November 1st, 2017.

Dmitry Drozdov gave the presentation titled “Towards Formal Verification for Cyber-Physically Agnostic Software: a Case Study” and reviewed testing of new-generation industrial control systems for fault tolerance that are intended for use at intelligent enterprises of the future. The research work was conducted under the supervision of Professor Valeriy Vyatkin, Doctor of Engineering Science (LTU), and Professor Victor N. Dubinin, Doctor of Engineering Science (PSU).

The travel to conference was made possible by the support of Lulea University of Technology (LTU, Lulea, Sweden).