You are here

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
ディペンダビリティ
確率モデル
可用性
信頼性
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
  • 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
  • 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)/pp.311-320, 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)/pp.161-168, 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/pp.660-665, 2014
Other articles
  • Access policy management architecture for virtual server consolidation systems
    小川 隆一; 中江 政行; 前野 義晴; 森田 陽一郎; 町田 文雄; ...
    IEICE technical report/110(113)/pp.93-100, 2010-06
  • Self-Scheduling Cache Controller for Autonomous Management Middleware
    町田 文雄; 小倉 章嗣; 西村 祥治; 川戸 正裕; 前野 義晴
    分散システム/インターネット運用技術シンポジウム2005論文集/2005/pp.49-54, 2005-12
  • Redundant Configuration using Virtual Servers having Fault-Tolerance of Physical Servers
    町田 文雄; 川戸 正裕; 前野 義晴
    IPSJ SIG Notes/2008(35)/pp.9-15, 2008-04
  • High-speed Server Provisioning by Speculative Virtual Machine Standby Control
    町田 文雄; 川戸 正裕; 前野 義晴
    情報処理学会論文誌/49(6)/pp.2070-2080, 2008-06-15
Books
  • Combining performance and availability analysis in practice
    Trivedi Kishor S.; Andrade Ermeson C.; Machida Fumio
    Advances in Computers, pp.1-38, 2012
Conference, etc.
  • 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
2019-10 -- 2020-02データサイエンス筑波大学
University Management
2019-07 -- (current)情報科学類カリキュラム委員会委員
2019-04 -- (current)コンピュータサイエンス専攻広報委員会委員

(Last updated: 2019-08-01)