現在地

町田 文雄(マチダ フミオ; Machida, Fumio)

face
所属
システム情報系
職名
准教授
性別
男性
科研費番号
50842209
URL
eメール
 
研究室
システムディペンダビリティ研究室
研究分野
計算機システム
数理情報学
ソフトウェア
研究キーワード
ディペンダビリティ
確率モデル
可用性
信頼性
職歴
2019-02 -- 2019-04国立大学法人筑波大学 システム情報系 准教授
2003-04 -- 2019-01日本電気株式会社 中央研究所
学歴
2015-04 -- 2018-03東京工業大学大学院 情報理工学研究科 数理・計算科学専攻博士課程修了
2001-04 -- 2003-03東京工業大学大学院 情報理工学研究科 計算工学専攻修士課程修了
取得学位
2018-03博士(学術)東京工業大学
2003-03修士(工学)東京工業大学
所属学協会
2010-04 -- (現在)IEEE
2019-03 -- (現在)ACM
2019-03 -- (現在)日本OR学会
受賞
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
査読付き学術雑誌・国際会議論文
  • 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
その他の論文・記事
  • 仮想サーバ統合環境におけるアクセスポリシー管理方式
    小川 隆一; 中江 政行; 前野 義晴; 森田 陽一郎; 町田 文雄; ...
    電子情報通信学会技術研究報告. ISEC, 情報セキュリティ/110(113)/pp.93-100, 2010-06
  • 自律運用管理ミドルウェアを高速化する資源情報キャッシュ制御方式
    町田 文雄; 小倉 章嗣; 西村 祥治; 川戸 正裕; 前野 義晴
    分散システム/インターネット運用技術シンポジウム2005論文集/2005/pp.49-54, 2005-12
  • 耐物理サーバ故障性を備える仮想サーバを用いた冗長構成の設計
    町田 文雄; 川戸 正裕; 前野 義晴
    情報処理学会研究報告システムソフトウェアとオペレーティング・システム(OS)/2008(35)/pp.9-15, 2008-04
  • 投機的仮想マシンスタンバイ制御によるプロビジョニング高速化
    町田 文雄; 川戸 正裕; 前野 義晴
    情報処理学会論文誌/49(6)/pp.2070-2080, 2008-06-15
著書
  • Combining performance and availability analysis in practice
    Trivedi Kishor S.; Andrade Ermeson C.; Machida Fumio
    Advances in Computers, pp.1-38, 2012
会議発表等
  • 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
担当授業科目
2019-10 -- 2020-02データサイエンス筑波大学
学内管理運営業績
2019-07 -- (現在)情報科学類カリキュラム委員会委員
2019-04 -- (現在)コンピュータサイエンス専攻広報委員会委員

(最終更新日: 2019-08-01)