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

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

FacebookTwitterLinkedInGoogle

Link: https://sites.google.com/view/csmml2021/
 
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.

_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

_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

_Submissions_

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

FM 2021   Formal Methods 2021
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
MODELS 2021   ACM/IEEE 24th International Conference on Model Driven Engineering Languages and Systems
MoDRE 2019   9th International Workshop on Model-Driven Requirements Engineering (MoDRE)
EMNLP 2021   Conference on Empirical Methods in Natural Language Processing
CALCO 2021    9th International Conference on  Algebra and Coalgebra in Computer Science
IJCNN 2021   International Joint Conference on Neural Network
ICBDB 2021   2021 3rd International Conference on Big Data and Blockchain(ICBDB 2021)
FMICS 2021   Formal Methods for Industrial Critical Systems
FMAS 2021   Third Workshop on Formal Methods for Autonomous Systems