Envision safer and secure society through dependable ICT systems.
Envision safer and secure society through dependable ICT systems.
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
| 2026/4/6 | New Ifty Rashedul Arefin, Bushra Umme Habiba, and Sun Cong have joined our group as master students. Ryosei Oda and Akihiro Taguchi have joined our group as bachelor students. Mohammad Dwipa and Tasfia Nuzhat start their Ph.d program and Qiang Xiao and Xin Wen start their master program. |
| 2026/3/25 | Aoi Matsuda, Ippo Hiroi, Mohammad Dwipa Furqan, Tasfia Nutzhat have completed master degrees of computer science. Qiang Wen has completed her doctoral degree! and received the prize of the degree program leader. Congratulations!! |
| 2026/3/14 | Aoi Matsuda's paper entitled "Tail-aware N-version Machine Learning Models for Reliable API Recommendation" has been accepted for presentation at International Conference on Evaluation and Assessment in Software Engineering (EASE). This is a joint research work with Prof. David Lo. |
| 2026/3/3 | A joint research paper entitled "On Metaverse Application Dependability Analysis" has been accepted for publication in IEEE Transactions on Cloud Computing. This paper is a joint research work with Prof. Xiaolin Chang. |
| 2026/2/25 | Our research paper entitled "Performance Analysis of Energy-efficient Reliable AIoT System Architectures" has been accepted for publication in Journal of Systems Scalability. This paper is a joint research work with Prof. Tuan Phung-Duc. [paper] |
| 2026/2/18 | Prof. Fumio Machida has been nominated as a 2025 BEST FACULTY MEMBER at Univeristy of Tsukuba.
|
| 2025/12/20 | Our research paper entitled "Distributed Performability Optimization for Multi-UAV Road Traffic Monitoring" has been accepted for presentation at International Conference on Agents and Artificial Intelligence (ICAART 2026). This paper is a joint research work with MAS Lab in the University of Tsukuba. |
| 2025/12/1 | Qiang Xiao and Xin Wen joined our group as research students. |
| 2025/11/21 | Our joint research paper entitled "Machine Learning for Software Aging Detection: A Systematic Mapping Study" has been accepted for publication in The Journal of Systems & Software. [link] |
| 2025/11/7 | Prof. Fumio Machida delivered an invited talk at IEICE Technical Committee on Information and Communication Management. "N-version configuration method for reliable machine learning systems" |
| 2025/10/28 | Yaqi Zhou joined our group as a visiting research student from Imperial College London. |
| 2025/10/21 | Prof. Fumio Machida delivered a keynote at the 2nd International Workshop on Advanced Intelligent Software Applications (AISQ 2025). "High-Availability Machine Learning Systems: N-version Architecture and Rejuvenation" [slides]  |
| 2025/10/20 | Gabriel Grabher, a former exchange student's paper "Modeling Anomaly Detection in Cloud Services: Analysis of the Properties that Impact Latency and Resource Consumption" has been accepted for presentation at the IEEE/ACM International Conference on Utility and Cloud Computing (UCC 2025). [paper] |
| 2025/10/6 | Our paper "Experimental Investigation of Memory-Related Software Aging in LLM Systems" has been accepted for presentation in the Journal of Systems & Software. The paper is the outcome of the joint work with Prof. Ermeson Andrade and Cesar Santos.[link][paper] |
| 2025/7/19 | Zhengji Wang's paper "Exploiting the Availability-Continuity Trade-off in Imperfect Retraining of Machine Learning Systems" has been accepted for presentation at the 36th International Symposium on Software Reliability Engineering (ISSRE 2025). |
| 2025/6/26 | Our research paper entitled "SPADE: Simulator-assisted Performability Design for UAV-based monitoring systems" has been accepted for publication in Future Generation Computer Systems.[paper] |
| 2025/6/26 | Qiang Wen, Qingyang Zhang, and Tasfia Nuzhat presented their papers at DSN2025 and EnvSys2025 workshop. 
|
| 2025/6/23 | We have posted our recent survey report to arXiv "Dependability of UAV-Based Networks and Computing Systems: A Survey." [link]
|
| 2025/5/22 | Mohammad Dwipa Furqan presented a paper at ICFEC2025. [paper]
|
| 2025/5/7 | Tasfia Nutzhat's paper "Weather Impact Analysis for UAV-based Deforestation Monitoring Systems" has been accepted for presentation at the DSN Workshop on Environment-System Symbiosis (EnvSys 2025). |
| 2025/4/5 | Mohammad Shahin Uddin has joined our group as a master student. Shunsuke Nagao starts the master program. |
| 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.
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: 2026.4.6