Updated on 2021/11/08

写真a

 
MATSUBARA Yutaka
 
Organization
Graduate School of Informatics Department of Computing and Software Systems 2 Associate professor
Graduate School
Graduate School of Informatics
Undergraduate School
School of Informatics Department of Computer Science
Title
Associate professor
Contact information
メールアドレス

Degree 1

  1. Doctor (Information Science) ( 2011.3   Nagoya University ) 

Research Areas 1

  1. Informatics / Software

Professional Memberships 3

  1. Institute of Electrical and Electronics Engineers

  2. Information Processing Society of Japan

  3. 電子情報通信学会

Awards 2

  1. Specially Selected Paper

    2021.3  

     More details

    Award type:Honored in official journal of a scientific society, scientific journal 

  2. Best Software Paper Award

    2020.9   EV3RT: A Real-time Software Platform for LEGO Mindstorms EV3

    Yixiao Li,Yutaka Matsubara,Hiroaki Takada

     More details

    Award type:Honored in official journal of a scientific society, scientific journal 

 

Papers 20

  1. TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M Reviewed

    Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada

    International Journal of Parallel Programming   Vol. 49 ( 2 ) page: 216 - 236   2021.4

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)   Publisher:Springer Science and Business Media LLC  

    <title>Abstract</title>Control-Flow Integrity (CFI) is a class of defensive techniques against control-flow attacks such as Return-Oriented Programming. We propose a light-weight CFI scheme for RTOS-based applications, TZmCFI, which utilizes TrustZone for Armv8-M, a hardware-assisted security feature for embedded systems with tight resource constraints. TZmCFI embodies several existing CFI techniques to provide a comprehensive protection. The traditional shadow stack technique is used to ensure stack integrity and validate function returns. To protect exception handlers, TZmCFI extends <italic>shadow exception stacks</italic>, which are a variant of the traditional shadow stack technique we proposed in our previous work, for RTOS integration and performance improvement. We conducted an experiment on Arm Versatile Express Cortex-M Prototyping System (V2M-MPS2+) to evaluate the run-time overhead of the proposed system.

    DOI: 10.1007/s10766-020-00673-z

    Web of Science

    Scopus

    Other Link: http://link.springer.com/article/10.1007/s10766-020-00673-z/fulltext.html

  2. アプリケーションからのストレージアクセス分析手法

    長谷川博紀, 松原豊, 加藤寿和, 山本整, 高田広章

    第56回EMB合同研究発表会(ETNET2021)     2021.3

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

  3. ハイパーバイザにおけるハードウェアの共有分析手法

    鈴木 健太, 松原 豊, 守谷 友和, 本谷 謙治, 岩切 英之, 高田 広章

    第56回組込みシステム合同研究発表会(ETNET2021)     2021.3

     More details

    Language:Japanese   Publishing type:Research paper (conference, symposium, etc.)  

  4. ミドルウェアに対するCoverage-based Greybox Fuzzingの適用 Reviewed

    伊藤 弘将, 松原 豊, 高田 広章

    情報処理学会論文誌   Vol. 62 ( 3 ) page: 877 - 890   2021.3

     More details

    Language:Japanese   Publishing type:Research paper (scientific journal)  

  5. Agile Software Design Verification and Validation (V&V) for Automated Driving Reviewed

    Yixiao Li, Yutaka Matsubara, Daniel Olbrys, Kazuhiro Kajio, Hiroaki Takada

    Proceedings of FISITA 2020     2020.11

     More details

    Language:English   Publishing type:Research paper (international conference proceedings)  

  6. Safety design concepts for statistical machine learning components toward accordance with functional safety standards

    Akihisa Morikawa, Yutaka Matsubara

    CoRR   Vol. abs/2008.01263   2020.8

     More details

    Authorship:Last author   Language:English   Publishing type:Research paper (other academic)  

    In recent years, curial incidents and accidents have been reported due to
    un-intended control caused by misjudgment of statistical machine learning
    (SML), which include deep learning. The international functional safety
    standards for Electric/Electronic/Programmable (E/E/P) systems have been widely
    spread to improve safety. However, most of them do not recom-mended to use SML
    in safety critical systems so far. In practical the new concepts and methods
    are urgently required to enable SML to be safely used in safety critical
    systems. In this paper, we organize five kinds of technical safety concepts
    (TSCs) for SML components toward accordance with functional safety standards.
    We discuss not only quantitative evaluation criteria, but also development
    process based on XAI (eXplainable Artificial Intelligence) and Automotive SPICE
    to improve explainability and reliability in development phase. Fi-nally, we
    briefly compare the TSCs in cost and difficulty, and expect to en-courage
    further discussion in many communities and domain.

    arXiv

    Other Link: http://arxiv.org/pdf/2008.01263v1

  7. Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems Reviewed

    Misaki Kojima, Naoki Nishida, Yutaka Matsubara

    Informal Proceedings of WPTE 2020     page: 12   2020.6

     More details

    Authorship:Last author   Language:English   Publishing type:Research paper (international conference proceedings)  

  8. Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 1 International coauthorship

    Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshit, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

    CoRR   Vol. abs/2003.00789   2020.2

     More details

    Language:English   Publishing type:Research paper (other academic)  

    This report provides an introduction and overview of the Technical Topic
    Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance
    of autonomous Road vehicleS (Tigars) project. These notes aim to support the
    development and evaluation of autonomous vehicles. Part 1 addresses:
    Assurance-overview and issues, Resilience and Safety Requirements, Open Systems
    Perspective and Formal Verification and Static Analysis of ML Systems. Part 2:
    Simulation and Dynamic Testing, Defence in Depth and Diversity,
    Security-Informed Safety Analysis, Standards and Guidelines.

    arXiv

    Other Link: http://arxiv.org/pdf/2003.00789v1

  9. Towards Identifying and closing Gaps in Assurance of autonomous Road vehicleS -- a collection of Technical Notes Part 2 International coauthorship

    Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshit, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

    CoRR   Vol. abs/2003.00790   2020.2

     More details

    Language:English   Publishing type:Research paper (other academic)  

    This report provides an introduction and overview of the Technical Topic
    Notes (TTNs) produced in the Towards Identifying and closing Gaps in Assurance
    of autonomous Road vehicleS (Tigars) project. These notes aim to support the
    development and evaluation of autonomous vehicles. Part 1 addresses:
    Assurance-overview and issues, Resilience and Safety Requirements, Open Systems
    Perspective and Formal Verification and Static Analysis of ML Systems. This
    report is Part 2 and discusses: Simulation and Dynamic Testing, Defence in
    Depth and Diversity, Security-Informed Safety Analysis, Standards and
    Guidelines.

    arXiv

    Other Link: http://arxiv.org/pdf/2003.00790v1

  10. esprof: A Generic Profiling Infrastructure for Multi/Many-Core Embedded Systems Reviewed

    LI Yixiao, MATSUBARA Yutaka, TAKADA Hiroaki

    Computer Software   Vol. 37 ( 1 ) page: 1_54 - 1_67   2020

     More details

    Language:English   Publishing type:Research paper (scientific journal)   Publisher:Japan Society for Software Science and Technology  

    <p>Embedded systems are moving to multi-core and many-core platforms to satisfy the ever-growing demand for computing power. Complex task like autonomous driving will include both real-time applications and high-performance applications. Research has shown that traditional RTOS can be optimized to provide good scalability for parallel computing. The lack of performance analysis tools, however, is one of the major obstacles for identifying bottlenecks.<br/>In this paper, we first discuss the characteristics and challenges of existing tools used in high-performance computing. To meet the requirements of embedded systems, a generic infrastructure for creating customized profilers flexibly and effortlessly is then presented. As an example, a scalable and optimized call graph profiler has been developed. At last, we evaluate our profiler and existing profiler by measuring benchmark application on a 36-core platform. The results show that our profiler can provide much higher accuracy with very low overhead.</p>

    DOI: 10.11309/jssst.37.1_54

    Scopus

    CiNii Article

  11. Energy-Aware Task Allocation for Heterogeneous Multiprocessor Systems by Using Integer Linear Programming Reviewed

    Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada,

    Journal of Information Processing   Vol. 60 ( 2 ) page: 136-148   2019.2

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/10.2197/ipsjjip.27.136

  12. IDH-CAN: A Hardware-Based ID Hopping CAN Mechanism With Enhanced Security for Automotive Real-Time Applications Reviewed

    Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li, Keqin Li

      Vol. 6 ( 1 ) page: 54607-54623   2018.12

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: 10.1109/ACCESS.2018.2870695

  13. Execution-variance-aware task allocation for energy minimization on the big.LITTLE architecture Reviewed

    Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

    ELSEVIER Sustainable Computing: Informatics and Systems     2018.10

     More details

    Language:English   Publishing type:Research paper (scientific journal)  

    DOI: https://doi.org/doi:10.1016/j.suscom.2018.10.001

  14. IoT機器への適用に向けたTLS1.3の性能評価

    小松大河, 松原豊, 高田広章

    コンピュータセキュリティシンポジウム2018論文集   Vol. 2018 ( 2 ) page: 569 - 576   2018.10

     More details

    Language:Japanese  

  15. Energy-Aware Task Allocation for Large Task Sets on Heterogeneous Multiprocessor Systems Reviewed

    Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

    Proceedings of 16th International Conference on Embedded and Ubiquitous Computing (EUC)     page: 158-165   2018.10

     More details

    Language:English  

  16. ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク Reviewed

    長柄啓悟, 松原豊, 高田広章

    組込みシステムシンポジウム2018論文集   Vol. 2018   page: 36-39   2018.8

     More details

    Language:Japanese  

  17. Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI の検討 Reviewed

    河田智明, 本田晋也, 松原豊, 高田 広章

    組込みシステムシンポジウム2018論文集   Vol. 2018   page: 71 - 74   2018.8

     More details

    Language:Japanese  

  18. ROS2と軽量DDSの組込みシステムに対する適用性評価

    小澤慶祐, 本田晋也, 松原豊, 高田広章, 加藤 寿和, 山本 整

    研究報告組込みシステム(EMB)   Vol. 2018-EMB-48 ( 2 ) page: 1-8   2018.6

     More details

    Language:Japanese  

  19. つながる社会とクルマのセーフティ&セキュリティの動向と展望

    松原豊, 倉地亮, 高田広章

    自動車技術   Vol. 72 ( 5 ) page: 87-93   2018.5

     More details

    Authorship:Lead author   Language:Japanese  

  20. FRAM/STPA: Hazard Analysis Method for FRAM Model Reviewed

    Yoshinari Toda, Yutaka Matsubara, Hiroaki Takada

    Proceedings of FRAMily 2018     page: 1-7   2018.5

     More details

    Language:English  

▼display all

Presentations 13

  1. 組込み機器のセキュリティ入門 Invited

    松原豊

    組込み機器のセキュリティ入門講座  2021.2.15  しまね産業振興財団/島根県産業技術センター

     More details

    Event date: 2021.2

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:オンライン  

  2. 自動車を取り巻く セーフティとセキュリティの現状と課題 Invited

    松原豊

    電子情報通信学会情報ネットワーク(IN)研究会  2021.1.18  電子情報通信学会情報ネットワーク研究会

     More details

    Event date: 2021.1

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:オンライン  

  3. 車載システムの安全規格動向と電子デバイスへの期待 Invited

    松原豊

    第7回電子デバイスフォーラム京都  2020.10.30  日本電子デバイス産業協会

     More details

    Event date: 2020.10

    Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:京都  

  4. 組込みソフトウェアプラットフォームを理解する Invited

    松原豊

    セキュリティ・ネクストキャンプ2020  2020.10.25  情報処理推進機構

     More details

    Event date: 2020.10 - 2020.12

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:オンライン  

  5. 自動運転システムの総合信頼性と社会アーキテクチャ構築に向けて Invited

    松原豊

    JSAE オンラインフォーラム  2020.7.30  自動車技術会

     More details

    Event date: 2020.7

    Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:オンライン  

  6. 開発が進むAUTOSAR Adaptive Platformの現状と課題 Invited

    松原豊

    2019年度第3回スキルアップセミナー 

     More details

    Event date: 2019.12

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:名古屋   Country:Japan  

  7. 車載制御システムの変遷とディペンダビリティ Invited

    松原豊

    第17回ディペンダブルシステムワークショップ 

     More details

    Event date: 2019.12

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:東京   Country:Japan  

  8. 自動運転を安心して運営・利用するには? 〜 IEC 62853を活用したアプローチ 〜 Invited

    松原豊

    Embedded Technology&IoT Technology 2019 

     More details

    Event date: 2019.11

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:横浜   Country:Japan  

  9. SEAMS & TIGARS プロジェクトの紹介 Invited

    松原豊

    MaaS DIY Day 

     More details

    Event date: 2019.11

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:札幌   Country:Japan  

  10. IEC 62853を活用したMaaSのディペンダビリティ解析 Invited

    松原豊

    ソフトウェア品質シンポジウム2019 

     More details

    Event date: 2019.9

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:東京   Country:Japan  

  11. 組込みリアルタイムOSとIoTシステム演習 Invited

    松原豊

    セキュリティキャンプ全国大会2019 

     More details

    Event date: 2019.8

    Language:Japanese   Presentation type:Public lecture, seminar, tutorial, course, or other speech  

    Venue:東京   Country:Japan  

  12. 自動運転サービスの継続的な安全性論証と標準化動向 Invited

    松原豊

    Embedded System Technology and Innovation Conference 2019 

     More details

    Event date: 2019.7

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:東京   Country:Japan  

  13. 自動運転の安全性論証における IEC 62853の活用 Invited

    松原豊

    第6回DEOS協会オープンシンポジウム 

     More details

    Event date: 2019.6

    Language:Japanese   Presentation type:Oral presentation (invited, special)  

    Venue:東京   Country:Japan  

▼display all

 

Teaching Experience (On-campus) 2

  1. 情報リテラシー

    2019

  2. 情報リテラシー

    2019