-
Enhanced Real-time Scheduling of AVB Flows in Time-Sensitive Networking
Reviewed
International coauthorship
ACM Trans. on Design Automation of Electronic Systems
Vol.
29
(
2
)
page：
1
-
26
2024.2
-
分散リアルタイムシステムとしての車載制御システム
Invited
高田広章, 松原豊
システム/制御/情報
Vol.
67
(
12
)
page：
482
-
487
2023.12
-
コードクローン検出に基づくIoT を対象とした自動パッチ生成
Reviewed
大野堅太郎, 吉田則裕, 朱文青, 高田広章
コンピュータソフトウェア
Vol.
40
(
4
)
page：
47
-
53
2023.11
-
A Quantitative Approach for System of Systems’ Resilience Analyzing Based on Archimate
Reviewed
H. Zhang, Y. Matsubara, H. Takada
18th Int’l Workshop on Dependable Smart Embedded Cyber-Physical Systems and Systems-of-Systems
page：
47
-
60
2023.9
-
HRMP3+TECS: Component Framework for Multiprocessor Real-time Operating System with Memory Protection
Reviewed
Y. Takaso, H. Oyama, H. Takada
26th IEEE Int’l Symposium on Real-Time Distributed Computing
2023.5
-
Schfuzz: Detecting Concurrency Bugs with Feedback-Guided Fuzzing
Reviewed
H. Ito, Y. Matsubara, H. Takada
18th International Conference on Evaluation of Novel Approaches to Software Engineering
page：
273
-
282
2023.4
-
A Performance Evaluation of Embedded Multi-Core Mixed-Criticality System Based on PREEMPT_RT Linux
Reviewed
Journal of Information Processing
Vol.
64
(
2
)
2023.2
-
Resilience Analysis and Design for Mobility-as-a-Service Based on Enterprise Architecture Modeling
Reviewed
Reliability Engineering and System Safety
Vol.
229
2023.1
-
A Lightweight Long-term Vehicular Motion Prediction Method Leveraging Spatial Database and Kinematic Trajectory Data
Reviewed
ISPRS Int’l Journal of Geo-Information
Vol.
11
(
9
)
2022.8
-
Tracking Pedestrians under Occlusion in Parking Space by Combining Multiple Information Sources
Reviewed
Int’l Journal of Computer Systems Science and Engineering
Vol.
44
(
3
)
page：
2109
-
2127
2022.8
-
組込みシステムの開発成果物に基づくモデル抽出技術の調査
Reviewed
山本椋太, 吉田則裕, 高田広章
コンピュータソフトウェア
Vol.
39
(
3
)
page：
4
-
16
2022.8
-
MSCCD: Grammar Pluggable Clone Detection Based on ANTLR Parser Generation
Reviewed
W. Zhu, N. Yoshida, T. Kamiya, E. Choi, H. Takada
30th IEEE/ACM Int’l Conference on Program Comprehension
2022.5
-
Fuzz4B: ファジングツールAFLの利用支援ツール
Reviewed
宮木龍, 吉田則裕, 藤原賢二, 都築夏樹, 山本椋太, 高田広章
コンピュータソフトウェア
Vol.
39
(
2
)
page：
124
-
142
2022.5
-
Design and Implementation of RTOS-Aware Control-Flow Integrity Mechanism for Microcontroller-Based Systems
Reviewed
Vol.
39
(
2
)
page：
39
-
68
2022.5
-
カバレッジに基づくファジングツールの比較評価
Reviewed
都築夏樹, 吉田則裕, 戸田航史, 藤原賢二, 山本椋太, 宮木龍, 高田広章
コンピュータソフトウェア
Vol.
39
(
2
)
page：
101
-
123
2022.5
-
交差点での競合車両検索のための車両情報ストリームと高精度道路地図DBの統合索引
Reviewed
井川元, 渡辺陽介, 高田広章
日本データベース学会和文論文誌
Vol.
20-J
2022.3
-
Parking Lot Space Availability Monitoring System Using Multiple 3D-LiDARs
Reviewed
S. Yamada, Y. Watanabe, R. Kanamori, K. Sato, H. Takada
Int’l Journal of Intelligent Transportation Systems Research
2022.3
-
iSotEE: A Hypervisor Middleware for IoT-enabled Resource-constrained Reliable Systems
Reviewed
Y. Li, H. Takada
IEEE Access
Vol.
10
page：
8566
-
8576
2022.1
-
Efficient Access Method for Multi‐access Edge Servers in Dynamic Map Systems
Reviewed
K. Hosono, A. Maki, Y. Watanabe, H. Takada, K. Sato
Int’l Journal of Intelligent Transportation Systems Research
Vol.
20
page：
252
-
265
2022.1
-
PAIDS: Toward Pedestrian High-precision Position and Attribute Information Detection
Reviewed
Z. Zhou, S. Kitamura, Y. Watanabe, S. Yamada, H. Takada
Int’l Journal of Mechatronics and Automation
Vol.
8
(
4
)
page：
187
-
199
2022.1
-
Quantitative Security Assurance Case for In-vehicle Embedded Systems
Reviewed
Z. Zhou, Y. Matsubara, H. Takada
19th Int’l Conference on Dependable, Autonomic and Secure Computing
page：
-
2021.10
-
モビリティのサイバーフィジカルシステムにおけるダイナミックマップ2.0の役割
Invited
佐藤健哉, 高田広章
自動車技術（自動車技術会 会誌）
Vol.
75
(
10
)
page：
10
-
15
2021.10
-
ダイナミックマップ2.0（DM2.0）の構成と設計
Invited
佐藤健哉, 高田広章
電子情報通信学会通信ソサイェティマガジンB-plus
(
58
)
page：
133
-
139
2021.9
-
Extraction of Pedestrian Position and Attribute Information Based on the Integration of LiDAR and Smartphone Sensors
Reviewed
Z. Zhou, S. Kitamura, Y. Watanabe, S. Yamada, H. Takada
2021 IEEE Int’l Conference on Mechatronics and Automation
page：
-
2021.8
-
Comparative Evaluation of Kalman Filters and Motion Models in Vehicular State Estimation and Path Prediction
Reviewed
L. Tao, Y. Watanabe, Y. Li, S. Yamada, H. Takada
Journal of Navigation
Vol.
74
(
5
)
page：
1142
-
1160
2021.6
-
車線分割に基づきエッジサーバを配置したダイナミックマップシステムのスケーラビリティ向上
Reviewed
細野航平, 槇晶彦, 渡辺陽介, 高田広章, 佐藤健哉
情報処理学会論文誌
Vol.
62
(
5
)
page：
1261
-
1274
2021.5
-
ミドルウェアに対するCoverage-based Greybox Fuzzingの適用
Reviewed
伊藤弘将, 松原豊, 高田広章
情報処理学会論文誌
Vol.
62
(
3
)
page：
877
-
890
2021.3
-
Implementation and Evaluation of Load Balancing Mechanism with Multiple Edge Server Cooperation for Dynamic Map
Reviewed
K. Hosono, A. Maki, Y. Watanabe, H. Takada, K. Sato
IEEE Trans. on Intelligent Transportation Systems
2021.3
-
Optimizing Extensibility of CAN FD for Automotive Cyber-Physical Systems
Reviewed
International coauthorship
Y. Xie, G. Zeng, R. Kurachi, F. Xiao, H. Takada
IEEE Trans. on Intelligent Transportation Systems
2021.2
-
Collision Risk Assessment Service for Connected Vehicles: Leveraging Vehicular State and Motion Uncertainties
Reviewed
L. Tao, Y. Watanabe, Y. Li, S. Yamada, H. Takada
IEEE Internet of Things Journal
Vol.
8
(
14
)
page：
11548
-
11560
2021.2
-
Evaluation of Vehicle Position Estimation Method Combining Roadside Vehicle Detector and In-vehicle Sensors
Reviewed
S. Yamada, Y. Watanabe, H. Takada
Int’l Journal on Advances in Networks and Services
Vol.
13
(
3&4
)
2020.12
-
Fuzz4B: A Front-End to AFL Not Only for Fuzzing Experts
Reviewed
R. Miyaki, N. Yoshida, N. Tsuzuki, R. Yamamoto, H. Takada
11th A-TEST
page：
-
2020.11
-
Agile Software Design Verification and Validation (V&V) for Automated Driving
Reviewed
Y. Li, Y. Matsubara, D. Olbrys, K. Kajio, T. Inada, H. Takada
FISITA Web Congress 2020
page：
-
2020.11
-
Dynamic Linking Method for an Embedded Component System
Reviewed
K. Yamauchi, T. Kawada, H. Oyama, T. Azumi, H. Takada
Asia Pacific Conference on Robot IoT System Development and Platform 2020
page：
-
2020.11
-
Implementation and Evaluation of Priority Processing by Controlling Transmission Interval Considering Traffic Environment in a Dynamic Map
Reviewed
K. Hosono, A. Maki, Y. Watanabe, H. Takada, K. Sato
19th Int’l Conference on Advances in Vehicular Systems, Technologies and Application
page：
-
2020.10
-
静的OSのための静的APIとコンフィギュレータ
Reviewed
高田広章
コンピュータソフトウェア
Vol.
37
(
3
)
page：
45
-
66
2020.8
-
TZmCFI: RTOS-Aware Control-Flow Integrity Using TrustZone For Armv8-M
Reviewed
T. Kawada, S. Honda, Y. Matsubara, H. Takada
Int’l Journal of Parallel Programming
2020.7
-
自律移動ロボットのための2次元LRFの計測特性を考慮したEmpty確率分布
Reviewed
山田峻也, 渡辺陽介, 高田広章
日本ロボット学会誌
Vol.
38
(
4
)
page：
379
-
390
2020.5
-
カバレッジに基づくファジングツールの比較評価
Reviewed
都築夏樹, 吉田則裕, 戸田航史, 山本椋太, 高田広章
コンピュータソフトウェア
Vol.
37
(
2
)
page：
97
-
103
2020.5
-
組込みシステムの要求仕様書に対する誤り・曖昧表現の実証的調査
Reviewed
山本椋太, 中村成, 吉田則裕, 高田広章
電子情報通信学会論文誌
Vol.
J103-D
(
5
)
page：
427
-
449
2020.5
-
自動車分野のCASE革命とサイバーセキュリティ
松原豊, 倉地亮, 高田広章
情報処理
Vol.
61
(
4
)
page：
338-343
2020.4
-
Towards Minimizing MAC Utilization for Controller Area Network
Reviewed
R. Kurachi, H. Takada, H. Ueda, S. Takimoto
2nd ACM Workshop on Automotive and Aerial Vehicle Security
page：
-
2020.3
-
エッジコンピューティングを利用した自動運転車のための環境情報分散管理システム
Reviewed
山田峻也, 渡辺陽介, 高田広章
日本ロボット学会誌
Vol.
38
(
2
)
page：
199
-
209
2020.3
-
esprof: A Generic Profiling Infrastructure for Multi/Many-Core Embedded Systems
Reviewed
Y. Li, Y. Matsubara, H. Takada
Vol.
37
(
1
)
page：
54
-
67
2020.2
-
A Vehicle Position Estimation Method Combining Roadside Vehicle Detector and In-Vehicle Sensors
Reviewed
S. Yamada, Y. Watanabe, H. Takada
19th Int'l Conference on Networks
page：
-
2020.2
-
自動走行ソフトウェアスキル標準の策定
石黒正揮, 藤瀬哲朗, 有馬仁志, 高田広章
デジタルプラクティス
Vol.
11
(
1
)
page：
119-134
2020.1
-
車載組込みシステム技術者の育成 〜enPiT-Pro Embでの教育実践〜
山本雅基, 塩見彰睦, 岡村寛之, 高橋寛, 沢田篤史, 高田広章
デジタルプラクティス
Vol.
11
(
1
)
page：
99-118
2020.1
-
Shadow Exception Stacks: Control-Flow Integrity for Asynchronous Exceptions Using TrustZone for Armv8-M
Reviewed
T. Kawada, S. Honda, Y. Matsubara, H. Takada
6th Int'l Embedded Systems Symposium
page：
-
2019.9
-
Balancing Bandwidth Utilization and Interrupts: Two Heuristic Algorithms for the Optimized Design of Automotive CPS
Reviewed
Y. Xie, G. Zeng, R. Kurachi, X. Peng, G. Xie, H. Takada
IEEE Transactions on Industrial Informatics
Vol.
16
(
4
)
page：
2382-2392
2019.8
-
Symbolic Execution-Based Approach to Extracting a Micro State Transition Table
Reviewed
T. Shimizu, N. Yoshida, R. Yamamoto, H. Takada
28th ACM SIGSOFT Int'l Symposium on Software Testing and Analysis
page：
-
2019.7
-
DDCAN: Delay-time Deliverable CAN Network
Reviewed
R. Kurachi, H. Takada, N. Adachi, H. Ueda, Y. Miyashita
Int'l Workshop on Automobile Software Security and Safety
page：
-
2019.7
-
Evaluation of Security Access Service in Automotive Diagnostic Communication
Reviewed
R. Kurachi, H. Takada, K. Takei, T. Iinuma, Y. Sato, M. Nakano, H. Matsushima, J. Anzai, T. Nakano
2019 IEEE 89th Vehicular Technology Conference
page：
-
2019.4
-
組込みソフトウェアを対象とした状態遷移表抽出支援ツール
Reviewed
山本椋太, 吉田則裕, 青木奈央, 高田広章
電子情報通信学会論文誌
Vol.
J102-D
(
3
)
page：
151-162
2019.3
-
Energy-Efficient Intra-task DVFS Scheduling Using Linear Programming Formulation
Reviewed
Y. Qin, G. Zeng, R. Kurachi, Y. Li, Y. Matsubara, H. Takada
IEEE Access
Vol.
7
page：
30536-30547
2019.3
-
Energy-Aware Task Allocation for Heterogeneous Multiprocessor Systems by Using Integer Linear Programming
Reviewed
Y. Qin, G. Zeng, R. Kurachi, Y. Matsubara, H. Takada
Journal of Information Processing
Vol.
27
page：
136-148
2019.2
-
Performance Evaluation of Querying Point Clouds in RDBMS
Reviewed
G. Ikawa, Y. Watanabe, S. Yamada, H. Takada
6th IEEE Int'l Conference on Big Data and Smart Computing
page：
-
2019.2
-
Exact WCRT Analysis for Message-Processing Tasks on Gateway-Integrated In-Vehicle CAN Clusters
Reviewed
G. Xie, R. Kurachi, G. Zeng, H. Takada, R. Li, K. Li
ACM Trans. on Embedded Computing Systems
Vol.
17
(
6
)
2019.1
-
Asymmetric key-based secure ECU replacement without PKI
Reviewed
R. Kurachi, H. Takada, N. Adachi, H. Ueda, Y. Miyashita
2019 IEEE 19th Int'l Symposium on High Assurance Systems Engineering
page：
234-240
2019.1
-
Efficient Approach to Ensure Temporal Determinism in Automotive Control Systems
Reviewed
M. Ogawa, S. Honda, H. Takada
8th Int'l Symposium on Embedded computing & system Design
page：
-
2018.12
-
Towards Static Recovery of Micro State Transitions from Legacy Embedded Code
Reviewed
R. Yamamoto, N. Yoshida, H. Takada
1st Int'l Workshop on Automated Specification Inference
2018.11
-
DynamicMap 2.0: A Traffic Data Management Platform Leveraging Clouds, Edges and Embedded Systems
Reviewed
Y. Watanabe, K. Sato, H. Takada
Int'l Journal of Intelligent Transportation Systems Research
2018.11
-
Energy-Aware Task Allocation for Large Task Sets on Heterogeneous Multiprocessor Systems
Reviewed
Y. Qin, G. Zeng, R. Kurachi, Y. Matsubara, H. Takada
16th IEEE/IFIP Int'l Conference on Embedded and Ubiquitous Computing
2018.10
-
Execution-Variance-Aware Task Allocation for Energy Minimization on the big.LITTLE Architecture
Reviewed
Y. Qin, G. Zeng, R. Kurachi, Y. Matsubara, H. Takada
Sustainable Computing: Informatics and Systems
2018.10
-
IDH-CAN: A Hardware-Based ID Hopping CAN Mechanism With Enhanced Security for Automotive Real-Time Applications
Reviewed
W. Wu, R. Kurachi, G. Zeng, Y. Matsubara, H. Takada, R. Li, K. Li
IEEE ACCESS
Vol.
6
page：
54607-54623
2018.9
-
Component-Based mruby Platform for IoT Devices
Reviewed
T. Yamamoto, T. Hara, T. Ishikawa, H. Oyama, H. Takada, T. Azumi
情報処理学会論文誌
Vol.
59
(
8
)
page：
549-561
2018.8
-
Improving Secure Coding Rules for Automotive Software by using a Vulnerability Database
Reviewed
R. Kurachi, H. Takada, M. Tanabe, J. Anzai, K. Takei, T. Iinuma, M. Maeda, H. Matsushima
2018 IEEE Int'l Conference on Vehicular Electronics and Safety
2018.8
-
Further Analysis with Linear Programming on Blocking Time Bounds for Partitioned Fixed Priority Multiprocessor Scheduling
Reviewed
Z. Ma, R. Kurachi, G. Zeng, H. Takada
情報処理学会論文誌
Vol.
59
(
8
)
page：
540-548
2018.8
-
Security/Timing-aware Design Space Exploration of CAN FD for Automotive Cyber-Physical Systems
Reviewed
Y. Xie, G. Zeng, R. Kurachi, H. Takada, G. Xie
IEEE Trans. on Industrial Informatics
Vol.
15
(
2
)
page：
1094-1104
2018.7
-
Cost-Effective Redundancy Approach for Fail-Operational Autonomous Driving System
Reviewed
T. Ishigooka, S. Honda, H. Takada
21st IEEE Int'l Symposium on Real-Time Computing
2018.5
-
つながる社会とクルマのセーフティ＆セキュリティの動向と展望
松原豊, 倉地亮, 高田広章
自動車技術 (自動車技術会 学会誌)
Vol.
72
(
5
)
page：
87-93
2018.5
-
WCRT Analysis and Evaluation for Sporadic Message-Processing Tasks in Multicore Automotive Gateways
Reviewed
G. Xie, G. Zeng, R. Kurachi, H. Takada, Z. Li, R. Li, K. Li
IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems
Vol.
38
(
2
)
page：
281-294
2018.3
-
A Comparative Analysis of RTOS and Linux Scalability on an Embedded Many-core Processor
Reviewed
Y. Li, Y. Matsubara, H. Takada
情報処理学会論文誌
Vol.
59
(
3
)
page：
225-236
2018.3
-
マルチコアパワートレインアプリケーションにおけるコア配置決定のための最悪応答時間解析手法
Reviewed
小川真彩高, 本田晋也, 高田広章
情報処理学会論文誌
Vol.
59
(
2
)
page：
748-761
2018.2
-
AUTOSAR OS仕様準拠TOPPERS/ATK2を対象とした機能安全規格ISO 26262対応における安全分析事例
Reviewed
毛利守男, 佐藤秀昭, 山下映, 松原豊, 高田広章
情報処理学会論文誌
Vol.
59
(
2
)
page：
785-794
2018.2
-
クラウド型自動運転を指向した 並列ストリーム型ダイナミックマップ
Reviewed
鈴木有也, 佐々木健吾, 佐藤健哉, 高田広章
情報処理学会論文誌
Vol.
59
(
1
)
page：
88-101
2018.1
-
動的地理情報共有のためのアプリケーションプラットホームとしてのダイナミックマップの役割
佐藤健哉, 渡辺陽介, 高田広章
電子情報通信学会誌
Vol.
101
(
1
)
page：
85-90
2018.1
-
IDHCC: A Security-Enhanced ID Hopping CAN Controller Design to Guarantee Real-Time
Reviewed
W. Wu, R. Kurachi, G. Zeng, Y. Matsubara, H. Takada, R. Li
2nd Workshop on Security and Dependability of Critical Embedded Real-Time Systems
page：
-
2017.12
-
A Real-time Software Platform for LEGO Mindstorms EV3
Reviewed
Y. Li, Y. Matsubara, H. Takada
Vol.
34
(
4
)
page：
4_91-4_115
2017.11
-
自動車分野のセーフティとセキュリティの動向と展望 −自律走行の実現に向けて−
松原豊, 倉地亮, 高田広章
情報処理 (情報処理学会 学会誌)
Vol.
58
(
11
)
page：
972-977
2017.11
-
WCRT Analysis of CAN Messages in Gateway-Integrated In-Vehicle Networks
Reviewed
G. Xie, G. Zeng, R. Kurachi, H. Takada, Z. Li, R. Li,K. Li
IEEE Trans. on Vehicular Technology
Vol.
66
(
11
)
page：
9623-9637
2017.11
-
Portable DoS Test Tool for IoT Devices
Reviewed
K. Nagara, K. Aoki, Y. Matsubara, H. Takada
2017 Workshop on Internet of Things Security and Privacy
page：
57
-
58
2017.11
-
CPSの観点からみた車載組込みシステムの発展と課題
Invited
高田広章
研究 技術 計画（研究・イノベーション学会 学会誌）
Vol.
32
(
3
)
page：
309-315
2017.10
-
Test Program Generator for AUTOSAR OS
Reviewed
K. Shigihara, S. Honda, H. Takada
13th European Dependable Computing Conference
2017.9
-
TINET+TECS: Component-Based TCP/IP Protocol Stack for Embedded Systems
Reviewed
T. Yamamoto, T. Hara, T. Ishikawa, H. Oyama, H. Takada, T. Azumi
14th IEEE Int'l Conference on Embedded Software and Systems
2017.8
-
車載制御システム向けマルチコアプログラミングフレームワーク
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.
25
page：
107-120
2017.1
-
ダイナミックマップ：自動走行／協調運転支援のための情報プラットフォーム
Invited
高田広章, 佐藤健哉
システム/制御/情報
Vol.
60
(
11
)
page：
457–462
2016.11
-
交通マネジメントに向けたダイナミックマップアーキテクチャの研究
Invited
渡辺陽介, 竹内栄二朗, 高田広章, 二宮芳樹
システム/制御/情報
Vol.
60
(
11
)
page：
488–494
2016.11
-
Traffic Management and Automated Driving Utilizing Dynamic Maps
Reviewed
T. Morikawa, H. Takada
3rd Int'l Conference on Universal Village
page：
-
2016.10
-
メモリ保護機能を持つAUTOSAR仕様ベースのリアルタイムOSに対するテスト
Reviewed
鴫原一人, 石川拓也, 本田晋也, 高田広章
情報処理学会論文誌
Vol.
57
(
8
)
page：
1737-1751
2016.8
-
車載機器のセキュリティと安全性
Invited
倉地亮, 松原豊, 高田広章
情報処理 (情報処理学会 学会誌)
Vol.
57
(
7
)
page：
632-637
2016.7
-
Further Analysis on Blocking Time Bounds for Partitioned Fixed Priority Multiprocessor Scheduling
Reviewed
Z. Ma, R. Kurachi, G. Zeng, H. Takada
11th IEEE Int'l Symposium on Industrial Embedded Systems
page：
-
2016.6
-
CAN Disabler: Hardware-based Prevention Method of Unauthorized Transmission in CAN and CAN-FD Networks
Reviewed
R. Kurachi, D. Pyun, S. Honda, H. Takada, H. Ueda, S. Horihata
escar (Embedded Security in Cars Conference) US 2016
page：
-
2016.6
-
Energy-aware Task Migration for Multiprocessor Real-Time Systems
Reviewed
G. Zeng, Y. Matsubara, H. Tomiyama, H. Takada
Future Generation Computer Systems
Vol.
56
(
C
)
page：
220-228
2016.3
-
メッセージ認証を用いたCANの集中監視システム
Reviewed
倉地亮, 松原豊, 高田広章, 上田浩史, 堀端啓史
電子情報通信学会論文誌
Vol.
J99-A
(
2
)
page：
118-130
2016.2
-
コードクローンとの位置関係に基づく欠陥発生傾向の調査
Reviewed
中山直輝, 吉田則裕, 藤原賢二, 飯田元, 高田光隆, 高田広章
情報処理学会論文誌
Vol.
57
(
2
)
page：
681-693
2016.2
-
フォルクスワーゲンの不正ソフトウェアについて
Invited
高田広章
情報処理 (情報処理学会 学会誌)
Vol.
56
(
12
)
page：
1152-1153
2015.12
-
運転支援・自動運転のための高精度デジタルマップ
Invited
渡辺陽介, 高田広章
日本ロボット学会誌
Vol.
33
(
10
)
page：
754-759
2015.12
-
SecGW - Secure Gateway for In-Vehicle Networks
Reviewed
R. Kurachi, H. Takada, T. Mizutani, H. Ueda, S. Horihata
escar (Embedded Security in Cars Conference) Europe 2015
page：
-
2015.11
-
An Integrated Framework for Topology Design of CAN Networks under Real-Time Constraints
Reviewed
R. Kurachi, G. Zeng, Y. Chen, H. Takada
IEEE 82nd Vehicular Technology Conference
page：
-
2015.9
-
System-level Design Method for Control Systems with Hardware-Implemented Interrupt Handler
Reviewed
Y. Ando, S. Honda, H. Takada, M. Edahiro
Vol.
56
(
8
)
page：
-
2015.8
-
EDF-PStream: Earliest Deadline First Scheduling of Preemptable Data Streams - Issues Related to Automotive Applications -
Reviewed
A. Yamaguchi, Y. Nakamoto, K. Sato, Y. Watanabe, H. Takada
21th Int'l Conference on Embedded and Real-Time Computing Systems and Applications
page：
-
2015.8
-
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
-
HAZOP-based Security Analysis for Embedded Systems: Case Study of Open Source Immobilizer Protocol Stack
Reviewed
J. Wei, Y. Matsubara, H. Takada
3rd Int'l Workshop on Systems Safety & Security
page：
-
2015.6
-
車載組込みシステム向けデータストリーム処理のリアルタイムスケジューリング方式
Reviewed
山口晃広, 渡辺陽介, 佐藤健哉, 中本幸一, 高田広章
情報処理学会論文誌 データベース
Vol.
8
(
2
)
page：
1-17
2015.6
-
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
31st IEEE Int'l Conference on Data Engineering (Industrial Paper)
page：
1292-1303
2015.4
-
疎結合ハードウェアRTOS搭載 産業ネットワーク用SoC
Reviewed
丸山修孝, 石川拓也, 本田晋也, 高田広章, 鈴木克信
電子情報通信学会論文誌
Vol.
J98-D
(
4
)
page：
661-673
2015.4
-
Implementation and Evaluation of Local Dynamic Map in Safety Driving Systems
Reviewed
H. Shimada, A. Yamaguchi, H. Takada, K. Sato
Journal of Transportation Technologies
Vol.
5
(
2
)
page：
Article ID 55274
2015.3
-
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 on Mixed Information Technologies
page：
46-51
2015.3
-
Implementation and evaluation of AES/ADPCM on STP and FPGA with High-level Synthesis
Reviewed
Y. Ando, Y. Ishida, S. Honda, H. Takada, M. Edahiro
Workshop on Synthesis and System Integration on Mixed Information Technologies
page：
415-420
2015.3
-
Design Space Exploration of Control System with Hardware-implemented Interrupt Handler
Reviewed
Y. Ando, S. Honda, H. Takada, M. Edahiro
6th Annual Int'l Conference on Information and Communication Technology for Embedded Systems
page：
95-100
2015.3
-
Automatic Synthesis of the Inter-Heterogeneous-Processor Communication Implementation for Programmable System-on-Chip
Reviewed
Y. Ando, Y. Ishida, S. Honda, H. Takada, M. Edahiro
Int'l Conference on VLSI Systems, Architecture, Technology and Applications
page：
84-89
2015.1
-
An Integrated Framework for Energy Optimization of Embedded Real-Time Applications
Reviewed
H. Takase, G. Zeng, L. Gauthier, H. Kawashima, N. Atsumi, T. Tatematsu, Y. Kobayashi, T. Koshiro, T. Ishihara, H. Tomiyama, H. Takada
IEICE Trans. on Fundamentals
Vol.
E97-A
(
12
)
page：
2477-2487
2014.12
-
マルチコアにおけるコア隔離機構Timer ShieldによるLinuxのリアルタイム性向上
Reviewed
山田真大, 小林良岳, 本田晋也, 高田広章
コンピュータソフトウェア (日本ソフトウェア科学会論文誌)
Vol.
31
(
4
)
page：
77-96
2014.11
-
CaCAN - Centralized Authentication System in CAN
Reviewed
R. Kurachi, Y. Matsubara, H. Takada, N. Adachi, Y. Miyashita, S. Horihata
escar (Embedded Security in Cars Conference) Europe 2014
page：
-
2014.11
-
メモリ保護を考慮した組込みシステム向けソフトウェアコンポーネント技術
Reviewed
石川拓也, 安積卓也, 大山博司, 本田晋也, 高田広章
コンピュータソフトウェア (日本ソフトウェア科学会論文誌)
Vol.
31
(
4
)
page：
105-130
2014.11
-
リアルタイム性を考慮した車載システム向けDSMSのクエリ処理効率化
Reviewed
勝沼聡, 本田晋也, 高田広章
日本データベース学会和文論文誌
Vol.
13-J
(
1
)
page：
-
2014.10
-
Real-time-aware Embedded DSMS Applicable to Advanced Driver Assistance Systems
Invited
Reviewed
S. Katsunuma, S. Honda, K. Sato, Y. Watanabe, Y. Nakamoto, H. Takada
1st Int'l Workshop on Future Technologies for Smart Information Systems
page：
106-111
2014.10
-
A Simulation Environment and Preliminary Evaluation for Automotive CAN-Ethernet AVB Networks
Invited
Reviewed
K. Kawahara, Y. Matsubara, H. Takada
1st OMNeT++ Community Summit
page：
-
2014.9
-
Task Migration for Energy Saving in Real-Time Multiprocessor Systems
Invited
Reviewed
G. Zeng, Y. Matsubara, H. Tomiyama, H. Takada
11th IEEE Int'l Conference on Embedded Software and Systems
page：
693-700
2014.8
-
ARM-based SoC with Loosely Coupled Type Hardware RTOS for Industrial Network Systems
Invited
Reviewed
N. Maruyama, T. Ishikawa, S. Honda, H. Takada, K. Suzuki
10th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
page：
9-16
2014.7
-
A Platform for LEGO Mindstorms EV3 Based on an RTOS with MMU Support
Invited
Reviewed
Y. Li, T. Ishikawa, Y. Matsubara, H. Takada
10th Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications
page：
51-59
2014.7
-
Fast Design-Space Exploration Method for SW/HW Codesign on FPGAs
Invited
Reviewed
Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada
IEEE Symposium on Field-Programmable Custom Computing Machines 2014
page：
235
2014.5
-
Impact of Resource Sharing and Register Retiming on Area and Performance of FPGA-based Designs
Reviewed
Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
7
page：
37-45
2014.2
-
車載通信プロトコルの標準化動向
Invited
高田広章, 佐藤健哉, 飯山真一, 後藤英樹
自動車技術 (自動車技術会 学会誌)
Vol.
68
(
2
)
page：
17-22
2014.2
-
Schedulability Comparisons between Priority Queue and FIFO Queue for CAN Messages with Offsets
Reviewed
Y. Chen, R. Kurachi, G. Zeng, H. Takada
Int'l Journal of Automotive Engineering
Vol.
4
(
4
)
page：
75-82
2013.12
-
Android Platform based on Vehicle Embedded Stream Processing
Invited
Reviewed
Y. Nakamoto, M.Okamoto, M. Bhuiya, A. Yamaguchi, K. Sato, S. Honda, H. Takada
10th Int'l Conference on Ubiquitous Intelligence and Computing
page：
48-55
2013.12
-
SafeG-MP: マルチコア対応の組込みシステム向け仮想化環境
Reviewed
太田貴也, 大橋孝輔, D. Sangorrin, 本田晋也, 高田広章, 堀田孝一, 大山田光夫
電子情報通信学会論文誌
Vol.
J96-D
(
10
)
page：
2163-2181
2013.10
-
マルチコア対応RTOSのハードウェア化による性能向上
Reviewed
丸山修孝, 一場利幸, 本田晋也, 高田広章
電子情報通信学会論文誌
Vol.
J96-D
(
10
)
page：
2150-2162
2013.10
-
A Proposal of Network Architecture for Narrowband V2X Communication
Invited
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
Invited
Reviewed
A. Yamaguchi, K. Sato, N. Shiba, S. Honda, H. Takada
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. on System LSI Design Methodology
Vol.
6
page：
122-126
2013.8
-
A Simulation Environment based on OMNeT++ for Automotive CAN-Ethernet Networks
Invited
Reviewed
J. Matsumura, Y. Matsubara, H. Takada, M. Oi, M. Toyoshima, A. Iwai
4th Int'l Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems
page：
-
2013.7
-
Investigation and Improvement on the Impact of TLB misses in Real-Time Systems
Invited
Reviewed
T. Ishikawa, M. Kato, S. Honda, H. Takada
9th Int'l Workshop on Operating Systems Platforms for Embedded Real-Time Applications
page：
6-10
2013.7
-
Naxim: A Fast and Retargetable Network-on-Chip Simulator with QEMU and SystemC
Reviewed
K. Nakajima, S. Kurebayashi, Y. Fukutsuka, T. Hieda, I. Taniguchi, H. Tomiyama, H. Takada
Int'l Journal of Networking and Computing
Vol.
3
(
2
)
page：
217–227
2013.7
-
Worst Case Response Time Analysis for Messages in Controller Area Network with Gateway
Reviewed
Y. Xie, G. Zeng, Y. Chen, R. Kurachi, H. Takada, R. Li
IEICE Trans. on Information and Systems
Vol.
E96-D
(
7
)
page：
1467-1477
2013.7
-
A Scheduling Method of RMAP Packets for SpaceWire-D
Invited
Reviewed
Y. Chen, M. Takada, R. Kurachi, H. Takada
Int'l SpaceWire Conference 2013
page：
205-208
2013.6
-
Development of Software Platform Supporting a Protocol for Guaranteeing the Real-Time Property of SpaceWire
Invited
Reviewed
M. Takada, H. Takada, Y. Chen, T. Yuasa, T. Takahashi, M. Nomachi
Int'l SpaceWire Conference 2013
page：
80-87
2013.6
-
HR-TECS: Component Technology for Embedded Systems with Memory Protection
Invited
Reviewed
T. Ishikawa, T. Azumi, H. Oyama, H. Takada
16th IEEE Computer Society Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
page：
-
2013.6
-
Performance Evaluation of the Scalable-CAN Integrated In-Vehicle Network
Invited
Reviewed
R. Kurachi, Y. Chen, H. Takada, M. Nishimura, S. Horihata, T. Nakajima
SAE 2013 World Congress & Exhibition
page：
SAE Technical Paper 2013-01-1182
2013.4
-
組込みシステムにおけるソフトウェア障害の安全対策
Reviewed
松原豊, 高田広章
コンピュータソフトウェア
Vol.
30
(
1
)
page：
119-129
2013.2
-
組込みシステムにおける階層型状態遷移図に基づく安全分析手法
Reviewed
金周慧，松原豊，高田広章
電子情報通信学会論文誌
Vol.
J96-A
(
1
)
page：
34-48
2013.1
-
マルチストリーミング処理のためのマルチプロセッサ向けロードバランス機構
Reviewed
石田利永子, 本田晋也, 高田広章, 福井昭也, 小川敏行, 田原康宏
電子情報通信学会論文誌
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
Int'l Journal of Reconfigurable Computing
Vol.
2013
2013
-
schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ
Reviewed
佐野泰正, 松原豊, 本田晋也, 高田広章
電子情報通信学会論文誌
Vol.
J95-D
(
12
)
page：
2008-2020
2012.12
-
車載組込みシステム向けデータストリーム管理システムの開発
Reviewed
勝沼聡, 山口晃広, 熊谷康太, 本田晋也, 佐藤健哉, 高田広章
電子情報通信学会論文誌
Vol.
J95-D
(
12
)
page：
2031-2047
2012.12
-
μITRONベースのマルチプロセッサ向けRTOSのテスト
Reviewed
鴫原一人, 一場利幸, 本田晋也, 高田広章
情報処理学会論文誌
Vol.
53
(
12
)
page：
2682–2701
2012.12
-
A Fast Network-on-Chip Simulator with QEMU and SystemC
Invited
Reviewed
K. Nakajima, T. Hieda, I. Taniguchi, H. Tomiyama, H. Takada
3rd Int'l Workshop on Advances in Networking and Computing
page：
298-301
2012.12
-
Schedulability Analysis for Messages in Gateway-Interconnected Controller Area Network
Invited
Reviewed
Y. Xie, G. Zeng, Y. Chen, R. Kurachi, H. Takada, R. Li
Int'l Conference on Connected Vehicles and Expo
page：
-
2012.12
-
Extensibility-Aware Message Scheduling Algorithm for the Static Segment of FlexRay
Invited
Reviewed
Y. Xie, G. Zeng, H. Takada, R. Li
10th IEEE/IFIP Int'l Conference on Embedded and Ubiquitous Computing
page：
-
2012.12
-
静的なメモリ配置を行うメモリ保護機能を持ったリアルタイムOS
Reviewed
石川拓也, 本田晋也, 高田広章
コンピュータソフトウェア
Vol.
29
(
4
)
page：
161-181
2012.11
-
Comparison of Multicore Communication Stack for Automotive System
Invited
Reviewed
T. Ichiba, D. Sangorrin, S. Honda, H. Takada
16th IASTED Int'l Conference on Software Engineering and Applications
page：
237-246
2012.11
-
Safety Analysis Method Based on Parallel State Transition Diagram for Embedded Systems
Invited
Reviewed
Z. Kim, Y. Matsubara, H. Takada
16th IASTED Int'l Conference on Software Engineering and Applications
page：
417-425
2012.11
-
TOPPERS/FMPカーネル: リアルタイム性と高スループットを実現可能な組込みシステム向けマルチプロセッサ用RTOS
Reviewed
石田利永子, 本田晋也, 高田広章, 福井昭也, 小川敏行, 田原康宏
コンピュータソフトウェア
Vol.
29
(
4
)
page：
219-243
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
-
車載組込みシステム向けデータストリーム管理の静的スケジューリング方式
Reviewed
勝沼聡, 本田晋也, 佐藤健哉, 高田広章
情報処理学会論文誌 データベース
Vol.
5
(
3
)
page：
36-50
2012.9
-
Efficient Algorithms for Extracting Pareto-optimal Hardware Configurations in DEPS Framework
Reviewed
H. Kawashima, G. Zeng, H. Takase, M. Edahiro, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
5
page：
133-142
2012.8
-
最大遅れ時間解析によるスケーラブルCANプロトコルの性能評価
Reviewed
倉地亮, 高田広章, 西村政信, 堀端啓史
情報処理学会論文誌
Vol.
53
(
8
)
page：
1962-1975
2012.8
-
車載制御ネットワーク技術とその発展性
Invited
高田広章, 倉地亮, 西村政信
電子情報通信学会誌
Vol.
95
(
8
)
page：
724-729
2012.8
-
Selective Resource Sharing with RT-Level Retiming for Clock
Invited
Reviewed
Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada
9th IEEE Int'l Conference on Embedded Software and Systems
page：
1534-1540
2012.6
-
共同研究と公開講座による組込みソフトウェア技術者育成の取り組み
Reviewed
石田利永子, 山本雅基, 海上智昭, 森孝夫, 本田晋也, 一場利幸, 高瀬英希, 高田広章
工学教育
Vol.
60
(
3
)
page：
75-81
2012.6
-
組込みソフトウェア開発管理者の育成スキルを高める教育の取り組み
Reviewed
山本雅基, 海上智昭, 塩谷敦子, 森孝夫, 高田広章
工学教育
Vol.
60
(
3
)
page：
82-85
2012.6
-
Comparison of Preemption Schemes for Partially Reconfigurable FPGAs
Reviewed
K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada
IEEE Embedded Systems Letters
Vol.
4
(
2
)
page：
45-48
2012.6
-
Reliable Device Sharing Mechanisms for Dual-OS Embedded Trusted Computing
Invited
Reviewed
D. Sangorrin, S. Honda, H. Takada
5th Int'l Conference on Trust and Trustworthy Computing
page：
74-91
2012.6
-
An Open-Source Flexible Scheduling Simulator for Real-time Applications
Invited
Reviewed
Y. Matsubara, Y. Sano, S. Honda, H. Takada
15th IEEE Int'l Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
page：
16-22
2012.4
-
μITRONベースのRTOS向けテストプログラム生成ツール
Reviewed
鴫原一人, 眞弓友宏, 森孝夫, 本田晋也, 高田広章
電子情報通信学会論文誌
Vol.
J95-D
(
4
)
page：
870-884
2012.4
-
命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOSのテスト効率化手法
Reviewed
一場利幸, 森孝夫, 高瀬英希, 鴫原一人, 本田晋也, 高田広章
電子情報通信学会論文誌
Vol.
J95-D
(
3
)
page：
387-399
2012.3
-
The Worst-Case Response Time Analysis for FIFO-based Offset Assigned CAN Messages
Reviewed
Y. Chen, R. Kurachi, G. Zeng, H. Takada
Vol.
53
(
3
)
page：
-
2012.3
-
Checkpoint Selection for DEPS Framework Based on Quantitative Evaluation of DEPS Profile
Invited
Reviewed
H. Kawashima, G. Zeng, H. Takase, M. Edahiro, H. Takada
17th Workshop on Synthesis and System Integration of Mixed Information Technologies
page：
174-179
2012.3
-
Integrated Scheduling for a Reliable Dual-OS Monitor
Reviewed
D. Sangorrin, S. Honda, H.Takada
IPSJ Trans. on Advanced Computing System
Vol.
5
(
2
)
page：
99-110
2012.3
-
スケーラブルCAN プロトコルの設計と評価
Reviewed
倉地亮, 高田広章, 西村政信, 堀端啓史
自動車技術会論文集
Vol.
43
(
2
)
page：
509-514
2012.3
-
A Novel Framework for Effective Preemptive Hardware Multitasking on FPGAs
Reviewed
K. Jozwik, H. Tomiyama, S. Honda, H.Takada
IEICE Trans. on Information and 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 Trans. on System LSI Design Methodology
Vol.
5
page：
44-54
2012.2
-
状態遷移図に着目した安全分析手法
Reviewed
金周慧，松原豊，高田広章
電子情報通信学会論文誌
Vol.
J95-A
(
2
)
page：
198-209
2012.2
-
実行トレースを用いた組込みシステムにおけるタスク内DVFSのためのチェックポイント抽出
Reviewed
立松知紘, 高瀬英希, 曾剛, 川島裕崇, 冨山宏之, 高田広章
情報処理学会論文誌
Vol.
52
(
12
)
page：
3729-3744
2011.12
-
周期タスクの初期位相分布を考慮した応答時間の確率的解析
Reviewed
石川拓也, 松原豊，高田広章
情報処理学会論文誌
Vol.
52
(
12
)
page：
3192–3204
2011.12
-
TECS仕様に基づいたNXT用ソフトウェアプラットフォームの開発
Reviewed
石川拓也, 安積卓也, 一場利幸, 柴田誠也, 本田晋也, 高田広章
コンピュータソフトウェア
Vol.
28
(
4
)
page：
158-174
2011.11
-
Hardware Multitasking in Dynamically Partially Reconfigurable FPGA-based Embedded Systems
Invited
Reviewed
K. Jozwik, H. Tomiyama, M. Edahiro, S. Honda, H. Takada
Int'l SoC Design Conference
page：
183-186
2011.11
-
Fast Design Space Exploration for Mixed Hardware-Software Embedded Systems
Reviewed
Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada
Int'l SoC Design Conference
page：
92-95
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
2011 Int'l Conference on ReConFigurable Computing and FPGAs
page：
416-421
2011.11
-
Partitioning and Allocation of Scratch-Pad Memory for Energy Minimization of Priority-Based Preemptive Multi-Task Systems
Reviewed
H. Takase, H. Tomiyama, H. Takada
IEICE Trans. on Fundamentals
Vol.
E94-A
(
10
)
page：
1954-1964
2011.10
-
Implementation and Evaluation of Data Management Methods for Vehicle Control Systems
Reviewed
M. Yamada, K. Sato, H. Takada
2011 IEEE 74th Vehicular Technology Conference
page：
1-5
2011.9
-
Schedulability Comparison for CAN Message with Offset: Priority Queue Versus FIFO Queue
Reviewed
Y. Chen, R. Kurachi, H. Takada, G. Zeng
19th Int'l Conference on Real-Time and Network Systems
page：
179-188
2011.9
-
An Integrated Optimization Framework for Reducing the Energy Consumption of Embedded Real-Time Applications
Reviewed
H. Takase, G. Zeng, L. Gauthier, H. Kawashima, N. Atsumi, T. Tatematsu, Y. Kobayashi, S. Kohara, T. Koshiro, T. Ishihara, H. Tomiyama, H. Takada
Int'l Symposium on Low Power Electronics and Design
page：
271-276
2011.8
-
オフセット付きCANメッセージの正確な最大遅れ時間解析
Reviewed
倉地亮, 陳暘, 高田広章
情報処理学会論文誌
Vol.
52
(
8
)
page：
2431-2440
2011.8
-
時間保護のためのタスク起動遅延付き階層型スケジューリングアルゴリズム
Reviewed
松原豊, 本田晋也, 高田広章
情報処理学会論文誌
Vol.
52
(
8
)
page：
2387-2401
2011.8
-
CANメッセージのオフセット決定手法
Reviewed
陳暘, 倉地亮, 曾剛, 高田広章
情報処理学会論文誌
Vol.
52
(
7
)
page：
2245-2255
2011.7
-
中断可能な優先度継承キューイングスピンロックとそのハードウェア実装
Reviewed
一場利幸, 本田晋也, 松原豊, 高田広章
情報処理学会論文誌 コンピューティングシステム
Vol.
4
(
3
)
page：
133-146
2011.5
-
マルチプロセッサ対応システムレベル設計環境SystemBuilder-MP
Reviewed
柴田誠也, 本田晋也, 冨山宏之, 高田広章
電子情報通信学会論文誌
Vol.
J94-D
(
4
)
page：
657-670
2011.4
-
A New High-Speed Bus Topology LAN Protocol Compatible with CAN
Reviewed
R. Kurachi, H. Takada, M. Nishimura, S. Horihata
SAE 2011 World Congress
page：
-
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 Session of 17th IEEE Real-Time and Embedded Technology and Applications Symposium
page：
-
2011.4
-
コンソーシアム型共同研究を通じたソフトウェアテスト技術者の教育
Reviewed
森孝夫，本田晋也，石田利永子, 山本雅基，高田広章
工学教育
Vol.
58
(
2
)
page：
85-90
2011.3
-
Checkpoints Extraction Using Execution Traces for Intra-Task DVFS in Embedded Systems
Reviewed
T. Tatematsu, H. Takase, G. Zeng, H, Tomiyama, H. Takada
IEEE 6th Int'l Symposium on Electronic Design, Test and Applications
page：
19-24
2011.1
-
Automatic Communication Synthesis with Hardware Sharing for Multi-Processor SoC Design
Reviewed
Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada
IEICE Trans. on Fundamentals
Vol.
E93-A
(
12
)
page：
2509-2516
2010.12
-
対称型マルチコアシステムのエンジン制御ソフトウェアへの適用
Reviewed
相庭裕史, 本田晋也, 高田広章
情報処理学会論文誌
Vol.
51
(
12
)
page：
2238-2249
2010.12
-
トレースログ可視化ツール TraceLogVisualizer (TLV)
Reviewed
後藤隼弐, 本田晋也, 長尾卓哉, 高田広章
コンピュータソフトウェア (日本ソフトウェア科学会論文誌)
Vol.
27
(
4
)
page：
8-23
2010.11
-
オープンソース組込みシステム向けシミュレータのマルチプロセッサ拡張
Reviewed
安積卓也, 古川貴士, 相庭裕史, 柴田誠也, 本田晋也, 冨山宏之, 高田広章
コンピュータソフトウェア (日本ソフトウェア科学会論文誌)
Vol.
27
(
4
)
page：
24-42
2010.11
-
Towards Practical High-Level Synthesis From Large Behavioral Descriptions
Reviewed
Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada, N. Dutt
Int'l SoC Design Conference
page：
71-74
2010.11
-
Advanced SystemBuilder: A Tool Set for Multiprocessor Design Space Exploration
Reviewed
S. Shibata, S. Honda, H. Tomiyama, H. Takada
Int'l SoC Design Conference
page：
79-82
2010.11
-
Static Task Scheduling Algorithms Based on Greedy Heuristics for Battery-Powered DVS Systems
Reviewed
T. Yokoyama, G. Zeng, H. Tomiyama, H. Takada
IEICE Trans. on Information and Systems
Vol.
E93-D
(
10
)
page：
2737-2746
2010.10
-
Minimizing Inter-Task Interferences in Scratch-Pad Memory Usage for Reducing the Energy Consumption of Multi-Task Systems
Reviewed
L. Gauthier, T. Ishihara, H. Takase, H. Tomiyama, H. Takada
Int'l Conference on Compilers, Architectures and Synthesis for Embedded Systems
page：
157-166
2010.10
-
Aggressive Register Unsharing with Selective FU Sharing in High-Level Synthesis
Reviewed
Y. Hara-Azumi, T. Matsuba, H. Tomiyama, S. Honda, H. Takada
Workshop on Synthesis and System Integration of Mixed Information Technologies
page：
13-18
2010.10
-
Placing Static and Stack Data into a Scratch-Pad Memory for Reducing the Energy Consumption of Multi-task Applications
Reviewed
L. Gauthier, T. Ishihara, H. Takase, H. Tomiyama, H. Takada
Workshop on Synthesis and System Integration on Mixed Information Technologies
page：
7-12
2010.10
-
コンポーネントシステムを用いた組込みシステム向けアクセス制御機構
Reviewed
安積卓也, 山田晋平, 大山博司, 中本幸一, 高田広章
電子情報通信学会論文誌
Vol.
J93-D
(
10
)
page：
2021-2031
2010.10
-
アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析
Reviewed
吉村悠, 日高隆博, 中條直也, 高田広章, 高浜盛雄
電子情報通信学会論文誌
Vol.
J93-D
(
10
)
page：
1866-1875
2010.10
-
Efficient Design Space Exploration at System Level with Automatic Profiler Instrumentation
Reviewed
S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
3
page：
179-193
2010.8
-
A Novel Mechanism for Effective Hardware Task Preemption in Dynamically Reconfigurable Systems
Reviewed
K. Jozwik, S. Honda, H. Tomiyama, H.Takada
20th Int'l Conference on Field Programmable Logic and Applications
page：
352-355
2010.8
-
車両制御システムのためのセンサデータ統合管理手法の検討
Reviewed
山田真大, 鎌田浩典, 佐藤健哉, 手嶋茂晴, 高田広章
電子情報通信学会論文誌
Vol.
J93-D
(
7
)
page：
1189-1201
2010.7
-
ソフトウェアとハードウェアの協調による組込みシステムの消費エネルギー最適化
Invited
高田広章
情報処理 (情報処理学会 学会誌)
Vol.
51
(
7
)
page：
846-854
2010.7
-
Dual Operating System Architecture for Real-Time Embedded Systems
Reviewed
D. S. Lopez, S. Honda, H. Takada
6th Int'l Workshop on Operating Systems Platforms for Embedded Real-Time Applications
page：
6-15
2010.7
-
Automatic Communication Synthesis with Hardware Sharing for Design Space Exploration
Reviewed
Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada
2010 IEEE Int'l Symposium on Circuits and Systems
page：
1863-1866
2010.5
-
Wheeled Inverted Pendulum with Embedded Component System: a Case Study
Reviewed
T. Azumi, H. Takada, T. Ukai, H. Oyama
13th IEEE Int'l Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing
page：
151-155
2010.5
-
データストリーム管理機構を利用した車載データ統合モデルの提案と評価
山田真大, 鎌田浩典, 佐藤健哉, 手嶋茂晴, 高田広章
自動車技術会論文集
Vol.
41
(
2
)
page：
419-424
2010.3
-
H. Takase, H. Tomiyama, H. Takada
Reviewed
Partitioning and Allocation of Scratch-Pad Memory for Priority-Based Preemptive Multi-Task Systems
Design, Automation and Test in Europe
page：
1124-1129
2010.3
-
セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化
Reviewed
中嶋健一郎, 本田晋也, 手嶋茂晴, 高田広章
電子情報通信学会論文誌
Vol.
J93-D
(
2
)
page：
75-85
2010.2
-
Partitioning of Behavioral Descriptions Exploiting Function-Level Parallelism
Reviewed
Y. Hara, H. Tomiyama, S. Honda, H. Takada
Vol.
E93-A
(
2
)
page：
488-499
2010.2
-
T. Matsuba, Y. Hara, H. Tomiyama, S. Honda, H. Takada
Reviewed
Aggressive Register Unsharing Based on SSA Transformation for Clock Enhancement in High-Level Synthesis
5th IEEE Int'l Symposium on Electronic Design, Test and Applications
page：
87-92
2010.1
-
Automatic Instrumentation of Profilers for FPGA-based Design Space Exploration
Reviewed
S. Shibata, Y. Ando, S. Honda, H. Tomiyama, H. Takada
2009 Int'l Conference on Field-Programmable Technology
page：
292-295
2009.12
-
組込みシステムに適したコンポーネントシステムの実現と評価
Reviewed
安積卓也, 山本将也, 小南靖雄, 高木信尚, 鵜飼敬幸, 大山博司, 高田広章
コンピュータソフトウェア (日本ソフトウェア科学会論文誌)
Vol.
26
(
4
)
page：
39-55
2009.11
-
10MbpsCANプロトコルの設計と評価
Reviewed
倉地亮, 高田広章, 手嶋茂晴, 宮下之宏
情報処理学会論文誌
Vol.
50
(
11
)
page：
2643-2653
2009.11
-
Hierarchical Scheduling for Integrating Real-time Applications with Interrupt Routines
Y. Matsubara, S. Honda, H. Takada
Int'l SoC Design Conference
page：
384-387
2009.11
-
Modeling Power Consumption of Applications in Wireless Communication Devices Using OS Level Profiles
T. Majima, T. Yokoyama, G. Zeng, T. Kamiyama, H. Tomiyama, H. Takada
Int'l SoC Design Conference
page：
253-256
2009.11
-
Integrated Software Platform for Automotive Systems
C. Takei, H. Takada, M. Yamamoto, S. Honda
Int'l SoC Design Conference
page：
377-379
2009.11
-
Proposal and Quantitative Analysis of the CHStone Benchmark Program Suite for Practical C-Based High-Level Synthesis
Reviewed
Vol.
7
page：
242-254
2009.10
-
Design and Performance Analysis of 10 Mbit/s CAN
Reviewed
R. Kurachi, H. Takada, S. Teshima, Y. Miyashita
SAE Int'l Journal of Passenger Cars - Electronic and Electrical Systems
Vol.
2
(
1
)
page：
18-26
2009.10
-
*A Generalized Framework for Energy Savings in Hard Real-Time Embedded Systems
Reviewed
G. Zeng, H. Tomiyama, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
2
page：
167-179
2009.8
-
Partitioning and Allocation of Scratch-Pad Memory in Priority-Based Multi-Task Systems
Reviewed
H. Takase, H. Tomiyama, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
2
page：
180-188
2009.8
-
Practical Energy-Aware Scheduling for Real-Time Multiprocessor Systems
Reviewed
G. Zeng, T. Yokoyama, H. Tomiyama, H. Takada
15th Int'l Conference on Embedded and Real-Time Computing Systems and Applications
page：
383-392
2009.8
-
Optimization of Component Connection for an Embedded Component System
Reviewed
T. Azumi, H. Takada, H. Oyama
7th IEEE/IFIP Int'l Conference on Embedded and Ubiquitous Computing
page：
182-188
2009.8
-
Effective Scheduling Algorithms for I/O Blocking with a Multi-Frame Task Model
Reviewed
S. Ding, H. Tomiyama, H. Takada
IEICE Transactions on Information and Systems
Vol.
E-92-D
(
7
)
page：
1412-1420
2009.7
-
Heuristics for Static Voltage Scheduling Algorithms on Battery-Powered DVS Systems
Reviewed
T. Yokoyama, G. Zeng, H. Tomiyama, H. Takada
6th Intl. Conference on Embedded Systems and Software
page：
265-272
2009.5
-
Allocation of Scratch-Pad Memory in Priority-Based Multi-Task Systems
Reviewed
H. Takase, H. Tomiyama, H. Takada
2009 Int'l Symposium on VLSI Design, Automation and Test
page：
68-71
2009.4
-
R. Kurachi, H. Takada, S. Teshima, Y. Miyashita
Reviewed
Design and Performance Analysis of 10 Mbit/s CAN
SAE World Congress 2009
page：
-
2009.4
-
A Case Study on MPEG4 Decoder Design with SystemBuilder
Reviewed
S. Shibata, S. Honda, H. Tomiyama, H. Takada
2009 Int'l Symposium on VLSI Design, Automation and Test
page：
355-358
2009.4
-
メモリ共有を考慮したRPCシステム
Reviewed
安積卓也, 大山博司, 高田広章
情報処理学会論文誌 プログラミング
Vol.
2
(
2
)
page：
37-53
2009.3
-
動的電圧制御システムにおける評価戦略選択に基づく高効率消費エネルギー関数型プログラミング
Reviewed
横山哲郎, 今井敬吾, 曾剛, 冨山宏之, 高田広章, 結縁祥治
情報処理学会論文誌 プログラミング
Vol.
2
(
2
)
page：
54-69
2009.3
-
A Case Study on AES Encryption System Design with SystemBuilder
Reviewed
Y. Ando, S. Shibata, S. Honda, H. Tomiyama, H. Takada
Workshop on Synthesis and System Integration on Mixed Information Technologies
page：
283-288
2009.3
-
組込みシステム概要
Invited
高田広章
映像情報メディア学会誌
Vol.
63
(
1
)
page：
49-51
2009.1
-
Analyzing and Optimizing Energy Efficiency of Algorithms on DVS Systems: A First Step towards Algorithmic Energy Minimization
Reviewed
T. Yokoyama, G. Zeng, H. Tomiyama, H. Takada
Asia and South Pacific Design Automation Conference
page：
727-732
2009.1
-
Energy Efficiency of Scratch-pad Memory in Deep Submicron Domains: an Empirical Study
Reviewed
H. Takase, H. Tomiyama, G. Zeng, H. Takada
IEICE Electronics Express
Vol.
5
(
23
)
page：
1010-1016
2008.12
-
A Generalized Framework for System-Wide Energy Saving in Hard Real-Time Embedded System
Reviewed
G. Zeng, H. Tomiyama, H. Takada, T. Ishihara
6th IEEE/IFIP Int'l Conference on Embedded and Ubiquitous Computing
page：
206-213
2008.12
-
A Generalized Framework for Energy Saveing in Real-Time Multiprocessor Systems
G. Zeng, T. Yokoyama, H. Tomiyama, H. Takada, T. Ishihara
Int'l SoC Design Conference 2008
page：
44-49
2008.11
-
A Memory Allocator for Efficient Task Communications by Using RPC Channels in an Embedded Component System
Reviewed
T. Azumi, H. Oyama, H. Takada
12th IASTED Int'l Conference on Software Engineering and Applications
page：
204-209
2008.11
-
Behavioral Partitioning with Exploiting Function-Level Parallelism
Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii
Int'l SoC Design Conference 2008
page：
121-124
2008.11
-
Real-Time Operating Systems for Multicore Embedded Systems
H. Tomiyama, S. Honda, H. Takada
Int'l SoC Design Conference 2008
page：
62-67
2008.11
-
リアルタイムアプリケーション統合のための柔軟なスケジューリングフレームワーク
Reviewed
松原豊, 本田晋也, 冨山宏之，高田広章
情報処理学会 論文誌
Vol.
49
(
10
)
page：
3508-3519
2008.10
-
Dynamic Power Management for Embedded System Idle State in Presence of Periodic Interrupt Services
Reviewed
G. Zeng, H. Tomiyama, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
1
page：
48-57
2008.8
-
A Realization of RPC in Embedded Component Systems
T. Azumi, H. Oyama, H. Takada
Work-in-Progress Session of 14th IEEE Int'l Conference on Embedded and Real-Time Computing Systems and Applications
page：
8-11
2008.8
-
An Effective GA-Based Scheduling Algorithm for FlexRay Systems
Reviewed
S. Ding, H. Tomiyama, H. Takada
IEICE Transactions on Information and Systems
Vol.
E-91-D
(
8
)
page：
2115-2123
2008.8
-
Embedded System Covalidation with RTOS Model and FPGA
Reviewed
S. Shibata, S. Honda, Y. Hara, H. Tomiyama, H. Takada
IPSJ Trans. on System LSI Design Methodology
Vol.
1
page：
126-130
2008.8
-
Energy Efficiency of Scratch-Pad Memory at 65 nm and Below: An Empirical Study
Reviewed
H. Takase, H. Tomiyama, G. Zeng, H. Takada
2008 Int'l Conference on Embedded Software and Systems
page：
93-97
2008.7
-
A Generic Memory Protection Mechanism for an Embedded System and its Application to Embedded Component System
Reviewed
S. Yamada, Y. Nakamoto, T. Azumi, H. Oyama, H. Takada
IEEE 8th Int'l Conference on Computer and Information Technology
page：
-
2008.7
-
CHStone: A Benchmark Program Suite for Practical C-Based Hardware Synthesis
Reviewed
Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii
IEEE Int'l Symposium on Circuits and Systems
page：
1192-1195
2008.5
-
*ITRON仕様OSの機能分散マルチプロセッサ拡張
Reviewed
本田晋也, 高田広章
電子情報通信学会 論文誌
Vol.
J91-D
(
4
)
page：
934-944
2008.4
-
手嶋茂晴, 高田広章
Invited
組込みシステムが拓く未来の産業
宙舞 (自動車技術会 中部支部報)
(
62
)
page：
2-6
2008.2
-
Improved Policies for Drowsy Caches in Embedded Processors
Reviewed
J. Zushi, G. Zeng, H. Tomiyama, H. Takada, K. Inoue
4th IEEE Int'l Symposium on Electronic Design, Test and Applications
page：
362-367
2008.1
-
Function-level Partitioning of Sequential Programs for Efficient Behavioral Synthesis
Reviewed
Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii
IEICE Transactions on Fundamentals
Vol.
E-90-A
(
12
)
page：
2853-2862
2007.12
-
SSEST: Summer School on Embedded System Technologies
Reviewed
Y. Matsubara, M. Sugaya, I. Taniguchi, Y. Murakami, H. Kanai, H. Takada
1st Asia-Pacific Workshop on Embedded System Education and Research
page：
-
2007.12
-
A Software Framework for Energy and Performance Tradeoff in Fixed-Priority Hard Real-Time Embedded Systems
Reviewed
G. Zeng, H. Tomiyama, H. Takada
Int'l Conference on Embedded and Ubiquitous Computing
page：
13-24
2007.12
-
A New Security Framework for Embedded Component Systems
Reviewed
T. Azumi, S. Yamada, H. Oyama, Y. Nakamoto, H. Takada
11th IASTED Int'l Conference on Software Engineering and Applications
page：
584-589
2007.11
-
Hardware/Software Covalidation with FPGA and RTOS Model
Reviewed
S. Shibata, S. Honda, Y. Hara, H. Tomiyama, H. Takada
Workshop on Synthesis and System Integration on Mixed Information Technologies
page：
488-494
2007.10
-
A Visual Modeling Environment for Embedded Component Systems
Reviewed
T. Azumi, S. Yamada, H. Oyama, Y. Nakamoto, H. Takada
IEEE 7th Int'l Conference on Computer and Information Technology
page：
805-810
2007.10
-
FlexRayのダイナミックセグメントにおけるメッセージの最大遅れ時間解析
Reviewed
村上靖明, 村上尚彦, 高田広章
情報処理学会 論文誌
Vol.
48
(
9
)
page：
2925-2935
2007.9
-
Function Call Optimization for Efficient Behavioral Synthesis
Reviewed
Y. Hara, H. Tomiyama, S. Honda, H. Takada
IEICE Transactions on Fundamentals
Vol.
E-90-A
(
9
)
page：
2032-2036
2007.9
-
Scheduling Algorithms for I/O Blockings with a Multi-frame Task Model
Reviewed
S. Deng, H. Tomiyama, H. Takada
Proc. of 13th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
page：
386-393
2007.8
-
Power Optimization for Embedded System Idle Time in Presence of Periodic Interrupt Services
Reviewed
G. Zeng, H. Tomiyama, H. Takada
Proc. of International Embedded System Symposium 2007
2007.6
-
時間保護のためのリアルタイムスケジューリングアルゴリズム
Reviewed
松原豊, 本田晋也, 冨山宏之，高田広章
情報処理学会論文誌 コンピューティングシステム
Vol.
48
(
SIG8 (ACS18)
)
page：
192-202
2007.5
-
A New Specification of Software Components for Embedded Systems
Reviewed
T. Azumi, M. Yamamoto, Y. Kominami, N. Takagi, H. Oyama, H. Takada
Proc. of 10th IEEE International Symposium in Object/Component/Service-Oriented Real-Time Distributed Computing
2007.5
-
A Hardware/Software Cosimulator with RTOS Support for Multiprocessor Embedded Systems
Reviewed
T. Furukawa, S. Honda, H. Tomiyama, H. Takada
Proc. of International Conference on Embedded Systems and Software
2007.5
-
Bahavioral Systhesis of Double-Precision Floating-Point Adders with Function-Level Transformation: A Case Study
Reviewed
Y. Hara, H. Tomiyama, S. Honda, H. Takada, K. Ishii
Proc. of International Conference on Embedded Systems and Software
2007.5
-
An Efficient Analysis of Worst Case Flush Timings for Branch Predictors
Reviewed
M. Konishi, T. Nakada, T. Tsumura, H. Nakashima, H. Takada
Vol.
48
(
SIG8 (ACS18)
)
page：
127-140
2007.5
-
自動車制御分散システムの静的スケジューリング手法
Reviewed
村上尚彦, 冨山宏之，高田広章
情報処理学会論文誌 コンピューティングシステム
Vol.
48
(
SIG8 (ACS18)
)
page：
203-215
2007.5
-
Practice and Analysis of Extension Course for Training Trainers of Embedded Software
Reviewed
M. Yamamoto, S. Honda, H. Takada, K. Agusa, H. Tomiyama, K. Mase, N. Kawaguchi, N. Kaneko
ACM SIGBED Review
Vol.
4
(
1
)
page：
73-81
2007.1
-
RTOS and Codesign Toolkit for Multiprocessor Systems-on-Chip
Invited
Reviewed
S. Honda, H. Tomiyama, H. Takada
Proc. of 12th Asia and South Pacific Design Automation Conference
2007.1
-
Open Source FlexRay Communication: Time Triggered OS and FlexRay Communication Middlware
Invited
H. Hattori, S. Ohnisi, A. Morikawa, A. Kataoka, K. Nakamura, T. Nakamura, H. Takada
Proc. of IP Based SoC Design Conference & Exhibition
page：
227-233
2006.12
-
An Extension Course for Training Trainers of Embedded Software
Reviewed
M. Yamamoto, S. Honda, H. Takada, K. Agusa, H. Tomiyama, K. Mase, N. Kawaguchi, N. Kaneko
Proc. of 2nd Workshop on Embedded Systems Education
page：
95-102
2006.10
-
NEXCESS: 社会人組込みソフトウェア技術者教育におけるスキル育成
Reviewed
山本雅基，阿草清滋，間瀬健二，高田広章，河口信夫，冨山宏之，本田晋也，金子伸幸
工学教育
Vol.
54
(
5
)
page：
49-54
2006.9
-
Function Call Optimization in Behavioral Synthesis
Reviewed
Y. Hara, H. Tomiyama, S. Honda, H. Takada
Proc. of EUROMICRO Conference on Digital System Design
page：
522-529
2006.8
-
社会人に対する組込みソフトウェア技術の再教育の取り組み
Reviewed
山本雅基，河口信夫，阿草清滋，間瀬健二，高田広章，冨山宏之，本田晋也，金子伸幸
電気学会 論文誌A
Vol.
126
(
7
)
page：
563-569
2006.7
-
リアルタイムスケジューリング理論とその適用事例
Reviewed
高田広章
情報処理 (情報処理学会 学会誌)
Vol.
47
(
5
)
page：
514-518
2006.5
-
Communication Interfaces for System-Level Design
Reviewed
H. Minamide, T. Yoshimoto, Y. Takagi, S. Honda, H. Tomiyama, H. Takada
Proc. of Workshop on Synthesis and System Integration of Mixed Information Technologies
page：
21-28
2006.4
-
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, K. Agusa
Proc. of 19th Conference on Software Engineering Education and Training
2006.4
-
機能分散マルチプロセッサ向けのリアルタイムOS
Reviewed
高田広章, 本田晋也
情報処理 (情報処理学会 学会誌)
Vol.
47
(
1
)
page：
41-47
2006.1
-
Cosimulation of ITRON-Based Embedded Software with SystemC
Reviewed
S. Chikada, S, Honda, H. Tomiyama, H. Takada
Proc. of International High Level Design Validation and Test Workshop
page：
71-76
2005.12
-
動的計画法を用いたキャッシュフラッシュの最悪タイミングの探索手法
Reviewed
宮本寛史, 飯山真一, 冨山宏之, 高田広章, 中島浩
情報処理学会論文誌 コンピューティングシステム
Vol.
46
(
SIG16 (ACS12)
)
page：
85-94
2005.12
-
大学における社会人向け組込みソフトウェア技術者人材養成の実施と分析
Reviewed
山本雅基, 阿草清滋, 間瀬健二, 高田広章, 河口信夫, 冨山宏之, 本田晋也, 金子伸幸
SEC Journal
Vol.
1
(
4
)
page：
36-45
2005.11
-
NEXCESS: Nagoya University Extension Courses for Embedded Software Specialists
Reviewed
M. Yamamoto, H. Tomiyama, H. Takada, K. Agusa, K. Mase, N. Kawaguchi, S. Honda, N. Kaneko
ACM SIGBED Review
Vol.
2
(
4
)
2005.10
-
A GA-Based Scheduling Method for FlexRay Systems
Reviewed
S. Ding, N. Murakami, H. Tomiyama, H. Takada
Proc. of 5th ACM Int'l Conference on Embedded Software
page：
110-113
2005.9
-
NEXCESS: Nagoya University Extension Courses for Embedded Software Specialists
Reviewed
M. Yamamoto, H. Tomiyama, H. Takada, K. Agusa, K. Mase, N. Kawaguchi, S. Honda, N. Kaneko
Proc. of 1st Workshop on Embedded Systems Education
page：
16-20
2005.9
-
An RTOS-Based Design and Validation Methodology for Embedded Systems
Reviewed
S. Tomiyama, S. Chikada, S. Honda, H. Takada
IEICE Transactions on Information and Systems
Vol.
E-88-D
(
9
)
page：
2205-2208
2005.9
-
An Efficient Search Algorithm of Worst-Case Cache Flush Timings
Reviewed
H. Miyamoto, S. Iiyama, H. Tomiyama, H. Takada, H. Nakashima
Proc. of 11th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications
page：
45-52
2005.8
-
組込みシステム開発の要素技術と標準化
Reviewed
高田広章
情報処理 (情報処理学会 学会誌)
Vol.
46
(
4
)
page：
417-422
2005.4
-
An RTOS-Based Approach to Design and Validation of Embedded Systems
Reviewed
H. Tomiyama, S. Chikada, S. Honda, H. Takada
Proc. of IEEE VLSI-TSA International Symposium on VLSI Design, Automation, and Test
page：
185-187
2005.4
-
*システムレベル設計環境: SystemBuilder
Reviewed
本田晋也, 冨山宏之, 高田広章
電子情報通信学会論文誌
Vol.
J88-D-I
(
2
)
page：
163-174
2005.2
-
RTOS-Centric Cosimulator for Embedded System Design
Reviewed
S. Honda, T. Wakabayashi, H. Tomiyama, H. Takada
IEICE Transactions on Fundamentals
Vol.
E-87-A
(
12
)
page：
3030-3035
2004.12
-
オフセット付きCANメッセージの最大遅れ時間解析
Reviewed
飯山真一, 冨山宏之, 高田広章, 城戸正利, 細谷伊知郎
情報処理学会論文誌 コンピューティングシステム
Vol.
45
(
SIG11 (ACS7)
)
page：
455-463
2004.10
-
RTOS-Centric Hardware/Software Cosimulator for Embedded-System Design
Reviewed
S. Honda, T. Wakabayashi, H. Tomiyama, H. Takada
Proc. of International Conference on Hardware/Software Codesign and System Synthesis
page：
158-163
2004.9
-
Memory Data Organization for Low-Energy Address Buses
Reviewed
H. Tomiyama, H. Takada, N. Dutt
IEICE Transactions on Electronics
Vol.
E-87-C
(
4
)
page：
606-612
2004.4
-
リアルタイムOS とJava実行環境の統合アーキテクチャJTRON2.1仕様の策定とその評価
Reviewed
中本幸一, 高田広章, 八谷祥一, 朝倉義晴, 樫宿昌房
情報処理学会論文誌 コンピューティングシステム
Vol.
45
(
SIG3 (ACS5)
)
page：
64-78
2004.3
-
システム構成を考慮したCANの最大遅れ時間解析手法
Reviewed
飯山真一, 高田広章
情報処理学会論文誌 コンピューティングシステム
Vol.
45
(
SIG1 (ACS4)
)
page：
66-76
2004.1
-
Spec Cのソフトウェア記述の実装記述への変換
Reviewed
本田晋也, 高田広章, 中島浩
情報処理学会論文誌 コンピューティングシステム
Vol.
44
(
SIG11 (ACS3)
)
page：
236-245
2003.8
-
Hardware/Software Co-Configuration for Multiprocessor SoPC (Work-in-Progress Report)
Reviewed
Proc. of IEEE Workshop on Software Technologies for Future Embedded Systems
page：
7-8
2003.5
-
Evaluation of Applying SpecC to the Integrated Design Method of Device Driver and Device
Reviewed
Proc. of Embedded Software Forum of Design Automation and Test in Europe
page：
138-143
2003.3
-
Configurable Real-Time Operating System for Heterogeneous Multiprocessors
Reviewed
Proc. of 1st Symposium on Intelligent Human Sensing
page：
86-89
2003.3
-
Standardization Apporach of ITRON Debugging Interface Specification and Evaluation of its Adaptability
Reviewed
Proc. of ACM SIGPLAN Joint Symposium on Language, Compilers, and Tools for Embedded Systems and Software and Compilers for Embedded Systems
page：
65-74
2002.6
-
エンジン制御システムのためのリアルタイム性検証手法
Reviewed
飯山真一, 高田広章, 菅沼英明
情報処理学会論文誌
Vol.
43
(
6
)
page：
1715-1724
2002.6
-
クロス開発環境におけるホストターゲット処理一体記述の提案とデバッグ環境への適用
Reviewed
若林隆行, 高田広章
情報処理学会論文誌
Vol.
43
(
6
)
page：
1749-1759
2002.6
-
デバイスドライバとデバイスの一体設計手法へのSpecCの適用性評価
Reviewed
本田晋也, 高田広章
情報処理学会論文誌
Vol.
43
(
5
)
page：
1214-1224
2002.5
-
Applying RMA to Engine Management System
Reviewed
Proc. of 8th International Conference on Real-Time Computing Systems and Applications
page：
11-18
2002.3
-
Recent Trends of Real-Time Operating Systems for Embedded Systems
Invited
Proc. of 1st CREST Workshop on Advanced Computing and Commpunicating Techniques for Wearable Information Playing
2002.3
-
組み込みシステム開発環境の現状と動向
Reviewed
高田広章
計測と制御 (計測自動制御学会 学会誌)
Vol.
41
(
2
)
page：
113-116
2002.2
-
Linux on ITRON: A Hybrid Operating System Architecture for Embedded Systems
Reviewed
Proc. of IEEE SAINT-2002 Workshop on Linux and Internet Appliances
page：
4-7
2002.1
-
組込みシステム開発技術の現状と展望
Reviewed
高田広章
情報処理学会論文誌
Vol.
42
(
4
)
page：
930-938
2001.6
-
μITRON4.0仕様の例外処理のための機能とその評価
Reviewed
本田晋也, 高田広章
情報処理学会論文誌
Vol.
42
(
6
)
page：
1514-1524
2001.6
-
ITRONデバッギングインタフェース仕様における標準化アプローチとその適応性に関する評価
Reviewed
若林隆行, 高田広章
情報処理学会論文誌
Vol.
42
(
6
)
page：
1503-1513
2001.6
-
インタラクティブ・エッセイ「システムLSI の設計技術・設計支援技術(CAD技術)に関する問題点」
Reviewed
藤田昌宏, 安浦寛人, 高田広章, 吉田憲司
情報処理 (情報処理学会 学会誌)
Vol.
42
(
4
)
page：
421-426
2001.4
-
A Study of Evaluating the Real-Time Property for Engine Control Software
Reviewed
Proc. of SAE (Society of Automotive Engineers) 2001 World Congress
2001.3
-
組込みシステム開発技術の動向
Reviewed
高田広章
システム/制御/情報 (システム制御情報学会 学会誌)
Vol.
45
(
3
)
page：
115-117
2001.3
-
インタラクティブ・エッセイ「組込みソフトウェア上流開発環境を日本で」
Reviewed
渡辺政彦, 羽生田栄一, 高田広章
情報処理 (情報処理学会 学会誌)
Vol.
41
(
2
)
page：
208-213
2000.2
-
Update on the ITRON Project and Debugging Interface Standardization
Proc. of 3rd International Workshop on OSEK/VDX Open Systems in Auto-motive Networks
page：
85-93
2000.2
-
インタラクティブ・エッセイ「組込みソフトウェア分野における産学間のギャップを埋めよう！」
Reviewed
高田広章, 吉澤康文, 谷口秀夫
情報処理 (情報処理学会 学会誌)
Vol.
40
(
5
)
page：
536-540
1999.5
-
ITRONサブプロジェクト ー第2フェーズへの展開ー
Reviewed
高田広章, 田丸喜一郎
情報処理 (情報処理学会 学会誌)
Vol.
40
(
3
)
page：
223-228
1999.3
-
オープン化のためのリアルタイム技術とITRONプロジェクトにおける取組み
Reviewed
高田広章, 田丸喜一郎
システム/制御/情報 (システム制御情報学会 学会誌)
Vol.
43
(
1
)
page：
34-41
1999.1
-
JTRON: A Hybrid Architecture of the Java Runtime Environment and a Real-Time OS
Reviewed
Proc. of IEEE Workshop on Programming Languages for Real-Time Industrial Applications
page：
85-93
1998.12
-
Scheduling a Task including I/O Blockings with the Multiframe Task Model
Reviewed
Proc. of Work in Progress Session of 19th IEEE Real-Time Systems Symposium
page：
39-42
1998.12
-
The ITRON Project: Overview and Recent Results
Reviewed
Proc. of Industrial/Experience Session of 5th International Workshop on Real-Time Computing Systems and Applications
page：
3-10
1998.10
-
クリティカルセクションのアボートを用いたリアルタイム同期プロトコル
Reviewed
高田広章, 坂村健
電子情報通信学会論文誌
Vol.
J81-D-I
(
8
)
page：
966-975
1998.8
-
Recent Results of the ITRON Subproject
Reviewed
Proc. of 14th TRON Project International Symposium
page：
31-35
1998.3
-
Integration of Java and μITRON
Reviewed
Proc. of 14th TRON Project International Symposium
page：
37-40
1998.3
-
*A Novel Approach to Multiprogrammed Multiprocessor Synchronization for Real-Time Kernels
Reviewed
H. Takada, K. Sakamura
Proc. of 18th IEEE Real-Time Systems Symposium
page：
134-143
1997.12
-
優先度継承スピンロックアルゴリズムとその評価
Reviewed
王才棟, 高田広章, 坂村健
情報処理学会論文誌
Vol.
38
(
11
)
page：
2262-2273
1997.11
-
Schedulability of Generalized Multiframe Task Sets under Static Priority Assignment
Reviewed
Proc. of 4th International Workshop on Real-Time Computing Systems and Applications
1997.10
-
組込みシステム技術の現状と展望
Reviewed
中本幸一, 高田広章, 田丸喜一郎
情報処理 (情報処理学会 学会誌)
Vol.
38
(
10
)
page：
871-878
1997.10
-
Prioritized Inter-Processor Synchronization in an ITRON-MP Implementation
Reviewed
Proc. of 13th TRON Project International Symposium
page：
48-57
1996.12
-
Current Status and Future Directions of the ITRON Subproject
Reviewed
Proc. of 13th TRON Project International Symposium
page：
16-21
1996.12
-
Issues for Realizing a Scalable Real-Time Kernel for Function-Distributed Multiprocessors
Reviewed
Proc. of Work in Progress Session of 17th IEEE Real-Time Systems Symposium
page：
23-26
1996.12
-
μITRONbus: A Real-Time Control LAN for Open Network Environment
Reviewed
Proc. of 3rd International Workshop on Real-Time Computing Systems and Applications
page：
227-234
1996.10
-
Priority Inheritance Spin Locks for Multiprocessor Real-Time Systems
Reviewed
Proc. of International Symposium on Parallel Architectures, Algorithms, and Networks
page：
70-76
1996.6
-
Inter- and Intra-Processor Synchronizations in Multiprocessor Real-Time Kernel
Reviewed
Proc. of 4th International Workshop on Parallel and Distributed Real-Time Systems
page：
69-74
1996.4
-
μITRON for Small-Scale Embedded Systems
Reviewed
IEEE MICRO
Vol.
15
(
6
)
page：
46-54
1995.12
-
Towards a Scalable Real-Time Kernel for Function-Distributed Multiprocessors
Reviewed
Proc. of IFAC/IFIP 20th Workshop on Real-Time Programming
1995.11
-
Real-Time Scalability of Nested Spin Locks
Reviewed
Proc. of 2nd International Workshop on Real-Time Computing Systems and Applications
page：
160-167
1995.10
-
Bubble Lock: Another Priority-Orderd Spin Lock Algorithm
Reviewed
Proc. of 2nd Youth Forum in Computer Science and Engineering
1995.10
-
中断可能なキューイングスピンロックアルゴリズム
Reviewed
高田広章, 坂村健
電子情報通信学会論文誌
Vol.
J78-D-I
(
8
)
page：
661-669
1995.8
-
Compact, Low-Cost, but Real-Time Distributed Computing for Computer Augmented Environments
Invited
Reviewed
Proc. of 5th IEEE CS Workshop on Future Trends of Distributed Computing Systems
page：
56-63
1995.8
-
JPNIC: A Country NIC for Administrating Common Network Resources and Providing Network Information in Japan
Reviewed
Proc. of Internet Society's 1995 International Networking Conference
1995.7
-
Real-Time Synchronization Protocols with Abortable Critical Sections
Reviewed
Proc. of 1st International Workshop on Real-Time Computing Systems and Applications
page：
48-52
1994.12
-
ITRONサブプロジェクトの現状と展望 ーカーネル仕様とその実装技術ー
Reviewed
高田広章, 田丸喜一郎, 工藤健治, 清水剛, 坪田秀夫
情報処理 (情報処理学会 学会誌)
Vol.
35
(
10
)
page：
903-909
1994.10
-
Predictable Spin Lock Algorithms with Preemption
Reviewed
Proc. of 11th IEEE Workshop on Real-Time Operating Systems and Software
page：
2-6
1994.5
-
Experimental Implementations of Priority Inheritance Semaphore on ITRON-Specification Kernel
Reviewed
Proc. of 11th TRON Project International Symposium
page：
106-113
1994.5
-
Advances in the ITRON Specifications - Supporting Multiprocessor and Distributed Systems
Reviewed
Proc. of 9th TRON Project Symposium
page：
89-95
1992.12
-
The Multi-Layered Design Diversity Architecture: Application of the Design Diversity Approach to Multiple System Layers
Reviewed
Proc. of 9th TRON Project Symposium
page：
116-121
1992.12
-
日本ネットワークインフォメーションセンターJNICの活動
Reviewed
平原正樹, 高田広章, 亀山幸義
オペレーションズ・リサーチ (日本オペレーションズ・リサーチ学会 学会誌)
Vol.
37
(
12
)
page：
575-578
1992.12
-
Window Shared Data Pool: A New Window System for BTRON2
Reviewed
Proc. of 8th TRON Project Symposium
page：
151-168
1991.11
-
Implementation of Inter-Processor Synchronization/Communication and Design Issues of ITRON-MP
Reviewed
Proc. of 8th TRON Project Symposium
page：
44-56
1991.11
-
ITRON-MP: An Adaptive Real-Time Kernel Specification for Shared-Memory Multiprocessor Systems
Reviewed
IEEE MICRO
Vol.
11
(
4
)
page：
24-27,78-85
1991.8
-
Dynamic Stepwise Task Scheduling Algorithm for a Tightly-Coupled Multiprocessor ITRON
Reviewed
Proc. of 7th TRON Symposium
page：
43-62
1990.12
-
Implementation Issues of the TACL/TULS Language System on BTRON
Reviewed
Proc. of 6th TRON Symposium
page：
113-132
1989.12
-
ハイパテキストとそのプログラミング環境への応用
Reviewed
高田広章
情報処理 (情報処理学会 学会誌)
Vol.
30
(
4
)
page：
406-413
1989.4
-
The Type Mechanism of the TIPE/L Programming Language
Reviewed
Proc. of 5th TRON Symposium
page：
119-132
1988.11
