Ivan M. Chernenko- postgraduate student at Institute of Automation and Electrometry
Ivan M. Chernenko
- postgraduate student at Institute of Automation and Electrometry
About
8
Publications
59
Reads
How we measure 'reads'
A 'read' is counted each time someone views a publication summary (such as the title, abstract, and list of authors), clicks on a figure, or views or downloads the full-text. Learn more
11
Citations
Introduction
Skills and Expertise
Current institution
Publications
Publications (8)
Process-oriented programming is an approach to developing control software in which a program is defined as a set of interacting processes. PoST is a process-oriented language, which is an extension of the ST language from the IEC 61131-3 standard. In the field of control software development, formal verification plays an important role due to the...
The requirements engineering process is primarily useful for complex software that controls industrial processes. Requirements for control software suppose a description of the change in input and output signals over time, which encourages the elaborations of temporal requirements. A verification method that allows one to obtain a certified proof o...
