論文・研究発表等
書籍(Book Chapter)
渡辺晴美, 今村誠, 久住憲嗣(編著), つながる!基礎技術 IoT入門, コロナ社, 2020. (第2章「セキュリティ」を執筆担当)[Link]
Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada, HAZOP-Based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack", Springer Recent Advances in Systems Safety and Security, pp.79-96, 2016. [Link]
解説記事
松原豊, "自動運転の総合信頼性─ドイツPEGASUSプロジェクトとレベル4自動運転サービスを例に考える", 自動車技術会 会誌, 2024年1月号 特 集イノベーションガバナンス, Jan 2024. [Link]
高田広章, 松原豊, "分散リアルタイムシステムとしての車載制御システム", システム制御情報学会 会誌「システム/制御/情報」, 第67巻 第12号, Dec 2023. [Link]
松原豊, 倉地亮, 高田広章, ”自動車分野のCASE革命とサイバーセキュリティ”, 情報処理 2020年4月号特集 新たなモビリティ時代のサイバーセキュリティ, Vol. 61, No. 4, pp.338-343, Mar 2020. [Link]
松原豊, 倉地亮, 高田広章, "つながる社会とクルマのセーフティ&セキュリティの動向と展望", 自動車技術 2018年5月号 特集:コネクティビティ:つながる社会とクルマ, Vol. 72, No. 5, pp.87-93, May 2018. [Link]
松原豊, 倉地亮, 高田広章, "自動車分野のセーフティとセキュリティの動向と展望 -自律走行の実現に向けて-", 情報処理 2017年11月号特集 IoT時代のセーフティとセキュリティ -日本の産業競争力の強化に向けて-, Vol. 58, No. 11, Oct 2017. [Link]
松原豊, "自動車セキュリティの現状とIoT", 機能材料 2017年6月号 連載 IoT時代のセキュリティ対策-繋がる時代に求められる安心・安全-, シーエムシー出版, 2017. [Link]
倉地亮, 松原豊, 高田広章, ”車載機器のセキュリティと安全性”, 情報処理 2016年7月号小特集 乗り物の情報セキュリティと安全性, Vol. 57, No. 7, Jun 2016. [Link]
学術論文
Yixiao Li , Yutaka Matsubara, Hiroaki Takada, Kenji Suzuki, Hideaki Murata, "A Performance Evaluation of Embedded Multi-core Mixed-criticality System Based on PREEMPT_RT Linux", Journal of Information Processing, Vol.31(2023), DOI: http://dx.doi.org/10.2197/ipsjjip.31.78, pp. 78-87, Feb. 2023 [Link]
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada, "Resilience Analysis and Design for Mobility-as-a-Service Based on Enterprise Architecture Modeling", Elsevier Reliability Engineering & System Safety, Vol. 229, DOI: https://doi.org/10.1016/j.ress.2022.108812, Jan. 2023. [Link]
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada, "Developing Reliable Digital Healthcare Service Using Semi-Quantitative Functional Resonance Analysis", Computer Systems Science and Engineering, Vol.45, No.1, pp.35-50, 2023. [Link]
Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada, "Design and Implementation of RTOS-Aware Control-Flow Integrity Mechanism for Microcontroller-Based Systems", JSSST Computer Software, Vol. 39, No.2, pp.2_39-2_68, 2022. [Link]
伊藤弘将, 松原豊, 高田広章, " ミドルウェアに対するCoverage-based Greybox Fuzzingの適用", 情報処理学会論文誌, Vol.62, pp.877 - 890, Mar. 2021
Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada, "TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M", International Journal of Parallel Programming, Springer, Jul 2020. [Link]
Yixiao Li, Yutaka Matsubara, Hiroaki Takada, "esprof: A Generic Profiling Infrastructure for Multi/Many-Core Embedded Systems",コンピュータソフトウェア, Vol.37,No.1, pp. 1_54-1_67Jan 2020. [Link]
Yang Qin, Gang Zeng, Ryo Kurachi, Yixiao Li, Yutaka Matsubara, Hiroaki Takada, "Energy-Efficient Intra-Task DVFS Scheduling Using Linear Programming Formulation", IEEE Access, Vol.7, pp.30536 - 30547, DOI: 10.1109/ACCESS.2019.2902353, Mar. 2019 [Link]
Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada, "Energy-Aware Task Allocation for Heterogeneous Multiprocessor Systems by Using Integer Linear Programming", Journal of Information Processing, Vol.27, pp.136-148, Feb. 2019 [Link]
Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li, Keqin Li, "IDH-CAN: A Hardware-Based ID Hopping CAN Mechanism With Enhanced Security for Automotive Real-Time Applications", IEEE Access, Vol. 6, Issue 1, pp.54607-54623, DOI: 10.1109/ACCESS.2018.2870695, Dec. 2018 [Link]
Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada, "Execution-variance-aware task allocation for energy minimization on the big.LITTLE architecture", ELSEVIER Sustainable Computing: Informatics and Systems., Oct 2018. [PDF]
Yixiao Li, Yutaka Matsubara, Hiroaki Takada, "A Comparative Analysis of RTOS and Linux Scalability on an Embedded Many-core Processor", Journal of Information Processing, Vol.59, No. 3, Mar. 2018 [Link]
毛利守男, 佐藤秀昭, 山下映, 松原豊, 高田広章, "AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした機能安全規格ISO 26262対応における安全分析事例", 情報処理学会論文誌, Vol.59, No.2, pp.785-794, Feb 2018 [Link]
菅谷みどり, 松原豊, 住谷拓馬, 中野美由紀, "IXM: ロボット制御ソフトウエア向けプロセス間通信ミドルウエア", 情報処理学会論文誌, Vol.58, No.10, 1578-1590, Oct, 2017. [Link]
Yixiao Li, Yutaka Matsubara, Hiroaki Takada, "EV3RT: A Real-time Software Platform for LEGO Mindstorms EV3", 日本ソフトウェア科学会学会誌, Vol.34, Issue 4, pp.4_91-4_115, Nov 2017. [PDF]
倉地亮, 松原豊, 高田広章, 上田浩史, 堀端啓史, "メッセージ認証を用いたCANの集中監視システム", 電子情報通信学会論文誌, Vol.J99-A,No.2,pp.118-130,Feb. 2016. [Link]
Gang Zeng, Yutaka Matsubara, Hiroyuki Tomiyama and Hiroaki Takada, "Energy-aware Task Migration for Multiprocessor Real-time Systems", ELSEVIER Journal of Future Generation Computer Systems, Volume 56, pp.220–228, Mar 2016. [PDF]
舘伸幸, 山本雅基, 吉田則裕, 高嶋博之, 海上智昭, 安藤友樹, 松原豊, 本田晋也, 高田広章, "OJLによる実践的組込みシステム教育", 日本ソフトウェア科学会学会誌, Vol.32, No. 2 pp.79-85, Jun 2015. [論文]
松原豊, 高田広章, "組込みシステムにおけるソフトウェア障害の安全対策", 日本ソフトウェア科学会学会誌 コンピュータソフトウェア, Vol.30, No.1, pp.119-129, Feb 2013. [PDF]
金周慧, 松原豊, 高田広章, "組込みシステムにおける階層型状態遷移図に基づく安全分析手法", 電子情報通信学会論文誌, Vol.J96-A, No.1, pp.34-48, Jan 2013. [PDF]
佐野泰正, 松原豊, 本田晋也, 高田広章, "schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ", 電子情報通信学会論文誌 D システム開発論文, Vol.J95-D, No.12, pp.2008-2020. Dec 2012. [PDF]
金周慧, 松原豊, 高田広章, "状態遷移図に着目した安全分析手法", 電子情報通信学会論文誌 , Vol.J95-A, No.2, pp.198-209, Feb 2012. [PDF]
谷口一徹, 安藤友樹, 高瀬英希, 安積卓也, 松原豊, 細合晋太郎, 村上靖明, 菅谷みどり, "学生および若手技術者による組込みシステム技術に関するサマースクールの実践", 情報処理学会論文誌 , Vol.52, No.12, pp.3221-3237, Dec 2011. [PDF]
石川拓也, 松原豊, 高田広章, "周期タスクの初期位相分布を考慮した応答時間の確率的解析", 情報処理学会論文誌 組込みシステム工学特集, Vol.52, No.12, pp.3192-3204, Dec 2011.
松原豊, 本田晋也, 高田広章, "時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム", 情報処理学会論文誌, Vol.52, No.8, pp.2387-2401, Aug 2011. [PDF]
一場利幸, 松原豊, 本田晋也, 高田広章, "中断可能な優先度継承スピンロックとそのハードウェア実装", 情報処理学会論文誌 コンピューティングシステム, Vol.4, No.3(ACS 34), pp. 133-146, May 2011.
松原豊, 本田晋也, 冨山宏之, 高田広章, "リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク", 情報処理学会論文誌 組込みシステム工学特集, Vol.49,No.10, pp.3508-3519, Oct 2008. [PDF]
松原豊, 本田晋也, 冨山宏之, 高田広章, "時間保護のためのリアルタイムスケジューリングアルゴリズム", 情報処理学会論文誌 コンピューティングシステム, Vol.48, No.SIG 8(ACS 18), pp. 192-202, May 2007. [PDF]
国際会議・ワークショップ論文(査読あり)
Hiromasa Ito, Yutaka Matsubara, Hiroaki Takada, "Schfuzz: Detecting Concurrency Bugs with Feedback-Guided Fuzzing", In Proc. of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering - ENASE, 273-282, 2023 , Prague, Apr. Czech Republic. DOI: 10.5220/0011722100003464 [Link]
Zhengshu Zhou, Yutaka Matsubara, Hiroaki Takada, "Quantitative Security Assurance Case for In-vehicle Embedded Systems", IEEE CyberSciTech/PICom/DASC/CDBCom 2021, pp. 43-50, Online, Oct 2021.
Yixiao Li, Yutaka Matsubara, Daniel Olbrys, Kazuhiro Kajio, Hiroaki Takada, "Agile Software Design Verification and Validation (V&V) for Automated Driving", Proceedings of FISITA 2020, Nov. 2020.
Misaki Kojima, Naoki Nishida, Yutaka Matsubara, "Transforming Concurrent Programs with Semaphores into Logically Constrained Term Rewrite Systems", Informal Proceedings of WPTE 2020, Jun. 2020.
Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada, "Shadow exception stacks: Control-Flow Integrity for Asynchronous Exceptions Using TrustZone for Armv8-M", The 6th International Embedded Systems Symposium (IESS) 2019, Friedrichshafen, Sep 2019.
Yang Qin, Gang Zeng, Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada, "Energy-Aware Task Allocation for Large Task Sets on Heterogeneous Multiprocessor Systems", 16th International Conference on Embedded and Ubiquitous Computing (EUC) , pp. 158-165, Romania, Oct 2018.
Yoshinari Toda, Yutaka Matsubara, Hiroaki Takada, "FRAM/STPA: Hazard Analysis Method for FRAM Model", FRAMily2018, pp. 1-17, Cardiff, UK, May 2018.
Wufei Wu, Ryo Kurachi, Gang Zeng, Yutaka Matsubara, Hiroaki Takada, Renfa Li, "IDHCC: A Security-Enhanced ID Hopping CAN Controller Design to Guarantee Real-Time", Proceedings of 2nd Workshop on Security and Dependability of Critical Embedded Real-Time Systems (CERTS 2017), pp.14-21, Dec 2017. [PDF]
Hideki Takase, Kazumi Aono, Yutaka Matsubara, Kazuyoshi Takagi, Naofumi Takagi, "An evaluation framework of OS-level power managements for the big.LITTLE architecture", Proceedings of 14th IEEE International New Circuits and Systems Conference (NEWCAS), Jun 2016.
Takuma Sumiya, Yutaka Matsubara, Miyuki Nakano, Midori Sugaya, "A Mobile Robot for Fall Detection for Elderly-Care", Proceedings of 19th Annual Conference Knowledge-Based and Intelligent Information & Engineering Systems(KES2015), Vol. 60, pp. 870-880, Singapore, Sep 2015. (Invited) [PDF]
Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada, "HAZOP-based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack", Proceedings of the 3rd International Workshop on Systems Safety & Security (IWSSS2015), Bucharest, Rumania, Jun 2015. [PDF]
Ryo Kurachi, Yutaka Matsubara, Hiroaki Takada, Naoki Adachi, Yukihiro Miyashita and Satoshi Horihata, "CaCAN - Centralized Authentication System in CAN", Proceedings of the escar 2014 Europe, pp. 1-9, Hamburg, Germany, Nov 2014.
Keigo Kawahara, Yutaka Matsubara and Hiroaki Takada, "A Simulation Environment and Preliminary Evaluation for Automotive CAN-Ethernet AVB Networks", Proceedings of the 1st OMNeT++ Community Summit (Successor of the International Workshop on OMNeT++), pp. xx-xx, Hamburg, Germany, Sep 2014.
Gang Zeng, Yutaka Matsubara, Hiroyuki Tomiyama and Hiroaki Takada, "Task Migration for Energy Saving in Real-Time Multiprocessor Systems", Proceedings of the 11th IEEE International Conference on Embedded Software and Systems (ICESS2014), pp.xx-xx, Paris, France, Aug 2014.
Yixiao Li, Takuya Ishikawa, Yutaka Matsubara, and Hiroaki Takada, "A Platform for LEGO Mindstorms EV3 Based on an RTOS with MMU Support", Proceedings of the 10th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT2014), pp. 51-59, Madrid, Spain, Jul 2014.
Jun Matsumura, Yutaka Matsubara, Hiroaki Takada, Masaya Oi, Masumi Toyoshima and Akihito Iwai, "A Simulation Environment based on OMNeT++ for Automotive CAN–Ethernet Networks", Proceedings of the 4th International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS2013), pp.1-6, Paris, France, Jul 2013. [PDF]
Zoohaye Kim, Yutaka Matsubara, Hiroaki Takada, "Safety Analysis Method Based on Parallel State Transition Diagram For Embedded Systems", Proceedings of the 16th IASTED International Conference on Software Engineering and Applications (SEA2012), pp.417-425, Las Vegas, USA, Nov 2012. [PDF]
Yutaka Matsubara, Yasumasa Sano, Shinya Honda and Hiroaki Takada, "An Open-Source Flexible Scheduling Simulator for Real-time Applications", Proceedings of IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2012), pp.16-22, Shenzhen, China, Apr 2012. [PDF]
Yutaka Matsubara, Shinya Honda and Hiroaki Takada, "Hierarchical Scheduling for Integrating Real-time Applications with Interrupt Routines", Proceedings of IEEE International SoC Design Conference (ISOCC) 2009, pp. 384-387, Busan, Korea, Nov 2009. (Invited) [PDF]
Hideki Takase, Takuya Azumi, Ittetsu Taniguchi (Ritsumeikan Univ.), Yutaka Matsubara, Hayato Kanai (JAIST), Shintaro Hosoai (JAIST) and Midori Sugaya (DEOS Center), "History of Summer School on Embedded System Technologies Organized by Students and Young Engineers", Proceedings of Workshop on Embedded Systems Education (WESE'09), pp. 19-26, Grenoble, France, Oct 2009.
Yutaka Matsubara, Midori Sugaya, Ittetsu Taniguchi, Yasuaki Murakami, Hayato Kanai and Hiroaki Takada, "SSEST: Summer School on Embedded System Technologies", Proceedings of the 1st Asia-Pacific Workshop on Embedded System Education and Research (APESER), pp.1-8, Hsinchu, Taiwan, Dec 2007. [PDF]
国内研究会発表・論文(査読あり)
河田智明, 本田晋也, 松原豊, 高田 広章, "Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI の検討", 組込みシステムシンポジウム2018論文集, pp. 71 - 74, 下呂市, Aug 2018.
長柄啓悟, 松原豊, 高田広章, "ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク", 組込みシステムシンポジウム2018論文集, pp.36 - 39, 下呂市, Aug 2018.
長柄啓悟, 青木克憲, 松原豊, 高田広章, "組込みシステム向けのポータブルDoSテストツール", 組込みシステムシンポジウム(ESS2017)WiP, 下呂, Aug 2017.
Yang Qin, Gang Zeng, Roy Kurachi, Yutaka Matsubara, Hiroaki Takada, "Energy-Efficient Allocation of Periodic Real-Time Tasks for Heterogeneous System by Execution-Variance", 組込みシステムシンポジウム(ESS2017)WiP, 下呂, Aug 2017.
Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada, "An Aiding Tool for HAZOP-based Analysis for Embedded Systems", 第14回クリティカルソフトウェアワークショップ(WOCS2), 東京, Dec 2016. [概要]
毛利守男, 佐藤秀昭, 平林寛崇, 山下映, 松原豊, 高田広章, "機能安全対応に向けたAUTOSAR OSの安全分析手法", 組込みシステムシンポジウム(ESS2016), 東京, Oct 2016.
Jingxuan Wei, Yutaka Matsubara, Hiroaki Takada, "HAZOP-based Security Analysis for Embedded Systems", 第13回クリティカルソフトウェアワークショップ(WOCS2), 東京, Jan 2016. [発表資料]
青野和巳, 高瀬英希, 松原豊, 高木一義, 高木 直史, "同一命令セットヘテロジニアスマルチコア向け消費電力管理手法の評価環境", 組込みシステムシンポジウム(ESS2015), 東京, Oct 2015.(学生奨励賞 受賞)
住谷拓馬, 松原豊, 中野美由紀,菅谷みどり, "リアルタイム処理と省電力を支援するロボットミドルウェア", 第26回コンピュータシステム・シンポジウム(Comsys2014), 豊洲, Nov 2014.
後藤孝一, 服部博行, 杉山歩, 原浩晃, 高田広章, 松原豊, 水口大知, 高橋孝一, "ネットワーク連携が進む 次世代自動車・サービスロボット等の 利用者安全を保証する セキュリティ対応ソフトウェアプラット フォームの研究開発", 第11回クリティカルソフトウェアワークショップ(WOCS2), 東京, Jan 2014. [発表資料]
金周慧, 松原豊, 高田広章, "組込みシステムにおける並列型状態遷移図に基づく安全分析手法", 組込みシステムシンポジウム2012(ESS2012)論文集, 東京, Nov 2012.
金周慧, 松原豊, 高田広章, "並列型状態遷移図に基づく安全分析手法", 第10回クリティカルソフトウェアワークショップ(WOCS2), 横浜, Sep 2012.
金周慧, 松原豊, 高田広章, "階層型状態遷移図に着目した安全分析手法", 第9回クリティカルソフトウェアワークショップ(WOCS2), 横浜, Nov 2011.
佐野泰正, 松原豊, 本田晋也, 高田広章, "リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ", 組込みシステムシンポジウム2011論文集, 東京, Oct 2011.(優秀論文賞 受賞)
金周慧, 松原豊, 高田広章, "状態遷移図に着目した安全要求分析手法", 第8回クリティカルソフトウェアワークショップ(WOCS2011), XX-XX, No.X, 東京, Jan 2011.
一場利幸, 松原豊, 本田晋也, 高田広章, "中断可能なキューイングスピンロックのハードウェア実装と評価", 組込みシステムシンポジウム2010(ESS2010)論文集, 東京, Oct 2010.
松原豊, 本田晋也, 冨山宏之, 高田広章, "OSEKアプリケーション統合のための柔軟なスケジューリングフレームワーク", 組込みシステムシンポジウム2007, Vol.2007, No.8, pp. 33-41, Oct 2007. (2007年度コンピュータサイエンス領域奨励賞 受賞)
菅谷みどり, 今井陽平, 殷中翔, 大山将城, 谷口一徹, 谷崎裕明, Chaiwat Sathawornwichit, 野田厚志, 松原豊, 茂田井寛隆, "スキル&コミュニケーションの向上を目的とした学生主催の教育プロジェクトの運営と実施", 組込みシステムシンポジウム2006論文集, Vol.2006 No.13, pp.118-122, 東京, Oct 2006.
松原豊, 冨山宏之, 高田広章, "階層型スケジューラによる自動車制御システム向け時間保護環境", 組込みソフトウェアシンポジウム2005論文集, pp. 110--116, 東京都, Sep 2005.
国内研究会発表・論文(査読なし)
Haohong Xie, Yutaka Matsubara, Toshikazu Kato, Hitoshi Yamamoto, Kato Toshikazu, Shingo Oidate, Takada Hiroaki, "Evaluation on the Impact of HTB on Network Stack Latency and Real-time Performance using eBPF", 第65回組込みシステム合同研究発表会(ETNET2024), 長崎県壱岐市, Mar 2024.
戸本航平, 倉地 亮, 松原豊, 高田広章, "道路交通標識を対象とした影挿入による敵対的攻撃", 暗号と情報セキュリティシンポジウム, Jan 2024.
Zhang Huanjun, Yutaka Matsubara, Hiroaki Takada, "Enhancing Stakeholder Consensus in the Construction of System of Systems Resilience using Assurance Case", 第21回ディペンダブルシステムワークショップ (DSW 2023), 筑波大学, Dec 2023.
川合健太, 松原豊, 高田広章, "IoT機器情報の流通を支援する受給マッチングシステム", DICOMO, pp. 45-56, 富山国際会議場, Jul 2023.
Haohong Xie, Yutaka Matsubara, Toshikazu Kato, Hitoshi Yamamoto, Takehisa Mizuguchi, Hiroaki Takada, "Evaluation of network bandwidth guarantee with HTB traffic control", 第62回組込みシステム合同研究発表会(ETNET2023), pp. 8, 鹿児島県徳之島, Mar 2023.
西村惇, 松原豊, 高田広章, "コンテナ型仮想化における低レベルランタイムの評価", 第62回組込みシステム合同研究発表会(ETNET2023), pp. 8, 鹿児島県徳之島, Mar 2023.
元田匡哉, 伊藤弘将, 松原豊, 高田広章, "組込みシステムシミュレータを用いたファジング", 第62回組込みシステム合同研究発表会(ETNET2023), pp. 8, 鹿児島県徳之島, Mar 2023.
朱義文, 李 奕驍, 松原豊, 本田晋也, "SPIKE-RT: LEGO SPIKE Prime向けリアルタイムソフトウェアプラットフォーム" , 情報処理学会第61回組込みシステム研究会, Vol.2022-EMB-61,No.11, pp. 1-6, 横浜市, Nov 2022.
高田光隆, 高橋良輔, 松原豊, "Visual modeling and design methodology for AUTOSAR platform using MBSE tools", 情報処理学会第61回組込みシステム研究会, 横浜市, Nov 2022.
中西遼太, 松原豊, 高田広章, "ブロックチェーンを活用したIoT機器のソフトウェア更新フレームワーク", DICOMO2022, オンライン, Jul 2022.(優秀論文賞 受賞)
長谷川博紀, 松原豊, 加藤寿和, 山本整, 水口武尚, 高田広章, BFQスケジューラにおけるストレージI/Oの帯域保証による応答性向上, 第59回組込みシステム合同研究発表会(ETNET2022), オンライン, Mar 2022.
松下瑛佑, 松原豊, 高田 広章, 柔軟なCPUリソースアカウントのためのcgroupの拡張手法, 第59回組込みシステム合同研究発表会(ETNET2022), オンライン, Mar 2022.
周正書, 松原豊, 高田広章, "MaaSの高信頼化を目的としたレジリエンスエンジニアリング手法", DSW2021, オンライン, Dec 2021. (最優秀論文発表賞 受賞)
鈴木健太, 松原豊, 守谷友和, 本谷謙治, 岩切英之, 高田広章, "ハイパーバイザにおけるハードウェアの共有分析手法 ", 第54回組込みシステム合同研究発表会(ETNET2021), Online, Mar 2021.
長谷川博紀, 松原豊, 加藤寿和, 山本整, 高田広章, "アプリケーションからのストレージアクセス分析手法", 第54回組込みシステム合同研究発表会(ETNET2021), Online, Mar 2021.
小嶋美咲,西田直樹,松原豊,酒井正彦,"排他制御を含むプログラムから論理制約付き項書換え系への変換", 電子情報通信学会技術報告 SS2019-46, Vol.119,No.451, pp. 31-36, 那覇市, Mar 2020.
伊藤大地,松原豊,高田広章,"Mindstorms EV3向けセキュア遠隔ソフトウェア更新機能", 第19回複雑系マイクロシンポジウム, 北海道札幌市, Mar 2020.
小澤 慶祐,本田 晋也,松原豊,高田 広章,加藤 寿和,山本 整,"車載知能制御システム向けソフトウェア設計手法の提案", 第53回組込みシステム合同研究発表会(ETNET2020), 鹿児島県与論島, Feb 2020.
今井和貴,星川孝治,橋本由佳,安村美紀,呉屋国明,太田徳高,松原豊,"自動運転用仮想環境シミュレータを用いたアダプティブ・クルーズ・コントロール機能の評価", 情報処理学会研究報告(ETNET2020), 鹿児島県与論島, Feb 2020.
伊藤 弘将,松原豊,高田 広章,"ミドルウェアに対するCoverage-based Greybox Fuzzingの適用", 2020年 暗号と情報セキュリティシンポジウム (SCIS2020), 高知県高知市, Jan 2020.
小松大河,松原豊,高田広章,"IoT機器向け軽量セキュア通信のためのQUICの性能評価" , 2020年 暗号と情報セキュリティシンポジウム (SCIS2020), 高知県高知市, Jan 2020.
戸田佳成, 松原豊, 高田広章, "オープンシステム・ディペンダビリティに基づくレジリエンス分析手法", DSW2019, 東京, Dec 2019.
陳希文, 松原豊, 山崎康弘, 本谷謙治, 梶尾和弘, 岩切英之, 高田広章, "車載ネットワークに対する時刻同期規格IEEE 1588のシミュレーション評価", 第50回組込みシステム合同研究発表会(ETNET2019), 鹿児島県西之表市, Mar 2019.
高田光隆, 松原豊, "組込みソフトウェアプラットフォームにおけるアプリケーション間通信モデルの比較", 第50回組込みシステム合同研究発表会(ETNET2019), 鹿児島県西之表市, Mar 2019.
河田智明, 本田晋也, 松原豊, 高田 広章, "Shadow exception stacks: 非同期例外を対象とした TrustZone-M ベースのCFI機構", 暗号と情報セキュリティシンポジウム (SCIS2019), 滋賀県大津市, Jan 2019.
小松大河, 松原豊, 高田広章, "IoT機器への適用に向けたTLS1.3の性能評価", コンピュータセキュリティシンポジウム2018論文集, Vol. 2018, No.2, pp. 569 - 576, 長野, Oct 2018.
小澤慶祐, 本田晋也, 松原豊, 高田広章, 加藤 寿和, 山本 整, "ROS2と軽量DDSの組込みシステムに対する適用性評価", 第48回研究報告組込みシステム(EMB), Vol. 2018-EMB-48, No. 2, pp. 1-8, 東京都 港区, Jun 2018.
水谷太貴, 松原豊, 高田広章, "次世代車載向け通信プロトコルSOME/IPとDDSの性能評価", 情報処理学会研究報告, Vol.2018-EMB-47, No.5, pp.1-6, 隠岐, Mar. 2018.
青木克憲, 松原豊, 高田広章, "組込みネットワークスタックlwIPを題材としたバグ検出を支援するシンボリック実行環境", 2018年暗号と情報セキュリティシンポジウム, 新潟, Jan 2018.
長柄啓悟, 松原豊, 青木克憲, 高田広章, "組込みシステム向けマルウェア Mirai の攻撃性能評価", 情報処理学会研究報告, Vol.2017-EMB-44, No.41, pp.1-6, 沖縄, Mar 2017.
水谷太貴, 松原豊, 高田広章, "次世代車載システム向けサービス指向ミドルウェア SOME/IP-SDの性能評価", 情報処理学会研究報告, Vol.2017-EMB-44, No.5, pp. 1-6, 沖縄, Mar 2017.
舘伸幸,吉田則裕,山本雅基,海上智昭,松原豊,本田晋也,高田広章, "名古屋大学におけるenPiT事業のこれまでとこれから", 情報処理学会研究報告, Vol.2016-EMB-043, No.2, pp.1-2, 九州大学, Nov 2016.
本多一樹, 松原豊, 高田広章, "車載ネットワーク向けTCP/IPプロトコルスタックの開発", 情報処理学会研究報告, Vol.2016-EMB-40, No.2, 長崎県五島市, Mar. 2016.
住谷拓馬, 松原豊, 菅谷みどり, “IXM:ロボット制御ソフトウエア向けプロセス間通信ミドルウエア”, 情報処理学会研究報告, Vol.2016-EMB-40, No.5, 長崎県五島市, Mar. 2016.
佐藤剛, 高田広章, 本田晋也, 松原豊, "ARMアーキテクチャ向け命令サイクルの高速・高精度見積もり", デザインガイア2015, 長崎, Dec 2015.
長峰貴矩, 松原豊, 菅谷みどり, "見守りロボットの省電力化の検討", 情報処理学会第77回全国大会講演論文集, 5J-08, 京都, Mar 2015.
中井将貴, 松原豊, 高田広章, 山口晃広, "データストリーム管理システムのための動作検証環境", 情報処理学会研究報告, Vol.2015-SLDM-170, No.14, pp. 1-6, 鹿児島県奄美大島, Mar 2015.
佐藤祐一, 松原豊, 本田晋也, 高田広章, “高応答性を要求するリアルタイムアプリケーション統合のためのARINC 653拡張スケジューリングアルゴリズム ”, 情報処理学会研究報告, Vol.2014-EMB-32,No.3, pp. 1-6, 石垣市, Mar 2014.
舘伸幸, 山本雅基, 高嶋博之, 松原豊, 本田晋也, 高田広章, “enPiT emb(名古屋大学) OJLによる実践的組込みシステム教育 ”, 情報処理学会研究報告, Vol.2014-EMB-32,No.31, pp. 1-6, 石垣市, Mar 2014.
高瀬英希,細合晋太郎,安藤友樹,尾鷲幸代,川上達也,舘伸幸,星野利夫, 松原豊, 赤山聖子, 久住憲嗣,高田広章, 若手組込み技術者を対象とした短期合宿LED-Camp1実施報告, 情報処理学会研究報告, Vol.2014-EMB-32,No.36, pp. 1-6, 石垣市, Mar 2014.
Yixiao Li, Takuya Ishikawa, Yutaka Matsubara and Hiroaki Takada, "An RTOS-based platform for LEGO Mindstorms EV3", 第165回SLDM・第32回EMB合同研究発表会(ETNET2014), 石垣島, Mar 2014.
佐藤祐一, 松原豊, 高田広章, “オーバヘッドを考慮したシミュレータによる階層型スケジューリングアルゴリズムの評価”, 情報処理学会研究報告, Vol.2013-EMB-31, 東京, Dec. 2013.
松村潤, 松原豊,高田広章, 大井正也, 豊島真澄, 岩井明史, ”車載ネットワークにおけるCAN-Ethernetプロトコル変換アルゴリズム”, 組込み技術とネットワークに関するワークショップ(ETNET2013), 対馬, Mar 2013.
藤谷隆宏, 松原豊, 加藤真平, 高田広章, “マルチコア向けFIFO式プリエンプティブ同期プロトコルのスケジューラビリティ評価”, 情報処理学会研究報告, Vol.2012-OS-124, 岡山, Feb. 2013.
金周慧, 松原豊, 高田広章, "階層型状態遷移図に基づく安全分析手法", 組込み技術とネットワークに関するワークショップ (ETNET2012), 松島, Mar 2012.
佐野泰正, 松原豊, 本田晋也, 高田広章, "リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ", 組込み技術とネットワークに関するワークショップ (ETNET2011), Vol.2010-EMB-20, No.X, 宮古島, Mar 2011.
松原豊, 本田晋也, 高田広章, "時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム", 情報処理学会研究報告, Vol.2010-EMB-19, No.X, 熊本, Dec 2010.
石川拓也, 松原豊, 高田広章, "分散リアルタイムシステムの端点間処理における応答時間の確率的解析", 情報処理学会研究報告, Vol.2010-EMB-18, No.X, 函館, Aug 2010.
金周慧, 松原豊, 高田広章, "小規模な組込みシステム設計における安全機能の適用事例", 安全工学シンポジウム2010, XX-XX, No.X, 東京, Jul 2010.
石谷健, 山崎二三雄, 長尾卓哉, 山田真大, 松原豊, 本田晋也, 高田広章, "車載ECU統合向け異種OS間通信ミドルウェア", 情報処理学会研究報告, Vol.2010-EMB-17, No.8, 東京, Jul 2010.
長尾卓哉, 山崎二三雄, 山田真大, 石谷健, 松原豊, 本田晋也, 高田広章, "DUOS:車載ECU統合向けRTOSフレームワーク", 情報処理学会研究報告, Vol.2010-EMB-17, No.8, 東京, Jul 2010.
一場利幸, 松原豊, 本田晋也, 高田広章, "中断可能なキューイングスピンロックのハードウェア実装と評価", 組込み技術とネットワークに関するワークショップ (ETNET2010), 八丈島, Mar 2010.
松原豊, 本田晋也, 高田広章, "タスクのデッドラインのみを用いる時間保護スケジューリングアルゴリズム", 情報処理学会研究報告, Vol.2010-EMB-15, No.8, 横浜, Jan 2010.
金周慧, 松原豊, 高田広章, "小規模な組込みシステム設計における安全要求分析の事例", 第6回ディペンダブルシステムシンポジウム(DSS2009), Vol.2009-XXX-XX, No.X, 大阪, Dec 2009.
松原豊, 本田晋也, 高田広章, "割込み処理を含むリアルタイムアプリケーション統合のための階層型スケジューリング", 情報処理学会研究報告, Vol.2009-EMB-14, No.7, 名古屋, Jul 2009.
松原豊, 本田晋也, 冨山宏之, 高田広章, "タスク優先度を考慮した時間保護スケジューリングアルゴリズム", 電子情報通信学会技術研究報告 コンピュータシステム, Vol.107, No.558, pp. 173-178, 屋久島, Mar 2008.
ポスター発表
長柄啓悟, 松原豊, 高田広章, "ブロックチェーン技術を用いたIoT機器向けセキュアアップデートフレームワーク", 第20回組込みシステム技術に関するサマーワークショップ(SWEST20), 下呂市, Aug 2018.
河田智明, 本田晋也, 松原豊, 高田広章, "Arm TrustZone for Armv8-M を利用したマルチタスク対応 CFI", 第20回組込みシステム技術に関するサマーワークショップ (SWEST20), 下呂市, Aug 2018.
Keigo Nagara, Katsunori Aoki, Yutaka Matsubara , Hiroaki Takada, "Open-source software-based portable DoS test tool for IoT devices", Workshop on Internet of Things Security and Privacy Collocated with ACM CCS, Dallas, Nov 2017.
Keigo Kawahara, Masato Sato, Katsunori Aoki, Yutaka Matsubara, Hiroaki Takada, "Research Activities for Automotive Ethernet Network", Automotive Ethernet Congress 2016, Munich, Feb 2016. [PDF]
住谷拓馬, 松原豊, 中野美由紀, 菅谷みどり, "マルチコアベースのロボットミドルウェアによるリアルタイム処理と省電力の支援", 第26回コンピュータシステム・シンポジウム(ComSys2014), 豊洲, Nov 2014.
松原豊, 安藤友樹, 吉田則裕, 舘伸幸, 高嶋博之, 海上智昭, 山本雅基, 本田晋也, 高田広章, "OJL(On the Job Learning)を中心とした実践的産学連携教育", 組込みシステムシンポジウム2014(ESS2014), 東京, Oct 2014.
住谷拓馬, 長峰貴矩, 松原豊, 菅谷みどり, "リアルタイム処理と省電力を支援するロボットミドルウェア", 第16回組込みシステム技術に関するサマーワークショップ(SWEST16)予稿集, 岐阜, Sep 2014.
松原豊, ”TOPPERSプロジェクトの最新状況”, 第16回組込みシステム技術に関するサマーワークショップ(SWEST16)予稿集, 岐阜, Sep 2014.
松原豊, 安藤友樹, 吉田則裕, 舘伸幸, 高嶋博之, 山本雅基, 本田晋也, 高田広章, "OJL(On the Job Learning)を中心とした実践的産学連携教育", 第16回組込みシステム技術に関するサマーワークショップ(SWEST16)予稿集, 岐阜, Sep 2014.
中井将貴, 松原豊, 高田広章, 山口晃広, "組込みデータストリーム管理システムeDSMSの可視化", 第16回組込みシステム技術に関するサマーワークショップ(SWEST16)予稿集, 岐阜, Sep 2014.
川原慶悟 , 松原豊, 高田広章, "OMNeT++を用いたCAN-EthernetAVB混在ネットワークのシミュレーション環境開発", 第16回組込みシステム技術に関するサマーワークショップ(SWEST16)予稿集, 岐阜, Sep 2014. (ベストポスター 学生発表賞 受賞)
松原豊, 舘伸幸, 高嶋博之, 山本雅基, 本田晋也, 高田広章, "OJL(On the Job Learning)を中心とした実践的産学連携教育", 組込みシステムシンポジウム2013(ESS2013), 東京, Oct 2013. [PDF]
佐藤祐一, 松原豊, 高田広章, "オーバヘッドを考慮したスケジューリングシミュレータによる統合アルゴリズムの評価", 第15回組込みシステム技術に関するサマーワークショップ(SWEST15)予稿集, 岐阜, Sep 2013.
金周慧, 松原豊, 高田広章, "階層型状態遷移図に着目した 安全分析手法", 名古屋大学若手女性研究者 サイエンスフォーラム, 名古屋, Nov 2011.
佐野泰正, 松原豊, 本田晋也, 高田広章, "リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ", 第13回組込みシステム技術に関するサマーワークショップ(SWEST13)予稿集, 岐阜, Sep 2011.
金周慧, 松原豊, 高田広章, "階層型状態遷移図に着目した安全分析手法", 第13回組込みシステム技術に関するサマーワークショップ(SWEST13)予稿集, 岐阜, Sep 2011.
加藤希, 松原豊, 本田晋也, 高田広章, "時間保護OSを用いた二輪倒立振子ロボット制御システムの開発", 第2回名古屋大学組込みシステム研究センター シンポジウム, XX-XX, No.X, 名古屋, Sep 2010.
Zoohaye Kim, Yutaka Matsubara, Hiroaki Takada, "A Case Study of Safety Requirements Analysis in Small Embedded System Design", The 28th International System Safety Conference (ISSC2010), XX-XX, No.X, Minneapolis, Aug 2010.
松原豊, 小田哲也, 金井勇人, 谷口一徹, 中野俊和, 野田厚志, 御村武生, 村上靖明, "第2回組込みシステム技術に関するサマースクール(SSEST2)", 第8回組込みシステム技術に関するサマーワークショップ(SWEST8)予稿集, pp.107-109, 浜松, Aug 2006.
菅谷みどり, 今井陽平, 殷中翔, 大山将城, 谷口一徹, 谷崎裕明, Chaiwat Sathawornwichit, 野田厚志, 松原豊, 茂田井寛隆, "組込みシステム技術に関するサマースクール(SSEST1)", 第7回組込みシステム技術に関するサマーワークショップ(SWEST7)予稿集, pp.120-121, 浜松, Jul 2005.
学位論文
松原豊, "組込みリアルタイムアプリケーション統合のための階層型スケジューリング", 博士論文, Mar, 2011.
研究会推薦博士論文速報(情報処理学会組込みシステム研究会SIGEMB推薦)
受賞
2022年度 マルチメディア、分散、協調とモバイルシンポジウム(DICOMO2022)優秀論文賞「ブロックチェーンを活用した IoT機器のソフトウェア更新フレームワーク」中西遼太, 松原豊, 高田広章
NPO法人ソフトウェアテストテスト技術振興協会(ASTER)2022年 善吾賞 「ミドルウェアに対するCoverage-based Greybox Fuzzingの適用」 伊藤弘将, 松原豊, 高田広章
2021年度 日本ソフトウェア科学会 第19回ディペンダブルシステムワークショップ(DSW 2021) 最優秀論文発表賞 「MaaSの高信頼化を目的としたレジリエンスエンジニアリング手法」 周正書, 松原豊, 高田広章
第23回組込みシステム技術に関するサマーワークショップ(SWEST23)ベストポスター賞ブロンズ「AUTOSAR 車両レベル仕様のビジュアル設計ツールの検討」高田光隆, 高橋良輔, 松原豊
2020年度 情報処理学会 論文誌ジャーナル Vol.62 No.3 特選論文 「ミドルウェアに対するCoverage-based Greybox Fuzzingの適用」 伊藤弘将, 松原豊, 高田広章
日本ソフトウェア科学会 第6回ソフトウェア論文賞 (2019年度) 「EV3RT: A Real-time Software Platform for LEGO Mindstorms EV3」Yixiao Li, Yutaka Matsubara, Hiroaki Takada
組込みシステムシンポジウム(ESS2015)学生奨励賞「同一命令セットヘテロジニアスマルチコア向け消費電力管理手法の評価環境」青野和巳, 高瀬英希, 松原豊, 高木一義, 高木 直史
第16回組込みシステム技術に関するサマーワークショップ(SWEST16)ベストポスター 学生発表賞「OMNeT++を用いたCAN-EthernetAVB混在ネットワークのシミュレーション環境開発」川原慶悟 , 松原豊, 高田広章
情報処理学会 組込みシステムシンポジウム2011 優秀論文賞「リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ」佐野泰正, 松原豊, 本田晋也, 高田広章
情報処理学会 2007年度コンピュータサイエンス領域奨励賞
TOPPERS of the Year 2008'メモリ保護と時間保護を有する自動車向けリアルタイムOS'
株式会社ヴィッツ(服部博行,大西秀一,片岡歩),名古屋大学情報科学研究科(松原豊,高田広章)
2008年 第10回LSI IP デザイン・アワード(企業部門)IP優秀賞「オープンソース保護OS:メモリ保護と時間保護を有する自動車向けリアルタイムOS」
株式会社ヴィッツ(服部博行,大西秀一,片岡歩),名古屋大学情報科学研究科(松原豊,高田広章)