DCCS 2024: The 3rd International Workshop on Dependable Computing for Complex Systems

co-located with DSN 2024 (https://dsn2024uq.github.io/index.html), June 24-27, Brisbane, Australia

https://www.dccs2024.com

In the era of Industry 4.0, software applications, such as cyber-physical systems (CPS), server systems, machine learning-based systems, databased systems, and real-time systems, are playing an increasingly important role in both industrial world and our daily lives. These systems tend to be composed of many different components which may interact with each other and exhibit complex behaviors. Also, in these systems, dependability is critical, as failures or requirement violations of these systems may lead to disruptive results, even the loss of human lives. Nowadays, extensive studies, including both formal methods and engineering techniques, have been conducted, aiming to improve the systems’ safety, reliability, maintainability, availability, etc. However, for complex systems, the gap between the huge number of interacting components and the salability of current approaches still exists. Nevertheless, we believe the demand of dependable complex systems motivates the development of novel techniques or feasible adaptations of existing techniques, through addressing more issues such as components’ interactions or real-time scheduling.

DCCS seeks to provide an international venue to discuss the advanced discoveries and emerging trends related to the dependability of complex systems in both the academic society and industrial world. This workshop will not only explore how we can apply the emerging dependability theories and techniques to model and evaluate the complex systems, but also the methods or tools for localizing and fixing the system vulnerabilities to improve the system dependability.

TOPICS OF INTEREST

This call for papers addresses all researchers and practitioners with an interest about dependability and fault tolerance of complex systems. Topics addressed in the workshop include but are not limited to:
Software and hardware reliability.
Software aging and rejuvenation.
Software testing, verification, and validation.
Techniques and approaches for safety-critical systems.
Dependability measurement, modeling, evaluation, and tools.
Dependability techniques and methodologies for complex systems.
Dependable systems design.
Self-healing, self-protecting, and self-adaptive systems.
Fault-tolerant techniques.
Quality assurance in server systems, cyber-physical systems, learning-based systems, etc.
Internet of things (IoT) architectures, protocols, security and privacy.
Modeling and simulation of complex systems.
Analysis of software faults/bugs, errors, and failures.
Fault localization for complex bugs.
Repairing and re-engineering for complex systems.
Studies on non-deterministic bugs, aging-related bugs, etc.
Analytical, empirical, and experimental studies of any of the above topics.

IMPORTANT DATES

Paper submission deadline: March 22, 2024
Notification to authors: April 12, 2024
Camera-ready papers due: May 3, 2024

PAPER SUBMISSION AND PUBLICATION

Authors are invited to submit original unpublished research papers as well as industrial practice papers. Simultaneous submissions to other conferences are not permitted. Papers should be written in English and conform to IEEE authoring guidelines. Submissions are accepted in the following two formats:

Regular papers of at most 8 pages, including figures, references, and appendices.
Abstract papers of at most 4 pages, presenting ongoing research or new emerging ideas.
All submissions should be in PDF format and submitted through EasyChair. Each submission will be reviewed by the program committee members. Paper selection is based on originality, technical contribution, presentation quality, and relevance to the workshop. At least one of the authors of each accepted paper is required to pay a full registration fee and present the paper at the workshop.

ORGANIZING COMMITTEE

General Co-Chairs:
Tadashi Dohi, Hiroshima University, Japan
Zheng Zheng, Beihang University, China

Program Co-Chairs:
Xiao-Yi Zhang, University of Science and Technology Beijing, China
Junjun Zheng, Osaka University, Japan

Publicity Co-Chairs:
Xiaoting Du, Beijing University of Posts and Telecommunications, China
Xiao Xiao, Tokyo Metropolitan University, Japan
Jiaqi Yin, Northwestern Polytechnical University, China

Program Committee:
Sousuke Amasaki, Okayama Prefectural University, Japan
Paolo Arcaini, National Institute of Informatics, Japan
Xiaoting Du, Beijing University of Posts and Telecommunications, China
Siqian Gong, Beijing Jiaotong University, China
Shinji Inoue, Kansai University, Japan
Mingyue Jiang, Zhejiang Sci-Tech University, China
Chen Li, Nagoya University, Japan
Siqiao Li, Hitachi RDG, Japan
Yang Liu, Beijing Jiaotong University, China
Fangyun Qin, Capital Normal University, China
Jingxin Su, Beijing Jiaotong University, China
Xiao Xiao, Tokyo Metropolitan University, Japan
Jiaqi Yin, Northwestern Polytechnical University, China
Tomoyuki Yokogawa, Okayama Prefectural University, Japan
Zhenya Zhang, Kyushu University, Japan
Jun Zhou, Keio University, Japan