DCCS 2023

In the industry 4.0 era, 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 the 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 behaviours. 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 for 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 the 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.