[Japanese | English]
Laboratory for System Dependability

Envision safer and secure society through dependable ICT systems.

==Application for graduate student==
We are currently recruiting prospective master/doctoral students who may enroll the school in April 2023.
Applicants who are interested in our group and consider to take the entrance exam in August, please contact us.



Our society is increasingly relying on software systems, for example in business, economics, communication, utilities, and education.
Since those software systems are indispensable for our lives, continuous engineering efforts to improve system dependability are imperatively important.
Our research laboratory tackles this issue by leveraging stochastic models and analysis techniques.
We model various uncertainties causing system misbehaviors such as component failures, estimate the system dependability quantitatively,
and evaluate the effectiveness of the measures to improve the dependability with lower cost.

Research interests

DMAO cycle

DMAO cycle is the process for model-based continuous improvements of system dependability.

In this cycle, engineers Design the information system and collect necessary data, Model the designed systems with stochastic models,
Analyze the model to quantify the dependability measures, explore the Optimum solution to improve the dependability under the given constraints.
The results of optimization and/or real system operations should feedback to the system design repeatedly.

Research projects

Ongoing research projects in our group include the following subjects.

Details of research topics

Recent topics

2022/6/26 New Alexandre Sparton finished his internship period and presented his achievement at a joint workshop with Bordeaux University.

2022/6/2 New Kengo Watanabe's paper "Availability Analysis of a Drone System with Proactive Offloading for Software Life-extension" has been accepted for presentation at IEEE Conference on Omni-layer INtelligent Systems (IEEE COINS 2022)[paper]

2022/5/31 Fumio Machida had a presentation at the spring symposium of Reliability Engineering Association of Japan.

2022/5/11 A joint research paper "Quantitative understanding serial-parallel hybrid SFC services: a dependability perspective" has been accepted for publication in the Peer-to-Peer Networking and Applications. [link]

2022/4/24 We had laboratory introduction sessions at the open campus event.

2022/4/11 Alexandre Sparton from Bordeaux University joined our group as an international internship student.

2022/4/7 Kazuya Wakigami has joined our group as a master student. Mitsuho Takahashi and Qingyang Zhang also starts their master courses in our group.

2022/4/3 Wen Qiang's paper "Reliability Models and Analysis for Triple-model with Triple-input Machine Learning Systems" has been accepted for presentation at IEEE Conference on Dependable and Secure Computing (DSC 2022). [paper][slides]

Old topics


We are actively accepting students pursuing master or doctoral degrees of computer science, international research students (Kenkyu-sei), and visitors for collaborative research on system dependability.
Those who want to apply international research students, please also check the necessary procedure for application here.


Fumio Machida 

Department of Computer Science, University of Tsukuba
Address: 1-1-1, Tennodai, Tsukuba, Ibaraki 305-8573
E-mail: machida at cs.tsukuba.ac.jp

Last update: 2022.6.24