You are here

Home

Machida Fumio

face
Affiliation
Faculty of Engineering, Information and Systems
Official title
Associate Professor
Sex
Male
KAKEN ID
50842209
URL
Email
 
Office
Laboratory for System Dependability
Research fields
Computer system
Mathematical informatics
Software
Research keywords
ディペンダビリティ
確率モデル
可用性
信頼性
Research projects
フォッグコンピューティング応用システムに対するスケーラブル信頼性設計技術の研究2019-10 -- 2022-03町田文雄筑波大学/研究基盤支援プログラム（Ｓタイプ）3,000,000Yen
深層学習システムの品質評価と安全性保証2019-06 -- 2020-03町田文雄筑波大学システム情報系/若手融合プロジェクト500,000Yen
機械学習モデル多様化による機械学習応用システムの高信頼化設計および評価2019-10 -- 2021-03町田文雄日本学術振興会/研究活動スタート支援2,860,000Yen
Career history
2019-02 -- 2019-04国立大学法人筑波大学 システム情報系 准教授
2003-04 -- 2019-01日本電気株式会社 中央研究所
Academic background
2015-04 -- 2018-03東京工業大学大学院 情報理工学研究科 数理・計算科学専攻博士課程Completed
2001-04 -- 2003-03東京工業大学大学院 情報理工学研究科 計算工学専攻修士課程Completed
Degree
2018-03博士(学術)東京工業大学
2003-03修士(工学)東京工業大学
Academic societies
2010-04 -- (current)IEEE
2019-03 -- (current)ACM
2019-03 -- (current)日本OR学会
Honors & Awards
2015-05Best Paper AwardPerformability modeling for RAID storage systems by Markov regenerative process
2014-04文部科学大臣表彰若手科学者賞仮想化システムにおけるソフトウェア若化および延命手法の研究
2007-06Best Paper AwardAdaptive monitoring for virtual machine based reconfigurable enterprise systems
Refereed academic journal/Refereed international conference paper
  • Analyzing software rejuvenation techniques in a virtualized system: service provider and user views
    Bai Jing; Chang Xiaolin; Machida Fumio; Trivedi Kishor S....
    IEEE Access/8/pp.6448-6459, 2020-01
  • On the diversity of machine learning models for system reliability
    Machida Fumio
    Proceedings of IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC)/pp.276-285, 2019-12
  • Analysis of software aging impacts on plant anomaly detection with edge computing
    Machida Fumio; Andrade Ermeson
    Proceedings of IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), 2019-10
  • N-version machine learning models for safety critical systems
    Machida Fumio
    DSN Workshop on Dependable and Secure Machine Learning/pp.48-51, 2019
  • Practices in Model Component Reuse for Efficient Dependability Analysis
    Machida Fumio
    Companion of the 2019 ACM/SPEC International Conference on Performance Engineering/pp.65-70, 2019-04
  • Performability modeling for RAID storage systems by Markov regenerative process
    Machida Fumio; Trivedi Kishor S.; Xia Ruofan
    IEEE Transactions on Dependable and Secure Computing/pp.138-150, 2018-01
  • End-to-end reliability assurance of service chain embedding for network function virtualization
    Bijwe Shashank; Machida Fumio
    IEEE Conference on Network Function Virtualization and Software Defined Networks (NFV-SDN)/pp.1-4, 2017
  • Analysis of an optimal stopping problem for software rejuvenation in a deteriorating job processing system
    Machida Fumio; Miyoshi Naoto
    Reliability Engineering and System Safety/168/pp.128-135, 2017
  • Lifetime extension of software execution subject to aging
    Fumio Machida; Jianwen Xiang; Kumiko Tadano; Yoshiharu Maeno
    IEEE Transactions on Reliability/66(1)/pp.123-134, 2017
  • A test design method for resilient system on cloud infrastructure
    Fujiwaka Masaya; Machida Fumio; Koizumi Seiichi
    IEEE Int’l Conf. on Cloud Computing (CLOUD)/pp.440-447, 2016
  • Availability modeling and analysis of a virtualized system using stochastic reward nets
    Kim DongSeong; Hong Jin B.; Nguyen Tuan Anh; Machida Fumi...
    IEEE Int’l Conf. on Computer and Information Technology (CIT)/pp.210-218, 2016
  • Virtual machine replication on archiving energy-efficiency in a cloud
    Mondal Subrota K.; Muppala Jogesh K.; Machida Fumio
    Electronics/5(3), 2016
  • Preventing recurrence of industrial control system accident using assurance case
    Napolano Mirko; Machida Fumio; Pietrantuono Roberto; Cotr...
    Int’l Works. on Software Certification (WoSoCER)/pp.182-189, 2015
  • An optimal stopping problem for software rejuvenation in a job processing system
    Machida Fumio; Miyoshi Naoto
    Int’l Works. on Software Aging and Rejuvenation, 2015
  • Just-in-time server procurement to private cloud for mobile thin-client service
    Machida Fumio; Kohno Shunsuke; Maebara Kosuke; Nakagawa M...
    IEEE/IFIP Int’l Conf. on Network and Service Management (CNSM)/pp.261-264, 2015
  • An asset-based development approach for availability and safety analysis on a flood alert system
    Machida Fumio; Xiang Jianwen; Tadano Kumiko; Hosono Shigeru
    IEEE/IFIP Int’l Conf. on Dependable Systems and Networks (DSN) workshop/pp.51-56, 2015
  • Survivability as a generalization of recovery
    Poul E. Heegaard; Bjarne E. Helvik; Kishor S. Trivedi; Ma...
    Int’l Conf. on Design of Reliable Communication Networks (DRCN)/pp.133-140, 2015
  • A scalable optimization framework for storage backup operations using Markov decision processes
    Xia Ruofan; Machida Fumio; Trivedi Kishor S.
    IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC)/pp.169-178, 2015
  • Optimizing resiliency of distributed video surveillance system for safer city
    Machida Fumio; Fujiwaka Masaya; Koizumi Seiichi; Kimura D...
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE) Industry Track/pp.17-20, 2015
  • A scalable optimization framework for storage backup operations using Markov decision processes
    Xia Ruofan; Machida Fumio; Trivedi Kishor S.
    IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC)/pp.169-178, 2015
  • An imperfect fault coverage model with coverage of irrelevant components
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Maeno Yoshiharu
    IEEE Transactions on Reliability/64(1)/pp.320-332, 2015
  • Composing hierarchical stochastic model from SysML for system availability analysis
    Machida Fumio; Xiang Jianwen; Tadano Kumiko; Maeno Yoshiharu
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE)/pp.51-60, 2013
  • Is cut sequence necessary in dynamic fault trees?
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Hosono Shigeru
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Fast Abstracts/pp.138-139, 2014
  • Server virtualized infrastructure for resilient voice communication service
    Machida Fumio; Mibu Ryota; Gokurakuji Junichi; Yanoo Kazu...
    IEEE/IFIP Network Operations and Management Symposium (NOMS)/pp.1-8, 2014
  • Analysis of persistence of relevance in systems with imperfect fault coverage
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Maeno Yoshiharu
    Int’l Conf. on Computer Safety, Reliability and Security (SAFECOMP)/pp.109-124, 2014
more...
Other articles
  • Access policy management architecture for virtual server consolidation systems
    小川 隆一; 中江 政行; 前野 義晴; 森田 陽一郎; 町田 文雄; ...
    IEICE technical report/110(113)/pp.93-100, 2010-06
    CiNii
  • Self-Scheduling Cache Controller for Autonomous Management Middleware
    町田 文雄; 小倉 章嗣; 西村 祥治; 川戸 正裕; 前野 義晴
    分散システム/インターネット運用技術シンポジウム2005論文集/2005/pp.49-54, 2005-12
    CiNii
  • Redundant Configuration using Virtual Servers having Fault-Tolerance of Physical Servers
    町田 文雄; 川戸 正裕; 前野 義晴
    IPSJ SIG Notes/2008(35)/pp.9-15, 2008-04
    CiNii
  • High-speed Server Provisioning by Speculative Virtual Machine Standby Control
    町田 文雄; 川戸 正裕; 前野 義晴
    情報処理学会論文誌/49(6)/pp.2070-2080, 2008-06-15
    CiNii
Books
  • Markov chains and Petri nets
    Machida Fumio; Maciel Paulo R. M.
    Handbook of Software Aging and Rejuvenation, World Scientific, pp.93-126, 2020-05
  • Combining performance and availability analysis in practice
    Trivedi Kishor S.; Andrade Ermeson C.; Machida Fumio
    Advances in Computers, pp.1-38, 2012
Conference, etc.
  • On the diversity of machine learning models for system reliability
    Machida Fumio
    IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC)
  • Analysis of software aging impacts on plant anomaly detection with edge computing
    Machida Fumio; Andrade Ermeson
    IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)
  • N-version machine learning models for safety critical systems
    Machida Fumio
    DSN Workshop on Dependable and Secure Machine Learning
  • Composing hierarchical stochastic model from SysML for system availability analysis
    Machida Fumio; Xiang Jianwen; Tadano Kumiko; Maeno Yoshiharu
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE)/2013
  • Is cut sequence necessary in dynamic fault trees?
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Hosono Shigeru
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE), Fast Abstracts/2014
  • Server virtualized infrastructure for resilient voice communication service
    Machida Fumio; Mibu Ryota; Gokurakuji Junichi; Yanoo Kazu...
    IEEE/IFIP Network Operations and Management Symposium (NOMS)/2014
  • Analysis of persistence of relevance in systems with imperfect fault coverage
    Xiang Jianwen; Machida Fumio; Tadano Kumiko; Maeno Yoshiharu
    Int’l Conf. on Computer Safety, Reliability and Security (SAFECOMP)/2014
  • A systematic differential analysis for fast and robust detection of software aging
    Matias Rivalino; Andrzejak Artur; Machida Fumio; Diego El...
    IEEE Int’l Symp. on Reliable Distributed Systems (SRDS)/2014
  • Computing defects per million in cloud caused by virtual machine failures with replication
    Mondal Subrota K.; Muppala Jogesh K.; Machida Fumio; Triv...
    IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC)/2014
  • A Markov decision process approach for optimal data backup scheduling
    Xia Ruofan; Machida Fumio; Trivedi Kishor S.
    IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) workshop
  • Survivability as a generalization of recovery
    Poul E. Heegaard; Bjarne E. Helvik; Kishor S. Trivedi; Ma...
    Int’l Conf. on Design of Reliable Communication Networks (DRCN)/2015
  • An asset-based development approach for availability and safety analysis on a flood alert system
    Machida Fumio; Xiang Jianwen; Tadano Kumiko; Hosono Shigeru
    IEEE/IFIP Int’l Conf. on Dependable Systems and Networks (DSN) workshop/2015
  • Optimizing resiliency of distributed video surveillance system for safer city
    Machida Fumio; Fujiwaka Masaya; Koizumi Seiichi; Kimura D...
    IEEE Int'l Symp. on Software Reliability Engineering (ISSRE) Industry Track/2015
  • Preventing recurrence of industrial control system accident using assurance case
    Machida Fumio; Napolano Mirko; Pietrantuono Roberto; Cotr...
    Int’l Works. on Software Certification (WoSoCER)/2015
  • Just-in-time server procurement to private cloud for mobile thin-client service
    Machida Fumio; Kohno Shunsuke; Maebara Kosuke; Nakagawa M...
    IEEE/IFIP Int’l Conf. on Network and Service Management (CNSM)/2015
  • A scalable optimization framework for storage backup operations using Markov decision processes
    Xia Ruofan; Machida Fumio; Trivedi Kishor S.
    IEEE Pacific Rim Int’l Symp. on Dependable Computing (PRDC)/2015
  • An optimal stopping problem for software rejuvenation in a job processing system
    Machida Fumio; Miyoshi Naoto
    Int’l Works. on Software Aging and Rejuvenation/2015
  • A test design method for resilient system on cloud infrastructure
    Machida Fumio; Fujiwaka Masaya; Koizumi Seiichi
    IEEE Int’l Conf. on Cloud Computing (CLOUD)/2016
  • Availability modeling and analysis of a virtualized system using stochastic reward nets
    Kim DongSeong; Hong Jin B.; Nguyen Tuan Anh; Machida Fumi...
    IEEE Int’l Conf. on Computer and Information Technology (CIT)/2016
  • End-to-end reliability assurance of service chain embedding for network function virtualization
    Bijwe Shashank; Machida Fumio
    IEEE Conference on Network Function Virtualization and Software Defined Networks/2017
  • Practices in Model Component Reuse for Efficient Dependability Analysis
    Machida Fumio
    ACM Workshop on Education and Practice of Performance Engineering/2019-04-06--2019-04-11
Teaching
2020-10 -- 2021-02データサイエンス筑波大学
2020-10 -- 2021-02微分積分A筑波大学情報科学類
2020-10 -- 2021-02分散システム筑波大学情報科学類
2020-04 -- 2020-06フレッシュマン・セミナー筑波大学情報科学類
2019-10 -- 2020-02データサイエンス筑波大学
Talks
  • 多様な分類器を用いた機械学習応用システムの信頼性
    町田 文雄
    日本OR学会「4部合同研究会 ～確率モデルの新展開～」/2019-10-19
  • Nバージョンモデルによる機械学習応用システムの高信頼化
    町田 文雄
    第17回 ディペンダブルシステムワークショップ（DSW2019）/2019-12-06
Professional activities
2020 -- (current)IEEEProgram Co-Chairs, Pacific Rim International Symposium on Dependable Computing
2020 -- (current)IEEEFast Abstract Co-chairs, International Symposium on Software Reliability Engineering
2020 -- (current)EAILocal Chair, 13th EAI International Conference on Performance Evaluation Methodologies and Tools
2020 -- (current)IEEE/IFIPFast Abstracts & Posters Chairs, International Conference on Dependable Systems and Networks
University Management
2020-04 -- (current)システム情報工学研究群広報委員会委員
2020-04 -- (current)情報理工学位プログラム広報委員会委員
2020-04 -- (current)情報科学類クラス担任（1年）
2019-07 -- (current)情報科学類カリキュラム委員会委員
2019-04 -- 2020-03コンピュータサイエンス専攻広報委員会委員

(Last updated: 2020-06-15)