honda-lab

南山大学理工学部＆理工学研究科　本田研究室

お問い合わせ
お問い合わせ

教員

教授 本田 晋也

Shinya Honda

所属

  • 南山大学 大学院理工学研究科ソフトウェア工学専攻 教授
  • 南山大学 理工学部機械システム工学科 教授

研究分野

  • 組込みシステム向けリアルタイムOS
  • マルチプロセッサ向けリアルタイムOS
  • システムレベル設計

略歴

  • 2005年 豊橋技術科学大学 大学院工学研究 科博士後期課程電子情報工学専攻 修了 博士(工学)
  • 2005年 名古屋大学情報連携基盤センター　研究員
  • 2006年 名古屋大学 大学院情報科学研究科　研究員
  • 2007年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 助手
  • 2008年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 助教（職名変更）
  • 2010年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 准教授
  • 2014年 名古屋大学 大学院情報科学研究科 情報システム学専攻 准教授
  • 2017年 名古屋大学 大学院情報学研究科 情報システム学専攻 准教授
  • 2020年 南山大学 理工学部 機械電子制御工学科(現 機械システム工学科) 教授

趣味

  • 子供と遊ぶ
  • プラモデル

活動

論文・発表

著書

  • A. Yamaguchi, K. Sato, T. Yamakawa, S. Honda, H. Takada, “Stochastic behavior modeling for driver assistance using stream data processing”,Vehicle Systems and Driver Modelling, De Gruyter, pp. 19-36, Sep. 2017
  • Y.Ando, S.Shibata, S.Honda, H.Tomiyama, H.Takada, “Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration,” Book Chapter in Embedded Systems: Design, Analysis and Verification, Gunar Schirner, Marcelo Gotz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig (Eds.), pp. 171-180, Springer, June 2013.
  • S. Honda, H. Takada, “Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device,” Book Chapter in Embedded Software for SoC, A. A. Jerraya, S. Yoo, D. Verkest, N. When (Ed.), Kluwer Academic Publishers, pp. 137-150, 2003.

学術論文(査読有り)

  • 本田晋也, “AUTOSAR BSWに対応した車載統合システム向けCANコントローラ仮想化手法”, 情報処理学会論文誌,64(9), pp.1377-1389, Sep. 2023.
  • T. Kawada, S. Honda, Y. Matsubara, H. Takada, “Design and Implementation of RTOS-Aware Control-Flow Integrity Mechanism for Microcontroller-Based Systems”, コンピュータソフトウェア, Vol.39, No.2, pp.39-68, Apr. 2022.
  • T. Kawada, S. Honda, Y. Matsubara, H. Takada, “TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M”, International Journal of Parallel Programming, Springer, July 2020
  • 竹本修，西田奏太，野崎佑典，本田晋也，倉地亮，吉川雅弥，”SROS2における認証付き暗号の組込みシステムを指向したセキュア実装とその評価”, 電気学会論文誌C 140(8), 939 – 948, Aug. 2020
  • S. Mizuno, S. Honda，R. Kurachi, N. Chujo “Real-time Performance of Embedded Platform for Autonomous Driving using Linux and a GPU,” International Journal of Informatics Society (IJIS), VOL.10, NO.1 June 2018.
  • 石野正敏, 本田,晋也，”組込みミックスドクリティカルシステム向けイーサネットコントローラ共有機構”, 情報処理学会論文誌, Vol.59,No.8, pp. 1464-1476, Aug. 2018.
  • 河田智明，本田晋也，”ARM TrustZone for ARMv8-Mを利用した軽量メモリ保護RTOS”, 情報処理学会論文誌, Vol.59,No.2, pp. 762-774, Feb. 2018.
  • 小川真彩高，本田晋也，高田広章，”マルチコアパワートレインアプリケーションにおけるコア配置決定のための最悪応答時間解析手法”, 情報処理学会論文誌, Vol.59,No.2, pp. 748-761, Feb. 2018.
  • 小川真彩高, 本田晋也, 高田広章, “車載制御システム向けマルチコアプログラミングフレームワーク”, 情報処理学会論文誌, Vol.58, No.2, pp.507-520, Feb. 2017.
  • A. Yamaguchi, Y. Watanabe, K. Sato, Y. Nakamoto, Y. Ishikawa, S. Honda, H. Takada, “In-Vehicle Distributed Time-critical Data Stream Management System for Advanced Driver Assistance”, Journal of Information Processing, Vol.9,No.4, Dec. 2016.
  • 鴫原一人, 石川拓也, 本田晋也, 高田広章, “メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト”, 情報処理学会論文誌, Vol.57, No.8, pp.1737-1751, Aug. 2016.
  • Y. Ando, S. Honda, H. Takada, M. Edahiro, “System-level Design Method for Control Systems with Hardware-implemented Interrupt Handler”, Journal of Information Processing, vol. 23, No. 5, pp. 532-541, Sep. 2015.
  • Y. Ando, Y. Ishida, S. Honda, H. Takada, M. Edahiro, “Automatic Synthesis of Inter-heterogeneous-processor Communication for Programmable System-on-chip,” IPSJ Transactions on System LSI Design Methodology, vol.8, pp.95-99, Aug. 2015.
  • 舘伸幸, 山本雅基, 吉田則裕, 高嶋博之, 海上智昭, 安藤友樹, 松原豊, 本田晋也, 高田広章: “OJLによる実践的組込みシステム教育”, コンピュータソフトウェア, Vol.32, No.2, pp.79-85, May 2015.
  • 丸山修孝, 石川拓也, 本田晋也, 高田広章, 鈴木克信,”疎結合ハードウェアRTOS搭載 産業ネットワーク用SoC”, 電子情報通信学会論文誌D, Vol.J98-D, No.4, pp.661-673, Jan. 2015.
  • 山田真大, 小林良岳, 本田晋也, 高田広章 , ” マルチコアにおけるコア隔離機構Timer ShieldによるLinuxのリアルタイム性向上”, コンピュータ ソフトウェア,Vol. 31,No. 4 p. 4_77-4_96, Dec. 2014.
  • 石川拓也, 安積卓也, 大山博司, 本田晋也, 高田広章,” メモリ保護を考慮した組込みシステム向けソフトウェアコンポーネント技術”, コンピュータ ソフトウェア,Vol. 31,No. 4 p. 4_105-4_130, Nov. 2014.
  • 勝沼聡, 本田晋也, 高田広章, “リアルタイム性を考慮した車載システム向けDSMSのクエリ処理効率化”, 日本データベース学会和文論文誌,Vol. 13,No. 1 p. 25-31, Oct. 2014.
  • 安藤友樹，柴田誠也，本田晋也，冨山宏之，高田広章， SEEDS: 組込みシステム向けシステムレベル設計環境, 電子情報通信学会論文誌 D, Vol.J97-D,No.3, pp. 450-460, Mar. 2014.
  • Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada, “Impact of Resource Sharing and Register Retiming on Area and Performance of FPGA-based Designs,” IPSJ Transactions on System LSI Design Methodology, vol.7, pp.37-45, Feb. 2014.
  • 丸山修孝, 一場利幸, 本田晋也, 高田広章, “マルチコア対応 RTOS のハードウェア化による性能向上,” 電子情報通信学会論文誌 D, Vol.J96-D, No.10, pp. 2150-2162, Oct. 2013.
  • 太田貴也, 大橋孝輔, D. Sangorrin, 本田晋也, 高田広章, 堀田孝一, 大山田光夫, “SafeG-MP：マルチコア対応の組込みシステム向け仮想化環境,” 電子情報通信学会論文誌，Vol.J96-D, No.10, pp. 2163-2181, Oct. 2013.
  • Y. Hara-Azumi, T.Matsuba, H. Tomiyama, S. Honda, H. Takada, “Quantitative Evaluation of Resource Sharing in High-Level Synthesis Using Realistic Benchmarks,” IPSJ Trans. System LSI Design Methodology, vol.6, pp. 122-126 , Aug. 2013.
  • K. Jozwik, S. Honda, M. Edahiro, H. Tomiyama, H. Takada, “Rainbow: An Operating System for Software-Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs,” International Journal of Reconfigurable Computing, vol. 2013, Article ID 789134, 40 pages, Jan. 2013.
  • 石田利永子, 本田晋也, 高田広章, 福井昭也, 小川敏行, 田原康宏，”マルチストリーミング処理のためのマルチプロセッサ向けロードバランス機構,” 電子情報通信学会論文誌 D, Vol.J96-D, No.1, pp.168-182, Jan. 2013.
  • 勝沼聡，山口晃広，熊谷康太，本田晋也，佐藤健哉，高田広章, “車載組込みシステム向けデータストリーム管理システムの開発,” 電子情報通信学会論文誌 Vol. J95-D, No.12, pp. 2031-2047, Dec. 2012.
  • 鴫原一人, 一場利幸, 本田晋也, 高田広章, “μITRONベースのマルチプロセッサ向けRTOSのテスト,” 情報処理学会論文誌, Vol.53, No.12, pp. 2682-2701, Dec. 2012.
  • 佐野泰正, 松原豊, 本田晋也, 高田広章, “schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ,” 電子情報通信学会論文誌 D システム開発論文, Vol.J95-D, No.12, pp.2008-2020. Dec. 2012.
  • 石川拓也, 本田晋也, 高田広章, “静的なメモリ配置を行うメモリ保護機能を持ったリアルタイムOS,” コンピュータ ソフトウェア, Vol.29,No.4, pp. 161-181, Nov. 2012.
  • D. Sangorrin, S. Honda, H. Takada, “Reliable and Efficient Dual-OS Communications for Real-Time Embedded Virtualization,” コンピュータ ソフトウェア, Vol.29,No.4, pp. 182-198, Nov. 2012.
  • 石田利永子，本田晋也，高田広章，福井昭也，小川敏行，田原康宏，”TOPPERS/FMPカーネル　リアルタイム性と高スループットを実現可能な組込システム向けマルチプロセッサ用RTOS,” コンピュータソフトウェア, Vol.29,No.4, pp. 219-243, Oct. 2012.
  • 勝沼聡, 本田晋也, 佐藤健哉, 高田広章, “車載組込みシステム向けデータストリーム管理の静的スケジューリング方式,” 情報処理学会論文誌 データベース（TOD55）, Vol.5, No.3, Sep. 2012.
  • K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada: “Comparison of Preemption Schemes for Partially Reconfigurable FPGAs,” IEEE Embedded Systems Letters,Vol. 4, Issue 2 , pp. 45-48, June 2012.
  • 石田利永子，山本雅基，海上智昭，森孝夫，本田晋也，一場利幸，高瀬英希，高田広章，”共同研究と公開講座による組込みソフトウェア技術者育成の取り組み,” 工学教育，60-3, pp.75-81, May 2012.
  • 鴫原一人, 眞弓友宏, 森孝夫, 本田晋也, 高田広章, “μITRONベースのRTOS向けテストプログラム生成ツール,” 電子情報通信学会論文誌 D, Vol.J95-D, No.4, pp.870-884, Apr. 2012.
  • D. Sangorrin, S. Honda, H. Takada, “Integrated Scheduling for a Reliable Dual-OS Monitor,” 情報処理学会論文誌, (ACS 23), Vol.5, No.2, pp.99-110, Mar. 2012.
  • 一場利幸, 森孝夫, 高瀬英希, 鴫原一人, 本田晋也, 高田広章, “命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOS のテスト効率化手法,” 電子情報通信学会論文誌 D, Vol.J95-D, No.3, pp.387-399, Mar. 2012.
  • K. Jozwik, H. Tomiyama, S. Honda, H. Takada, “A Novel Framework for Effective Preemptive Hardware Multitasking on FPGAs,” IEICE Transactions Information Systems, Special Issue on Reconfigurable Systems, Vol.E95-D, No.2, pp. 345-353, Feb. 2012.
  • S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada, “A Fast Performance Estimation Framework for System-Level Design Space Exploration,” IPSJ Transactions on System LSI Design Methodology, Vol.5, pp. 44-54, Feb. 2012.
  • 石川拓也, 安積卓也, 一場利幸, 柴田誠也, 本田晋也, 高田広章, “TECS仕様に基づいたNXT用ソフトウェアプラットフォームの開発,” コンピュータソフトウェア, Vol.28,No.4, pp. 158-174, Nov. 2011.
  • 松原豊, 本田晋也, 高田広章, “時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム, ” 情報処理学会論文誌, Vol.52 No.8, pp. 2387-2401, Aug. 2011.
  • 一場利幸, 松原豊, 本田晋也, 高田広章, “中断可能な優先度継承キューイングスピンロックとそのハードウェア実装,” 情報処理学会論文誌 コンピューティングシステム, Vol.4,No.3, pp. 133-146, May 2011.
  • 柴田誠也, 本田晋也, 冨山宏之, 高田広章, “マルチプロセッサ対応システムレベル設計環境 SystemBuilder-MP,” 電子情報通信学会論文誌 D, Vol.J94-D,No.4, pp. 657-670, Apr. 2011.
  • 森孝夫, 本田晋也, 石田利永子, 山本雅基, 高田広章, “コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育,” 工学教育, Vol.59-2, pp79-84, Mar. 2011.
  • 相庭裕史, 本田晋也, 高田広章, “対称型マルチコアシステムのエンジン制御ソフトウェアへの適用,” 情報処理学会論文誌, Vol. 51, No. 12, pp. 2238-2249, Dec. 2010.
  • Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada, “Automatic Communication Synthesis with Hardware Sharing for Multi-Processor SoC Design,” IEICE TRANSACTIONS on Fundamentals of Electronics, Communications and Computer Sciences, Vol.E93-A,No.12, pp. 2509-2516, Dec. 2010.
  • 安積卓也, 古川貴士, 相庭裕史, 柴田誠也, 本田晋也, 冨山宏之, 高田広章, “オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張,” コンピュータソフトウェア, Vol.27, No.4, pp.24-42, Nov. 2010.
  • 後藤隼弐, 本田晋也, 長尾卓哉, 高田広章, “トレースログ可視化ツールTraceLogVisualizer(TLV),” コンピュータソフトウェア, Vol.27, No.4, pp.8-23, Nov. 2010.
  • S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada, “Efficient Design Space Exploration at System Level with Automatic Profiler Instrumentation,” IPSJ Transactions on System LSI Design Methodology, Vol.3,pp. 179-193, Aug. 2010.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, “Partitioning of Behavioral Descriptions Exploiting Function-Level Parallelism,” IEICE Trans. on Fundamentals, Vol. 93-A, No. 2, pp. 488-499, Feb. 2010.
  • 中嶋健一郎, 本田晋也, 手嶋茂晴, 高田広章, “セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化,” 電子情報通信学会論文誌, Vol. J93-D, No. 2, pp. 75-85, Feb. 2010.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, “Proposal and Quantitative Analysis of the CHStone Benchmark Program Suite for Practical C-based High-level Synthesis,” Journal of Information Processing, Vol. 17, pp. 242-254, Oct. 2009.
  • 松原豊, 本田晋也, 冨山宏之, 高田広章, “リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク,” 情報処理学会論文誌, Vol. 49, No. 10, pp. 3508-3519, Oct. 2008.
  • S. Shibata, S. Honda, Y. Hara, H. Tomiyama, H. Takada, “Embedded System Covalidation with RTOS Model and FPGA,” IPSJ Trans. on System LSI Design Methodology, Vol. 1, pp. 126-130, Aug. 2008.
  • 本田晋也, 高田広章, “ITRON仕様OSの機能分散マルチプロセッサ拡張,” 電子情報通信学会論文誌, Vol. J91-D, No. 4, pp.934-944,Apr. 2008.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii, “Function-Level Partitioning of Sequential Programs for Efficient Behavioral synthesis,” IEICE Trans. on Fundamentals, Vol. E90-A, No. 12, pp. 2853-2862, Dec. 2007.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, “Function Call Optimization for Efficient Behavioral Synthesis,” IEICE Trans. Fundamentals, Vol. E90-A, No. 9, pp. 2032-2036, Sep. 2007.
  • 松原豊, 本田晋也, 冨山宏之, 高田広章, “時間保護のためのリアルタイムスケジューリングアルゴリズム,” 情報処理学会論文誌コンピューティングシステム, Vol. 48, No. SIG 8 (ACS 18), pp. 192-202, May 2007.
  • 山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, “NEXCESS：社会人組込みソフトウェア技術者教育におけるスキル育成,” 工学教育, Vol. 54, No. 5, pp. 49-54, Oct. 2006.
  • 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, “社会人に対する組込みソフトウェア技術の再教育の取り組み,” 電気学会論文誌A, Vol. 126, No. 7, pp. 563-569, Oct. 2006.
  • H. Tomiyama, S. Chikada, S. Honda, H. Takada, “An RTOS-Based Design and Validation Methodology for Embedded Systems,” IEICE Trans. on Information and Systems, Vol. E88-D, No. 9, pp. 2205-2208, Sep. 2005.
  • 本田晋也, 冨山宏之, 高田広章, “システムレベル設計環境：SystemBuilder,” 電子情報通信学会論文誌, Vol. J88-D-I, No. 2, pp. 163-174, Feb. 2005.
  • S. Honda, T. Wakabayashi, H. Tomiyama, H. Takada, “RTOS-Centric Cosimulator for Embedded System Design,” IEICE Trans. on Fundamentals, Vol. E87-A, No. 12, pp. 3030-3035, Dec. 2004.
  • 本田晋也, 高田広章, 中島浩, “SpecCによるソフトウェア記述の実装記述への変換,” 情報処理学会論文誌, Vol. 44, No. SIG 11 (ACS 3), pp. 236-245, Aug. 2003.
  • 本田晋也, 高田広章, “デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価,” 情報処理学会論文誌, Vol. 43, No. 5, pp. 1214-1224, May 2002.
  • 本田晋也, 高田広章, “μITRON4.0仕様の例外処理のための機能とその評価,” 情報処理学会論文誌, Vol. 42, No. 6, pp. 1514-1524, June 2001.

解説論文

  • 本田晋也，”制御システム向けマルチコアSoCとそのソフトウエアの技術動向”, システム制御情報学会誌, Vo.66, No.1, pp. 8-13, 2022.
  • 本田晋也, 堀田考一, 大山田光夫, “車載インフォテイメントシステムの高機能と高信頼性を実現する仮想化技術（SafeG）”, 自動車技術, Vol. 67, No. 2, pp. 34-42, Feb. 2013
  • M. Yamamoto, S. Honda, H. Takada, K. Agusa, H. Tomiyama, K. Mase, N. Kawaguchi, N. Kaneko, “Practice and Analysis of an Extension Course for Training Trainers of Embedded Software”, SIGBED Review, Vol. 4, No. 1, pp. 73-81, Jan. 2007
  • 高田広章, 本田晋也, “機能分散マルチプロセッサ向けのリアルタイムOS”, 情報処理, Vol. 42, No. 1, pp. 36-45, Jan. 2006.
  • 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, “大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析”, SEC Journal, Vol. 1, No. 4, pp. 41-47, Nov. 2005.

国際会議

  • V. Conus, S. Honda, S. Inagaki, “DDS Over RPMsg on HMPA ROS2 System Integration Proposition for Robotics”, The 25th Workshop on Synthesis And System Integration of Mixed Information technologies(SASIMI2024), Taipei, Taiwan, Mar. 2024.
  • V. Conus, S. Honda, R. Kato, Y. Muata, S. Inagaki, T. Suzuki. DDS over RPMsg on HMP A ROS2 system integration proposition for robotics. 2023 62nd Annual Conference of the Society of Instrument and Control Engineers of Japan (SICE) , Tsu City, Japan. Sep. 2023.
  • A. Tanaka, R.Yamamoto, S. Ito, S. Honda, M. Edahiro, “A Case Study of DNN Pre-Process with System-Level Design on FPGA”,Proceedings of IEEE Symposium on Low-Power and High-Speed Chips and Systems (COOL Chips 24), Apr. 2021.
  • R. Yamamoto, S. Honda, M. Edahiro, A Hiding External Memory Access Latency by Prefetch Architecture for DNN Accelerator Available on High-Level Synthesis, The 23rd Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI), Mar. 2021.
  • R. Yamamoto, M. Ogawa, M. Oinuma, M. Kondou, S. Honda, M. Edahiro, “Multirate Model Parallelization for MPSoC with FPGA in Model-Based Development: A Case Study”, Asia Pacific Conference on Robot IoT System Development and Platform (APRIS), Nov. 2020.
  • T. Kawada, S. Honda, Y. Matsubara, H. Takada, Shadow Exception Stacks: Control-Flow Integrity For Asynchronous Exceptions Using TrustZone For Armv8-M, The 6th International Embedded Systems Symposium(IESS2019), Friedrichshafen Germany, Sep. 2019
  • [Keynote]S. Honda, System Level Design Tool Set and RTOS for SoC FPGA, 8th Int’l Symp. on Embedded computing & system Design(ISED 2018), India cochin, Dec 2018.
  • M. Ogawa, S. Honda and H. Takada, “Efficient Approach to Ensure Temporal Determinism in Automotive Control Systems”, 8th International Symposium on Embedded computing and system Design(ISED 2018), Cochin, Indiai, Dec 2018.
  • T. Ishigooka, S. Honda and H. Takada, “Cost-Effective Redundancy Approach for Fail-Operational Autonomous Driving System,” 2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC), pp. 107-115, Singapore, 2018.
  • Q. Zhao, T. Matsumoto, Y. Nakamoto, S. Honda, K. Wakabashi, “A Compact and Efficient Inference Technique for Deep Neural Networks on FPGAs”，Proc. of IEEE International Symposium on low-power and high-speed chips 21, Poster 3, Yokohama, JAPAN, Apr. 2018.
  • S. Mizuno, S. Honda, R. Kurachi, D. Hayakawa, N. Chujo,”Evaluation of Embedded Platform for Autonomous Drive Using Linux and GPU”,International Workshop on Informatics(IWIN2017), pp.53-58, Zagreb, CROATIA, Sep. 2017.
  • K. Shigihara, S. Honda, H. Takada,”Test Program Generator for AUTOSAR OS”,13th European Dependable Computing Conference(EDCC 2017), pp.79-86, Geneva, Switzerland, Sep. 2017
  • A. Yamaguchi, Y. Nakamoto, K. Sato, Y. Ishikawa, Y. Watanabe, S. Honda, H. Takada,”AEDSMS: Automotive Embedded Data Stream Management System”,The 31st International Conference on Data Engineering (ICDE 2015), pp.1292-1303, Seoul, Korea, Apr. 2015. (Industrial Paper)
  • Y. Ando, S. Honda, H. Takada, M. Edahiro, “Design Space Exploration of Control System with Hardware-implemented Interrupt Handler,” International Conference on Information and Communication Technology for Embedded Systems, pp.77-82, Hua-Hin, Thailand, Mar. 2015．
  • Y. Ando, Y. Ishida, S. Honda, H. Takada, M. Edahiro, “Implementation and Evaluation of AES/ADPCM on STP and FPGA with High-Level synthesis”, In Proc. of Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI), pp. 415-420, Yilan, Taiwan, Mar 2015.
  • T. Miaw, Y. Ando, S. Honda, H. Takada, M. Edahiro, “Profiler for Control System in System Level Design”, Workshop on Synthesis And System Integration of Mixed Information Technologies, pp.46-51, Yilan, Taiwan, Mar. 2015．
  • Y. Ando, Y. Ishida, S. Honda, H.iroaki Takada, M. Edahiro, “Automatic synthesis of inter-heterogeneous-processor communication implementation for programmable system-on-chip”, In Proc. Of International Conference of VLSI Systems, Architecture, Techonogy and Applications (VLSI-SATA), pp. 84-89, Bangalore, India, Jan. 2015.
  • S. Katsunuma, S. Honda, K. Sato, Y. Watanabe, Y. Nakamoto, H. Takada, “Real-time-aware Embedded DSMS Applicable to Advanced Driver Assistance Systems”, Proceedings of 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops, pp.106-111, Nara, Japan, Oct. 2014.
  • N. Maruyama, T. Ishikawa, S. Honda, H. Takada, K. Suzuki, “ARM-based SoC with Loosely coupled type hardware RTOS for industrial network systems”, in Proc. of Operating Systems Platforms for Embedded Real-Time applications (OSPERT’14), pp. 9-16, Madrid, Spain, July 2014.
  • Y. Ando, M. Ogawa, Y. Mizoguchi, K. Kumagai, M. Torng-Der, S. Honda, “A case study of FPGA Blokus Duo Solver by System-Level Design”, The 5th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2014), pp. 59-64, Sendai, Japan, Jun. 2014.
  • Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada, “Fast Design-Space Exploration Method for SW/HW codesign on FPGAs”, Proceedings of IEEE Symposium on Field-Programmable Custom Computing Machines 2014, pp. 235, Boston, MA, USA, May 2014.
  • Y. Nakamoto, M. Okamoto, M. Bhuiya, A. Yamaguchi, K. Sato, S. Honda, H. Takada, “Android Platform based on Vehicle Embedded Data Stream Processing”, the 10th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC-2013), pp.48-55, Vietri sul Mere, Italy, Dec. 2013.
  • K. Sato, E. Matsumoto, H. Shimada, A. Yamaguchi, S. Honda, H. Takada, “A Proposal of Network Architecture for Narrowband V2X Communication”, The 20th ITS World Congress, pp.1-10, Tokyo,Japan, Oct. 2013.
  • A. Yamaguchi, K. Sato, N. Shiba, S. Honda, H. Takada, “ADVISE: Autonomous Driving Vehicle for Individuality in a Stream Environment”, The 6th Biennial Workshop on Digital Signal Processing for In-Vehicle Systems, pp.57-63, Seoul, South Korea, Sep. 2013.
  • Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada, “Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration,” International Embedded Systems Symposium, IESS 2013, pp. 171-180, Paderborn, Germany, Jun. 2013.
  • T. Ishikawa, T. Kato, S. Honda, H. Takada, “Investigation and Improvement on the Impact of TLB misses in Real-Time Systems,” Proceedings of the 9th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT2013), pp. 6-10, Paris, France, Jul 2013.
  • D. Sangorrin, S. Honda, H. Takada, “Reliable Device Sharing Mechanisms for Dual-OS Embedded Trusted Computing,” Proceedings of the 5th International Conference on Trust and Trustworthy Computing (TRUST), pp.74-91, Vienna, Austria, Jun. 2012.
  • Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, and H. Takada, “Selective Resource Sharing with RT-Level Retiming for Clock Enhancement in High-Level Synthesis,” International Conference on Embedded Software and Systems (ICESS), pp. 1534-1540, Liverpool, UK, Jun. 2012.
  • Y. Matsubara, Y. Sano, S. Honda, H. Takada, “An Open-Source Flexible Scheduling Simulator for Real-time Applications,” IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (ISORC 2012), pp.16-22, Shenzhen, China, Apr. 2012.
  • Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada, “Fast Design Space Exploration for Mixed Hardware-Software Embedded Systems,” International SoC Design Conference (ISOCC), Vol.2011, pp.92-95, Jeju, Korea, Nov 2011.
  • K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada, “Hardware Multitasking in Dynamically Partially Reconfigurable FPGA-based Embedded Systems,” International SoC Design Conference (ISOCC), pp.183-186, Jeju, Korea, Nov 2011.
  • K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada, “Rainbow – An OS Extension for Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs,” IEEE Reconfig2011, pp.416-421, Cancun, Mexico, Nov. 2011.
  • T. Azumi, Y. Hara-Azumi, S. Honda, H. Takada, “Software Component-Based HW/SW Cosimulation Framework: A Case Study,” Work-In-Progress of Real-Time and Embedded Technology and Applications Symposium (RTAS), Chicago, IL, USA, Apr. 2011.
  • S. Shibata, S. Honda, H. Tomiyama, H. Takada, “Advanced SystemBuilder: A Tool Set for Multiprocessor Design Space Exploration,” International SoC Design Conference (ISOCC), Vol.2010,pp. 79-82, Incheon, Korea, Nov 2010. (*invited talk)
  • Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada, N. Dutt, “Towards Practical High-Level Synthesis From Large Behavioral Descriptions,” International SoC Design Conference (ISOCC), pp.71-74, Incheon, Korea, Nov. 2010. (*invited talk)
  • Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada, “Aggressive Register Unsharing with Selective FU Sharing in High-Level Synthesis,” the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI), pp. 13-18, Taipei, Taiwan, Oct. 2010.
  • K. Jozwik, H. Tomiyama, S. Honda, H. Takada, “A Novel Mechanism for Effective Hardware Task Preemption in Dynamically Reconfigurable Systems,” In Proc. of International Conference on Field Programmable Logic and Applications (FPL), pp. 352-355, Milano, Italy, Sep. 2010.
  • D. Sangorrin, S. Honda, H. Takada, “Dual Operating System Architecture for Real-Time Embedded Systems,” Proceedings the Sixth International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT2010), pp. 6-15, Brussels, Belgium, Jul. 2010.
  • Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada, “Automatic Communication Synthesis with Hardware Sharing for Design Space Exploration,” IEEE International Symposium on Circuits and Systems, pp. 1863-1866, Paris, France, May 2010.
  • T. Matsuba, Y. Hara, H. Tomiyama, S. Honda, H. Takada, “Aggressive Register Unsharing Based on SSA Transformation for Clock Enhancement in High-Level Synthesis,” 5th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2010), pp. 87-92, Ho Chi Minh City, Vietnam, Jan. 2010.
  • S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada, “Automatic Instrumentation of Profilers for FPGA-based Design Space Exploration”, Proc. of International Conference on Field-Programmable Technology (FPT), pp. 292-295, Sydney, NSW, Australia, Dec. 2009.
  • C. Takei, H. Takada, M. Yamamoto, S. Honda, “Integrated Software Platform for Automotive Systems,” Int’l SoC Design Conference, pp. 384-387, Busan, South Korea, Nov. 2009.
  • Y. Matsubara, S. Honda, H. Takada, “Hierarchical Scheduling for Integrating Real-time Applications with Interrupt Routines,” Int’l SoC Design Conference, pp. 384-387, Busan, South Korea, Nov. 2009.
  • S. Shibata, S. Honda, H. Tomiyama, H. Takada, “A Case Study on MPEG4 Decoder Design with SystemBuilder,” 2009 International Symposium on VLSI Design, Automation and Test (VLSI-DAT), pp. 355-358, Hsinchu, Taiwan, Apr. 2009.
  • Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada, “A Case Study on AES Encryption System Design with SystemBuilder,” Proceedings of the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI) 2009, pp. 283-288, Okinawa, Japan, Mar. 2009.
  • H. Tomiyama, S. Honda, H. Takada, “Real-Time Operating Systems for Multicore Embedded Systems”, Proc. of International SoC Design Conference (ISOCC), Invited paper, pp. 62-67, Busan, South Korea, Nov. 2008.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii, “Behavioral Partitioning with Exploiting Function-Level Parallelism,” International SoC Design Conference (ISOCC), pp. 121-124, Busan, South Korea, Nov. 2008.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii, “CHStone: A Benchmark Program Suite for Practical C-Based High-Level Synthesis,” IEEE International Symposium on Circuits and Systems, pp. 1192-1195, Seattle, WA, USA, May 2008.
  • S. Shibata, S. Honda, Y. Hara, H. Tomiyama, H. Takada, “Hardware/Software Covalidation with FPGA and RTOS Model,” Proceedings of the Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI) 2007, pp. 488-494, Hokkaido, Japan, Oct. 2007.
  • T. Furukawa, S. Honda, H. Tomiyama, H. Takada, “A Hardware/Software Cosimulator with RTOS Supports for Multiprocessor Embedded Systems,” 3rd International Conference on Embedded Systems and Software (ICESS 2007), pp. 283-294, Daegu, South Korea, May 2007.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii, “Behavioral Synthesis of Double-Precision Floating-Point Adders with Function-Level Transformations: A Case Study,” 3rd International Conference on Embedded Systems and Software (ICESS 2007), pp. 261-270, Daegu, South Korea, May 2007.
  • Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii, “Complexity-Constrained Partitioning of Sequential Programs for Efficient Behavioral Synthesis,” 2007 ACM Great Lakes Symposium on VLSI, pp. 365-370, Stresa, Lago Maggiore, Italy, Mar. 2007.
  • S. Honda, H. Tomiyama, H. Takada, “RTOS and Codesign Toolkit for Multiprocessor Systems-on-Chip,” 12th Asia and South Pacific Design Automation Conference (ASP-DAC), Yokohama, Japan, Jan. 2007.
  • Y. Hara, S. Honda, H. Tomiyama, H. Takada, “Function Call Optimization in Behavioral Synthesis,” EUROMICRO Conference on Digital System Design (DSD), Dubrovnik, Croatia, Aug. 2006.
  • M. Yamamoto, H. Tomiyama, H. Takada, K. Agusa, K. Mase, N. Kawaguchi, S. Honda, N. Kaneko, “An Extension Course for Training Trainers of Embedded Software,” Workshop on Embedded Systems Education (WESE) 2006, Seoul, Korea, Oct. 2006.
  • M. Yamamoto, H. Tomiyama, S. Honda, N. Kaneko, K. Mase, N. Kawaguchi, H. Takada, K. Agusa, “An Analysis of Learner’s Activities in Embedded Software Programming Practices,” 19th Conference on Software Engineering Education and Training (CSEET), Oahu, HI, USA, Apr. 2006.
  • H. Minamide, T. Yoshimoto, Y. Takagi, S. Honda, H. Tomiyama, “Communication Interfaces for System Level Design,” Workshop on Synthesis and System Integration of Mixed Information Technologies (SASIMI), pp. 21-28, Nagoya, Japan, Apr. 2006.
  • S. Chikada, H. Tomiyama, S. Honda, H. Takada, “Cosimulation of ITRON-Based Embedded Software with SystemC, ” International High Level Design Validation and Test Workshop (HLDVT), pp. 71-76, Napa Valley, CA, USA, Nov. 2005.
  • M. Yamamoto, H. Tomiyama, H. Takada, K. Agusa, K. Mase, N. Kawaguchi, S. Honda, N. Kaneko, “NEXCESS: Nagoya University Extension Courses for Embedded Software Specialists, ” 1st Workshop on Embedded Systems Education (WESE), pp. 20-24, New Jersey, USA, Sep. 2005.
  • H. Tomiyama, S. Chikada, S. Honda, H. Takada, “An RTOS-Based Approach to Design and Validation of Embedded Systems,” International Symposium on VLSI Design, Automation, and Test (VLSI-DAT), pp. 185-187, Hsinchu, Taiwan, Aug. 2005.
  • S. Honda, T. Wakabayashi, H. Tomiyama, H. Takada, “RTOS-Centric Hardware/Software Cosimulator for Embedded System Design,” International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS), pp. 158-163, Stockholm, Sweden, Nov. 2004.
  • H. Takada, S. Honda, R. Nishiyama, H. Yuyama, “Hardware/Software Co-Configuration for Multiprocessor SoPC (Work-in-Progress Report),” IEEE Workshop on Software Technologies for Future Embedded Systems, pp. 7-8, Hokkaido, Japan, May 2003.
  • H. Takada, S. Honda, R. Nishiyama, “Configurable Real-time Operating System for Heterogeneous Multiprocessors,” 1st Symposium on Intelligent Human Sensing, pp. 86-89, 2003.
  • S. Honda, H. Takada, “Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device, ” Embedded Software Forum of Design Automation and Test in Europe (DATE), pp. 138-143, Munich, Germany, Mar. 2003.

受賞

  • TOPPERS of the YEAR 2019,”TOPPERS第3世代カーネル（FMP3カーネル、HRMP3カーネル）の公開”
  • 情報処理学会 組込みシステムシンポジウム2018 ベストポスター賞 ゴールド, “GPUを用いた機械学習における推論処理の高速化に関する調査”, 稲石日奈子,岡本卓也,山本椋太,本田晋也
  • 情報処理学会 組込みシステムシンポジウム2018 ベストポスター賞 シルバー, “組込みシステムに対する高速なDNNの推論機の実装”, 岡本卓也,山本椋太,本田晋也,中本幸一
  • TOPPERS of the YEAR 2018,”MDCOM(MultiDomain Commnucation Module、ドメイン間の通信を実現するソフトウェアモジュール)Release 1.0.0″の公開”
  • 情報処理学会論文誌 データベース 優秀論文賞 Akihiro Yamaguchi, Yousuke Watanabe, Kenya Sato, Yukikazu Nakamoto, Yoshiharu Ishikawa, Shinya Honda, and Hiroaki Takada, In-vehicle Distributed Time-critical Data Stream Management System for Advanced Driver Assistance
Read more
  • 組込みシステム技術に関するサマーワークショップ 2017 ベストポスター シルバー, “組込みシステムに対する深層学習フレームワーク適用のための調査”, 山本 椋太、岡本 卓也、婁 宜之、本田 晋也
  • 情報処理学会 組込みシステムシンポジウム2017 優秀ポスタープレゼンテーション賞, “モデルベース開発におけるクロスレイヤ設計手法のマルチコア上モータ制御実装への適用”, 竹松慎弥，鍾 兆前，井上雅理，横山静香，小島流石，近藤真己，中本幸一，安積卓也，道木慎二，本田晋也，枝廣正人
  • 情報処理学会 第9回Webとデータベースに関するフォーラム(WebDB Forum 2016) 最優秀論文賞 Akihiro Yamaguchi, Yousuke Watanabe, Kenya Sato, Yukikazu Nakamoto, Yoshiharu Ishikawa, Shinya Honda, Hiroaki Takada, “In-Vehicle Distributed Time-critical Data Stream Management System for Advanced Driver Assistance”.
  • 日本ソフトウェア科学会 第4回ソフトウェア論文賞，山田真大, 小林良岳, 本田晋也, 高田広章 , ” マルチコアにおけるコア隔離機構Timer ShieldによるLinuxのリアルタイム性向上”, Vol. 31,No. 4 p. 4_77-4_96, Dec. 2014.
  • 平成23年 ITS研究会優秀論文, 勝沼聡, 山田真大, 本田晋也, 佐藤健哉, 高田広章, ストリーム処理を用いた車々間通信データのフィルタリング方式.
  • 佐野泰正，松原豊，本田晋也，高田広章, 組込みシステムシンポジウム2011(ESS2011)優秀論文賞, リアルタイムアプリケーション向けタスク処理定義可能なスケジューリングシミュレータ 2011.10.21
  • 一場利幸，松原豊，本田晋也，高田広章, 組込みシステムシンポジウム（ESS2010） 奨励賞 , “中断可能な優先度継承キューイングスピンロックのハードウェア実装と評価”.
  • TOPPERS of the YEAR 2009, 本田晋也, 高田広章, 高木信尚, “TOPPERS/FMPカーネル Release 1.0.0”.
  • 第8回 (平成18年) LSI IPデザイン・アワード IP賞, 本田晋也, 椙山剛, 高田広章, “機能分散マルチプロセッサ用リアルタイムOS : TOPPERS/FDMPカーネル”.
  • IPA「SEC Journal」創刊記念論文 優秀賞, 山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, “大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析”.
  • 平成16年度 未踏ソフトウェア創造事業 天才プログラマー/スーパークリエータ認定, “マルチプロセッサシステムに対応したシステムレベル開発環境の開発”.
  • 情報処理学会 平成14年度論文賞, 本田晋也, 高田広章, “デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価”.
  • 情報処理学会 東海支部 学生論文奨励賞 (平成13年).
  • 第3回 (平成13年) LSI IPデザイン・アワード IP優秀賞, 高田広章，若林隆行，本田晋也, “オープンソースのμITRON仕様OS：TOPPERS/JSPカーネル”.
先頭に戻る

PAGE TOP