[Japanese | English]
Laboratory for System Dependability

Envision safer and secure society through dependable ICT systems.

The laboratory was just launched on February, 2019.
We are open to any collaborators and students who are willing to contribute the society through designing dependable systems, who would like to study the applications of stochastic models, and/or who are interested in dependable machine learning systems and IoT systems. Please contact us!


Our society is increasingly relying on ICT systems supporting smart transportation systems, power grid, financial, medical systems and so forth.
Since those ICT 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

Recent topics

2019/10/19 Dr. Fumio Machida made a presentation about the reliability of machine learning system using diverse classifiers at a workshop of the Operations Research Society of Japan.

2019/9/16 Our paper entitled "On the diversity of machine learning models for system reliability" has been accepted for presentation at the IEEE Pacific Rim International Symposium on Dependable Computing (PRDC 2019).

2019/8/28 Fumio Machida's co-authored paper "Analysis of Software Aging Impacts on Plant Anomaly Detection with Edge Computing" with Ermeson C. Andrade in UFRPE has been accepted by International Workshop on Software Aging and Rejuvenation.
2019/6/24 Dr. Fumio Machida presented a workshop paper at Dependable and Secure Machine Learning 2019 (DSML) co-located with International Conference on Dependable Systems and Networks (DSN).[paper][slides]

2019/4/10 Our paper entitled "N-version machine learning models for safety critical systems" has been accepted for presentation at the international workshop on Dependable and Secure Machine Learning.
2019/4/8 Dr. Fumio Machida made a presentation at the Workshop on Education and Practice of Performance Engineering (WEPPE) co-located with International Conference on Performance Engineering (ICPE) 2019. [paper][slides]

2019/2/1 Dr. Fumio Machida launched the laboratory for system dependabiliy in computer science department at University of Tsukuba.
The laboratory is open to enthusiastic students and research collaborators who have interests on system dependability.


Fumio Machida 

Department of Computer Science, University of Tsukuba
Address: 1-1-1, Tennodai, Tsukuba, Ibaraki 305-8573
Room: 3F 905
Tel: +81-29-853-5531
E-mail: machida at cs.tsukuba.ac.jp

Last update: 2019.10.22