posted by user: ngaranina || 1375 views || tracked by 2 users: [display]

CSMML 2021 : Control Software: Methods, Models, and Languages


When Jun 21, 2021 - Jun 21, 2021
Where Tallinn, Estonia
Abstract Registration Due Apr 12, 2021
Submission Deadline Apr 19, 2021
Notification Due May 3, 2021
Final Version Due Jun 9, 2021
Categories    formal methods   control systems   DSL   requirements engineering

Call For Papers

_Motivation and Scope_

The increasing complexity of control systems used in our everyday life requires a reassessment of the design and development tools. Incorrect behavior and/or lack of robustness of control systems may lead to an unacceptable loss of funds or even human life. Since behavior of control systems is specified in software, the study of control software is of great interest.
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 application of formal methods and domain-specific languages to improve the quality of industrial control software.


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

_Panel Discussion_

We organize the discussion on topic “The use of languages and formal methods to improve the quality of cyber-physical systems: what should we do to meet the Industry 4.0 Challenge?”. The panelists will be announced later.

_Keynote speakers_

• James H. Christensen (Holobloc Inc., USA)

_Workshop Chairs_

• Vladimir Zyubin, Institute of Automation and Electrometry SB RAS, Russia
• Sergey Staroletov, Polzunov Altai State Technical University, Russia
• Natalia Garanina, A.P. Ershov Institute of Informatics Systems SB RAS, Russia

_Program Committee_

• Igor Anureev, A.P. Ershov Institute of Informatics Systems SB RAS, Russia
• Thomas Baar, Hochschule für Technik und Wirtschaft (HTW), Germany
• Sergei Gorlatch, University of Muenster, Germany
• Damas Gruska, Comenius University in Bratislava, Slovakia
• Paula Herber, University of Muenster, Germany
• Dmitry Koznov, St Petersburg University, Russia
• Alexey Lisitsa, University of Liverpool, Great Britain
• Alexandr Naumchev, Innopolis University, Russia
• Horst Schulte, Hochschule für Technik und Wirtschaft (HTW), Germany
• Nikolay Shilov, Innopolis University, Russia
• Vassil Todorov, Université Paris-Saclay, CNRS, CentraleSupélec, LRI, Orsay, France
• Valeriy Vyatkin, Aalto University, Finland
• Vladimir Zakharov, Lomonosov Moscow State University, Russia


CSMML 2021 invites papers in two categories. Submission guidelines for each category of paper:
• Regular research papers: contributions should describe original work (up to 14 pages including all text, figures, references and appendices).
• Short papers: Research in progress, tools presentations, and new ideas (6 - 8 pages including all text, figures, references and appendices).

Each submitted paper must be original, unpublished and not submitted elsewhere. Contributions should be written in English and be prepared using Springer’s Lecture Notes in Computer Science (LNCS) format. Submitted papers will be carefully evaluated by at least three reviewers. Submissions must be in PDF format and should be made using the CSMML 2021 Easychair site. All accepted workshop papers will be published by Springer in "Communications in Computer and Information Science". The best papers will be selected for a special issue.

_Important dates_

Abstract submission: April 12, 2021 *Extended*
Paper submission: April 19, 2021 *Extended*
Acceptance notification: May 3, 2021
Camera ready: June 9, 2021

Related Resources

SI DMCM 2023   SPECIAL ISSUE on Dynamic Modeling and Control methods for the Nonlinear system using Artificial Mathematical Intelligence
CIOS 2023   International Conference on Cloud, IoT and Security
ESMMDS 2023   Enhanced Sampling Methods for Molecular Dynamics Simulations
BIOS 2023   9th International Conference on Bioinformatics & Biosciences
COORDINATION 2023   25th International Conference on Coordination Models and Languages
CCSIT 2023   13th International Conference on Computer Science and Information Technology
MODELS 2023   ACM/IEEE 26th International Conference on Model-Driven Engineering Languages and Systems
KI 2023   46th German Conference on Artificial Intelligence
PROLE 2023   XXII Jornadas sobre Programación y Lenguajes
FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems