honda

本田晋也(Shinya Honda)

所属

連絡先

研究分野

活動

論文・発表

著書

  1. 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
  2. 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.
  3. 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. 石野正敏, 本田,晋也,"組込みミックスドクリティカルシステム向けイーサネットコントローラ共有機構", 情報処理学会論文誌, Vol.59,No.8, pp. 1464-1476, Aug 2018.
  2. 河田智明,本田晋也,"ARM TrustZone for ARMv8-Mを利用した軽量メモリ保護RTOS", 情報処理学会論文誌, Vol.59,No.2, pp. 762-774, Feb 2018.
  3. 小川真彩高,本田晋也,高田広章,"マルチコアパワートレインアプリケーションにおけるコア配置決定のための最悪応答時間解析手法", 情報処理学会論文誌, Vol.59,No.2, pp. 748-761, Feb 2018.
  4. 小川真彩高, 本田晋也, 高田広章, "車載制御システム向けマルチコアプログラミングフレームワーク", 情報処理学会論文誌, Vol.58, No.2, pp.507-520, Feb. 2017.
  5. 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", Journal of Information Processing, Vol.9,No.4, Dec 2016.
  6. 鴫原一人, 石川拓也, 本田晋也, 高田広章, "メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト", 情報処理学会論文誌, Vol.57, No.8, pp.1737-1751, Aug. 2016.
  7. 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.
  8. 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
  9. 舘伸幸, 山本雅基, 吉田則裕, 高嶋博之, 海上智昭, 安藤友樹, 松原豊, 本田晋也, 高田広章: "OJLによる実践的組込みシステム教育", コンピュータソフトウェア, Vol.32, No.2, pp.79-85, 2015年5月.
  10. 丸山修孝, 石川拓也, 本田晋也, 高田広章, 鈴木克信,"疎結合ハードウェアRTOS搭載 産業ネットワーク用SoC", 電子情報通信学会論文誌D, Vol.J98-D, No.4, pp.661-673, Jan. 2015.
  11. 山田真大, 小林良岳, 本田晋也, 高田広章 , " マルチコアにおけるコア隔離機構Timer ShieldによるLinuxのリアルタイム性向上", コンピュータ ソフトウェア,Vol. 31,No. 4 p. 4_77-4_96, Dec. 2014.
  12. 石川 拓也, 安積 卓也, 大山 博司, 本田 晋也, 高田 広章," メモリ保護を考慮した組込みシステム向けソフトウェアコンポーネント技術", コンピュータ ソフトウェア,Vol. 31,No. 4 p. 4_105-4_130, Nov. 2014.
  13. 勝沼聡, 本田晋也, 高田広章, "リアルタイム性を考慮した車載システム向けDSMSのクエリ処理効率化", 日本データベース学会和文論文誌,Vol. 13,No. 1 p. 25-31, Oct. 2014.
  14. 安藤友樹,柴田誠也,本田晋也,冨山宏之,高田広章, "SEEDS: 組込みシステム向けシステムレベル設計環境," 電子情報通信学会論文誌 D, Vol.J97-D,No.3, pp. 450-460, Mar 2014.
  15. Yuko Hara-Azumi, Toshinobu Matsuba, Hiroyuki Tomiyama, Shinya Honda, and Hiroaki 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
  16. 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, 2013.
  17. 丸山修孝, 一場利幸, 本田晋也, 高田広章, "マルチコア対応 RTOS のハードウェア化による性能向上", 電子情報通信学会論文誌 D, Vol.J96-D,No.10,pp.2150-2162,Oct. 2013.
  18. 太田貴也, 大橋 孝輔, D. Sangorrin, 本田晋也, 高田広章, 堀田孝一, 大山田光夫, "SafeG-MP:マルチコア対応の組込みシステム向け仮想化環境", 電子情報通信学会論文誌 D, Vol.J96-D,No.10,pp.2163-2181,Oct. 2013.
  19. 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.
  20. 石田利永子, 本田晋也, 高田広章, 福井昭也, 小川敏行, 田原康宏,"マルチストリーミング処理のためのマルチプロセッサ向けロードバランス機構", 電子情報通信学会論文誌 D, Vol.J96-D, No.1, pp.168-182, Jan 2013.
  21. 勝沼聡,山口晃広,熊谷康太,本田晋也,佐藤健哉,高田広章, "車載組込みシステム向けデータストリーム管理システムの開発", 電子情報通信学会論文誌 Vol. J95-D, No.12, Dec, 2012.
  22. 鴫原一人, 一場利幸, 本田晋也, 高田広章, "μITRONベースのマルチプロセッサ向けRTOSのテスト",情報処理学会論文誌, Vol.53, No.12, pp. 2682-2701, Dec. 2012.
  23. 佐野泰正, 松原豊, 本田晋也, 高田広章, "schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ", 電子情報通信学会論文誌 D システム開発論文, Vol.J95-D, No.12, pp.2008-2020. Dec 2012.
  24. 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.
  25. 石川拓也, 本田晋也, 高田広章, "静的なメモリ配置を行うメモリ保護機能を持ったリアルタイムOS", コンピュータ ソフトウェア, Vol.29,No.4, pp. 161-181, Nov 2012.
  26. 石田利永子,本田晋也,高田広章,福井昭也,小川敏行,田原康宏,"TOPPERS/FMPカーネル リアルタイム性と高スループットを実現可能な組込システム向けマルチプロセッサ用RTOS", コンピュータソフトウェア, Vol.29,No.4, pp. 219-243, Oct 2012.
  27. 勝沼聡, 本田晋也, 佐藤健哉, 高田広章, "車載組込みシステム向けデータストリーム管理の静的スケジューリング方式", 情報処理学会論文誌 データベース(TOD55), Vol.5, No.3, pp.2031-2047, Sep, 2012.
  28. 石田利永子,山本雅基,海上智昭,森孝夫,本田晋也,一場利幸,高瀬英希,高田広章,"共同研究と公開講座による組込みソフトウェア技術者育成の取り組み",工学教育,60-3, pp.75-81, 2012.
  29. 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, Jun 2012
  30. D. Sangorrin, S. Honda, H. Takada, "Integrated Scheduling for a Reliable Dual-OS Monitor", 情報処理学会論文誌, (ACS 23), Vol.5, No.2, pp.99-110, 2012.
  31. 鴫原一人, 眞弓友宏, 森孝夫, 本田晋也, 高田広章, "μITRONベースのRTOS向けテストプログラム生成ツール", 電子情報通信学会論文誌 D, Vol.J95-D, No.4, pp.870--884, 2012.
  32. 一場利幸, 森孝夫, 高瀬英希, 鴫原一人, 本田晋也, 高田広章, "命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOS のテスト効率化手法", 電子情報通信学会論文誌 D, Vol.J95-D, No.3, pp.387-399, Mar. 2012.
  33. 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, pp. 345-353, Feb. 2012.
  34. 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.
  35. 石川拓也,安積卓也,一場利幸,柴田誠也,本田晋也,高田広章, "TECS仕様に基づいたNXT用ソフトウェアプラットフォームの開発", コンピュータソフトウェア, Vol.28,No.4, pp. 158-174, Nov 2011.
  36. 松原豊,本田晋也,高田広章, "時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム", 情報処理学会論文誌, Vol.52 No.8, Aug. 2011.
  37. 一場利幸,松原豊,本田晋也,高田広章, 中断可能な優先度継承キューイングスピンロックとそのハードウェア実装, 情報処理学会論文誌 コンピューティングシステム, Vol.4,No.3, pp. 133-146, May 2011.
  38. 柴田誠也,本田晋也,冨山宏之,高田広章,"マルチプロセッサ対応システムレベル設計環境 SystemBuilder-MP", 電子情報通信学会論文誌 D, Vol.J94-D,No.4, pp. 657-670, Aprennnn 2011.
  39. 森孝夫,本田晋也,石田利永子,山本雅基,高田広章,"コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育",工学教育,Vol.59-2,pp79-84,Mar. 2011.
  40. 相庭裕史, 本田晋也, 高田広章, "対称型マルチコアシステムのエンジン制御ソフトウェアへの適用", 情報処理学会論文誌, Vol. 51, No. 12, pp. 2238-2249, Dec. 2010.
  41. 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.
  42. 安積卓也, 古川貴士, 相庭裕史, 柴田誠也, 本田晋也, 冨山宏之, 高田広章, "オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張", コンピュータソフトウェア, Vol.27, No.4, pp.24-42, Nov. 2010.
  43. 後藤隼弐, 本田晋也, 長尾卓哉, 高田広章, "トレースログ可視化ツールTraceLogVisualizer(TLV)", コンピュータソフトウェア, Vol.27, No.4, pp.8-23, Nov. 2010.
  44. 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.
  45. 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.
  46. 中嶋健一郎, 本田晋也, 手嶋茂晴, 高田広章, "セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化", 電子情報通信学会論文誌, Vol. J93-D, No. 2, pp. 75-85, Feb. 2010.
  47. 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.
  48. 松原豊, 本田晋也, 冨山宏之, 高田広章, "リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク", 情報処理学会論文誌, Vol. 49, No. 10, pp. 3508-3519, Oct. 2008,
  49. 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.
  50. 本田晋也, 高田広章, "ITRON仕様OSの機能分散マルチプロセッサ拡張", 電子情報通信学会論文誌, Vol. J91-D, No. 4, pp.934-944, Apr. 2008.
  51. 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.
  52. 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.
  53. 松原豊, 本田晋也, 冨山宏之, 高田広章, "時間保護のためのリアルタイムスケジューリングアルゴリズム", 情報処理学会論文誌コンピューティングシステム, Vol. 48, No. SIG 8 (ACS 18), pp. 192-202, May 2007.
  54. 山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "NEXCESS:社会人組込みソフトウェア技術者教育におけるスキル育成", 工学教育, Vol. 54, No. 5, pp. 49-54, 2006.
  55. 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "社会人に対する組込みソフトウェア技術の再教育の取り組み", 電気学会論文誌A, Vol. 126, No. 7, pp. 563-569, 2006.
  56. 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.
  57. 本田晋也, 冨山宏之, 高田広章, "システムレベル設計環境:SystemBuilder", 電子情報通信学会論文誌, Vol. J88-D-I, No. 2, pp. 163-174, 2005.
  58. 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.
  59. 本田晋也, 高田広章, 中島浩, "SpecCによるソフトウェア記述の実装記述への変換", 情報処理学会論文誌, Vol. 44, No. SIG 11 (ACS 3), pp. 236-245, 2003.
  60. 本田晋也, 高田広章, "デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価", 情報処理学会論文誌, Vol. 43, No. 5, pp. 1214-1224, 2002.
  61. 本田晋也, 高田広章, "μITRON4.0仕様の例外処理のための機能とその評価", 情報処理学会論文誌, Vol. 42, No. 6, pp. 1514-1524, 2001.

解説論文

  1. 本田晋也, 堀田考一, 大山田光夫, "車載インフォテイメントシステムの高機能と高信頼性を実現する仮想化技術(SafeG)", 自動車技術, Vol. 67, No. 2, pp. 34-42, Feb. 2013
  2. 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
  3. 高田広章, 本田晋也, "機能分散マルチプロセッサ向けのリアルタイムOS", 情報処理, Vol. 42, No. 1, pp. 36-45, 2006.
  4. 山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸, "大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析", SEC Journal, Vol. 1, No. 4, pp. 41-47, 2005.

国際会議

  1. [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.
  2. 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),India cochi, Dec 2018.
  3. 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), Singapore, 2018, pp. 107-115.
  4. 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.
  5. 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), Sep 2017
  6. K. Shigihara, S. Honda, H. Takada,"Test Program Generator for AUTOSAR OS",13th European Dependable Computing Conference(EDCC 2017), Sep 2017
  7. 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), Seoul, Korea, April 2015. (Industrial Paper)
  8. 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, Mar 2015.
  9. 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, Mar 2015.
  10. 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, Jan 2015.
  11. 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, Oct, 2014.
  12. 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, 2014.
  13. 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.
  14. 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, May 2014.
  15. 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, Dec. 2013.
  16. 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, Oct. 2013.
  17. 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, Sep. 2013.
  18. 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.
  19. 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.
  20. 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.
  21. 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.
  22. 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.
  23. 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.
  24. 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.
  25. 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.
  26. 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.
  27. 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.
  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. 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.
  30. 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.
  31. 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 (2010).
  32. 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.
  33. 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.
  34. C. Takei, H. Takada, M. Yamamoto, S. Honda, "Integrated Software Platform for Automotive Systems," Int'l SoC Design Conference, pp. 384-387, Nov. 2009.
  35. 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.
  36. 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.
  37. 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.
  38. 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.
  39. 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.
  40. 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.
  41. 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.
  42. 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.
  43. 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.
  44. 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.
  45. Y. Hara, S. Honda, H. Tomiyama, H. Takada, "Function Call Optimization in Behavioral Synthesis," EUROMICRO Conference on Digital System Design (DSD), 2006.
  46. 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.
  47. 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.
  48. 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.
  49. 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.
  50. 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.
  51. 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.
  52. 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.
  53. 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.
  54. H. Takada, S. Honda, R. Nishiyama, "Configurable Real-time Operating System for Heterogeneous Multiprocessors," 1st Symposium on Intelligent Human Sensing, pp. 86-89, 2003.
  55. 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.

受賞

趣味

略歴

その他


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


Last modified: 19 Oct 2014 22:07:28
URL: http://www.ertl.jp/%7Ehonda/index.html
Produced by Shinya Honda