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
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.
| 2024/4/14 | New 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. |
| 2024/3/24 | Mitsuho Takahashi, Kazuya Wakigami, and Qingyang Zhang have received master degrees of computer science. Ippo Hiroi graduated from the college of information science. Kazuya Wakigami has received the prize of degree program leader of computer science. Congratulations! |
| 2024/1/23 | The submission deadline for poster track of DSN2024 has been extended to January 31st. Please consider to submit your contributions! |
| 2023/12/14 | Ippo Hiroi, Nianqui Wang, and Linyun Gao had presentations at the Dependable System Workshop (DSW) 2023 in Japan. |
| 2023/11/28 | Dr. Jin Hong from The University of Western Australia visited our laboratory and gave a talk about Quantum Inspired Machine Learning for IDS. |
| 2023/11/23 | It is my pleasure to annouce that the 35th IEEE International Symposium on Software Reliability Engineering (ISSRE2024) will be hosted in Tsukuba, Japan, October 28th-31st, 2024. The web site is now opened.
|
| 2023/11/2 | Mitsuho Takahashi had a presentation at the 36th REAJ Autumn Reliability Symposium in Japan. |
| 2023/10/26 | Kazuya Wakigami presented our paper in the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023). [slides] Our paper is selected as the Distinguished Paper Award on Dependable Computing. Congratulations! 
|
| 2023/10/21 | Fumio Machida's research paper "Using Diversities to Model the Reliability of Two-version Machine Learning Systems" has been accepted for publication in the IEEE Transactions on Emerging Topics in Computing. [link] |
| 2023/10/11 | Qiang Wen presented a paper at the research track in The 34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023). [slides]
|
| 2023/9/20 | Kazuya Wakigami's paper "Reliability and Performance Evaluation of Two-input Machine Learning Systems" has been accepted for presentation at the 28th IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2023). [paper] |
| 2023/9/3 | A joint research paper with Prof. Ermeson Andrade "Assuring Autonomy of UAVs in Mission-critical Scenarios by Performability Modeling and Analysis" has been accepted for publication in the ACM Transactions on Cyber-Physical Systems. [link] |
| 2023/8/21 | Our paper "Software Aging Analysis in a Testing Framework" has been accepted for presentation at WoSAR 2023. The paper is a joit work with Douglas Dias and Ermeson Andrade from Federal Rural University of Pernambuco. |
| 2023/7/29 | Qiang Wen's paper "Characterizing Reliability of Three-version Traffic Sign Classifier System through Diversity Metrics" has been accepted for presentation at The 34th IEEE International Symposium on Software Reliability Engineering (ISSRE 2023). [paper] |
| 2023/6/30 | Qiang Wen presented a short paper at the doctoral forum in DSN2023 and Julio Mendonsa from University of Luxembourg presented our joint research paper at DSML2023．
 |
| 2023/6/13 | A joint research paper "Understanding NFV-Enabled Vehicle Platooning Application: A Dependability View" has been accepted for publication in the IEEE Transactions on Cloud Computing. [link] |
| 2023/4/27 | A research paper "Enhancing the Reliability of Perception Systems using N-version Programming and Rejuvenation" has been accepted for presentation at Dependable and Secure Machine Learning (DSML2023). The paper is joint work with Dr. Julio Mendonca and Dr. Marcus Volp in University of Luxembourg. [paper] |
| 2023/4/7 | Shamima Afrin, Zhengji Wang, Linyun Gao, and have joined our group as master students. Ippo Hiroi has joined our group as a bachelor student. Qing Wen starts the Ph.d program and Nianqiu Wang 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.4.14