English
広島市立大学 
情報科学研究科 
システム工学専攻 

教授 
中田 明夫 
ナカタ アキオ 
Nakata Akio 

 

研究キーワード
リアルタイムシステム 
組込みシステム 
分散システム 
設計検証 
設計最適化 
形式的手法 
モデル検査 

論文
研究論文(その他学術会議資料等)  共著  Least Laxity Firstスケジューラで資源共有する組込みソフトウェア仕様の拡張時間ペトリネットによるモデル化および性能検証  中村貴史,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2015/ 68, 135-140  2016/01/18 
研究論文(その他学術会議資料等)  共著  マルチプロセッサ環境で動作する組込みソフトウェアの拡張時間ペトリネットによるモデル化および性能検証  中村貴史,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2015/ 7, 33-37  2015/05/04 
研究論文(その他学術会議資料等)  共著  拡張SysML記述に対する性能検証に必要な情報の抽出手法の提案  元家裕介,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2013/ 52, 23-28  2014/01/23 
研究論文(その他学術会議資料等)  共著  近似によるパラメトリック実行時間解析の効率化手法およびその評価  杉原圭佑,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2013/ 51, 17-22  2014/01/23 
研究論文(その他学術会議資料等)  共著  飛行船自動航行ソフトウェアの事例による設計段階でのスループット性能検証手法の評価  嘉戸 彰,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2012/ 5, 25-30  2012/05 
詳細表示...

研究発表
口頭発表(一般)  時間オートマトンのモデル検査  電子情報通信学会ソフトウェアサイエンス研究会  2009/03/02 
口頭発表(一般)  リアルタイムシステム 〜時間を守るコンピュータ〜  広島市立大学公開講座講演会  2007/11/06 
口頭発表(一般)  実時間システムのパラメトリック解析とその応用  2004年度 システム設計検証技術研究会 第2回講演会  2004/07 
口頭発表(一般)  モデル検査技術の最新動向  奈良先端科学技術大学院大学 ゼミナールI 講演会  2003/06 
詳細表示...

知的財産権
特許  タイムバジェット最適化装置及び最適化方法  特願2012-33489  2012/02/20 
特許  パラメトリック実行時間解析装置及び解析方法  特願2012-33488  2012/02/20 
詳細表示...

受賞
電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞  2016/07/14 
詳細表示...

担当授業科目
オートマトンと形式言語 
組込みアーキテクチャ設計・ソフトウェア設計特論 
情報基礎 
リアルタイムシステム 
製品企画プロジェクト特別演習 
詳細表示...

社会活動
(社)電子情報通信学会 ソフトウェアサイエンス研究会 研究専門委員会 副委員長  2016/06-2018/05 
国際会議 ICFEM 2016 プログラム委員  2015/11/24-現在 
(社)電子情報通信学会 和文論文誌D編集委員会 編集委員  2015/06-現在 
(社)電子情報通信学会 ソフトウェアサイエンス研究会 専門委員  2012/06-2016/05 
(社)電子情報通信学会 ソフトウェア基礎・応用特集号 編集委員  2012/06-2013/05 
詳細表示...

所属学協会
電子情報通信学会  2012/05-現在 
IEEE  2009/01-現在 
情報処理学会  1996/04-現在 
詳細表示...

技術相談
C言語からErlang言語への変換アルゴリズムについて  2009/06/26 
詳細表示...