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
| 2025/3/11 | New Qiang Wen's paper "Reliability Modeling for Three-version Machine Learning Systems through Bayesian Networks" has been accepted for publication in the Reliability Engineering & System Safety. [link] |
| 2025/3/5 | New Gabriel Grabher joined our group as a visiting researcher from Grenoble-Alpes University. |
| 2025/2/28 | Mohammad Dwipa's paper "Vehicle Density-Aware Adaptive Offloading for UAV-Based Road Traffic Monitoring" has been accepted for presentation at the International Conference on Fog and Edge Computing (ICFEC 2025). |
| 2024/11/19 | A joint research paper with Prof. Xiaolin Chang, "Understanding Container-based Services under Software Aging: Dependability and Performance Views" has been accepted for publication in the IEEE Transactions on Sustainable Computing. [link] |
| 2024/11/2 | Fumio Machida gave an invited talk at Future Advanced Testing Technology Workshop (FATTW2024). |
| 2024/10/28 | Ippo Hiroi, Linyun Gao, and Nianqiu Wang presented their papers at ISSRE2024 workshops. 
|
| 2024/9/27 | A joint research paper with Prof. Ermeson, Prof. Gustavo Rau de Almeida Callou, and Herderson Couto, "A Comparative Analysis of Software Aging in Relational Database System Environments" has been accepted for publication in the IEEE Transactions on Emerging Topics in Computing. [link] |
| 2024/9/19 | Fumio Machida gave an invited talk at Software Engineering Symposium Japan. ISSRE2024 will be held in Octboer 28th - 31st, in Tsukuba. The early registration will close on 9/27. Please consider to join us! |
| 2024/9/10 | Ippo Hiroi's paper "Energy Bugs in Object Detection Software on Battery-Powered Devices" has been accepted for presentation at the International Workshop IWSF&SHIFT 2024. [paper] |
| 2024/9/3 | Linyun Gao's paper "Safety-Aware Weighted Voting for N-version Traffic Sign Recognition System" has been accepted for presentation at The 2nd IEEE International Workshop on Reliable and Secure AI for Software Engineering (ReSAISE 2024). [paper] |
| 2024/8/22 | Nianqiu Wang's paper "A CTMDP Modeling for Multi-Stage Software Aging and Rejuvenation" has been accepted for presentation at The 16th International Workshop on Software Aging and Rejuvenation (WoSAR 2024). [paper] |
| 2024/7/3 | Qiang Wen presented a paper at AISafety2024. 
|
| 2024/7/3 | Zhengji Wang, Shamima Afrin, and Qinayang Zhang presented their papers at COMPSAC2024. 
|
| 2024/6/11 | Our paper co-authored by Kazuya Wakigami and Dr. Tuan Phung-Duc entitled "Empirical architecture comparison of two-input machine learning systems for vision tasks" has been accepted for publication in the Formal Aspects of Computing. [link] |
| 2024/5/30 | Qiang Wen's paper "Enhancing Autonomous Vehicle Safety through N-version Machine Learning Systems" has been accepted for presentation at AISafety 2024. The paper is joint work with Dr. Julio Mendonca and Dr. Marcus Volp in University of Luxembourg. [paper] |
| 2024/5/16 | Prof. Machida is named a distinguished contributor of the IEEE Computer Society, class of 2023. |
| 2024/5/1 | Zhengji Wang's paper has been accepted for presentation at the 6th IEEE International Workshop on Deep Analysis of Data-Driven Applications (DADA 2024). |
| 2024/4/14 | Qingyang Zhang's paper and Shamima Afrin's paper have been accepted for presentation at the 48th IEEE International Conference on Computers, Software, and Applications (COMPSAC 2024). |
| 2024/4/5 | Aoi Matsuda, Mohammad Dwipa, and Tasfia Nuzhat have joined our group as master students. Ryunosuke Hosokawa and Shunsuke Nagao have joined our group as bachelor students. Qingyang Zhang starts the Ph.d program and Ippo Hiroi 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: 2025.3.11