名古屋大学情報連携基盤センター　研究員

2005.4 - 2006.3

組込みシステムシンポジウム（ESS2010） 奨励賞

2010.10   情報処理学会  

TOPPERS of the YEAR 2009

2009   TOPPERSプロジェクト  

第8回（平成18年）LSI IPデザイン・アワード IP賞

2006   日経BP社  

第3回（平成13年）LSI IPデザイン・アワード IP優秀賞

2001   日経BP社  

情報処理学会 東海支部 学生論文奨励賞

2001   情報処理学会  

Design and Implementation of RTOS-Aware Control-Flow Integrity Mechanism for Microcontroller-Based Systems Reviewed Open Access

T. Kawada, S. Honda, Y. Matsubara, H. Takada

  Vol. 39 ( 2 ) page： 39 - 68   2022.4

制御システム向けマルチコアSoCとそのソフトウエアの技術動向 Invited Reviewed Open Access

本田晋也

システム/制御/情報   Vol. 66 ( 1 ) page： 8 - 13   2022.1

A Case Study of DNN Pre-Process with System-Level Design on FPGA Reviewed

A. Tanaka, R.Yamamoto, S. Ito, S. Honda, M. Edahiro

Proceedings of IEEE Symposium on Low-Power and High-Speed Chips and Systems (COOL Chips 24)     2021.4

A Hiding External Memory Access Latency by Prefetch Architecture for DNN Accelerator Available on High-Level Synthesis Reviewed

R. Yamamoto, S. Honda, M. Edahiro

The 23rd Workshop on Synthesis And System Integration of Mixed Information technologies (SASIMI)     2021.3

Multirate Model Parallelization for MPSoC with FPGA in Model-Based Development: A Case Study Reviewed Open Access

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)     2020.11

SROS2における認証付き暗号の組込みシステムを指向したセキュア実装とその評価 Reviewed

竹本修，西田奏太，野崎佑典，本田晋也，倉地亮，吉川雅弥

    page： 939 - 948   2020.8

TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone for Armv8-M Reviewed Open Access

T. Kawada, S. Honda, Y. Matsubara, H. Takada

International Journal of Parallel Programming 49     page： 216 - 236   2020.7

ヘテロジニアスマルチコアシステムに対する統合型設計環境

小川真彩高, 本田晋也, 枝廣正人

第19回複雑系マイクロシンポジウム     page： 0-0   2020.3

C言語設計によるDNNの推論高速化のための 外部メモリアクセスレイテンシの隠蔽化手法

山本椋太，本田晋也

第19回複雑系マイクロシンポジウム     page： 0-0   2020.3

Analysis of Performance Degradation on Shared Cache in Multicore Systems Open Access

Yang Qin, Shinya Honda, Hiroaki Takada and Gang Zeng

  ( 38 )   2020.2

アプリケーションプロセッサを用いたミックスドクリティカルシステム向けTDMAベースのスケジューリング手法の提案

三浦功也，本田晋也

第53回組込みシステム合同研究発表会（ETNET2020）     page： 0-0   2020.2

車載知能制御システム向けソフトウェア設計手法の提案

小澤慶祐，本田晋也，松原豊，高田広章

第53回組込みシステム合同研究発表会（ETNET2020）     page： 0-0   2020.2

車載制御システム向け次世代プロセッサの仮想化支援機能を用いたハイパーバイザー

本田晋也，山本椋太

情報処理学会研究報告, Vol.2019-EMB-52,No.17     page： 1-6   2019.11

ROS2を用いた遠隔運転を想定した通信のリアルタイム性評価

川上勇剛，本田晋也，倉地亮，中條直也

第93回MBL・第79回ITS合同研究発表会     page： 0-0   2019.11

Shadow exception stacks: Control-Flow Integrity for Asynchronous Exceptions Using TrustZone for Armv8-M Reviewed

Tomoaki Kawada, Shinya Honda, Yutaka Matsubara, Hiroaki Takada

The 6th International Embedded Systems Symposium (IESS) 2019     page： 0-0   2019.9

低価格計算機上での ROS を用いた自動運転システムの性能評価

梅田大知，倉地亮，本田晋也，吉川雅弥

令和元年度 電気・電子・情報関係学会 東海支部連合大会     page： 0-0   2019.9

自動運転ソフトウェア開発のための仮想環境の検討

上谷一将，川上勇剛，倉地亮，本田晋也，中條直也

情報処理学会第81回全国大会     page： 0-0   2019.3

Efficient Approach to Ensure Temporal Determinism in Automotive Control Systems Reviewed

Masataka Ogawa, Shinya Honda and Hiroaki Takada

8th International Symposium on Embedded Computing and System Design     page： 1-5   2018.12

組込みミックスドクリティカルシステム向けイーサネットコントローラ共有機構 Reviewed

石野正敏，本田晋也

情報処理学会論文誌   Vol. 59 ( 8 ) page： 1464-1476   2018.8

Cost-Effective Redundancy Approach for Fail-Operational Autonomous Driving System Reviewed

Tasuku Ishigooka, Shinya Honda and Hiroaki Takada

2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)     page： 107-115   2018.5

マルチコアパワートレインアプリケーションにおけるコア配置決定のための最悪応答時間解析手法 Reviewed

小川真彩高，本田晋也，高田広章

情報処理学会論文誌   Vol. 59 ( 2 ) page： 748-761   2018.2

ARM TrustZone for ARMv8-Mを利用した軽量メモリ保護RTOS Reviewed

河田智明，本田晋也

情報処理学会論文誌   Vol. 59 ( 2 ) page： 762-774   2018.2

Evaluation of Embedded Platform for Autonomous Drive Using Linux and GPU Reviewed

S. Mizuno, S. Honda, R. Kurachi, D. Hayakawa, N. Chujo

International Workshop on Informatics(IWIN2017)     page： 0   2017.9

Test Program Generator for AUTOSAR OS

K. Shigihara, S. Honda, H. Takada

13th European Dependable Computing Conference(EDCC 2017)     page： 0   2017.9

車載制御システム向けマルチコアプログラミングフレームワーク Reviewed

小川真彩高, 本田晋也, 高田広章

情報処理学会論文誌   Vol. 58 ( 2 ) page： 507-520   2017.2

In-Vehicle Distributed Time-critical Data Stream Management System for Advanced Driver Assistance Reviewed

A. Yamaguchi, Y. Watanabe, K. Sato, Y. Nakamoto, Y. Ishikawa, S. Honda, H. Takada

Journal of Information Processing   Vol. 9 ( 4 ) page： 107-120   2016.12

メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト Reviewed

鴫原一人，石川拓也，本田晋也，高田広章

情報処理学会論文誌   Vol. 57 ( 8 ) page： 1737-1751   2016.8

System-level Design Method for Control Systems with Hardware-implemented Interrupt Handler Reviewed

Y. Ando, S. Honda, H. Takada, M. Edahiro

Journal of Information Processing   Vol. 23 ( 5 ) page： 532-541   2015.9

Automatic Synthesis of Inter-heterogeneous-processor Communication for Programmable System-on-chip Reviewed

Y. Ando, Y. Ishida, S. Honda, H. Takada, M. Edahiro

IPSJ Transactions on System LSI Design Methodology   Vol. 8   page： 95-99   2015.8

OJLによる実践的組込みシステム教育 Reviewed

舘伸幸, 山本雅基, 吉田則裕, 高嶋博之, 海上智昭, 安藤友樹, 松原豊, 本田晋也, 高田広章

コンピュータソフトウェア   Vol. 32 ( 2 ) page： 79-85   2015.5

AEDSMS: Automotive Embedded Data Stream Management System Reviewed

A. Yamaguchi, Y. Nakamoto, K. Sato, Y. Ishikawa, Y. Watanabe, S. Honda, H. Takada

The 31st International Conference on Data Engineering (ICDE 2015)     page： 00 - 00   2015.4

Profiler for Control System in System Level Design Reviewed

T. Miaw, Y. Ando, S. Honda, H. Takada, M. Edahiro

Workshop on Synthesis And System Integration of Mixed Information Technologies     page： 00 - --   2015.3

Design Space Exploration of Control System with Hardware-implemented Interrupt Handler Reviewed

Y. Ando, S. Honda, H. Takada, M. Edahiro

International Conference on Information and Communication Technology for Embedded Systems     page： 00 - 00   2015.3

疎結合ハードウェアRTOS搭載 産業ネットワーク用SoC

丸山修孝, 石川拓也, 本田晋也, 高田広章, 鈴木克信

電子情報通信学会論文誌D   Vol. J98-D ( 4 )   2015.1

マルチコアにおけるコア隔離機構Timer ShieldによるLinuxのリアルタイム性向上 Reviewed

山田真大, 小林良岳, 本田晋也, 高田広章

コンピュータ ソフトウェア   Vol. 31 ( 4 ) page： 4_77 - 4_96   2014.12

メモリ保護を考慮した組込みシステム向けソフトウェアコンポーネント技術 Reviewed

石川 拓也, 安積 卓也, 大山 博司, 本田 晋也, 高田 広章

コンピュータ ソフトウェア   Vol. 31 ( 4 ) page： 4_105 - 4_130   2014.11

リアルタイム性を考慮した車載システム向けDSMSのクエリ処理効率化 Reviewed

勝沼聡, 本田晋也, 高田広章

日本データベース学会和文論文誌   Vol. 13 ( 1 ) page： 25-31   2014.10

S. Katsunuma, S. Honda, K. Sato, Y. Watanabe, Y. Nakamoto, H. Takada Reviewed

Real-time-aware Embedded DSMS Applicable to Advanced Driver Assistance Systems

Proceedings of 2014 IEEE 33rd International Symposium on Reliable Distributed Systems Workshops     page： 106-111   2014.10

ARM-based SoC with Loosely coupled type hardware RTOS for industrial network systems Reviewed

N. Maruyama, T. Ishikawa, S. Honda, H. Takada, K. Suzuki

Proc. of Operating Systems Platforms for Embedded Real-Time applications (OSPERT'14)     page： 9-16   2014.7

A case study of FPGA Blokus Duo Solver by System-Level Design Reviewed

Yuki Ando, Masataka Ogawa, Yuya Mizoguchi, Kouta Kumagai, Miaw Torng-Der and Shinya Honda

The 5th International Symposium on Highly Efficient Accelerators and Reconfigurable Technologies (HEART2014)     page： 59-64   2014.6

Fast Design-Space Exploration Method for SW/HW codesign on FPGAs Reviewed

Yuki Ando, Seiya Shibata, Shinya Honda, Hiroyuki Tomiyama and Hiroaki Takada

Proceedings of IEEE Symposium on Field-Programmable Custom Computing Machines 2014     page： 235   2014.3

SEEDS: 組込みシステム向けシステムレベル設計環境 Reviewed

安藤友樹，柴田誠也，本田晋也，冨山宏之，高田広章

電子情報通信学会論文誌   Vol. 97-D ( 3 ) page： 450-460   2014.3

Impact of Resource Sharing and Register Retiming on Area and Performance of FPGA-based Designs Reviewed

Yuko Hara-Azumi, Toshinobu Matsuba, Hiroyuki Tomiyama, Shinya Honda, and Hiroaki Takada

IPSJ Transactions on System LSI Design Methodology   Vol. 7   page： 37-45   2014.2

Automatic synthesis of inter-heterogeneous-processor communication implementation for programmable system-on-chip Reviewed

Y. Ando, Y. Ishida, S. Honda, H.iroaki Takada, M. Edahiro

In Proc. Of International Conference of VLSI Systems, Architecture, Techonogy and Applications (VLSI-SATA)     page： 84-89   2014.1

Android Platform based on Vehicle Embedded Data Stream Processing Reviewed

Y. Nakamoto, M. Okamoto, M. Bhuiya, A. Yamaguchi, K. Sato, S. Honda, H. Takada

the 10th IEEE International Conference on Ubiquitous Intelligence and Computing (UIC-2013)     page： 48-55   2013.12

太田貴也, 大橋 孝輔, D. Sangorrin, 本田晋也, 高田広章, 堀田孝一, 大山田光夫 Invited Reviewed

マルチコア対応の組込みシステム向け仮想化環境

電子情報通信学会論文誌 D   Vol. J96-D ( 10 ) page： 2163-2181   2013.10

マルチコア対応 RTOS のハードウェア化による性能向上 Reviewed

丸山修孝, 一場利幸, 本田晋也, 高田広章

電子情報通信学会論文誌 D,   Vol. J96-D ( 10 ) page： 2150-2162   2013.10

A Proposal of Network Architecture for Narrowband V2X Communication Reviewed

K. Sato, E. Matsumoto, H. Shimada, A. Yamaguchi, S. Honda, H. Takada

The 20th ITS World Congress     page： 1-10   2013.10

ADVISE: Autonomous Driving Vehicle for Individuality in a Stream Environment Reviewed

A. Yamaguchi, K. Sato, N. Shiba, S. Honda, H. Takada

The 6th Biennial Workshop on Digital Signal Processing for In-Vehicle Systems     page： 57-63   2013.9

Quantitative Evaluation of Resource Sharing in High-Level Synthesis Using Realistic Benchmarks Reviewed

Y.Hara-Azumi, T.Matsuba, H.Tomiyama, S.Honda, H.Takada

IPSJ Trans. System LSI Design Methodology   Vol. 6 ( 0 ) page： 122-126   2013.8

Investigation and Improvement on the Impact of TLB misses in Real-Time Systems Reviewed

T. Ishikawa, T. Kato, S. Honda, H. Takada

Proceedings of the 9th International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT2013)     page： 6-10   2013.7

Automated Identification of Performance Bottleneck on Embedded Systems for Design Space Exploration Reviewed

Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada

International Embedded Systems Symposium, IESS 2013     page： 171-180   2013.6

車載インフォテイメントシステムの高機能と高信頼性を実現する仮想化技術（SafeG）

本田晋也, 堀田考一, 大山田光夫

自動車技術   Vol. 67 ( 2 ) page： 34-42   2013.2

マルチストリーミング処理のためのマルチプロセッサ向けロードバランス機構

石田利永子, 本田晋也, 高田広章, 福井昭也, 小川敏行, 田原康宏

電子情報通信学会論文誌   Vol. J96-D, ( 1 ) page： 168-182   2013.1

Rainbow: An Operating System for Software-Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs Reviewed

K.Jozwik, S.Honda, M.Edahiro, H.Tomiyama, H.Takada

International Journal of Reconfigurable Computing   Vol. 2013 ( 789134 ) page： 40   2013.1

Rainbow: An Operating System for Software-Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs Reviewed

K.Jozwik, S.Honda, M.Edahiro, H.Tomiyama, H.Takada

International Journal of Reconfigurable Computing     page： 40   2013

schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ Reviewed

佐野泰正, 松原豊, 本田晋也, 高田広章

電子情報通信学会論文誌 D システム開発論文   Vol. J95-D ( 12 ) page： 2008-2020   2012.12

車載組込みシステム向けデータストリーム管理システムの開発 Reviewed

勝沼聡，山口晃広，熊谷康太，本田晋也，佐藤健哉，高田広章

電子情報通信学会論文誌   Vol. J95-D ( 12 ) page： 2031-2047   2012.12

μITRONベースのマルチプロセッサ向けRTOSのテスト

鴫原一人, 一場利幸, 本田晋也, 高田広章

情報処理学会論文誌   Vol. 53 ( 12 ) page： 2682-2701   2012.12

静的なメモリ配置を行うメモリ保護機能を持ったリアルタイムOS Reviewed

石川拓也, 本田晋也, 高田広章

コンピュータ ソフトウェア   Vol. 29 ( 4 ) page： 161-181   2012.11

Reliable and Efficient Dual-OS Communications for Real-Time Embedded Virtualization Reviewed

D. Sangorrin, S. Honda, H. Takada

  Vol. 29 ( 4 ) page： 182-198   2012.11

TOPPRES/FMP Kernel : RTOS for Embedded Multiprocessor Systems with Real-time Tasks and Throughput-demanding Tasks Reviewed

Rieko ISHIDA, Shinya HONDA, Hiroaki TAKADA, Akiya FUKUI, Toshiyuki OGAWA, Yasuhiro TAWARA

  Vol. 29 ( 4 ) page： 219-243   2012.10

Reliable Device Sharing Mechanisms for Dual-OS Embedded Trusted Computing Reviewed

D. Sangorrin, S. Honda, H. Takad

Proceedings of the 5th International Conference on Trust and Trustworthy Computing (TRUST)     page： 74-91   2012.7

Selective Resource Sharing with RT-Level Retiming for Clock Enhancement in High-Level Synthesis Reviewed

Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada

International Conference on Embedded Software and Systems (ICESS)     page： 1534-1540   2012.6

An Open-Source Flexible Scheduling Simulator for Real-time Applications Reviewed

Y. Matsubara, Y. Sano, S. Honda, H. Takada

ISORC 2012     page： 16-22   2012.4

命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOS のテスト効率化手法 Reviewed

一場利幸, 森孝夫, 高瀬英希, 鴫原一人, 本田晋也, 高田広章

電子情報通信学会論文誌D   Vol. 95 ( 3 ) page： 387-399   2012.3

A Novel Framework for Effective Preemptive Hardware Multitasking on FPGAs Reviewed

K. Jozwik, H. Tomiyama, S. Honda, H. Takada

IEICE Transactions Information Systems, Special Issue on Reconfigurable Systems   Vol. E95-D ( 2 ) page： 345-353   2012.2

A Fast Performance Estimation Framework for System-Level Design Space Exploration Reviewed

S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada

IPSJ Transactions on System LSI Design Methodology   Vol. 5   page： 44-54   2012.2

共同研究と公開講座による組込みソフトウェア技術者育成の取り組み Reviewed

石田利永子，山本雅基，海上智昭，森孝夫，本田晋也，一場利幸，高瀬英希，高田広章

工学教育   Vol. 60 ( 3 ) page： 75-81   2012

Integrated Scheduling for a Reliable Dual-OS Monitor Reviewed

D. Sangorrin, S. Honda, H. Takada,

  Vol. 5 ( 2 ) page： 99-110   2012

μITRONベースのRTOS向けテストプログラム生成ツール

鴫原一人, 眞弓友宏, 森孝夫, 本田晋也, 高田広章

電子情報通信学会論文誌D   Vol. J95-D ( 4 ) page： 99-110   2012

Fast Design Space Exploration for Mixed Hardware-Software Embedded Systems Reviewed

Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada

International SoC Design Conference (ISOCC)   Vol. 2011   page： 99-95   2011.11

TECS仕様に基づいたNXT用ソフトウェアプラットフォームの開発 Reviewed

石川拓也, 安積卓也, 一場利幸, 柴田誠也, 本田晋也, 高田広章

コンピュータソフトウェア   Vol. 28 ( 4 ) page： 158-174   2011.11

Rainbow - An OS Extension for Hardware Multitasking on Dynamically Partially Reconfigurable FPGAs Reviewed

K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada

IEEE Reconfig201     page： 0   2011.11

Hardware Multitasking in Dynamically Partially Reconfigurable FPGA-based Embedded Systems

K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada

International SoC Design Conference (ISOCC)     page： 0   2011.11

時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム Reviewed

松原豊，本田晋也，高田広章

情報処理学会論文誌   Vol. 52 ( 8 ) page： 2387-2401   2011.8

中断可能な優先度継承キューイングスピンロックとそのハードウェア実装 Reviewed

一場利幸，松原豊，本田晋也，高田広章

情報処理学会論文誌 コンピューティングシステム   Vol. 4 ( 3 ) page： 133-146   2011.5

マルチプロセッサ対応システムレベル設計環境 SystemBuilder-MP Reviewed

柴田誠也，本田晋也，冨山宏之，高田広章

電子情報通信学会論文誌 D   Vol. J94-D ( 4 ) page： 657-670   2011.4

Software Component-Based HW/SW Cosimulation Framework: A Case Study Reviewed

T. Azumi, Y. Hara-Azumi, S. Honda, H. Takada

Work-In-Progress of Real-Time and Embedded Technology and Applications Symposium (RTAS)     page： 1-10   2011.4

Software Component-Based HW/SW Cosimulation Framework: A Case Study, Reviewed

T. Azumi, Y. Hara-Azumi, S. Honda, H. Takada

Work-In-Progress of Real-Time and Embedded Technology and Applications Symposium     page： 0   2011.4

コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育

森孝夫，本田晋也，石田利永子，山本雅基，高田広章

工学教育   Vol. 59 ( 2 ) page： 79-84   2011.3

Automatic Communication Synthesis with Hardware Sharing for Multi-Processor SoC Design Reviewed

Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada

IEICE TRANSACTIONS on Fundamentals of Electronics   Vol. E93 ( 12 ) page： 2509-2516   2010.12

対称型マルチコアシステムのエンジン制御ソフトウェアへの適用 Reviewed

相庭裕史, 本田晋也, 高田広章

情報処理学会論文誌,   Vol. 51 ( 12 ) page： 2238-2249   2010.12

Towards Practical High-Level Synthesis From Large Behavioral Description Invited Reviewed

Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada, N. Dutt

International SoC Design Conference (ISOCC)     page： 71-74   2010.11

Advanced SystemBuilder: A Tool Set for Multiprocessor Design Space Exploration

S. Shibata, S. Honda, H. Tomiyama, H. Takada

International SoC Design Conference (ISOCC)     page： 79-82   2010.11

後藤隼弐, 本田晋也, 長尾卓哉, 高田広章 Reviewed

トレースログ可視化ツールTraceLogVisualizer(TLV)”, コンピュータソフトウェア

  Vol. 27 ( 4 ) page： 8-23   2010.11

オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張 Reviewed

安積卓也, 古川貴士, 相庭裕史, 柴田誠也, 本田晋也, 冨山宏之, 高田広章

  Vol. 27 ( 4 ) page： 24-42   2010.11

ggressive Register Unsharing with Selective FU Sharing in High-Level Synthesis Reviewed

Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada

the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI)     page： 13-18   2010.10

A Novel Mechanism for Effective Hardware Task Preemption in Dynamically Reconfigurable Systems

K. Jozwik, H. Tomiyama, S. Honda, H. Takada

n Proc. of International Conference on Field Programmable Logic and Applications (FPL)     page： 352-355   2010.9

Efficient Design Space Exploration at System Level with Automatic Profiler Instrumentation Reviewed

S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada

IPSJ Transactions on System LSI Design Methodology   Vol. 3   page： 179-193   2010.8

Operating System Architecture for Real-Time Embedded Systems Reviewed

D. Sangorrin, S. Honda, H. Takada

Proceedings the Sixth International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT2010)   Vol. 1 ( 1 )   2010.7

Dual Operating System Architecture for Real-Time Embedded Systems Reviewed

D. Sangorrin, S. Honda, H. Takada

Proceedings the Sixth International Workshop on Operating Systems Platforms for Embedded Real-Time Applications (OSPERT2010)     page： 1-10   2010.6

Automatic Communication Synthesis with Hardware Sharing for Design Space Exploration Reviewed

Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada

IEEE International Symposium on Circuits and Systems     page： 1863-1866   2010.5

Aggressive Register Unsharing Based on SSA Transformation for Clock Enhancement in High-Level Synthesis Reviewed

T. Matsuba, Y. Hara, H. Tomiyama, S. Honda, H. Takada

5th IEEE International Symposium on Electronic Design, Test & Applications (DELTA 2010)     page： 87-92   2010.1

*セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化 Reviewed

中嶋健一郎, 本田晋也，手嶋茂晴，高田広章

電子情報通信学会論文誌   Vol. 93 ( 2 )   2010

Partitioning of Behavioral Descriptions Exploiting Function-Level Parallelism Reviewed

Y. Hara, H. Tomiyama, S. Honda and H. Takada

  Vol. 1   2010

Hierarchical Scheduling for Integrating Real-time Applications with Interrupt Routines Reviewed

Y. Matsubara, S. Honda, H. Takada

Int'l SoC Design Conference     page： 384-387   2009.11

Integrated Software Platform for Automotive Systems Invited

C. Takei, H. Takada, M. Yamamoto, S. Honda

Int'l SoC Design Conference     page： 384-387   2009.11

A Case Study on MPEG4 Decoder Design with SystemBuilder Reviewed

S. Shibata, S. Honda, H. Tomiyama and H. Takada

2009 International Symposium on VLSI Design, Automation and Test (VLSI-DAT)   Vol. 0   2009

A Case Study on AES Encryption System Design with SystemBuilder Reviewed

Y. Ando, S. Shibata, S. Honda, H. Tomiyama and H. Takada

Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI) 2009   Vol. 0   2009

Behavioral Partitioning with Exploiting Function-Level Parallelism Reviewed

Y. Hara, H. Tomiyama, S. Honda, H. Takada and K. Ishii

International SoC Design Conference (ISOCC)   Vol. 0   2009

Proposal and Quantitative Analysis of the CHStone Benchmark Program Suite for Practical C-based High-level Synthesis Reviewed

Y. Hara, H. Tomiyama, S. Honda and H. Takada

Journal of Information Processing   Vol. 17   2009

*リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク Reviewed

松原豊，本田晋也，冨山宏之，高田広章

情報処理学会論文誌   Vol. 49 ( 10 ) page： 3508-3519   2008.10

CHStone: A Benchmark Program Suite for Practical C-Based High-Level Synthesis Reviewed

2. Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada and Katsuya Ishii

IEEE International Symposium on Circuits and System   Vol. 0 ( 0 ) page： 0   2008.5

*ITRON仕様OSの機能分散マルチプロセッサ拡張 Reviewed

本田晋也, 高田広章

電子情報通信学会論文誌   Vol. J91-D ( 04 )   2008.4

*Embedded System Covalidation with RTOS Model and FPGA Reviewed

IPSJ Transactions on System LSI Design Methodology   Vol. 1   2008

Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis Reviewed

IEICE Trans. Fundamentals   Vol. E90-A ( 12 ) page： 2853-2862   2007.12

Function-Level Partitioning of Sequential Programs for Efficient Behavioral Synthesis Reviewed

Yuko Hara, Hiroyuki Tomiyama, Shinya Honda, Hiroaki Takada, Katsuya Ishii

IEICE Trans. Fundamentals   Vol. E90-A ( 12 ) page： 2853-2862   2007.12

Hardware/Software Covalidation with FPGA and RTOS Model Reviewed

Seiya Shibata, Shinya Honda, Yuko Hara, Hiroyuki Tomiyama , Hiroaki Takada

Proceedings of the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI)     page： 488-494   2007.10

Hardware/Software Covalidation with FPGA and RTOS Model Reviewed

Seiya Shibata, Shinya Honda, Yuko Hara, Hiroyuki Tomiyama, Hiroaki Takada

Proceedings of the Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI)     page： 488-494   2007.10

時間保護のためのリアルタイムスケジューリングアルゴリズム Reviewed

松原豊，本田晋也，冨山宏之，高田広章

情報処理学会論文誌コンピューティングシステム   Vol. 48 ( SIG8 ) page： 192-202   2007

A Hardware/Software Cosimulator with RTOS Supports for Multiprocessor Embedded Systems Reviewed

T. Furukawa, S. Honda, H. Tomiyama, H. Takada

Third International Conference, ICESS 2007     page： 283-294   2007

Behavioral Synthesis of Double-Precision Floating-Point Adders with Function-Level Transformations: A Case Study Reviewed

Y. Hara, H. Tomiyama, S. Honda , H. Takada, K. Ishii

Third International Conference, ICESS 2007     page： 261-270   2007

Complexity-Constrained Partitioning of Sequential Programs for Efficient Behavioral Synthesis Reviewed

Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii

2007 ACM Great Lakes Symposium on VLSI     page： 365-370   2007

RTOS and Codesign Toolkit for Multiprocessor Systems-on-Chip Invited Reviewed

S. Honda, H. Tomiyama, H. Takada

12th Asia and South Pacific Design Automation Conference(ASP-DAC)   Vol. 1   2007

Function Call Optimization for Efficient Behavioral Synthesis Reviewed

Y. Hara, H. Tomiyama, S. Honda and H. Takada

IEICE Trans. Fundamentals   Vol. E90-A ( 9 ) page： 2032-2036   2007

社会人に対する組込みソフトウェア技術の再教育の取り組み

山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸

電気学会論文誌   Vol. 126 ( 7 ) page： 563-569   2006

機能分散マルチプロセッサ向けのリアルタイムOS

高田広章, 本田晋也

情報処理   Vol. 42 ( 1 ) page： 36-45   2006

Function Call Optimization in Behavioral Synthesis Reviewed

Y. Hara, S. Honda, H. Tomiyama, H. Takada

EUROMICRO Conference on Digital System Design(DSD)   Vol. 0   2006

An Analysis of Learner's Activities in Embedded Software Programming Practices Reviewed

M. Yamamoto, H. Tomiyama, S. Honda, N. Kaneko, K. Mase, N. Kawaguchi, H. Takada, and K. Agusa

19th Conference on Software Engineering Education and Training (CSEET)   Vol. 1   2006

Communication Interfaces for System Level Design Reviewed

H. Minamide, T. Yoshimoto, Y. Takagi, S. Honda, H. Tomiyama

Workshop on Synthesis And System Integration of Mixed Information Technologies (SASIMI)     page： 21-28   2006

NEXCESS：社会人組込みソフトウェア技術者教育におけるスキル育成 Reviewed

山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸,

工学教育   Vol. 54 ( 5 ) page： 49-54   2006

An RTOS-Based Approach to Design and Validation of Embedded Systems Reviewed

H. Tomiyama, S. Chikada, S. Honda, H. Takada

International Symposium on VLSI Design, Automation, and Test (VLSI-DAT)     page： 185-187   2005

An RTOS-Based Design and Validation Methodology for Embedded Systems, Reviewed

H. Tomiyama, S. Chikada, S. Honda, and H. Takada

IEICE Trans. on Information and Systems   Vol. E88-D ( 9 ) page： 2205-2208   2005

システムレベル設計環境：SystemBuilder Reviewed

本田晋也, 冨山宏之, 高田広章

電子情報通信学会論文誌   Vol. J88-D-I ( 2 ) page： 163-174   2005

大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析

山本雅基, 阿草清滋, 高田広章, 間瀬健二, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸

  Vol. 1 ( 4 ) page： 41-47   2005

Cosimulation of ITRON-Based Embedded Software with SystemC Reviewed

S. Chikada, H. Tomiyama, S. Honda, H. Takada

International High Level Design Validation and Test Workshop (HLDVT)     page： 71-76   2005

NEXCESS: Nagoya University Extension Courses for Embedded Software Specialists Reviewed

M. Yamamoto, H. Tomiyama, H. Takada, K. Agusa, K. Mase, N. Kawaguchi, S. Honda, and N. Kaneko

1st Workshop on Embedded Systems Education (WESE)     page： 16-20   2005

RTOS-Centric Hardware/Software Cosimulator for Embedded System Design

S. Honda, T. Wakabayashi, H. Tomiyama, H. Takada

International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)     page： 158-163   2004

RTOS-Centric Cosimulator for Embedded System Design Reviewed

S. Honda, T. Wakabayashi, H. Tomiyama, and H. Takada

IEICE Trans. on Fundamentals   Vol. E87-A ( 12 ) page： 3030-3035   2004

Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device Reviewed

S. Honda, H. Takada

Embedded Software Forum of Design Automation and Test in Europe (DATE)     page： 138-143   2003

SpecCによるソフトウェア記述の実装記述への変換 Reviewed

本田晋也, 高田広章, 中島浩

情報処理学会論文誌   Vol. 44 ( SIG11 ) page： 236-245   2003

Hardware/Software Co-Configuration for Multiprocessor SoPC (Work-in-Progress Report)

H. Takada, S. Honda, R. Nishiyama

IEEE Workshop on Software Technologies for Future Embedded Systems     page： 7-8   2003

*デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価 Reviewed

本田晋也, 高田広章

情報処理学会論文誌   Vol. 43 ( 5 ) page： 1214-1224   2002

μITRON4.0仕様の例外処理のための機能とその評価 Reviewed

本田晋也, 高田広章

情報処理学会論文誌   Vol. 42 ( 6 ) page： 1514-1524   2001

メモリプロテクト機能付きμITRON　OS研究開発

2007.4 - 2008.3

国内共同研究 

組込みマルチプロセッサシステムのアーキテクチャ探索手法とツールの研究

2007.4 - 2008.3

国内共同研究 

SystemCベース設計におけるオンチップ・マルチコア間通信の構成技術

2007.1 - 2007.3

国内共同研究 

FlexRayソフトウェアの構造最適化検討および研究試作

2006.10 - 2008.3

国内共同研究 

車両制御用マルチコア対応ＲＴＯＳの研究

2006.9 - 2007.3

国内共同研究 

組込みマルチプロセッサシステムのアーキテクチャ探索手法とツールの研究

2006.4 - 2007.3

国内共同研究 

対称型マルチプロセッサ・オペレーティング・システムの研究

2005.12 - 2006.3

国内共同研究 

SystemCベース設計におけるオンチップ・マルチコア間通信の構成技術

2005.9 - 2006.3

国内共同研究 

車両制御用マルチコア対応ＲＴＯＳの研究

2005.4 - 2006.3

国内共同研究 

組込みシステムにおける通信インターフェース技術の開発

2005.4 - 2006.3

国内共同研究 

対称型マルチプロセッサ・オペレーティング・システムの研究システムレベル設計環境

2004.8 - 2005.7

国内共同研究 

通信装置及び通信制限プログラム

法人名大,オートネット,住友電装,住友電気工業

通信装置及び通信制限プログラム

法人名大,オートネット,住友電装,住友電気工業

通信装置及び通信制限プログラム

法人名大,オートネット,住友電装,住友電気工業

通信装置及び通信制限プログラム

法人名大,オートネット,住友電装,住友電気工業

通信装置及び通信制限プログラム

東海国立大学機構,オートネット,住友電装,住友電気工業