| |||||||||||||||
DCCS 2024 : The 3rd International Workshop on Dependable Computing for Complex Systems | |||||||||||||||
Link: https://www.dccs2024.com | |||||||||||||||
| |||||||||||||||
Call For Papers | |||||||||||||||
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 |
|