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
| 2024/11/19 | New 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. |
| 2024/11/2 | New Fumio Machida gave an invited talk at Future Advanced Testing Technology Workshop (FATTW2024). |
| 2024/10/28 | New 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: 2024.11.19