Department of Distributed and Dependable Systems

School of Computer Science, Faculty of Mathematics and Physics, Charles University

Our department is responsible for research and education in the advanced techniques for building reliable component-based software especially in the field of distributed and dependable systems, spanning from smart cyber-physical systems and IoT to cloud-based backends. Our research comprises advanced software architectures, adaptation, model-driven development, model-based testing, formal verification of software, performance measurement and modeling.

The vision pursued by our department is that of high-quality scientific research with strong industrial relevance, with the aim to enable rapid and cost-efficient production of complex and reliable software systems. To achieve this vision, our department actively collaborates on the national and international level with both academic and industrial partners.

Studying or Working With Us

Are you an existing or a prospective student?

Are you a researcher or a practitioner?

News From the Department

Lessons about Clouds, Hacking and Apps Permissions for Grades 5–7: A Design-Based Approach Using the ERR Framework

5 December 2024

Our paper Lessons about Clouds, Hacking and Apps Permissions for Grades 5–7: A Design-Based Approach Using the ERR Framework by C. Brom, O. Petíř, A. Drobná, A. Yaghobová, P. Ježek, K. Kačerovská, K. Volná, F. Děchtěrenko has been accepted to SIGCSE Virtual 2024 Conference.

How Well Do LLMs Understand DEECo Ensemble-based Component Architectures

1 October 2024

Our paper How Well Do LLMs Understand DEECo Ensemble-based Component Architectures by M. Töpfer, D. Khalyeyev, T. Bureš, P. Hnětynka, F. Plášil has been accepted to Proceedings of ISOLA 2024, Crete, Greece.

Eight-year-olds’ naïve and acquired knowledge about computer viruses: a mixed methods study

1 July 2024

Our paper Eight-year-olds’ naïve and acquired knowledge about computer viruses: a mixed methods study by C. Brom, T. Hannemann, T. Tetourová, A. Drobná, N. Kopáňková, K. Volná, K. Kačerovská, F. Děchtěrenko, P. Ježek, T. Stárková has been accepted to International Journal of Technology and Design Education.

Robin: A Systematic Literature Mapping Management Tool

1 January 2024

Our paper Robin: A Systematic Literature Mapping Management Tool by M. Abdullah, M. Töpfer, T. Bureš has been accepted to 50th Euromicro Conference on Software Engineering and Advanced Applications (SEAA).