安心・安全な社会を支えるディペンダブル（高信頼）なICTシステムの実現を目指しています。
安心・安全な社会を支えるディペンダブル（高信頼）なICTシステムの実現を目指しています。
私たちの便利な生活や経済活動は多くの情報システムで支えられています。
そのような社会インフラとしての情報システムにはディペンダビリティ（信頼性）が求められています。
私たちの研究室では、システムが直面する様々な不確実な要因を確率モデルで捉え、
ディペンダビリティを定量的に評価して継続的に改善する技術の研究に取り組んでいます。
研究領域
| 2026/1/26 | New 町田准教授の寄稿論文「データ多様化による機械学習システム高信頼化の理論と実践」が日本信頼性学会誌 信頼性に掲載されました。[link]
|
| 2025/12/20 | 張清洋君(D2)、野城滉司君(D1）、Mohammad Dwipa Furqan君(M2)の論文"Distributed Performability Optimization for Multi-UAV Road Traffic Monitoring"がInternational Conference on Agents and Artificial Intelligenceに（ICAART 2026）採択されました。本論文は筑波大学マルチエージェントシステム研究室との共同研究の成果です。
|
| 2025/12/12 | Mohammad Uddin Shahinさん(M1)とYaqi Zhouさん(研究留学生)が第23回ディペンダブルシステムワークショップ（DSW 2025）に参加して論文発表しました。 Shahinさんは優秀論文発表賞を受賞しました。おめでとうございます！ 
|
| 2025/12/1 | 外国人研究生の肖騫君と温馨さんが研究室のメンバに加わりました． |
| 2025/11/21 | ペルナンブコ農科大学との共同研究による論文"Machine Learning for Software Aging Detection: A Systematic Mapping Study"がThe Journal of Systems & Softwareに採録されました。[link]
|
| 2025/11/7 | 町田准教授が電子情報通信学会 情報通信マネジメント研究会で招待講演を行いました。 "高信頼機械学習システムのためのNバージョン構成法" [slides] |
| 2025/10/28 | 短期研究留学生Yaqi Zhouさん（英インペリアル大学）が研究室のメンバに加わりました。 |
| 2025/10/21 | 町田准教授が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さんの論文"Modeling Anomaly Detection in Cloud Services: Analysis of the Properties that Impact Latency and Resource Consumption"がIEEE/ACM International Conference on Utility and Cloud Computing (UCC 2025)に採択されました。[paper] |
| 2025/10/6 | Ermeson Andrade先生との共同研究による論文"Experimental Investigation of Memory-Related Software Aging in LLM Systems"がThe Journal of Systems & Softwareに採録されました。[link]
|
| 2025/7/19 | 汪正吉君の論文"Exploiting the Availability-Continuity Trade-off in Imperfect Retraining of Machine Learning Systems"がInternational Symposium on Software Reliability Engineering (ISSRE 2025)に採択されました。 |
| 2025/6/26 | 当研究室の論文"SPADE: Simulator-assisted Performability Design for UAV-based monitoring systems"がFuture Generation Computer Systemsに採択されました
本研究成果に関するプレスリリースはこちら。[paper]
|
| 2025/6/26 | Qiang Wenさん(D3)、張清洋君(D2)、Tasfia Nuzhatさん(M2)がDSN2025、ワークショップに参加して論文発表しました。
|
| 2025/6/20 | UAVシステムのディペンダビリティに関するサーベイ論文"Dependability of UAV-Based Networks and Computing Systems: A Survey."をarXivで公開しました。[link]
|
| 2025/5/22 | Mohammad Dwipa Furqan君(M2)がICFEC2025で論文を発表しました。[paper]
|
| 2025/5/20 | 長尾俊祐君(M1)が日本信頼性学会の第33回春季信頼性シンポジウムで論文「Nバージョン物体検出システムの信頼性評価指標の提案と評価」を発表しました． |
| 2025/5/7 | Tasfia Nuzhatさん(M2)の論文"Weather Impact Analysis for UAV-based Deforestation Monitoring Systems"が国際ワークショップDSN Workshop on Environment-System Symbiosis (EnvSys 2025)に採択されました。 |
| 2025/4/5 | Mohammad Shahin Uddin君(M1)が研究室のメンバに加わりました。長尾俊祐君(M1)が博士前期課程に進学しました． |
| 過去のトピックス |
当研究室では以下のような意欲を持った学生を募集しています。
最近の研究テーマ例はこちらをご覧ください。
社会人博士課程の学生や留学生も積極的に受け入れています。
留学生で研究生としての入学を希望する人はこちらをご覧ください。
筑波大学 システム情報系 情報工学域
情報理工学位プログラム
住所: 〒305-8573 つくば市天王台1-1-1 3F900
E-Mail: machida at cs.tsukuba.ac.jp
Last update: 2025.1.27