[fg-arc] CfP: International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)

[Heinrich, Robert (KASTEL)]

=================================================================================
Call for Papers:
International Workshop on Multi-Paradigm Modelling for Cyber-Physical Systems (MPM4CPS)
(co-located with the MoDELS 2024 Conference)
22-24 Septembre 2024 (Exact date to be announced)
Linz, Austria
http://msdl.uantwerpen.be/conferences/MPM4CPS/2024<http://msdl.uantwerpen.be/conferences/MPM4CPS/2022>
=================================================================================

Scope of the Workshop

Tackling the complexity involved in developing truly complex, designed systems is a topic of intense research and development. System complexity has drastically increased once software components were introduced in the form of embedded systems, controlling physical parts of the system, and has only grown in CPS, where the networking aspect of the systems and their environment are also considered. The complexity faced when engineering CPS is mostly due to the plethora of cross-disciplinary design alternatives and inter-domain interactions. To date, no unifying theory or system design methods, techniques, or tools to design, analyze, and ultimately deploy CPS exist. Individual (physical systems, software, and network) engineering disciplines offer only partial solutions and are no match for the complexity observed in CPS. Multi-Paradigm Modeling (MPM) offers one foundational framework (among others) for gluing the several disciplines together in a consistent way. The inherent complexity of CPS is broken down into different levels of abstraction and views, each expressed in appropriate modeling formalisms, and organized in specific processes. MPM offers processes and tools that can combine, couple, and integrate each of the views that compose a system.

MPM encompasses many research topics - from language engineering (for DSLs, including their (visual) syntax and semantics), to processes to support multi-view and multi-abstraction modeling, simulation for system analysis, and deployment. At the core of the MPM approach lies the notion of choosing the most appropriate formalism(s), process(es), abstraction level(s), etc. to tackle a (engineering) task at hand (designing, deploying, etc.), with the objective of reducing accidental complexity. As a governing principle, MPM promotes specificity and accuracy to better perform these tasks, while ensuring that all those components integrate as smoothly as possible.

This year, the Workshop will be organized around group discussions around the topic of appropriateness, leaving limited time (typically in the morning) for paper presentations. We welcome Vision/Expert's Opinion

Topics of Interest (including, but not limited to)

  *   Appropriateness of approaches, in terms of formalisms, processes, abstraction levels, viewpoints, etc. wrt. captured domain, context, stakeholder experts, etc. regarding definitions, metrics, relevance, methodologies, etc. related to the notion of "the most appropriate" in MPM4CPS.
  *   Foundations of domain-specific modelling, with a particular focus on classifications of the various dimensions around MPM (formalisms; processes; related activities such as V&V, deployment, calibration, etc.; tools, and methodologies);
  *   Modelling language engineering, modular design of modelling languages, with a particular focus on de-/composition;
  *   Applications of MPM techniques in automotive, aviation, manufacturing, etc.
  *   MPM for (self-)adaptive systems
  *   MPM approaches, techniques, and tools for related domains: IoT, Digital Twins, SmartCPS
Technical Contributions should clearly address the foundations of Multi-Paradigm Modeling by demonstrating the use of several models to achieve the stated objectives and discuss the benefits of explicit modeling.

Important Dates

Paper submission deadline:       5 July 2024

Notification of acceptance:           9 August 2024

Workshop dates:                            22--24 September 2024 (exact date TBA)

Submission Procedure

Papers should be submitted electronically in PDF using the ACM formatting instructions available via EasyChair for one of the following topics.

https://easychair.org/conferences/?conf=mpm4cps0

Each submission will be peer-reviewed by at least three PC members.

  *   Vision papers/Expert's Opinion (5 pages max, all included) present new ideas, visions, experience feedback, on how, why, and whether it is even relevant, to talk, discuss, and actually practice this moto of "the most appropriate" for each task.
  *   (Technical) Research papers: short (5 pages max, all included) and long (10 pages max, all included) present a novel, innovative approach (not completely validated for short papers);
Technical Research papers will be published with the main conference's workshop proceedings; authors submitting Vision/Opinions will eventually be invited to contribute to a Special Issue to further develop their case.
--------------------------------------------------------------------
PD Dr. rer. nat. Robert Heinrich
Head of Quality-driven System Evolution Research Group
Karlsruhe Institute of Technology (KIT)
KASTEL - Institute of Information Security and Dependability
DSiS - Dependability of Software-intensive Systems group
https://dsis.kastel.kit.edu/staff_robert_heinrich.php

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.uni-paderborn.de/pipermail/fg-arc/attachments/20240620/624dcbb8/attachment.htm>