Menu Close

At the moment I am working on my Ph.D. thesis which is "The Verification Problem of Industrial Embedded System in Real-Time".
The study includes three main parts:
• Automation of industrial lines and involvement of Embedded Systems in industrial automation;
• Verification of industrial systems;
• Verification of industrial embedded systems;
Despite there are methods of verification of industrial systems that are oriented on technical verification of system, there are also methods of verification of Embedded Systems that are oriented on software and interface designs verification, innovation of this topic is that it unites both technical and software verification to create a database of errors, based on which the automated machine can use the software code to eliminate the errors in process of the automated line (without of operator helping). I will use human-machine interfaces (HMI) for monitoring these systems in real-time.