June 21, 2021

CSMML Workshop:

Control Software: Methods, Models, and Languages

in the framework of MEDI 2021

[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 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

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


Industrial partners