Enabling Technologies and Dependability in Cyber-Physical Systems


Artificial Intelligence

Cyber-physical systems (CPS) have been adopted in many industrial sectors thanks to development of several new enabling technologies both on software and hardware side. Examples of topics advancing CPS are: Artificial Intelligence, model-driven software engineering, formal modelling and verification, wireless communication, novel embedded and Edge controllers. These technologies are evolving at a fast pace. Nonetheless dependability is a “must have” requirement and we must prove that the CPS life cycle is always compliant with it. As CPS become more prominent across the globe, building trustworthy CPS and CPS of Systems (CPSoS) is paramount.
Therefore, the workshop seeks novel submissions describing practical and theoretical cutting-edge solutions to advance the design and implementation of CPS and formal evidence that they are trustworthy. Hence, papers that are pertinent to the following topics are all welcome:
* IoT, IIoT and dependability: IoT systems are a class of systems that use the internet as the backbone technology.
- In this topic, papers related to bridging best of security research and IoT and IIoT are encouraged, Ex: Authentication and Authorization in IoT.
- The Time-Sensitive Networking task group of the IEEE 802.1 working group is adding new capabilities, especially bridging wired and wireless devices. Papers related to this topic and its impact on dependability are encouraged.
* Software Engineering methods for dependable CPS: the amount of software in CPS is growing and the key factor defining its functionality.
- In this topic, papers related to reducing the software engineering effort while at the same time ensuring quality for dependable CPS are encouraged.
- However, treating the software in isolation would be short sighted. Therefore model driven approaches addressing cross domain concerns of CPS are as well encouraged.
* Artificial Intelligence and dependability: AI and CPS now go hand in hand. One cannot exist without the other.
- In this topic, papers related to explainability and dependability analysis of AI algorithms in the area of CPS will be considered.
- Another topic of special interest is distributed/swarm intelligence. Flexibility requirements have become key to CPS in Industry 4.0 context and papers related to learning the behavior and adapting to flexible factories, based on ML based agents are encouraged
* Big Data and dependability: Data is now available in abundance, for example, AI algorithm training data.
- Papers related to use of big data to construct models for use in dependability analysis are encouraged. Process mining is one such example, which can be used to link model-based process analysis and data-oriented analysis techniques.
This workshop is part of a three day segment in HiPEAC 2022 (https://www.hipeac.net/2022/budapest/#/)with spotlights on bridging between contributing communities of Cyber-Physical Systems. Comprising ENHANCE, FORECAST & STEADINESS, the Segment overview is presented in the programs tab. ENHANCE encourages participation from enabling technology communities including IoT, AI and Big Data. Product-side and market influencers, such as from product-lines and policy making, are also invited to participate.
** Paper Submission Instructions **
A 2 page extended abstract or a 4-page work in progress papers are invited. A work in progress must include some initial results. Use the instructions at https://arxiv.org/help/submit for preparing your paper. You can find LaTeX templates for arxiv at https://www.overleaf.com/gallery/tagged/arxiv
In the submission system, under the “Topics” option, please select only 1 option, Select STEADINESS to submit to this workshop.
Please submit your papers at https://easychair.org/conferences/?conf=sccs2022
2-page papers will be only for presentation at the workshop and 4-page accepted papers will also be published as an indexed proceedings on arxiv.
** Program **
10.00 Welcome with key note speech and general discussion on CPS.
11.00 Refreshments
11.30 Enabling technologies bridging to dependability.
13.00 Lunch
14.00 Podium Discussions and World Cafe session
15.30 Refreshments
16.00 Paper & Project presentations
** This workshop is supported by the projects **
- SWARM Launched 01-01-2020 & co-funded by the EC / Grant no.: 871743 / Call: H2020-ICT-2019-2
- Arrowhead Tools 01-05-2019 & co-funded by the EC / Grant no.: 871743 / Call: ECSEL-2018-1-IA