本田晋也（Shinya Honda）

所属

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

連絡先

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

研究分野

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

活動

• 2010年〜デュアルOSモニタ(SafeG)開発
• 2010年〜平成22年度戦略的基盤技術高度化支援事業採択プロジェクト 「故障未然防衛機能を有した高信頼ソフトウェアプラットフォームの開発」サブリーダ
• 2009年〜情報処理学会 組込みシステム研究会 運営委員
• 2008年〜TLV（トレースログ可視化ツール）開発
• 2007年〜TOPPERS/FMPカーネル
• シャープ(株)の携帯電話945SHと002SHに利用されました!!
• 2007年〜TOPPERSカーネル向けシミュレーション環境
• 2006年〜TOPPERS/ASPカーネル，ARM依存部，SH34依存部開発
• 2004年〜TOPPERS/FDMPカーネル開発
• 200x年〜SWEST実行委員

論文・発表

著書

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

学術論文(査読有り)

1. 本田晋也, 高田広章, "μITRON4.0仕様の例外処理のための機能とその評価", 情報処理学会論文誌, Vol. 42, No. 6, pp. 1514-1524, 2001.
2. 本田晋也, 高田広章, "デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価", 情報処理学会論文誌, Vol. 43, No. 5, pp. 1214-1224, 2002.
3. 本田晋也, 高田広章, 中島浩, "SpecCによるソフトウェア記述の実装記述への変換", 情報処理学会論文誌, Vol. 44, No. SIG 11 (ACS 3), pp. 236-245, 2003.
4. 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.
5. 本田晋也, 冨山宏之, 高田広章, "システムレベル設計環境：SystemBuilder", 電子情報通信学会論文誌, Vol. J88-D-I, No. 2, pp. 163-174, 2005.
6. 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.
7. 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "社会人に対する組込みソフトウェア技術の再教育の取り組み", 電気学会論文誌A, Vol. 126, No. 7, pp. 563-569, 2006.
8. 山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "NEXCESS：社会人組込みソフトウェア技術者教育におけるスキル育成", 工学教育, Vol. 54, No. 5, pp. 49-54, 2006.
9. 松原豊, 本田晋也, 冨山宏之, 高田広章, "時間保護のためのリアルタイムスケジューリングアルゴリズム", 情報処理学会論文誌コンピューティングシステム, Vol. 48, No. SIG 8 (ACS 18), pp. 192-202, May 2007.
10. 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.
11. 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.
12. 本田晋也, 高田広章, "ITRON仕様OSの機能分散マルチプロセッサ拡張", 電子情報通信学会論文誌, Vol. J91-D, No. 4, Apr. 2008.
13. 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.
14. 松原豊, 本田晋也, 冨山宏之, 高田広章, "リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク", 情報処理学会論文誌, Vol. 49, No. 10, pp. 3508-3519, Oct. 2008,
15. 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.
16. 中嶋健一郎, 本田晋也, 手嶋茂晴, 高田広章, "セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化", 電子情報通信学会論文誌, Vol. J93-D, No. 2, pp. 75-85, Feb. 2010.
17. 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.
18. 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.
19. 後藤隼弐, 本田晋也, 長尾卓哉, 高田広章, "トレースログ可視化ツールTraceLogVisualizer(TLV)", コンピュータソフトウェア, Vol.27, No.4, pp.8-23, Nov. 2010.
20. 安積卓也, 古川貴士, 相庭裕史, 柴田誠也, 本田晋也, 冨山宏之, 高田広章, "オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張", コンピュータソフトウェア, Vol.27, No.4, pp.24-42, Nov. 2010.
21. 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.
22. 相庭裕史, 本田晋也, 高田広章, "対称型マルチコアシステムのエンジン制御ソフトウェアへの適用", 情報処理学会論文誌, Vol. 51, No. 12, pp. 2238-2249, Dec. 2010.
23. 森孝夫，本田晋也，石田利永子，山本雅基，高田広章，"コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育"，工学教育，Vol.59-2，pp79-84，Mar. 2011.
24. 柴田誠也，本田晋也，冨山宏之，高田広章，"マルチプロセッサ対応システムレベル設計環境 SystemBuilder-MP", 電子情報通信学会論文誌 D, Vol.J94-D,No.4, pp. 657-670, Apr 2011.
25. 一場利幸，松原豊，本田晋也，高田広章， 中断可能な優先度継承キューイングスピンロックとそのハードウェア実装, 情報処理学会論文誌 コンピューティングシステム, Vol.4,No.3, pp. 133-146, May 2011.
26. 松原豊，本田晋也，高田広章, "時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム", 情報処理学会論文誌, Vol.52 No.8, Aug. 2011.
27. 石川拓也，安積卓也，一場利幸，柴田誠也，本田晋也，高田広章， "TECS仕様に基づいたNXT用ソフトウェアプラットフォームの開発", コンピュータソフトウェア, Vol.28,No.4, pp. 158-174, Nov 2011.
28. 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 Feb. 2012.(掲載予定)
29. K.Jozwik, H.Tomiyama, S.Honda, H.Takada, “A Novel Framework forEffective Preemptive Hardware Multitasking on FPGAs,” IEICE Transactionson Information Systems, Special Issue on Reconfigurable Systems, Vol.E95-D, No.2, Feb.2012.(掲載予定)
30. 一場利幸, 森孝夫, 高瀬英希, 鴫原一人, 本田晋也, 高田広章, "命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOS のテスト効率化手法", 電子情報通信学会論文誌 D, Vol.J95-D, No.3, pp.-, Mar. 2012.(掲載予定)
31. 鴫原一人, 眞弓友宏, 森孝夫, 本田晋也, 高田広章, "μITRONベースのRTOS向けテストプログラム生成ツール", 電子情報通信学会論文誌 D, 2012.(掲載予定)
32. D. Sangorrin, S. Honda, H. Takada, "Integrated Scheduling for a Reliable Dual-OS Monitor", 情報処理学会論文誌, (ACS 23), 2012.(掲載予定)

解説論文

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

国際会議

1. 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.
2. H. Takada, S. Honda, R. Nishiyama, "Configurable Real-time Operating System for Heterogeneous Multiprocessors," 1st Symposium on Intelligent Human Sensing, pp. 86-89, 2003.
3. 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.
4. 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.
5. 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.
6. 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.
7. 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.
8. 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.
9. 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.
10. 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.
11. Y. Hara, S. Honda, H. Tomiyama, H. Takada, "Function Call Optimization in Behavioral Synthesis," EUROMICRO Conference on Digital System Design (DSD), 2006.
12. 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.
13. 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.
14. 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.
15. 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.
16. 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.
17. 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.
18. 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.
19. 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.
20. 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.
21. Y. Matsubara, S. Honda, H. Takada, "Hierarchical Scheduling for Integrating Real-time Applications with Interrupt Routines," Int'l SoC Design Conference, pp. 384-387, Nov. 2009.
22. C. Takei, H. Takada, M. Yamamoto, S. Honda, "Integrated Software Platform for Automotive Systems," Int'l SoC Design Conference, pp. 384-387, Nov. 2009.
23. 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.
24. 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.
25. 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), Brussels, Belgium (2010).
26. 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.
27. 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.
28. 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)
29. 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.
30. 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.
31. K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada, "Rainbow - An OS Extension for Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs"," IEEE Reconfig2011, Cancun, Mexico, Nov. 2011.
32. 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), Jeju, Korea, Nov 2011.
33. 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.

受賞

• 第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年 名古屋大学 大学院情報科学研究科 附属組込みシステム研究センター 准教授

その他

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