EAPLS: List of workshops

Call for Workshops for the 20th International Conference on Business Process Management (BPM 2022), which will take place in Münster, Germany

The 13th edition of PLACES (Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software) will be co-located with ETAPS 2022 in Munich, Germany on 3rd April 2022.

The MARS workshop brings together researchers from different communities who are developing formal models of real systems. Challenging complex models often occur in formal methods, such as networks, cyber-physical systems, hardware/software codesign, biology, etc. but their thorough discussion is usually not in the scope of conference submissions. MARS emphasizes modeling over verification, so as to retain lessons learnt from formal modeling for complex and real-world systems.

Families of systems arise naturally due to parameters, configurations, features, versions, etc. The often huge number of system variants render their design, modeling, and analysis challenging tasks. Due to the rising impact of cyber-physical systems, quantitative aspects such as probability of failure, energy consumption, or numerical parameter values become more and more important.

QAVS targets researchers that are active in these areas to discuss challenges, work in progress, and results. The workshop solicits regular paper, short paper, and presentation-only submissions.

The complexity of Cyber-Physical Systems (CPS) has significantly increased. Originally executed on small microcontrollers with few interactions among them, current CPS implement complex functionalities that can benefit from the parallel capabilities of advanced heterogeneous processor architectures featuring accelerator devices, such as GPUs or FPGAs. Unfortunately, these high-performance requirements are challenging the development processes of CPSs. This is largely due to the fact that CPS rely on model-driven engineering (MDE) techniques, like Domain Specific Modelling Languages (DSMLs), to preserve the dependability , composability and extensibility properties of the system. MDE methodologies, in turn, lack the necessary features to express the parallelism inherent in the software and the hardware systems. In this context, parallel programming models (PPMs) (e.g., OpenMP, CUDA) commonly used in the HPC domain, are a fundamental brick to leverage the potential of these architectures, and so cope with the performance requirements of current and future cyber-physical system functionalities.

Overall, the use of complex processor architectures to cope performance requirements of CPS presents two main research challenges in the life cycle of CPS: First, PPMs are not compatible with current MDE approaches, creating a gap between the MDE used to develop CPS and the parallel programming models supported by novel and future embedded platforms. Second, the cyber-physical interactions impose dependability requirements not supported by PPMs.

Safety-relevant applications have been traditionally built upon the KISS (Keep it simple stupid) principle as a way to ensure the dependability of those systems and at the same time control the costs of functional and dependabiliy properties verification. However, the traditional safety assessment approach that relies on system’s simplicity is being challenged these days by the increase in complexity and functionality requirements of new Cyber Physical Systems (CPS) applications (e.g autonomous transportation systems).

The complexity of Cyber-Physical Systems (CPS) has significantly increased. Originally executed on small microcontrollers with few interactions among them, current CPS implement complex functionalities that can benefit from the parallel capabilities of advanced heterogeneous processor architectures featuring accelerator devices, such as GPUs or FPGAs. Unfortunately, these high-performance requirements are challenging the development processes of CPSs. This is largely due to the fact that CPS rely on model-driven engineering (MDE) techniques, like Domain Specific Modelling Languages (DSMLs), to preserve the dependability , composability and extensibility properties of the system. MDE methodologies, in turn, lack the necessary features to express the parallelism inherent in the software and the hardware systems. In this context, parallel programming models (PPMs) (e.g., OpenMP, CUDA) commonly used in the HPC domain, are a fundamental brick to leverage the potential of these architectures, and so cope with the performance requirements of current and future cyber-physical system functionalities.

Overall, the use of complex processor architectures to cope performance requirements of CPS presents two main research challenges in the life cycle of CPS: First, PPMs are not compatible with current MDE approaches, creating a gap between the MDE used to develop CPS and the parallel programming models supported by novel and future embedded platforms. Second, the cyber-physical interactions impose dependability requirements not supported by PPMs.

The Workshop on Principles of Secure Compilation (PriSC) is a relatively new, informal 1-day workshop without any proceedings. The goal is to bring together researchers interested in secure compilation and to identify interesting research directions and open challenges. The 6th edition of PriSC will be held on January 22, together with the ACM SIGPLAN Symposium on Principles of Programming Languages (POPL), 2022.