posted by user: ngaranina || 1195 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

iccq 2023   The Third International Conference on Code Quality
AI 2022   8th International Conference on Artificial Intelligence and Applications
FM 2023   Formal Methods
MEMOCODE 2022   20th ACM/IEEE International Symposium on Formal Methods and Models for System Design
TACAS 2023   29th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
ICBDB 2022   2022 4th International Conference on Big Data and Blockchain(ICBDB 2022)
MODELS 2022   MODELS 2022 : ACM/IEEE 25th International Conference on Model Driven Engineering Languages and Systems
OVERLAY 2022   4th Workshop on Artificial Intelligence and fOrmal VERification, Logic, Automata, and sYnthesis
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)