Full publication list

業績フルリスト

論文誌や国際会議だけでなく、研究会、ポスター、技術文書、学位論文まですべて掲載した一覧です。

書籍

[1]
2020
つながる！基礎技術 IoT入門（第2章セキュリティ）
渡辺晴美, 今村誠, 久住憲嗣(編著)

コロナ社

第2章「セキュリティ」を松原豊が執筆。
[2]
2016
HAZOP-Based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack
Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada

Recent Advances in Systems Safety and Security, Springer, pp.79-96

解説記事

[1]
2024
自動運転の総合信頼性─ドイツPEGASUSプロジェクトとレベル4自動運転サービスを例に考える
松原豊

自動車技術会会誌, 2024年1月号特集イノベーションガバナンス
[2]
2023
分散リアルタイムシステムとしての車載制御システム
高田広章, 松原豊

システム制御情報学会会誌「システム／制御／情報」, 第67巻第12号, Dec 2023
[3]
2020
自動車分野のCASE革命とサイバーセキュリティ
松原豊, 倉地亮, 高田広章

情報処理 2020年4月号特集新たなモビリティ時代のサイバーセキュリティ, Vol.61, No.4, pp.338-343, Mar 2020
[4]
2018
つながる社会とクルマのセーフティ＆セキュリティの動向と展望
松原豊, 倉地亮, 高田広章

自動車技術 2018年5月号特集：コネクティビティ：つながる社会とクルマ, Vol.72, No.5, pp.87-93, May 2018
[5]
2017
自動車分野のセーフティとセキュリティの動向と展望 -自律走行の実現に向けて-
松原豊, 倉地亮, 高田広章

情報処理 2017年11月号特集 IoT時代のセーフティとセキュリティ -日本の産業競争力の強化に向けて-, Vol.58, No.11, Oct 2017
[6]
2017
自動車セキュリティの現状とIoT
松原豊

機能材料 2017年6月号連載 IoT時代のセキュリティ対策-繋がる時代に求められる安心・安全-, シーエムシー出版, 2017
[7]
2016
車載機器のセキュリティと安全性
倉地亮, 松原豊, 高田広章

情報処理 2016年7月号小特集乗り物の情報セキュリティと安全性, Vol.57, No.7, Jun 2016

学術論文

[1]
2026
A Multi-Agent Reinforcement Learning Based Resilience Engineering Method for Mobility-as-a-Service
Zhengshu Zhou, Weijie Yu, Tingting Zhao, Qian Long, Yutaka Matsubara, Hiroaki Takada

IEEE Transactions on Network and Service Management, Vol.23, pp.2135-2148

リンク
[2]
2025
Software-Defined Vehicles: Challenges and Orchestrating Mixed-Criticality Services Using Lingua Franca
Wenhung Kevin Huang, Yoshinori Terazawa, Yutaka Matsubara, Akihito Iwai

IEEE Embedded Systems Letters

リンク
[3]
2025
Enhancing Account Information Anonymity in Blockchain-Based IoT Access Control Using Zero-Knowledge Proofs
Yuxiao Wu, Yutaka Matsubara, Shoji Kasahara

Electronics, Vol.14, Issue 14

リンク
[4]
2025
A COTS-based Lightweight, Low-power and Versatile Companion Computer for Nano UAVs
Rintaro Okudera, Yixiao Li, Yutaka Matsubara, Hiroaki Takada

Sensors & Transducers, Vol.268, No.1, pp.37-44

リンク
[5]
2025
ArchiMate-Based System of Systems Resilience Evaluation Approach
Huanjun Zhang, Yutaka Matsubara

Systems, Vol.13, Issue 5

リンク
[6]
2025
Consensus Based Resilience Assurance for System of Systems
Huanjun Zhang, Yutaka Matsubara

IEEE Access, Vol.13, pp.20203-20217

リンク
[7]
2025
Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems
Misaki Kojima, Naoki Nishida, Yutaka Matsubara

Journal of Logical and Algebraic Methods in Programming, Vol.143, pp.1-23

リンク
[8]
2025
A Decision Support Scheme for Safe and Efficient Transportation of Hazardous Materials
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada

IEEE Transactions on Intelligent Transportation Systems, Vol.26, Issue 1, pp.309-322

リンク
[9]
2024
Multilingual Investigation of Cross-Project Code Clones in Open-Source Software for Internet of Things Systems
Wenqing Zhu, Norihiro Yoshida, Yutaka Matsubara, Hiroaki Takada

IEEE Access, Vol.12, pp.179104-179118

リンク
[10]
2024
Feedback-guided Fuzzingによる並行バグ探索
伊藤弘将, 松原豊, 高田広章

情報処理学会論文誌, Vol.65, No.5, pp.927-941, May 2024

リンク
[11]
2023
A Performance Evaluation of Embedded Multi-core Mixed-criticality System Based on PREEMPT_RT Linux
Yixiao Li, Yutaka Matsubara, Hiroaki Takada, Kenji Suzuki, Hideaki Murata

Journal of Information Processing, Vol.31, pp.78-87

リンク
[12]
2023
Resilience Analysis and Design for Mobility-as-a-Service Based on Enterprise Architecture Modeling
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada

Reliability Engineering & System Safety, Vol.229

リンク
[13]
2023
Developing Reliable Digital Healthcare Service Using Semi-Quantitative Functional Resonance Analysis
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada

Computer Systems Science and Engineering, Vol.45, No.1, pp.35-50

リンク
[14]
2022
マイコン向けRTOS対応Control-Flow Integrity機構の設計と実装
河田智明, 本田晋也, 松原豊, 高田広章

コンピュータソフトウェア, Vol.39, No.2, May 2022

リンク
[15]
2021
ミドルウェアに対するCoverage-based Greybox Fuzzingの適用
伊藤弘将, 松原豊, 高田広章

情報処理学会論文誌, Vol.62, No.3, pp.877-890, Mar 2021

リンク
[16]
2020
TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M
Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada

International Journal of Parallel Programming, Vol.49, pp.136-150

リンク
[17]
2020
esprof: マルチ・メニーコア組込みシステム向け汎用プロファイリング基盤
李奕驍, 松原豊, 高田広章

コンピュータソフトウェア, Vol.37, No.1, pp.1_54-1_67, Jan 2020

リンク
[18]
2019
Energy-Efficient Intra-Task DVFS Scheduling Using Linear Programming Formulation
Yang Qin, Gang Zeng, Ryo Kurachi, Yixiao Li, Yutaka Matsubara, Hiroaki Takada

IEEE Access, Vol.7, pp.30536-30547

リンク
[19]
2019
Energy-Aware Task Allocation for Heterogeneous Multiprocessor Systems by Using Integer Linear Programming
Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

Journal of Information Processing, Vol.27, pp.136-148

リンク
[20]
2018
IDH-CAN: A Hardware-Based ID Hopping CAN Mechanism With Enhanced Security for Automotive Real-Time Applications
Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li, Keqin Li

IEEE Access, Vol.6, pp.54607-54623

リンク
[21]
2018
Execution-variance-aware Task Allocation for Energy Minimization on the big.LITTLE Architecture
Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

Sustainable Computing: Informatics and Systems, Vol.20, pp.81-93
[22]
2018
A Comparative Analysis of RTOS and Linux Scalability on an Embedded Many-core Processor
Yixiao Li, Yutaka Matsubara, Hiroaki Takada

Journal of Information Processing, Vol.26, pp.225-236

リンク
[23]
2018
AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした機能安全規格ISO 26262対応における安全分析事例
毛利守男, 佐藤秀昭, 山下映, 松原豊, 高田広章

情報処理学会論文誌, Vol.59, No.2, pp.785-794, Feb 2018
[24]
2017
IXM: ロボット制御ソフトウェア向けプロセス間通信ミドルウェア
菅谷みどり, 松原豊, 住谷拓馬, 中野美由紀

情報処理学会論文誌, Vol.58, No.10, pp.1578-1590, Oct 2017

リンク
[25]
2017
EV3RT: A Real-time Software Platform for LEGO Mindstorms EV3
Yixiao Li, Yutaka Matsubara, Hiroaki Takada

コンピュータソフトウェア, Vol.34, Issue 4, pp.4_91-4_115

リンク
[26]
2016
メッセージ認証を用いたCANの集中監視システム
倉地亮, 松原豊, 高田広章, 上田浩史, 堀端啓史

電子情報通信学会論文誌, Vol.J99-A, No.2, pp.118-130, Feb 2016
[27]
2016
Energy-aware Task Migration for Multiprocessor Real-time Systems
Gang Zeng, Yutaka Matsubara, Hiroyuki Tomiyama, Hiroaki Takada

Future Generation Computer Systems, Vol.56, pp.220-228

リンク
[28]
2015
OJLによる実践的組込みシステム教育
舘伸幸, 山本雅基, 吉田則裕, 高嶋博之, 海上智昭, 安藤友樹, 松原豊, 本田晋也, 高田広章

コンピュータソフトウェア, Vol.32, No.2, pp.2_79-2_85, Jun 2015
[29]
2013
組込みシステムにおけるソフトウェア障害の安全対策
松原豊, 高田広章

コンピュータソフトウェア, Vol.30, No.1, pp.119-129, Jan 2013
[30]
2013
組込みシステムにおける階層型状態遷移図に基づく安全分析手法
金周慧, 松原豊, 高田広章

電子情報通信学会論文誌, Vol.J96-A, No.1, pp.34-48, Jan 2013
[31]
2012
schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ
佐野泰正, 松原豊, 本田晋也, 高田広章

電子情報通信学会論文誌 D, Vol.J95-D, No.12, pp.2008-2020, Dec 2012
[32]
2012
状態遷移図に着目した安全分析手法
金周慧, 松原豊, 高田広章

電子情報通信学会論文誌, Vol.J95-A, No.2, pp.198-209, Feb 2012
[33]
2011
学生および若手技術者による組込みシステム技術に関するサマースクールの実践
谷口一徹, 安藤友樹, 高瀬英希, 安積卓也, 松原豊, 細合晋太郎, 村上靖明, 菅谷みどり

情報処理学会論文誌, Vol.52, No.12, pp.3221-3237, Dec 2011
[34]
2011
周期タスクの初期位相分布を考慮した応答時間の確率的解析
石川拓也, 松原豊, 高田広章

情報処理学会論文誌, Vol.52, No.12, pp.3192-3204, Dec 2011
[35]
2011
時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
松原豊, 本田晋也, 高田広章

情報処理学会論文誌, Vol.52, No.8, pp.2387-2401, Aug 2011
[36]
2011
中断可能な優先度継承スピンロックとそのハードウェア実装
一場利幸, 松原豊, 本田晋也, 高田広章

情報処理学会論文誌コンピューティングシステム, Vol.4, No.3, pp.133-146, Jul 2011
[37]
2008
リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク
松原豊, 本田晋也, 冨山宏之, 高田広章

情報処理学会論文誌, Vol.49, No.10, pp.3508-3519, Oct 2008
[38]
2007
時間保護のためのリアルタイムスケジューリングアルゴリズム
松原豊, 本田晋也, 高田広章

情報処理学会論文誌コンピューティングシステム, Vol.48, SIG8(ACS18), pp.192-202, May 2007

国際会議・ワークショップ論文（査読あり）

[1]
2026
Outlier-Ratio Feature Augmentation for Graph-based Intrusion Detection in CAN Networks
Akari Sasaki, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

IEEE Consumer Communications & Networking Conference (CCNC 2026), Las Vegas, Jan. 2026
[2]
2025
A Dynamic Resilience Research for Acknowledged System-of-systems Based on a Stackelberg Evolutionary Game
Huanjun Zhang, Yutaka Matsubara

The 9th International Conference on System Reliability and Safety (ICSRS 2025), Italy, Nov 2025

リンク
[3]
2025
Improving Airport Baggage Handling System Efficiency with Simulation-Based Design
Chenda Siv, Yutaka Matsubara, Hiroaki Takada

2nd IEOM World Congress on Industrial Engineering and Operations Management, Canada, Oct 2025
[4]
2025
SSI-Enabled Authentication and Enhanced Metadata Search in Blockchain-based Decentralized IoT Data Platforms
Luyonghe Li, Yuichiro Yasue, Yutaka Matsubara

IEEE 1st International Workshop on Blockchain for Decentralized Trust and Digital Identity (B4TI) at BCCA 2025, Croatia, Oct 2025
[5]
2025
PPDS: A Practical and Privacy-Preserving Data Sharing Model for Blockchain-Based IoT e-Health Systems Using ECC, Zero-Knowledge Proof, and Access Control
Yuxiao Wu, Kenta Kawai, Yutaka Matsubara

IEEE International Conference on Blockchain Computing and Applications (BCCA 2025), Croatia, Oct 2025
[6]
2025
Towards a Linux-based Unikernel for Resource-Constrained Embedded Systems
Yoshifumi Shu, Yutaka Matsubara, Yixiao Li, Hiroaki Takada

The 19th annual workshop on Operating Systems Platforms for Embedded Real-Time applications (OSPERT 2025), Belgium, Jul 2025, pp.23-27
[7]
2025
GLACI: Arbitrary Code Instrumentation Tool for OpenGL
Shotaro Tsuboi, Yixiao Li, Yutaka Matsubara, Hiroaki Takada

The 20th International Conference on Networking and Services (ICONS 2025), France, Mar 2025

Best Paper Award 受賞。
[8]
2025
Flexible Edge Processing in Blockchain-based Secure IoT Data Distribution Framework
Kenta Kawai, Yuxiao Wu, Yutaka Matsubara, Hiroaki Takada

BRAIN 2025 at PerCom 2025, Washington D.C., Mar 2025
[9]
2025
A Lightweight, Low-power and Versatile Companion Computer for Nano UAVs
Rintaro Okudera, Yixiao Li, Yutaka Matsubara, Hiroaki Takada

The 7th International Symposium on Distributed Autonomous Unmanned Systems (DAUS 2025), Granada, Feb 2025, pp.292-295
[10]
2024
Monitor and Analyze Rare ROS2 Performance Issues with A Unified Tracing Framework
Yixiao Li, Yutaka Matsubara, Hiroaki Takada, Satoru Funahashi, Hiroki Kawashima

The 6th International Workshop on Software Science and Engineering (WSSE 2024), Kyoto, Aug 2024

リンク
[11]
2024
Race Directed Fuzzing for More Effective Concurrency Testing
Hiromasa Ito, Yutaka Matsubara, Hiroaki Takada

The 6th International Workshop on Software Science and Engineering (WSSE 2024), Kyoto, Aug 2024

リンク
[12]
2024
AI2X Co-evolution Guidebook and Case Study for Human-centered AI Framework
Akihisa Morikawa, Yutaka Matsubara, Daichi Mizuguchi, Kiyoshi Fujiwara

SAFECOMP 2024 Position Paper, Florence, Sep 2024

リンク
[13]
2024
Reaching Consensus on System-of-systems Resilience Assurance: A Case of Mobility as a Service
Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada

SASSUR 2024 at SAFECOMP 2024, LNCS Vol.14989, pp.200-212, Florence, Sep 2024

リンク
[14]
2023
A Quantitative Approach for System of Systems’ Resilience Analyzing Based on ArchiMate
Huanjun Zhang, Yutaka Matsubara, Hiroaki Takada

DECSoS 2023 at SAFECOMP 2023, LNCS Vol.14489, pp.47-60, Toulouse, Sep 2023

リンク
[15]
2023
Toward Human-centered AI Framework: An Introduction to AI2X Co-evolution Project
Yutaka Matsubara, Akihisa Morikawa, Daichi Mizuguchi, Kiyoshi Fujiwara

SAFECOMP 2023 Position Paper, Toulouse, Sep 2023

リンク
[16]
2023
Schfuzz: Detecting Concurrency Bugs with Feedback-Guided Fuzzing
Hiromasa Ito, Yutaka Matsubara, Hiroaki Takada

18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE 2023), Prague, pp.273-282, Apr 2023

リンク
[17]
2021
Quantitative Security Assurance Case for In-vehicle Embedded Systems
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada

CyberSciTech/PICom/DASC/CDBCom 2021, pp.43-50, Oct 2021

リンク
[18]
2020
Agile Software Design Verification and Validation (V&V) for Automated Driving
Yixiao Li, Yutaka Matsubara, Daniel Olbrys, Kazuhiro Kajio, Hiroaki Takada

Proceedings of FISITA 2020, Oct 2020

リンク
[19]
2020
Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems
Misaki Kojima, Naoki Nishida, Yutaka Matsubara

Informal Proceedings of WPTE 2020, Jun 2020

リンク
[20]
2019
Shadow Exception Stacks: Control-Flow Integrity for Asynchronous Exceptions Using TrustZone for Armv8-M
Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada

IESS 2019, LNCS Vol.11937, pp.56-71, Friedrichshafen, Nov 2019

リンク
[21]
2018
Energy-Aware Task Allocation for Large Task Sets on Heterogeneous Multiprocessor Systems
Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada

EUC 2018, pp.158-165, Bucharest, Romania, Oct 2018

リンク
[22]
2018
FRAM/STPA: Hazard Analysis Method for FRAM Model
Yoshinari Toda, Yutaka Matsubara, Hiroaki Takada

FRAMily 2018, pp.1-17, Cardiff, Jun 2018

リンク
[23]
2017
IDHCC: A Security-Enhanced ID Hopping CAN Controller Design to Guarantee Real-Time
Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li

CERTS 2017, pp.14-21, Jun 2017

リンク
[24]
2016
An Evaluation Framework of OS-level Power Managements for the big.LITTLE Architecture
Hideki Takase, Kazumi Aono, Yutaka Matsubara, Kazuyoshi Takagi, Naofumi Takagi

2016 14th IEEE International New Circuits and Systems Conference (NEWCAS 2016), Vancouver, Jun 2016

リンク
[25]
2015
A Mobile Robot for Fall Detection for Elderly-Care
Takuma Sumiya, Yutaka Matsubara, Miyuki Nakano, Midori Sugaya

KES 2015, Vol.60, pp.870-880, Singapore, Sep 2015

招待論文。

リンク
[26]
2015
HAZOP-based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack
Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada

Proceedings of the 3rd International Workshop on Systems Safety & Security (IWSSS2015), Bucharest, Jun 2015
[27]
2014
CaCAN - Centralized Authentication System in CAN
Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada, Naoki Adachi, Yukihiro Miyashita, Satoshi Horihata

Proceedings of the escar 2014 Europe, pp. 1-9, Hamburg, Nov 2014

リンク
[28]
2014
A Simulation Environment and Preliminary Evaluation for Automotive CAN-Ethernet AVB Networks
Keigo Kawahara, Yutaka Matsubara, Hiroaki Takada

Proceedings of the 1st OMNeT++ Community Summit, pp.xx-xx, Hamburg, Sep 2014

リンク
[29]
2014
Task Migration for Energy Saving in Real-Time Multiprocessor Systems
Gang Zeng, Yutaka Matsubara, Hiroyuki Tomiyama, Hiroaki Takada

Proceedings of the 11th IEEE International Conference on Embedded Software and Systems (ICESS 2014), Paris, Aug 2014

リンク
[30]
2014
A Platform for LEGO Mindstorms EV3 Based on an RTOS with MMU Support
Yixiao Li, Takuya Ishikawa, Yutaka Matsubara, Hiroaki Takada

OSPERT 2014, pp.51-59, Madrid, Jul 2014

リンク
[31]
2013
A Simulation Environment Based on OMNeT++ for Automotive CAN-Ethernet Networks
Jun Matsumura, Yutaka Matsubara, Hiroaki Takada, Masaya Oi, Masumi Toyoshima, Akihito Iwai

WATERS 2013, pp.1-6, Paris, Jul 2013

リンク
[32]
2012
Safety Analysis Method Based on Parallel State Transition Diagram for Embedded Systems
Zoohaye Kim, Yutaka Matsubara, Hiroaki Takada

SEA 2012, pp.417-425, Las Vegas, Nov 2012

リンク
[33]
2012
An Open-Source Flexible Scheduling Simulator for Real-time Applications
Yutaka Matsubara, Yasumasa Sano, Shinya Honda, Hiroaki Takada

ISORC 2012, pp.16-22, Shenzhen, Jun 2012

リンク
[34]
2009
Hierarchical Scheduling for Integrating Real-time Applications with Interrupt Routines
Yutaka Matsubara, Shinya Honda, Hiroaki Takada

ISOCC 2009, pp.384-387, Busan, Nov 2009

招待論文。

リンク
[35]
2009
History of Summer School on Embedded System Technologies Organized by Students and Young Engineers
Hideki Takase, Takuya Azumi, Ittetsu Taniguchi, Yutaka Matsubara, Hayato Kanai, Shintaro Hosoai, Midori Sugaya

WESE 2009, pp.19-26, Grenoble, Oct 2009

リンク
[36]
2007
SSEST: Summer School on Embedded System Technologies
Yutaka Matsubara, Midori Sugaya, Ittetsu Taniguchi, Yasuaki Murakami, Hayato Kanai, Hiroaki Takada

APESER 2007, pp.1-8, Hsinchu, Dec 2007

リンク

国内研究会発表・論文（査読あり）

[1]
2018
Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI の検討
河田智明, 本田晋也, 松原豊, 高田広章

組込みシステムシンポジウム2018論文集, pp.71-74, 下呂, Aug 2018

リンク
[2]
2018
ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク
長柄啓悟, 松原豊, 高田広章

組込みシステムシンポジウム2018(ESS2018)論文集, pp.36-39, 下呂市, Aug 2018

リンク
[3]
2016
An Aiding Tool for HAZOP-based Analysis for Embedded Systems
魏景軒, 松原豊, 高田広章

第14回クリティカルソフトウェアワークショップ（WOCS2）, 東京, Dec 2016
[4]
2016
機能安全対応に向けたAUTOSAR OSの安全分析手法
毛利守男, 佐藤秀昭, 平林寛崇, 山下映, 松原豊, 高田広章

組込みシステムシンポジウム（ESS2016）, 東京, Oct 2016

リンク
[5]
2016
HAZOP-based Security Analysis for Embedded Systems
魏景軒, 松原豊, 高田広章

第13回クリティカルソフトウェアワークショップ（WOCS2）, 東京, Jan 2016
[6]
2017
組込みシステム向けのポータブルDoSテストツール
長柄啓悟, 青木克憲, 松原豊, 高田広章

組込みシステムシンポジウム（ESS2017）WiP, 下呂, Aug 2017

リンク
[7]
2017
Energy-Efficient Allocation of Periodic Real-Time Tasks for Heterogeneous System by Execution-Variance
Yang Qin, 曾剛, 倉地亮, 松原豊, 高田広章

組込みシステムシンポジウム（ESS2017）WiP, 下呂, Aug 2017

リンク
[8]
2014
次世代自動車向けセキュリティ対応ソフトウェアプラットフォームの研究開発
後藤孝一, 服部博行, 杉山歩, 原浩晃, 高田広章, 松原豊, 水口大知, 高橋孝一

組込みシステムシンポジウム（ESS2014）, 東京, Oct 2014
[9]
2012
並列状態遷移図を用いた組込みシステム向け安全性分析手法
金周慧, 松原豊, 高田広章

組込みシステムシンポジウム（ESS2012）論文集, 東京, Oct 2012

リンク
[10]
2012
組込みシステムにおける並列状態遷移図に基づく安全分析手法
金周慧, 松原豊, 高田広章

組込みシステムシンポジウム（ESS2012）
[11]
2011
階層型状態遷移図を基にした安全性分析手法
金周慧, 松原豊, 高田広章

第12回組込みシステム技術に関するサマーワークショップ(SWEST12), 浜松, Sep 2011
[12]
2011
状態遷移図に注目した安全要求分析手法
金周慧, 松原豊, 高田広章

第8回クリティカルソフトウェアワークショップ（WOCS2011）
[13]
2006
学生主体の教育活動を通じた組込み技術の習得
菅谷みどり, 今井陽平, 殷中翔, 大山将城, 谷口一徹, 谷崎裕明, Chaiwat Sathawornwichit, 野田厚志, 松原豊, 茂田井寛隆

第9回組込みシステム技術に関するサマーワークショップ(SWEST9), 下呂, Sep 2006
[14]
2005
自動車制御システム向け階層型スケジューリングによる時間保護環境
松原豊, 冨山宏之, 高田広章

電子情報通信学会技術研究報告コンピュータシステム, Vol.105, No.633, pp.13-18, 種子島, Mar 2005
[15]
2015
ヘテロジニアスマルチコアシステムの電力管理手法の評価環境
青野和巳, 高瀬英希, 松原豊, 高木一義, 高木直史

組込みシステムシンポジウム（ESS2015）, 東京, Oct 2015

学生奨励賞受賞。
[16]
2014
マルチコアを活用したリアルタイム処理と省電力をサポートするロボットミドルウェア
住谷拓馬, 松原豊, 中野美由紀, 菅谷みどり

第26回コンピュータシステム・シンポジウム（ComSys2014）, pp.54-59, 豊洲, Nov 2014
[17]
2011
ユーザ定義のタスク処理を可能にするリアルタイムアプリケーション向けスケジューリングシミュレータ
佐野泰正, 松原豊, 本田晋也, 高田広章

第11回組込みシステム技術に関するサマーワークショップ(SWEST11), 下呂, Sep 2011

優秀論文賞受賞。

リンク
[18]
2010
中断可能なキューイングスピンロックのハードウェア実装と評価
一場利幸, 松原豊, 本田晋也, 高田広章

組込みシステムシンポジウム2010（ESS2010）論文集, 東京, Oct 2010
[19]
2007
OSEKアプリケーション統合のための柔軟なスケジューリングフレームワーク
松原豊, 本田晋也, 冨山宏之, 高田広章

組込みシステムシンポジウム2007 論文集, Vol.2007, No.8, pp.33-41, 東京, Oct 2007

2007年度コンピュータサイエンス領域奨励賞。

リンク

国内研究会発表・論文（査読なし）

[1]
2026
NPU搭載MCUにおける推論処理の応答性評価
小林直太郎, 朱益霄, 松原豊, 本田晋也, 高田広章

第71回組込みシステム合同研究発表会 (ETNET 2026)
[2]
2026
CAN向けグラフベース侵入検知システムにおけるウィンドウパラメータの影響評価
佐々木あかり, 倉地亮, 松原豊, 高田広章

情報処理学会 CSEC研究会, 2026年1月
[3]
2025
CAN向けグラフベース侵入検知システムの課題分析と特徴量拡張
佐々木あかり, 倉地亮, 松原豊, 高田広章

情報処理学会 CSEC研究会, 2025年10月
[4]
2025
フルスクラッチ型Linux互換Unikernelのリアルタイム性評価
朱義文, 松原豊, 平岡竜馬, 山本遼介, 山本整, 追立真吾, 高田広章

第166回システムソフトウェアとオペレーティング・システム研究発表会, 東京, 2025. （最優秀若手発表賞受賞）

最優秀若手発表賞受賞。
[5]
2025
SSDに対する分割機構付きI/Oスケジューラのリアルタイム性評価
越野仁, 小柴真之介, 松原豊, 高田広章

第68回EMB合同研究発表会（ETNET2025）, 鹿児島県沖永良部島, Mar 2025
[6]
2025
スマートフォンを用いたローイング競技向け衝突防止システム
大羽俊輔, 松原豊, 高田広章

第68回EMB合同研究発表会（ETNET2025）, 鹿児島県沖永良部島, Mar 2025
[7]
2024
組込みアプリケーションの決定論的実行環境 Lingua Franca向けソフトウェア障害対策の設計と実装
寺澤佳紀, 岩井明史, 黄文鴻, 松原豊

情報処理学会第67回組込みシステム研究発表会, Vol.2024-EMB-67, No.1, pp.1-8, Nov 2024

リンク
[8]
2024
CAN侵入検知アルゴリズムの性能評価
佐々木あかり, 倉地亮, 松原豊, 高田広章

分散，協調とモバイル(DICOMO2024)シンポジウム, pp.205-214, 岩手県花巻市, Jun 2024
[9]
2024
Linux におけるストレージデバイスのリアルタイム性評価
小柴真之介, 松原豊, 中尾裕一, 高田広章

情報処理学会第163回システムソフトウェアとオペレーティング・システム研究発表会, No.8, pp.1-8, 沖縄県, May 2024
[10]
2024
Evaluation on the Impact of HTB on Network Stack Latency and Real-time Performance using eBPF
Haohong Xie, 松原豊, 加藤寿和, 山本整, 追立真吾, 高田広章

第65回組込みシステム合同研究発表会（ETNET2024）, 長崎県壱岐市, Mar 2024
[11]
2024
道路交通標識を対象とした影挿入による敵対的攻撃
戸本航平, 倉地亮, 松原豊, 高田広章

暗号と情報セキュリティシンポジウム(SCIS2024), Jan 2024

リンク
[12]
2023
SoSレジリエンスモデルのステークホルダーコンセンサスに向けた分析方法
Huanjun Zhang, 松原豊, 高田広章

DSW 2023, University of Tsukuba

リンク
[13]
2023
IoT機器情報の流通を支援する受給マッチングシステム
河合健太, 松原豊, 高田広章

DICOMO 2023, pp.45-56, 富山国際会議場, Jul 2023

リンク
[14]
2023
HTBトラフィック制御によるネットワーク帯域保証の評価
Haohong Xie, 松原豊, 加藤寿和, 山本整, 水口武尚, 高田広章

第62回組込みシステム合同研究発表会(ETNET2023)

リンク
[15]
2023
コンテナ型仮想化における低レベルランタイムの評価
西村惇, 松原豊, 高田広章

第62回組込みシステム合同研究発表会(ETNET2023)

リンク
[16]
2023
組込みシステムシミュレータを用いたファジング
元田匡哉, 伊藤弘将, 松原豊, 高田広章

第62回組込みシステム合同研究発表会(ETNET2023)

リンク
[17]
2022
SPIKE-RT：LEGO SPIKE Prime向けリアルタイムソフトウェアプラットフォーム
朱義文, 李奕驍, 松原豊, 本田晋也

IPSJ EMB-61, Vol.2022-EMB-61 No.11, pp.1-6

リンク
[18]
2022
MBSEツールによるAUTOSARプラットフォームのビジュアルモデリングと設計方法論
高田広章, 高橋良輔, 松原豊

情報処理学会第59回組込みシステム研究発表会
[19]
2022
ブロックチェーン技術を用いたIoTデバイスのソフトウェア更新フレームワーク
中西遼太, 松原豊, 高田広章

分散，協調とモバイル(DICOMO2022)シンポジウム

優秀論文賞受賞。

リンク
[20]
2022
BFQスケジューラにおけるストレージI/O帯域保証による応答性向上
長谷川博紀, 松原豊, 加藤寿和, 山本整, 水口武尚, 高田広章

第59回組込みシステム合同研究発表会(ETNET2022)

リンク
[21]
2022
柔軟なCPUリソースアカウントのためのcgroupの拡張手法
松下瑛佑, 松原豊, 高田広章

第59回組込みシステム合同研究発表会(ETNET2022)

リンク
[22]
2021
MaaS信頼性向上のためのレジリエンスエンジニアリング手法
周正書, 松原豊, 高田広章

第57回組込みシステム研究発表会

最優秀論文発表賞受賞。

リンク
[23]
2021
ハイパーバイザにおける共有ハードウェア分析手法
鈴木健太, 松原豊, 守谷友和, 本谷謙治, 岩切英之, 高田広章

情報処理学会第57回組込みシステム研究発表会

リンク
[24]
2021
アプリケーションからのストレージI/O帯域保証手法
長谷川博紀, 松原豊, 加藤寿和, 山本整, 高田広章

情報処理学会第56回組込みシステム研究発表会

リンク
[25]
2020
排他制御を用いたプログラムから論理制約付き項書換え系への変換
小嶋美咲, 西田直樹, 松原豊, 酒井正彦

情報処理学会第56回組込みシステム研究発表会
[26]
2020
Mindstorms EV3のセキュアリモートソフトウェアアップデート
伊藤大地, 松原豊, 高田広章

第54回EMB合同研究発表会（ETNET2020）
[27]
2020
知的自動車制御システムのソフトウェア設計手法
小澤慶祐, 本田晋也, 松原豊, 高田広章, 加藤寿和, 山本整

第54回EMB合同研究発表会（ETNET2020）

リンク
[28]
2020
バーチャル環境シミュレータを用いた自動運転用ACCの評価
今井和貴, 星川孝治, 橋本由佳, 安村美紀, 呉屋国明, 太田徳高, 松原豊

第54回EMB合同研究発表会（ETNET2020）

リンク
[29]
2020
ミドルウェアに対するCoverage-based Greybox Fuzzing
伊藤弘将, 松原豊, 高田広章

第54回EMB合同研究発表会（ETNET2020）

リンク
[30]
2020
IoT機器の軽量セキュア通信におけるQUICの性能評価
小松大河, 松原豊, 高田広章

第54回EMB合同研究発表会（ETNET2020）
[31]
2019
Open System Dependabilityに基づくレジリエンス分析手法
戸田佳成, 松原豊, 高田広章

情報処理学会第50回組込みシステム研究発表会

リンク
[32]
2019
車載ネットワークにおけるIEEE 1588時刻同期のシミュレーション評価
陳希文, 松原豊, 山崎康弘, 本谷謙治, 梶尾和弘, 岩切英之, 高田広章

情報処理学会第50回組込みシステム研究発表会
[33]
2019
組込みソフトウェアプラットフォームにおけるアプリケーション間通信モデルの比較
高田光隆, 松原豊

第51回組込みシステム合同研究発表会（ETNET2019）
[34]
2019
Shadow Exception Stacks: 非同期例外に対するTrustZone-MベースCFI
河田智明, 本田晋也, 松原豊, 高田広章

第51回組込みシステム合同研究発表会（ETNET2019）
[35]
2018
IoTデバイスのためのTLS 1.3の性能評価
小松大河, 松原豊, 高田広章

第51回組込みシステム合同研究発表会（ETNET2019）
[36]
2018
ROS2と軽量DDSの組込みシステムへの適用可能性
小澤慶祐, 本田晋也, 松原豊, 高田広章, 加藤寿和, 山本整

第51回組込みシステム合同研究発表会（ETNET2019）

リンク
[37]
2018
次世代車載システム向けSOME/IPとDDSの性能評価
水谷太貴, 松原豊, 高田広章

分散，協調とモバイル(DICOMO2018)シンポジウム

リンク
[38]
2018
組込みネットワークスタック lwIPのバグ発見のためのシンボリック実行環境
青木克憲, 松原豊, 高田広章

第47回組込みシステム合同研究発表会（ETNET2018）
[39]
2017
Miraiマルウェアの組込みシステムに対する攻撃性能評価
長柄啓悟, 松原豊, 青木克憲, 高田広章

第46回組込みシステム合同研究発表会

リンク
[40]
2017
次世代車載システム向けサービス指向ミドルウェアSOME/IP-SDの性能評価
水谷太貴, 松原豊, 高田広章

第46回組込みシステム合同研究発表会

リンク
[41]
2016
名古屋大学におけるenPiTプロジェクトの過去と未来
舘伸幸, 吉田則裕, 山本雅基, 海上智昭, 松原豊, 本田晋也, 高田広章

第46回組込みシステム合同研究発表会
[42]
2016
車載ネットワーク向けTCP/IPプロトコルスタックの開発
本多一樹, 松原豊, 高田広章

第46回組込みシステム合同研究発表会

リンク
[43]
2016
IXM: ロボット制御ソフトウェア向けプロセス通信ミドルウェア
菅谷みどり, 松原豊, 住谷拓馬, 中野美由紀

情報処理学会第44回組込みシステム研究発表会
[44]
2015
高応答性リアルタイムアプリケーション向けARINC 653 拡張スケジューリングアルゴリズム
佐藤剛, 高田広章, 本田晋也, 松原豊

Design Gaia 2015, Nagasaki
[45]
2015
監視ロボットの省電力に関する検討
長峰貴矩, 松原豊, 菅谷みどり

第44回組込みシステム合同研究発表会（ETNET2016）
[46]
2015
データストリーム管理システムの検証環境
中井将貴, 松原豊, 高田広章, 山口晃広

第44回組込みシステム合同研究発表会（ETNET2016）

リンク
[47]
2014
オーバヘッドを考慮したシミュレーションによる階層型スケジューリングアルゴリズムの評価
佐藤祐一, 松原豊, 高田広章

第40回組込みシステム合同研究発表会(ETNET2014)

リンク
[48]
2014
enPiT embにおけるOJLを活用した実践的組込みシステム教育
舘伸幸, 山本雅基, 高嶋博之, 松原豊, 本田晋也, 高田広章

第42回組込みシステム合同研究発表会（ETNET2015）
[49]
2014
LEDCamp1 若手組込みエンジニア向け短期合宿トレーニング報告
高瀬英希, 細合晋太郎, 安東利展, 湯山友克, 坂本陽平, 落合翼, 松原豊, 久住憲嗣, 三好健文

第37回組込みシステム研究発表会(EMB37), 函館, Aug 2015
[50]
2014
LEGO Mindstorms EV3のRTOSベース開発プラットフォーム
李奕驍, 石川拓也, 松原豊, 高田広章

第42回組込みシステム合同研究発表会（ETNET2015）
[51]
2013
オーバーヘッドを考慮したシミュレーションによる階層型スケジューリングアルゴリズムの評価
佐藤祐一, 松原豊, 高田広章

第31回EMB合同研究発表会, 秋田, Mar 2013
[52]
2013
車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム
松村純, 松原豊, 高田広章, 大井雅也, 豊島升真, 岩井明史

第40回組込みシステム合同研究発表会(ETNET2014)
[53]
2013
マルチプロセッサ向けFIFO型先取り同期プロトコルのスケジュール可能性評価
藤谷高寛, 松原豊, 加藤真平, 高田広章

第33回組込みシステム研究発表会(EMB33), 沖縄, Mar 2014

リンク
[54]
2012
階層型状態遷移図を基にした安全性分析手法
金周慧, 松原豊, 高田広章

第30回EMB合同研究発表会, 鳥取, Mar 2012
[55]
2011
ユーザ定義のタスク処理を可能にするリアルタイムアプリケーション向けスケジューリングシミュレータ
佐野泰正, 松原豊, 本田晋也, 高田広章

第30回EMB合同研究発表会, 鳥取, Mar 2012
[56]
2010
組込みシステムにおけるソフトウェア障害の安全対策 -OSレベルの安全メカニズムの検討-
松原豊, 本田晋也, 高田広章

組込みシステム技術に関するサマーワークショップ(SWEST12)
[57]
2010
分散システムにおけるEnd-to-End処理の応答時間の確率論的解析
石川拓也, 松原豊, 高田広章

IPSJ Research Report 2010-EMB-18, Hakodate

リンク
[58]
2010
小規模組込みシステムの設計における安全機能の事例調査
金周慧, 松原豊, 高田広章

Safety Engineering Symposium 2010, Tokyo
[59]
2010
統合型自動車向けミドルウェアヘテロOS間通信ミドルウェア
石谷健, 山崎文雄, 長尾拓也, 山田正広, 松原豊, 本田晋也, 高田広章

IPSJ Research Report 2010-EMB-17 No.8, Tokyo

リンク
[60]
2010
DUOS: 統合型自動車向けRTOSフレームワーク
長尾拓也, 山崎文雄, 山田正広, 石谷健, 松原豊, 本田晋也, 高田広章

IPSJ Research Report 2010-EMB-17 No.8, Tokyo

リンク
[61]
2010
中断可能なキューイングスピンロックのハードウェア実装と評価
一場利幸, 松原豊, 本田晋也, 高田広章

組込みシステム技術に関するサマーワークショップ(SWEST12)
[62]
2010
組込みシステムにおけるソフトウェア障害の安全対策 -OSレベルの安全メカニズムの検討-
松原豊, 本田晋也, 高田広章

組込みシステム技術に関するサマーワークショップ(SWEST12)

リンク
[63]
2009
小規模組込みシステム設計の安全要求分析の事例調査
金周慧, 松原豊, 高田広章

組込みシステム技術に関するサマーワークショップ(SWEST11)
[64]
2009
割込みルーチンを含むリアルタイムアプリケーション統合のための階層型スケジューリング
松原豊, 本田晋也, 冨山宏之, 高田広章

IPSJ Research Report 2009-EMB-14 No.7, Nagoya
[65]
2008
OSEK/VDX仕様OSの階層型スケジューリングフレームワーク
松原豊, 本田晋也, 冨山宏之, 高田広章

IEICE Technical Report on Computer Systems, Vol.107, No.558, Yakushima, pp.173-178

リンク

ポスター発表

[1]
2024
ハミング距離を用いたシグナルベースCANIDSの提案とデータセットでの検証
佐々木あかり, 倉地亮, 松原豊, 高田広章

コンピュータセキュリティシンポジウム（CSS）2024, 兵庫県神戸市神戸国際会議場, Oct 2024
[2]
2024
EUKL: A Prototype of a Linux-Based Unikernel for Resource-Constrained Embedded Systems
Yoshifumi Shu, Yutaka Matsubara, Yixiao Li, Hiroaki Takada

15th ACM SIGOPS Asia-Pacific Workshop on Systems, Kyoto, Japan, Sep 2024
[3]
2018
ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク
長柄啓悟, 松原豊, 高田広章

第20回組込みシステム技術に関するサマーワークショップ(SWEST20)
[4]
2018
Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI
河田智明, 本田晋也, 松原豊, 高田広章

第20回組込みシステム技術に関するサマーワークショップ (SWEST20), 下呂市, Aug 2018
[5]
2017
Open-source software-based portable DoS test tool for IoT devices
Keigo Nagara, Katsunori Aoki, Yutaka Matsubara, Hiroaki Takada

Workshop on Internet of Things Security and Privacy Collocated with ACM CCS, Dallas, Nov 2017
[6]
2016
Research Activities for Automotive Ethernet Network
Keigo Kawahara, Masato Sato, Katsunori Aoki, Yutaka Matsubara, Hiroaki Takada

Automotive Ethernet Congress 2016, Munich, Feb 2016
[7]
2014
リアルタイム処理と省電力をサポートするロボットミドルウェアのマルチコア対応
住谷拓馬, 長峰貴矩, 松原豊, 中野美由紀, 菅谷みどり

第17回組込みシステム技術に関するサマーワークショップ(SWEST17), 浜松, Sep 2015
[8]
2014
OJL（On the Job Learning）を中心とした実践的産学連携教育
松原豊, 安藤友樹, 吉田則裕, 舘伸幸, 高嶋博之, 海上智昭, 山本雅基, 本田晋也, 高田広章

組込みシステムシンポジウム2014（ESS2014）, 東京, Oct 2014
[9]
2014
リアルタイム処理と省電力をサポートするロボットミドルウェア
長峰貴矩, 住谷拓馬, 松原豊, 中野美由紀, 菅谷みどり

第15回計測自動制御学会システムインテグレーション部門講演会（SI2014）, 東京, Dec 2014
[10]
2014
TOPPERSプロジェクトの最新状況
松原豊

第16回組込みシステム技術に関するサマーワークショップ（SWEST16）予稿集, 岐阜, Sep 2014
[11]
2014
OJL（On the Job Learning）を中心とした実践的産学連携教育
松原豊, 安藤友樹, 吉田則裕, 舘伸幸, 高嶋博之, 海上智昭, 山本雅基, 本田晋也, 高田広章

第16回組込みシステム技術に関するサマーワークショップ（SWEST16）予稿集, 岐阜, Sep 2014
[12]
2014
組込みデータストリーム管理システムeDSMSの可視化
中井将貴, 松原豊, 高田広章, 山口晃広

第16回組込みシステム技術に関するサマーワークショップ(SWEST16)
[13]
2014
OMNeT++を用いたCAN-Ethernet混在ネットワークシミュレーション環境の開発
川原圭悟, 松原豊, 高田広章

組込みシステム技術に関するサマーワークショップ（SWEST16）

ベストポスター学生発表賞受賞。
[14]
2013
OJL(On the Job Learning)を中心とした実践的産学連携教育
松原豊, 舘伸幸, 高嶋博之, 山本雅基, 本田晋也, 高田広章

組込みシステム技術に関するサマーワークショップ（SWEST15）
[15]
2013
オーバーヘッドを考慮したスケジューリングシミュレータによる統合スケジューリングの評価
佐藤祐一, 松原豊, 高田広章

第14回組込みシステム技術に関するサマーワークショップ(SWEST14), 下呂, Sep 2012
[16]
2011
階層型状態遷移図を基にした安全性分析手法
金周慧, 松原豊, 高田広章

第13回組込みシステム技術に関するサマーワークショップ(SWEST13), 下呂, Sep 2011
[17]
2011
ユーザ定義のタスク処理を可能にするリアルタイムアプリケーション向けスケジューリングシミュレータ
佐野泰正, 松原豊, 本田晋也, 高田広章

第13回組込みシステム技術に関するサマーワークショップ(SWEST13), 下呂, Sep 2011
[18]
2011
小規模組込みシステム設計における安全性要求分析事例
金周慧, 松原豊, 高田広章

第12回組込みシステム技術に関するサマーワークショップ(SWEST12), 浜松, Sep 2010
[19]
2010
時間保護環境を用いた倒立二輪ロボット制御システムの開発
加藤望美, 松原豊, 本田晋也, 高田広章

第12回組込みシステム技術に関するサマーワークショップ(SWEST12), 浜松, Sep 2010
[20]
2010
小規模組込みシステム設計における安全性要求分析事例
金周慧, 松原豊, 高田広章

第12回組込みシステム技術に関するサマーワークショップ(SWEST12), 浜松, Sep 2010
[21]
2006
自動車制御OS向け時間保護機能の設計と評価
松原豊, 小田哲也, 金井隼人, 谷口一徹, 中野美由紀, 野田淳, 三村武雄, 村上靖明

組込みシステム技術に関するサマーワークショップ（SWEST8）
[22]
2005
組込みシステム技術に関するサマースクール（SSEST）の実施と運営
菅谷みどり, 今井陽平, 殷中翔, 大山将城, 谷口一徹, 谷崎裕明, Chaiwat Sathawornwichit, 野田厚志, 松原豊, 茂田井寛隆

第7回組込みシステム技術に関するサマーワークショップ(SWEST7), 浜松, Sep 2005

その他の技術文書

[1]
2025
Co-evolution Guidebook (HMCES Guidebook)
Daichi Mizuguchi, Akihisa Morikawa, Yutaka Matsubara, Kiyoshi Fujiwara

HMCES Project

リンク
[2]
2025
共進化ガイドブック
水口大知, 森川聡久, 松原豊, 藤原清司

HMCES Project

リンク
[3]
2025
Enhancing Human-Robot Collaboration through Existing Guidelines: A Case Study Approach
Yutaka Matsubara, Akihisa Morikawa, Daichi Mizuguchi, Kiyoshi Fujiwara

HMCES Project

リンク
[4]
2020
Safety Design Concepts for Statistical Machine Learning Components toward Accordance with Functional Safety Standards
Akihisa Morikawa, Yutaka Matsubara

SEAMS Project

リンク
[5]
2020
Towards Identifying and Closing Gaps in Assurance of Autonomous Road Vehicles: Technical Notes Part 2
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

TIGARS Project

リンク
[6]
2020
Towards Identifying and Closing Gaps in Assurance of Autonomous Road Vehicles: Technical Notes Part 1
Robin Bloomfield, Gareth Fletcher, Heidy Khlaaf, Philippa Ryan, Shuji Kinoshita, Yoshiki Kinoshita, Makoto Takeyama, Yutaka Matsubara, Peter Popov, Kazuki Imai, Yoshinori Tsutake

TIGARS Project

リンク

学位論文

[1]
2011
組込みリアルタイムアプリケーション統合のための階層型スケジューリング
松原豊, 本田晋也, 冨山宏之, 高田広章

博士論文

情報処理学会組込みシステム研究会 SIGEMB 推薦。
[2]
2011
研究会推薦博士論文速報
松原豊

情報処理学会組込みシステム研究会 SIGEMB 推薦

受賞

[1]
2025
Best Paper Award「GLACI: Arbitrary Code Instrumentation Tool for OpenGL」
Shotaro Tsuboi, Yixiao Li, Yutaka Matsubara, Hiroaki Takada

IARIA The 20th International Conference on Systems (ICONS 2025), France, May 2025
[2]
2025
最優秀若手発表賞「フルスクラッチ型Linux互換Unikernelのリアルタイム性評価」
朱義文, 松原豊, 平岡竜馬, 山本遼介, 山本整, 追立真吾, 高田広章

第166回システムソフトウェアとオペレーティング・システム研究発表会
[3]
2024
TOPPERS of the Year 2024 活動部門「ETロボコンへの協力」
朱義文, 李奕驍, 松原豊

NPO法人 TOPPERSプロジェクト
[4]
2022
優秀論文賞「ブロックチェーンを活用したIoT機器のソフトウェア更新フレームワーク」
中西亮太, 松原豊, 高田広章

マルチメディア、分散、協調とモバイルシンポジウム（DICOMO2022）
[5]
2022
善吾賞「ミドルウェアに対するCoverage-based Greybox Fuzzingの適用」
伊藤弘将, 松原豊, 高田広章

NPO法人ソフトウェアテスト技術振興協会（ASTER）
[6]
2021
最優秀論文発表賞「MaaSの高信頼化を目的としたレジリエンスエンジニアリング手法」
周正書, 松原豊, 高田広章

日本ソフトウェア科学会第19回ディペンダブルシステムワークショップ（DSW 2021）
[7]
2021
ベストポスター賞ブロンズ「AUTOSAR 車両レベル仕様のビジュアル設計ツールの検討」
高田光隆, 高橋良輔, 松原豊

第23回組込みシステム技術に関するサマーワークショップ（SWEST 23）
[8]
2020
特選論文「ミドルウェアに対するCoverage-based Greybox Fuzzingの適用」
伊藤弘将, 松原豊, 高田広章

情報処理学会論文誌, Vol.62, No.3
[9]
2019
ソフトウェア論文賞「EV3RT: A Real-time Software Platform for LEGO Mindstorms EV3」
李奕驍, 松原豊, 高田広章

日本ソフトウェア科学会第6回ソフトウェア論文賞（2019年度）
[10]
2015
学生奨励賞「同一命令セットヘテロジニアスマルチコア向け消費電力管理手法の評価環境」
青野和巳, 高瀬英希, 松原豊, 高木一義, 高木直史

組込みシステムシンポジウム（ESS2015）
[11]
2014
ベストポスター学生発表賞「OMNeT++を用いたCAN-EthernetAVB混在ネットワークのシミュレーション環境開発」
川原圭悟, 松原豊, 高田広章

第16回組込みシステム技術に関するサマーワークショップ（SWEST16）
[12]
2011
優秀論文賞「リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ」
佐野泰正, 松原豊, 本田晋也, 高田広章

情報処理学会組込みシステムシンポジウム2011
[13]
2007
2007年度コンピュータサイエンス領域奨励賞
松原豊

情報処理学会
[14]
2008
TOPPERS of the Year 2008「メモリ保護と時間保護を有する自動車向けリアルタイムOS」
服部博行, 大西秀一, 片岡歩, 松原豊, 高田広章

TOPPERSプロジェクト
[15]
2008
IP優秀賞「オープンソース保護OS: メモリ保護と時間保護を有する自動車向けリアルタイムOS」
服部博行, 大西秀一, 片岡歩, 松原豊, 高田広章

第10回LSI IPデザイン・アワード（企業部門）