現在地

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

face
所属
システム情報系
職名
准教授
性別
男性
科研費番号
50842209
URL
eメール
 
研究室
システムディペンダビリティ研究室
研究分野
計算機システム
数理情報学
ソフトウェア
研究キーワード
ディペンダビリティ
確率モデル
可用性
信頼性
研究課題
フォッグコンピューティング応用システムに対するスケーラブル信頼性設計技術の研究2019-10 -- 2022-03町田文雄筑波大学/研究基盤支援プログラム(Sタイプ)3,000,000円
深層学習システムの品質評価と安全性保証2019-06 -- 2020-03町田文雄筑波大学システム情報系/若手融合プロジェクト500,000円
機械学習モデル多様化による機械学習応用システムの高信頼化設計および評価2019-10 -- 2022-03町田文雄日本学術振興会/研究活動スタート支援2,860,000円
職歴
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
査読付き学術雑誌・国際会議論文
  • A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams
    Machida Fumio; Wang Sixiang
    IEEE 7th World Forum on the Internet of Things, 2021-06
  • PA-offload: Performability-aware Adaptive Fog Offloading for Drone Image Processing
    Machida Fumio; Andrade Ermeson
    IEEE International Conference on Fog and Edge Computing (ICFEC2021), 2021-05
  • A Queueing Analysis of Multi-model Multi-input Machine Learning Systems
    Tuan Phung-Duc; Yuta Makino; Fumio Machida
    Proceedings of The 4th DSN Workshop on Dependable and Secure Machine Learning (DSN-DSML'21), 2021-06
  • Software aging in image classification systems on cloud and edge
    Machida Fumio; Andrade Ermeson; Pietrantuono Roberto; Cot...
    Proceedings of IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)/pp.342-348, 2020-10
  • Markov chains and Petri nets for software rejuvenation systems
    Machida Fumio; Paulo R. M. Maciel
    IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)/pp.325-326, 2020-10
  • Analysis of optimal file placement for energy-efficient file-sharing cloud storage system
    Machida Fumio; Hasebe Koji; Abe Hirotake; Kato Kazuhiko
    IEEE Transactions on Sustainable Computing, 2020-11
  • 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
その他の論文・記事
  • マルコフ連鎖を用いた多モデル多入力型機械学習システムの性能評価
    巻野 侑大; Tuan Phung-Duc; 町田 文雄
    第37回(2020年度)待ち行列シンポジウム「確率モデルとその応用」/pp.79-88, 2021-01
  • DSN 2019 参加報告
    町田 文雄; 松野裕
    コンピュータ ソフトウェア/37(1)/pp.78-83, 2020-01
  • 仮想サーバ統合環境におけるアクセスポリシー管理方式
    小川 隆一; 中江 政行; 前野 義晴; 森田 陽一郎; 町田 文雄; ...
    電子情報通信学会技術研究報告. 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
著書
  • 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
会議発表等
  • マルコフ連鎖を用いた多モデル多入力型機械学習システムの性能評価
    巻野 侑大; Tuan Phung-Duc; 町田 文雄
    第37回(2020年度)待ち行列シンポジウム「確率モデルとその応用」/2021-01-25--2021-01-27
  • A Robustness Evaluation of Concept Drift Detectors against Unreliable Data Streams
    Machida Fumio; Wang Sixiang
    IEEE 7th World Forum on the Internet of Things/2021-06
  • PA-offload: Performability-aware Adaptive Fog Offloading for Drone Image Processing
    Machida Fumio; Andrade Ermeson
    IEEE International Conference on Fog and Edge Computing (ICFEC2021)/2021-05
  • Software aging in image classification systems on cloud and edge
    Machida Fumio; Andrade Ermeson; Pietrantuono Roberto; Cot...
    International Workshop on Software Aging and Rejuvenation (WoSAR)/2020-10
  • Markov chains and Petri nets for software rejuvenation systems
    Machida Fumio; Paulo R. M. Maciel
    International Workshop on Software Aging and Rejuvenation (WoSAR)/2020-10
  • 多様な分類器を用いた機械学習応用システムの信頼性
    町田 文雄
    日本OR学会「4部合同研究会 ~確率モデルの新展開~」/2019-10-19
  • Nバージョンモデルによる機械学習応用システムの高信頼化
    町田 文雄
    第17回 ディペンダブルシステムワークショップ(DSW2019)/2019-12-06
  • N-version machine learning models for safety critical systems
    Machida Fumio
    DSN Workshop on Dependable and Secure Machine Learning/2019-06
  • Analysis of software aging impacts on plant anomaly detection with edge computing
    Machida Fumio; Andrade Ermeson
    Int’l Works. on Software Aging and Rejuvenation/2019-10
  • On the diversity of machine learning models for system reliability
    Machida Fumio
    IEEE Pacific Rim Int'l Symp. on Dependable Computing (PRDC)/2019-12-01--2019-12-03
  • 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)/2019--2019
  • N-version machine learning models for safety critical systems
    Machida Fumio
    DSN Workshop on Dependable and Secure Machine Learning/2019-06-24--2019-06-27
  • 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/2015--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)/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
担当授業科目
2021-10 -- 2022-02情報理工前期特別研究If筑波大学
2021-10 -- 2022-02情報理工後期特別演習Bf筑波大学
2021-04 -- 2021-08情報理工前期特別研究IIs筑波大学
2021-10 -- 2022-02情報理工前期特別演習f筑波大学
2021-04 -- 2021-08コンピュータサイエンス特別演習筑波大学
2021-10 -- 2022-02コンピュータサイエンス特別演習筑波大学
2021-10 -- 2022-02情報理工後期特別研究f筑波大学
2021-10 -- 2022-02コンピュータサイエンス特別研究I筑波大学
2021-04 -- 2021-08コンピュータサイエンス特別研究I筑波大学
2021-10 -- 2022-02情報理工後期特別演習Af筑波大学
一般講演
  • 多様な分類器を用いた機械学習応用システムの信頼性
    町田 文雄
    日本OR学会「4部合同研究会 ~確率モデルの新展開~」/2019-10-19
  • Nバージョンモデルによる機械学習応用システムの高信頼化
    町田 文雄
    第17回 ディペンダブルシステムワークショップ(DSW2019)/2019-12-06
学協会等委員
2021 -- 2021IEEEWorkshop Co-Chairs, International Symposium on Software Reliability Engineering
2020 -- 2020IEEEProgram Co-Chairs, Pacific Rim International Symposium on Dependable Computing
2020 -- 2020IEEEFast Abstract Co-chairs, International Symposium on Software Reliability Engineering
2020 -- 2020EAILocal Chair, 13th EAI International Conference on Performance Evaluation Methodologies and Tools
2020 -- 2020IEEE/IFIPFast Abstracts & Posters Chairs, International Conference on Dependable Systems and Networks
学内管理運営業績
2021-04 -- (現在)システム情報工学研究群FD委員委員
2021-04 -- (現在)情報理工学位プログラム教学マネジメント委員委員
2021-04 -- (現在)情報科学類教学マネジメント委員委員
2020-10 -- (現在)情報科学類総合学域群向け広報WGリーダー
2021-04 -- (現在)情報科学類クラス担任(2年)
2021-04 -- (現在)情報理工学位プログラム企画委員委員
2020-04 -- 2021-03システム情報工学研究群広報委員会委員
2020-04 -- 2021-03情報理工学位プログラム広報委員会委員
2020-04 -- 2021-03情報科学類クラス担任(1年)
2019-07 -- (現在)情報科学類カリキュラム委員会委員

(最終更新日: 2021-08-23)