高田　広章

組込みシステムの要求仕様書に対する誤り・曖昧表現の実証的調査
山本　椋太 中村　成 吉田　則裕 高田　広章 
誌名:   
発行日: 2020/05/01
Vol. J103-D  No. 5  pp. 427-449
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
自然言語処理, 要求仕様書, 組込みシステム, 
 あらまし | 本文:PDF(796.1KB)
組込みソフトウェアを対象とした状態遷移表抽出支援ツール
山本　椋太 吉田　則裕 青木　奈央 高田　広章 
誌名:   
発行日: 2019/03/01
Vol. J102-D  No. 3  pp. 151-162
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェア工学
キーワード: 
リバースエンジニアリング, 組込みソフトウェア, 状態遷移表, 
 あらまし | 本文:PDF(1.4MB)
メッセージ認証を用いたCANの集中監視システム
倉地　亮 松原　豊 高田　広章 上田　浩史 堀端　啓史 
誌名:   電子情報通信学会論文誌 A
発行日: 2016/02/01
Vol. J99-A  No. 2  pp. 118-130
論文種別:  特集論文 (組込みシステムセキュリティ論文小特集)
専門分野: 車載システムセキュリティ
キーワード: 
Controller Area Network (CAN), 組込みセキュリティ, 車載制御ネットワーク, Embedded Security, In-vehicle network, 
 あらまし | 本文:PDF(1.5MB)
疎結合ハードウェアRTOS搭載産業ネットワーク用SoC
丸山　修孝 石川　拓也 本田　晋也 高田　広章 鈴木　克信 
誌名:   電子情報通信学会論文誌 D
発行日: 2015/04/01
Vol. J98-D  No. 4  pp. 661-673
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
リアルタイムOS, ハードウェアRTOS, 産業用ネットワーク, SoC, 
 あらまし | 本文:PDF(2MB)
SEEDS：組込みシステム向けシステムレベル設計環境
安藤　友樹 柴田　誠也 本田　晋也 冨山　宏之 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2014/03/01
Vol. J97-D  No. 3  pp. 450-460
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェア工学
キーワード: 
システムレベル設計, ボトルネック解析, 組込みシステム, FPGA, 
 あらまし | 本文:PDF(998.4KB)
マルチコア対応RTOSのハードウェア化による性能向上
丸山　修孝 一場　利幸 本田　晋也 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/10/01
Vol. J96-D  No. 10  pp. 2150-2162
論文種別:  特集論文 (システム開発論文特集)
専門分野: ソフトウェアシステム
キーワード: 
リアルタイム, ハードウェアRTOS, マルチコア, 組込みシステム, 
 あらまし | 本文:PDF(1.6MB)
SafeG-MP：マルチコア対応の組込みシステム向け仮想化環境
太田　貴也 大橋　孝輔 ダニエル　サンゴリン 本田　晋也 高田　広章 堀田　孝一 大山田　光夫 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/10/01
Vol. J96-D  No. 10  pp. 2163-2181
論文種別:  特集論文 (システム開発論文特集)
専門分野: ソフトウェアシステム
キーワード: 
組込みシステム, リアルタイムOS, 仮想化, マルチコア, スピンロック, ロードバランス, 
 あらまし | 本文:PDF(1.3MB)
マルチストリーミング処理のためのマルチプロセッサ向けロードバランス機構
石田　利永子 本田　晋也 高田　広章 福井　昭也 小川　敏行 田原　康宏 
誌名:   電子情報通信学会論文誌 D
発行日: 2013/01/01
Vol. J96-D  No. 1  pp. 168-182
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
ロードバランス, マルチプロセッサ, 組込みシステム, RTOS, マルチストリーミング, 
 あらまし | 本文:PDF(1.6MB)
組込みシステムにおける階層型状態遷移図に基づく安全分析手法
金　周慧 松原　豊 高田　広章 
誌名:   電子情報通信学会論文誌 A
発行日: 2013/01/01
Vol. J96-A  No. 1  pp. 34-48
論文種別:  論文
専門分野: 信頼性，保全性，安全性
キーワード: 
状態遷移図, 安全分析, SASTD, SMHA, HAZOP, 
 あらまし | 本文:PDF(1.1MB)
車載組込みシステム向けデータストリーム管理システムの開発
勝沼　聡 山口　晃広 熊谷　康太 本田　晋也 佐藤　健哉 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/12/01
Vol. J95-D  No. 12  pp. 2031-2047
論文種別:  論文
専門分野: データ工学，Web情報システム
キーワード: 
DSMS, ストリーム, 組込みシステム, 車載システム, モジュール, 
 あらまし | 本文:PDF(1.4MB)
schesim: リアルタイムアプリケーション向けスケジューリングシミュレータ
佐野　泰正 松原　豊 本田　晋也 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/12/01
Vol. J95-D  No. 12  pp. 2008-2020
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
リアルタイムOS, シミュレータ, スケジューリング, リアルタイム性検証環境, 開発・検証支援ツール, 
 あらまし | 本文:PDF(1.7MB)
μITRONベースのRTOS向けテストプログラム生成ツール
鴫原　一人 眞弓　友宏 森　孝夫 本田　晋也 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/04/01
Vol. J95-D  No. 4  pp. 870-884
論文種別:  論文
専門分野: ソフトウェア工学
キーワード: 
組込みシステム, リアルタイムOS, μITRON, オープンソース, テストツール, 
 あらまし | 本文:PDF(1MB)
命令セットシミュレータの実行制御機構を用いたマルチプロセッサRTOSのテスト効率化手法
一場　利幸 森　孝夫 高瀬　英希 鴫原　一人 本田　晋也 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2012/03/01
Vol. J95-D  No. 3  pp. 387-399
論文種別:  特集論文 (学生論文特集)
専門分野: ソフトウェアシステム
キーワード: 
マルチプロセッサ, リアルタイムOS, テスト, シミュレータ, 
 あらまし | 本文:PDF(1.1MB)
状態遷移図に着目した安全分析手法
金　周慧 松原　豊 高田　広章 
誌名:   電子情報通信学会論文誌 A
発行日: 2012/02/01
Vol. J95-A  No. 2  pp. 198-209
論文種別:  論文
専門分野: 信頼性，保全性，安全性
キーワード: 
状態遷移図, 安全分析, FMEA, SMHA, HAZOP, 
 あらまし | 本文:PDF(728.3KB)
マルチプロセッサ対応システムレベル設計環境SystemBuilder-MP
柴田　誠也 本田　晋也 冨山　宏之 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2011/04/01
Vol. J94-D  No. 4  pp. 657-670
論文種別:  論文
専門分野: ソフトウェアシステム
キーワード: 
システムレベル設計, マルチプロセッサ, 組込みシステム, リアルタイムOS, 
 あらまし | 本文:PDF(1.4MB)
アーキテクチャ記述言語による設計と一体化した制御システムのリスク分析
吉村　悠 日高　隆博 中條　直也 高田　広章 高浜　盛雄 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/10/01
Vol. J93-D  No. 10  pp. 1866-1875
論文種別:  特集論文 (システム開発論文特集)
専門分野: ソフトウェア開発支援
キーワード: 
アーキテクチャ記述言語, エラーモデル, AADL, リスク分析, 
 あらまし | 本文:PDF(605.6KB)
コンポーネントシステムを用いた組込みシステム向けアクセス制御機構
安積　卓也 山田　晋平 大山　博司 中本　幸一 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/10/01
Vol. J93-D  No. 10  pp. 2021-2031
論文種別:  特集論文 (システム開発論文特集)
専門分野: 組込みシステム
キーワード: 
アクセス制御, コンポーネントベース開発, 組込みシステム, リアルタイムシステム, 
 あらまし | 本文:PDF(790.8KB)
車両制御システムのためのセンサデータ統合管理方式の検討
山田　真大 鎌田　浩典 佐藤　健哉 手嶋　茂晴 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/07/01
Vol. J93-D  No. 7  pp. 1189-1201
論文種別:  論文
専門分野: データ工学，Web情報システム
キーワード: 
センサデータ統合, 車両制御システム, データ管理, 占有グリッド, シーングラフ, 
 あらまし | 本文:PDF(829KB)
セキュリティ支援ハードウェアによるハイブリッドOSシステムの高信頼化
中嶋　健一郎 本田　晋也 手嶋　茂晴 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2010/02/01
Vol. J93-D  No. 2  pp. 75-85
論文種別:  論文
専門分野: システムプログラム
キーワード: 
ハイブリッドOS, 信頼性, セキュリティ, リアルタイムOS, 
 あらまし | 本文:PDF(279.9KB)
ITRON仕様OSの機能分散マルチプロセッサ拡張
本田　晋也 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2008/04/01
Vol. J91-D  No. 4  pp. 934-944
論文種別:  論文
専門分野: システムプログラム
キーワード: 
組込みシステム, リアルタイムOS, マルチプロセッサ, 割込み応答性, 
 あらまし | 本文:PDF(262.9KB)
システムレベル設計環境：SystemBuilder
本田　晋也 冨山　宏之 高田　広章 
誌名:   電子情報通信学会論文誌 D
発行日: 2005/02/01
Vol. J88-D1  No. 2  pp. 163-174
論文種別:  特集論文 (システム開発論文特集)
専門分野: VLSI設計支援システム
キーワード: 
ソフトウェア/ハードウェア・コデザイン, 組込みシステム, 動作合成, リアルタイムOS, 
 あらまし | 本文:PDF(397.6KB)
クリティカルセクションのアボートを用いたリアルタイム同期プロトコル
高田　広章 坂村　健 
誌名:   電子情報通信学会論文誌 D
発行日: 1998/08/25
Vol. J81-D1  No. 8  pp. 966-975
論文種別:  論文
専門分野: ソフトウェア基礎
キーワード: 
リアルタイム同期プロトコル, 優先度逆転, アボート, スケジュール可能性の解析, 
 あらまし | 本文:PDF(683.5KB)
中断可能なキューイングスピンロックアルゴリズム
高田　広章 坂村　健 
誌名:   電子情報通信学会論文誌 D
発行日: 1995/08/25
Vol. J78-D1  No. 8  pp. 661-669
論文種別:  特集論文 (実時間処理システムとその応用論文特集)
専門分野: アルゴリズム
キーワード: 
スピンロック, 非対称マルチプロセッサ, リアルタイムシステム, 割込み応答性, プロセッサ間同期, 
 あらまし | 本文:PDF(627.8KB)