Papers - TAKADA Hiroaki
-
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 Open Access
T. Kawada, S. Honda, Y. Matsubara, H. Takada
Int’l Journal of Parallel Programming 2020.7
-
組込みシステムの要求仕様書に対する誤り・曖昧表現の実証的調査 Reviewed
山本椋太, 中村成, 吉田則裕, 高田広章
電子情報通信学会論文誌 Vol. J103-D ( 5 ) page： 427 - 449 2020.5
-
自律移動ロボットのための2次元LRFの計測特性を考慮したEmpty確率分布 Reviewed Open Access
山田峻也, 渡辺陽介, 高田広章
日本ロボット学会誌 Vol. 38 ( 4 ) page： 379 - 390 2020.5
-
カバレッジに基づくファジングツールの比較評価 Reviewed Open Access
都築夏樹, 吉田則裕, 戸田航史, 山本椋太, 高田広章
コンピュータソフトウェア Vol. 37 ( 2 ) page： 97 - 103 2020.5
-
自動車分野のCASE革命とサイバーセキュリティ Open Access
松原豊, 倉地亮, 高田広章
情報処理 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 Open Access
山田峻也, 渡辺陽介, 高田広章
日本ロボット学会誌 Vol. 38 ( 2 ) page： 199 - 209 2020.3
-
esprof: A Generic Profiling Infrastructure for Multi/Many-Core Embedded Systems Reviewed Open Access
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
-
自動走行ソフトウェアスキル標準の策定 Open Access
石黒正揮, 藤瀬哲朗, 有馬仁志, 高田広章
デジタルプラクティス Vol. 11 ( 1 ) page： 119-134 2020.1
-
車載組込みシステム技術者の育成 〜enPiT-Pro Embでの教育実践〜 Open Access
山本雅基, 塩見彰睦, 岡村寛之, 高橋寛, 沢田篤史, 高田広章
デジタルプラクティス 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
-
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
-
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
-
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