matsubara yutaka 松原豊

… Alternative Names

MATSUBARA Yutaka 松原豊

Less

Researcher Number	30547500
Other IDs
Affiliation (Current)	2025: 名古屋大学, 情報学研究科, 准教授
Affiliation (based on the past Project Information) *help	2022 – 2024: 名古屋大学, 情報学研究科, 准教授 2018 – 2019: 名古屋大学, 情報学研究科, 准教授 2017: 名古屋大学, 情報学研究科, 助教 2012 – 2016: 名古屋大学, 情報科学研究科, 助教
Review Section/Research Field	Principal Investigator Basic Section 25020:Safety engineering-related / Information security / Software Except Principal Investigator Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related / Basic Section 60020:Mathematical informatics-related / Basic Section 60010:Theory of informatics-related / Software / Software
Keywords	Principal Investigator 組込みシステム / 論証 / システムオブシステムズ / 総合信頼性 / レジリエンス / 総合信頼性論証フレームワーク / システムオブシステムズの総合信頼性 / 脅威分析 / IoT / 組込み/IoT機器のセキュリティ … More / セキュリティ / 安全性 / Ethernet / CAN / ネットワーク / リアルタイムシステム / 動作検証 / 車載ネットワーク / シミュレーション / 組込みソフトウェア … More Except Principal Investigator 循環証明 / 到達可能性 / 実行時エラー検証 / プログラム変換 / 論理制約付き項書換えシステム / 介護支援ロボット / ビックデータ / ROS / 通信ミドルウエア / コミュニケーションロボット / ネットワーク帯域保証 / ロボット / システム基盤 / 複数台ロボット / オペレーティングシステム / ミドルウエア / IoR / ロボットプラットフォーム / リハビリロボット / 声がけロボット / 見守りロボット / Dyas / IXM / ロボットミドルウエア / リアルタイムシステム / 組込みソフトウェア / タスクスケジューリング / 省エネルギー / マルチプロセッサ / 組込みリアルタイムシステム Less

Development of Program Verification Techniques Based on Coinduction on Logically Constrained Rewriting
- Principal Investigator
  
  西田直樹
- Project Period (FY)
  2024 – 2028
- Research Category
  
  Grant-in-Aid for Scientific Research (B)
- Review Section
  
  Basic Section 60010:Theory of informatics-related
  Basic Section 60020:Mathematical informatics-related
  Sections That Are Subject to Joint Review: Basic Section60010:Theory of informatics-related , Basic Section60020:Mathematical informatics-related
- Research Institution
  Nagoya University
Society5.0を支えるシステムオブシステムズの総合信頼性論証フレームワークPrincipal Investigator
- Principal Investigator
  
  松原豊
- Project Period (FY)
  2022 – 2025
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Review Section
  
  Basic Section 25020:Safety engineering-related
- Research Institution
  Nagoya University
Security threat analysis system for highly reliable embedded / IoT systemsPrincipal Investigator
- Principal Investigator
  
  Yutaka Matsubara
- Project Period (FY)
  2016 – 2019
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Information security
- Research Institution
  Nagoya University
Robot platform in the big data area
- Principal Investigator
  
  Sugaya Midori
- Project Period (FY)
  2015 – 2017
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Shibaura Institute of Technology
Energy optimization for multiprocessor embedded software
- Principal Investigator
  
  ZENG GANG
- Project Period (FY)
  2012 – 2015
- Research Category
  
  Grant-in-Aid for Scientific Research (C)
- Research Field
  
  Software
- Research Institution
  Nagoya University
Collaborative simulation environment for scheduling control model and embedded softwarePrincipal Investigator
- Principal Investigator
  
  MATSUBARA Yutaka
- Project Period (FY)
  2012 – 2014
- Research Category
  
  Grant-in-Aid for Young Scientists (B)
- Research Field
  
  Software
- Research Institution
  Nagoya University

All 2024 2023 2020 2019 2018 2017 2016 2015 2014 2013 Other

All Journal Article Presentation Book

[Book] つながる！基礎技術 IoT入門2019
- Author(s)
  渡辺晴美、今村誠、久住憲嗣、石田繁巳、大川猛、小倉信彦、汐月哲夫、菅谷みどり、松浦佐江子、松原豊、三輪昌史、元木誠
- Total Pages
  176
- Publisher
  コロナ社
- ISBN
  9784339029000
- Data Source
  KAKENHI-PROJECT-16K21097
[Journal Article] Resilience Analysis and Design for Mobility-as-a-Service Based on Enterprise Architecture Modeling2023
- Author(s)
  Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada
- Journal Title
  
  Elsevier Reliability Engineering & System Safety
  
  Volume: 229 Pages: 108812-108812
- DOI
  10.1016/j.ress.2022.108812
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K04618
[Journal Article] Developing Reliable Digital Healthcare Service Using Semi-Quantitative Functional Resonance Analysis2023
- Author(s)
  Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada
- Journal Title
  
  Computer Systems Science and Engineering
  
  Volume: 45 Issue: 1 Pages: 35-50
- DOI
  10.32604/csse.2023.030848
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-22K04618
[Journal Article] A Quantitative Approach for System of Systems’ Resilience Analyzing Based on ArchiMate2023
- Author(s)
  Huanjun Zhang, Yutaka Matsubara and Hiroaki Takada
- Journal Title
  
  In Proc. of SAFECOMP 2023 Workshops
  
  Volume: LNCS 14182 Pages: 47-60
- DOI
  10.1007/978-3-031-40953-0_5
- ISBN
  9783031409523, 9783031409530
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-22K04618
[Journal Article] IXM:ロボット制御ソフトウエア向けプロセス間通信ミドルウエア2017
- Author(s)
  菅谷みどり, 松原豊, 住谷拓馬, 中野美由紀
- Journal Title
  
  情報処理学会論文誌
  
  Volume: 58巻-10号
- Peer Reviewed / Open Access
- Data Source
  KAKENHI-PROJECT-15K00105
[Journal Article] IXM : ロボット制御ソフトウエア向けプロセス間通信ミドルウエア2016
- Author(s)
  住谷拓馬 , 松原豊 , 菅谷みどり
- Journal Title
  
  電子情報通信学会技術研究報告
  
  Volume: 信学技報 115(518) Pages: 25-30
- Data Source
  KAKENHI-PROJECT-15K00105
[Journal Article] Energy-aware task migration for multiprocessor real-time systems2016
- Author(s)
  Gang Zeng, Yutaka Matsubara, Hiroyuki Tomiyama and Hiroaki Takada
- Journal Title
  
  Journal of Future Generation Computer Systems
  
  Volume: 56 Pages: 220-228
- DOI
  10.1016/j.future.2015.07.008
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24500036
[Journal Article] IXM : ロボットミドルウエアにおける効率的なデータ共有通信と保護の実現2016
- Author(s)
  住谷拓馬 ,松原豊 , 中野美由紀, 菅谷みどり
- Journal Title
  
  システム制御情報学会研究発表講演会講演論文集
  
  Volume: 60 Pages: 1-4
- Data Source
  KAKENHI-PROJECT-15K00105
[Journal Article] ロボット制御ソフトウエア向けプロセス間通信ミドルウエアIXMの設計と実装2016
- Author(s)
  住谷拓馬 , 松原豊 , 中野美由紀 , 菅谷みどり
- Journal Title
  
  コンピュータシステム・シンポジウム論文集
  
  Volume: 2016(1) Pages: 121-128
- NAID
  170000173875
- Data Source
  KAKENHI-PROJECT-15K00105
[Journal Article] A Simulation Environment and Preliminary Evaluation for Automotive CAN-Ethernet AVB Networks2014
- Author(s)
  Keigo Kawahara, Yutaka Matsubara and Hiroaki Takada
- Journal Title
  
  Proceedings of the 1st OMNeT++ Community Summit
  
  Volume: 1 Pages: 1-2
- Peer Reviewed / Acknowledgement Compliant / Open Access
- Data Source
  KAKENHI-PROJECT-24700027
[Journal Article] A Simulation Environment based on OMNeT++ for Automotive CAN-Ethernet Networks2013
- Author(s)
  Jun Matsumura, Yutaka Matsubara, Hiroaki Takada, Masaya Oi, Masumi Toyoshima and Akihito Iwai
- Journal Title
  
  Proceedings of the 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS2013),
  
  Volume: 1
- Peer Reviewed
- Data Source
  KAKENHI-PROJECT-24700027
[Presentation] 車載システムの総合信頼性2024
- Author(s)
  松原豊
- Organizer
  情報処理学会第86回全国大会
- Invited
- Data Source
  KAKENHI-PROJECT-22K04618
[Presentation] Enhancing Stakeholder Consensus in the Construction of System of Systems Resilience using Assurance Case2023
- Author(s)
  Zhang Huanjun, Matsubara Yutaka and Hiroaki Takada
- Organizer
  第21回ディペンダブルシステムワークショップ (DSW 2023)
- Data Source
  KAKENHI-PROJECT-22K04618
[Presentation] A Quantitative Approach for System of Systems’ Resilience Analyzing Based on ArchiMate2023
- Author(s)
  Huanjun Zhang, Yutaka Matsubara and Hiroaki Takada
- Organizer
  SAFECOMP 2023 Workshops
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-22K04618
[Presentation] Mindstorms EV3向けセキュア遠隔ソフトウェア更新機能2020
- Author(s)
  伊藤大地，松原豊，高田広章
- Organizer
  第19回複雑系マイクロシンポジウム
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] ミドルウェアに対するCoverage-based Greybox Fuzzingの適用2020
- Author(s)
  伊藤弘将，松原豊，高田広章
- Organizer
  2020年暗号と情報セキュリティシンポジウム (SCIS2020)
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] IoT機器向け軽量セキュア通信のためのQUICの性能評価2020
- Author(s)
  小松大河，松原豊，高田広章
- Organizer
  2020年暗号と情報セキュリティシンポジウム (SCIS2020)
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] Shadow exception stacks: 非同期例外を対象とした TrustZone-M ベースの CFI 機構2019
- Author(s)
  河田智明，本田晋也，松原豊，高田広章
- Organizer
  暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] 車載制御システムの変遷とディペンダビリティ2019
- Author(s)
  松原豊
- Organizer
  ディペンダブルシステムワークショップ
- Invited
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] Shadow exception stacks: Control-Flow Integrity for Asynchronous Exceptions Using TrustZone for Armv8-M2019
- Author(s)
  Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada
- Organizer
  The 6th International Embedded Systems Symposium (IESS) 2019
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] 組込みネットワークスタックlwIPを題材としたバグ検出を支援するシンボリック実行環境2018
- Author(s)
  青木克憲, 松原豊, 高田広章
- Organizer
  2018年暗号と情報セキュリティシンポジウム
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI の検討2018
- Author(s)
  河田智明, 本田晋也, 松原豊, 高田広章
- Organizer
  組込みシステムシンポジウム2018
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] IoT機器への適用に向けたTLS1.3の性能評価2018
- Author(s)
  小松大河，松原豊，高田広章
- Organizer
  コンピュータセキュリティシンポジウム2018
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク2018
- Author(s)
  長柄啓悟, 松原豊, 高田広章
- Organizer
  組込みシステムシンポジウム2018
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] 組込みシステム向けマルウェア Mirai の攻撃性能評価2017
- Author(s)
  長柄啓悟, 松原豊, 青木克憲, 高田広章
- Organizer
  情報処理学会研究報告
- Place of Presentation
  沖縄
- Year and Date
  2017-03-09
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] Open-source software-based portable DoS test tool for IoT devices2017
- Author(s)
  Keigo Nagara, Katsunori Aoki, Yutaka Matsubara , Hiroaki Takada
- Organizer
  Workshop on Internet of Things Security and Privacy Collocated with ACM CCS
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] 組込みシステム向けのポータブルDoSテストツール2017
- Author(s)
  長柄啓悟, 青木克憲, 松原豊, 高田広章
- Organizer
  組込みシステムシンポジウム（ESS2017）
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] An Aiding Tool for HAZOP-based Analysis for Embedded Systems2016
- Author(s)
  Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada
- Organizer
  第14回クリティカルソフトウェアワークショップ（WOCS2）
- Place of Presentation
  東京
- Year and Date
  2016-12-12
- Data Source
  KAKENHI-PROJECT-16K21097
[Presentation] ロボットミドルウエアにおける効率的なデータ共有通信と保護の実現2016
- Author(s)
  住谷拓馬, 松原豊, 中野美由紀, 菅谷みどり
- Organizer
  第60回システム制御情報学会研究発表講演会(SCI’16)
- Place of Presentation
  京都
- Year and Date
  2016-05-25
- Data Source
  KAKENHI-PROJECT-15K00105
[Presentation] A Mobile Robot for Fall Detection for Elderly-Care2015
- Author(s)
  Takuma Sumiya, Yutaka Matsubara, Miyuki Nakano, Midori Sugaya
- Organizer
  19th Annual Conference Knowledge-Based and Intelligent Information & Engineering Systems(KES2015)
- Place of Presentation
  Singapore
- Year and Date
  2015-09-07
- Invited / Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-24500036
[Presentation] A Mobile Robot for Fall Detection for Elderly-Care2015
- Author(s)
  Takuma Sumiya, Yutaka Matsubara, Miyuki Nakano, Midori Sugaya
- Organizer
  19th International Conference in Knowledge Based and Intelligent Information and Engineering Systems (KES2015)
- Place of Presentation
  Singapore
- Year and Date
  2015-08-08
- Int'l Joint Research
- Data Source
  KAKENHI-PROJECT-15K00105
[Presentation] ARMアーキテクチャ向け命令サイクルの高速・高精度見積もり2015
- Author(s)
  佐藤剛, 高田広章, 本田晋也, 松原豊
- Organizer
  デザインガイア2015
- Place of Presentation
  長崎
- Year and Date
  2015-12-01
- Data Source
  KAKENHI-PROJECT-24500036
[Presentation] 同一命令セットヘテロジニアスマルチコア向け消費電力管理手法の評価環境2015
- Author(s)
  青野和巳, 高瀬英希, 松原豊, 高木一義, 高木直史
- Organizer
  組込みシステムシンポジウム（ESS2015）
- Place of Presentation
  東京
- Year and Date
  2015-10-21
- Data Source
  KAKENHI-PROJECT-24500036
[Presentation] 高応答性を要求するリアルタイムアプリケーション統合のためのARINC653 拡張スケジューリングアルゴリズム2014
- Author(s)
  佐藤祐一, 松原豊, 本田晋也, 高田広章
- Organizer
  情報処理学会研究報告
- Place of Presentation
  沖縄県
- Data Source
  KAKENHI-PROJECT-24700027
[Presentation] 車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム2013
- Author(s)
  松村潤，松原豊，高田広章，大井正也，豊島真澄，岩井明史
- Organizer
  組込み技術とネットワークに関するワークショップ（ETNET2013）
- Place of Presentation
  長崎県対馬市
- Data Source
  KAKENHI-PROJECT-24700027
[Presentation] リアルタイム処理と省電力を支援するロボットミドルウェア
- Author(s)
  住谷拓馬, 松原豊, 中野美由紀，菅谷みどり
- Organizer
  コンピュータシステムシンポジウム2014（Comsys2014）
- Place of Presentation
  東京、日本
- Year and Date
  2014-11-19 – 2015-11-20
- Data Source
  KAKENHI-PROJECT-24500036
[Presentation] OMNeT++を用いたCAN-EthernetAVB混在ネットワークのシミュレーション環境開発
- Author(s)
  川原慶悟 , 松原豊, 高田広章
- Organizer
  第16回組込みシステム技術に関するサマーワークショップ（SWEST16）予稿集
- Place of Presentation
  岐阜
- Year and Date
  2014-08-28 – 2014-08-29
- Data Source
  KAKENHI-PROJECT-24700027
[Presentation] 見守りロボットの省電力化の検討
- Author(s)
  長峰貴矩, 住谷拓馬, 松原豊, 菅谷みどり
- Organizer
  情報処理学会第77回全国大会
- Place of Presentation
  京都、日本
- Year and Date
  2015-03-17 – 2015-03-19
- Data Source
  KAKENHI-PROJECT-24500036
[Presentation] Task Migration for Energy Saving in Real-Time Multiprocessor Systems
- Author(s)
  G. Zeng, Y. Matsubara, H. Tomiyama, and H. Takada
- Organizer
  IEEE International Conference on Embedded Software and Systems (ICESS)
- Place of Presentation
  Paris, France
- Year and Date
  2014-08-20 – 2014-08-22
- Data Source
  KAKENHI-PROJECT-24500036
[Presentation] オーバヘッドを考慮したシミュレータによる階層型スケジューリングアルゴリズムの評価
- Author(s)
  佐藤祐一, 松原豊, 高田広章
- Organizer
  情報処理学会研究報告
- Place of Presentation
  東京都
- Data Source
  KAKENHI-PROJECT-24700027

1. ZENG GANG (90456632)

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
2. Sugaya Midori (50434288)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
3. 中野美由紀 (30227863)

# of Collaborated Projects: 1 results

# of Collaborated Products: 5 results
4. 西田直樹 (00397449)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
5. 中澤巧爾 (80362581)

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
6. MATSUMURA Jun

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
7. SATO Yuichi

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
8. LI Yixiao

# of Collaborated Projects: 1 results

# of Collaborated Products: 0 results
9. KAWAHARA Keigo

# of Collaborated Projects: 1 results

# of Collaborated Products: 2 results
10. 菅谷みどり

# of Collaborated Projects: 0 results

# of Collaborated Products: 6 results

matsubara yutaka 松原 豊

MATSUBARA Yutaka 松原 豊

Research Projects

Research Products

Co-Researchers

Development of Program Verification Techniques Based on Coinduction on Logically Constrained Rewriting

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Society5.0を支えるシステムオブシステムズの総合信頼性論証フレームワークPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Review Section

Research Institution

Security threat analysis system for highly reliable embedded / IoT systemsPrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Robot platform in the big data area

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Energy optimization for multiprocessor embedded software

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

Collaborative simulation environment for scheduling control model and embedded softwarePrincipal Investigator

Principal Investigator

Project Period (FY)

Research Category

Research Field

Research Institution

[Book] つながる！基礎技術 IoT入門2019

Author(s)

Total Pages

Publisher

ISBN

Data Source

[Journal Article] Resilience Analysis and Design for Mobility-as-a-Service Based on Enterprise Architecture Modeling2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] Developing Reliable Digital Healthcare Service Using Semi-Quantitative Functional Resonance Analysis2023

Author(s)

Journal Title

DOI

Data Source

[Journal Article] A Quantitative Approach for System of Systems’ Resilience Analyzing Based on ArchiMate2023

Author(s)

Journal Title

DOI

ISBN

Data Source

[Journal Article] IXM:ロボット制御ソフトウエア向けプロセス間通信ミドルウエア2017

Author(s)

Journal Title

Data Source

[Journal Article] IXM : ロボット制御ソフトウエア向けプロセス間通信ミドルウエア2016

Author(s)

Journal Title

Data Source

[Journal Article] Energy-aware task migration for multiprocessor real-time systems2016

Author(s)

Journal Title

DOI

Data Source

[Journal Article] IXM : ロボットミドルウエアにおける効率的なデータ共有通信と保護の実現2016

Author(s)

Journal Title

Data Source

matsubara yutaka 松原豊

MATSUBARA Yutaka 松原豊