本田晋也（Shinya Honda）

所属

• 名古屋大学 大学院情報科学研究科
  　情報システム学専攻 組込みリアルタイムシステム研究室
  　附属組込みシステム研究センター 准教授

連絡先

• 〒464-8603 名古屋市千種区不老町名古屋大学大学院 情報科学研究科 情報システム学専攻
  TEL: 052-789-2795 (ダイヤルイン)
  FAX: 052-789-5889
  E-mail :

研究分野

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

その他活動

• 情報処理学会 組込みシステム研究会 運営委員
• SWEST実行委員
• TOPPERS/FMPカーネル開発
• TOPPERS/ASPカーネル ターゲット依存部(ARM/SH34)開発
• TLV開発
• TOPPERSカーネル向けシミュレーション環境
• TOPPERS/FDMPカーネル開発

論文・発表

著書

• 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.

学術論文(査読有り)

• 本田晋也, 高田広章, "μITRON4.0仕様の例外処理のための機能とその評価", 情報処理学会論文誌, Vol. 42, No. 6, pp. 1514-1524, 2001.
• 本田晋也, 高田広章, "デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価", 情報処理学会論文誌, Vol. 43, No. 5, pp. 1214-1224, 2002.
• 本田晋也, 高田広章, 中島浩, "SpecCによるソフトウェア記述の実装記述への変換", 情報処理学会論文誌, Vol. 44, No. SIG 11 (ACS 3), pp. 236-245, 2003.
• 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, 2004.
• 本田晋也, 冨山宏之, 高田広章, "システムレベル設計環境：SystemBuilder", 電子情報通信学会論文誌, Vol. J88-D-I, No. 2, pp. 163-174, 2005.
• 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, 2005.
• 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "社会人に対する組込みソフトウェア技術の再教育の取り組み", 電気学会論文誌A, Vol. 126, No. 7, pp. 563-569, 2006.
• 山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "NEXCESS：社会人組込みソフトウェア技術者教育におけるスキル育成", 工学教育, Vol. 54, No. 5, pp. 49-54, 2006.
• 松原豊, 本田晋也, 冨山宏之, 高田広章, "時間保護のためのリアルタイムスケジューリングアルゴリズム", 情報処理学会論文誌コンピューティングシステム, Vol. 48, No. SIG 8 (ACS 18), pp. 192-202, May 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.
• 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.
• 本田晋也, 高田広章, "ITRON仕様OSの機能分散マルチプロセッサ拡張", 電子情報通信学会論文誌, Vol. J91-D, No. 4, Apr. 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.
• 松原豊, 本田晋也, 冨山宏之, 高田広章, "リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク", 情報処理学会論文誌, Vol. 49, No. 10, pp. 3508-3519, Oct. 2008,
• 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.
• 中嶋健一郎, 本田晋也, 手嶋茂晴, 高田広章, "セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化", 電子情報通信学会論文誌, Vol. J93-D, No. 2, pp. 75-85, Feb. 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.

解説論文

• 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析", SEC Journal, Vol. 1, No. 4, pp. 41-47, 2005.
• 高田広章, 本田晋也, "機能分散マルチプロセッサ向けのリアルタイムOS", 情報処理, Vol. 42, No. 1, pp. 36-45, 2006.
• 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, Jan. 2007

国際会議

• 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, 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.
• 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, 2003.
• 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, 2004.
• 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, 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. 16-20, 2005.
• 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, 2005.
• 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, 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), 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, Oct. 2006.
• Y. Hara, S. Honda, H. Tomiyama, H. Takada, "Function Call Optimization in Behavioral Synthesis," EUROMICRO Conference on Digital System Design (DSD), 2006.
• 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), 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, Mar. 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, May 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, May 2007.
• 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, Oct. 2007.
• 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, May 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, Nov. 2008.
• 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, Mar. 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, Apr. 2009.
• 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, Jan. 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, May 2010.

受賞

• 第3回 (平成13年) LSI IPデザイン・アワード IP優秀賞, 高田広章，若林隆行，本田晋也, "オープンソースのμITRON仕様OS：TOPPERS/JSPカーネル".
• 情報処理学会 東海支部 学生論文奨励賞 (平成13年).
• 情報処理学会 平成14年度論文賞, 本田晋也, 高田広章, "デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価".
• 平成16年度 未踏ソフトウェア創造事業 天才プログラマー/スーパークリエータ認定, "マルチプロセッサシステムに対応したシステムレベル開発環境の開発".
• IPA「SEC Journal」創刊記念論文 優秀賞, 山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析".
• 第8回 (平成18年) LSI IPデザイン・アワード IP賞, 本田晋也, 椙山剛, 高田広章, "機能分散マルチプロセッサ用リアルタイムOS : TOPPERS/FDMPカーネル".
• TOPPERS of the YEAR 2009, 本田晋也, 高田広章, 高木信尚, "TOPPERS/FMPカーネル Release 1.0.0".

趣味

• 子供と遊ぶ
• 自転車
• ガンプラ

略歴

• 1976年 和歌山県のどっかで生まれる。
• 197?年 京都へ移る
• 197?年 大阪へ移る
• 1991年 熊本へ移る
• 1998年 熊本電波高等専門学校 卒業（準学士）
• 1998年 豊橋技術科学大学 工学部 情報工学課程 3年次編入
• 2000年 豊橋技術科学大学 工学部 情報工学課程 卒業（学士）
• 2002年 豊橋技術科学大学 大学院工学研究科 修士課程情報工学専攻 修了 （修士）
• 2005年 豊橋技術科学大学 大学院工学研究 科博士後期課程電子情報工学専攻 修了 博士(工学)
• 2005年 名古屋大学情報連携基盤センター　研究員
• 2006年 名古屋大学 大学院情報科学研究科　研究員
• 2007年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 助手
• 2008年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 助教（職名変更）
• 2010年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 准教授

その他

組込みリアルタイムシステム研究室