Papers - TAKADA Hiroaki
-
Flexible Edge Processing in Blockchain-based Secure IoT Data Distribution Framework Reviewed
K. Kawai, Y. Wu, Y. Matsubara, H. Takada
6th Workshop on Blockchain Theory and Applications 2025.3
-
Development and Benchmarking of Multilingual Code Clone Detector Reviewed
W. Zhu, N. Yoshida, T. Kamiya, E. Choi, H. Takada
Journal of Systems and Software Vol. 219 2025.1
-
ソフトウェア領域人材育成WGとモビリティDXプラットフォーム Invited
高田広章
自動車技術（自動車技術会 会誌） Vol. 78 ( 11 ) page： 6 - 11 2024.11
-
A Method for Reducing End-to-End Delay with Priority Assignment in CAN-CAN Gateway Reviewed
S. Tsuchimoto, R. Kurachi, H. Takada
29th Asia-Pacific Conference on Communications 2024.11
-
W. Zhu, N. Yoshida, Y. Matsubara, H. Takada
IEEE Access Vol. 12 page： 179104 - 179188 2024.11
-
A Decision Support Scheme for Safe and Efficient Transportation of Hazardous Materials Reviewed
Z. Zhou, Y. Matsubara, H. Takada
IEEE Trans. on Intelligent Transportation Systems Vol. 26 ( 1 ) page： 309 - 322 2024.11
-
Trust-IVN: Proposal for Achieving a Trustworthy In-vehicle Network Reviewed
R. Kurachi, H. Takada, H. Ueda
IEEE 100th Vehicular Technology Conference 2024.10
-
Reaching Consensus on System-of-Systems Resilience Assurance: A Case of Mobility as a Service Reviewed
H. Zhang, Y. Matsubara, H. Takada
Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops page： 200 - 212 2024.9
-
Race Directed Fuzzing for More Effective Concurrency Testing Reviewed
H. Ito, Y. Matsubara, H. Takada
6th World Symposium on Software Engineering 2024.9
-
Monitor and Analyze Rare ROS2 Performance Issues with A Unified Tracing Framework Reviewed
Y. Li, Y. Matsubara, H. Takada, S. Funahashi, H. Kawashima
6th World Symposium on Software Engineering 2024.9
-
A Multi-core RTOS Benchmark Methodology To Assess System Services Under Contentions Reviewed
Journal of Information Processing Vol. 32 page： 829 - 843 2024.9
-
HRMP3+TECS v2: Component Framework for Reliable Multiprocessor Real-time Operating Systems Reviewed
Journal of Information Processing Vol. 32 page： 818 - 828 2024.9
-
Enhancing Autonomous Vehicles' Situational Awareness with Dynamic Maps: Cooperative Prediction on Edge, Cloud and Vehicle Reviewed
L. Tao, Y. Watanabe, R. Takeuchi, S. Kusayama, S. Yamada, H. Takada
IEEE Trans. on Intelligent Vehicles 2024.9
-
SDVとビークルOS，ビークルAPI Invited
高田広章
自動車技術（自動車技術会 会誌） Vol. 78 ( 7 ) page： 22 - 27 2024.7
-
Feedback-guided Fuzzingによる並行バグ探索 Reviewed
伊藤弘将, 松原豊, 高田広章
情報処理学会論文誌 Vol. 65 ( 5 ) page： 927 - 941 2024.5
-
Geo-Spatial and Temporal Relation Driven Vehicle Motion Prediction: A Geographic Perspective Reviewed
L. Tao, Y. Watanabe, H. Takada
IEEE Trans. on Intelligent Vehicles 2024.5
-
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
-
組込みシステムの開発成果物に基づくモデル抽出技術の調査 Reviewed
山本椋太, 吉田則裕, 高田広章
コンピュータソフトウェア Vol. 39 ( 3 ) page： 4 - 16 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
-
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
-
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
-
Fuzz4B: ファジングツールAFLの利用支援ツール Reviewed
宮木龍, 吉田則裕, 藤原賢二, 都築夏樹, 山本椋太, 高田広章
コンピュータソフトウェア Vol. 39 ( 2 ) page： 124 - 142 2022.5
-
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
-
交差点での競合車両検索のための車両情報ストリームと高精度道路地図DBの統合索引 Reviewed
井川元, 渡辺陽介, 高田広章
日本データベース学会和文論文誌 Vol. 20-J 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
-
動的地理情報共有のためのアプリケーションプラットホームとしてのダイナミックマップの役割
佐藤健哉, 渡辺陽介, 高田広章
電子情報通信学会誌 Vol. 101 ( 1 ) page： 85-90 2018.1
-
クラウド型自動運転を指向した 並列ストリーム型ダイナミックマップ Reviewed
鈴木有也, 佐々木健吾, 佐藤健哉, 高田広章
情報処理学会論文誌 Vol. 59 ( 1 ) page： 88-101 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
-
自動車分野のセーフティとセキュリティの動向と展望 −自律走行の実現に向けて−
松原豊, 倉地亮, 高田広章
情報処理 (情報処理学会 学会誌) Vol. 58 ( 11 ) page： 972-977 2017.11
-
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
-
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： 488–494 2016.11
-
ダイナミックマップ：自動走行／協調運転支援のための情報プラットフォーム Invited
高田広章, 佐藤健哉
システム/制御/情報 Vol. 60 ( 11 ) page： 457–462 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
-
コードクローンとの位置関係に基づく欠陥発生傾向の調査 Reviewed
中山直輝, 吉田則裕, 藤原賢二, 飯田元, 高田光隆, 高田広章
情報処理学会論文誌 Vol. 57 ( 2 ) page： 681-693 2016.2
-
メッセージ認証を用いたCANの集中監視システム Reviewed
倉地亮, 松原豊, 高田広章, 上田浩史, 堀端啓史
電子情報通信学会論文誌 Vol. J99-A ( 2 ) page： 118-130 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
-
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
-
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
-
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
-
マルチコア対応RTOSのハードウェア化による性能向上 Reviewed
丸山修孝, 一場利幸, 本田晋也, 高田広章
電子情報通信学会論文誌 Vol. J96-D ( 10 ) page： 2150-2162 2013.10
-
SafeG-MP: マルチコア対応の組込みシステム向け仮想化環境 Reviewed
太田貴也, 大橋孝輔, D. Sangorrin, 本田晋也, 高田広章, 堀田孝一, 大山田光夫
電子情報通信学会論文誌 Vol. J96-D ( 10 ) page： 2163-2181 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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
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
-
静的なメモリ配置を行うメモリ保護機能を持ったリアルタイムOS Reviewed
石川拓也, 本田晋也, 高田広章
コンピュータソフトウェア Vol. 29 ( 4 ) page： 161-181 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
-
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
-
車載組込みシステム向けデータストリーム管理の静的スケジューリング方式 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
-
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
-
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
-
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
-
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
-
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 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
-
自動車制御分散システムの静的スケジューリング手法 Reviewed
村上尚彦, 冨山宏之，高田広章
情報処理学会論文誌 コンピューティングシステム Vol. 48 ( SIG8 (ACS18) ) page： 203-215 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
-
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
-
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
-
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
-
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 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： 1749-1759 2002.6
-
エンジン制御システムのためのリアルタイム性検証手法 Reviewed
飯山真一, 高田広章, 菅沼英明
情報処理学会論文誌 Vol. 43 ( 6 ) page： 1715-1724 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