Embedded Files
[Tallinn, Estonia / Online]
The purpose
The purpose of this workshop is to gather academicians as well as industrial professionals involved in development of control software in order to exchange best practices in modeling, specification and verification. A strong focus will be given on the application of formal methods and domain-specific languages to improve the quality of industrial control software.
The purpose of this workshop is to gather academicians as well as industrial professionals involved in development of control software in order to exchange best practices in modeling, specification and verification. A strong focus will be given on the application of formal methods and domain-specific languages to improve the quality of industrial control software.
The list of workshop topics
The topics of interest of the workshop include, but are not limited to :
Formal specification and verification of control software
Domain specific languages for control software
Process-oriented programming
Elaboration of functional and non-functional requirements for control systems
The usage of ontologies in control systems domain
Model-based verification and testing methods as applied to control software
Application of test-driven development methods in control domain
Deductive methods to prove properties of control software
Case studies, applications and experimentation on control plants
Cyber-physical systems and Industry 4.0 in general
Methodologies and tools for design and development of control industrial applications
Keynote speakers
James H. Christensen, Holobloc Inc., USA
PC chairs
Head of the Laboratory of Cyber-Physical Systems, Institute of Automation and Electrometry SB RAS
Senior Researcher, Laboratory of Theoretical Programming, A.P. Ershov Institute of Informatics Systems
Associate Professor, Department of Applied Mathematics, Polzunov Altai State Technical University
Organizers
Industrial partners
Contacts
Vladimir Zyubin, zyubin.csmml2021@gmail.com
Sergey Staroletov, serg_soft@mail.ru
Natalia Garanina, natta.garanina@gmail.com
Page updated
Google Sites
Report abuse