日本語
Hiroshima City University 
Graduate School of Information Sciences 
Dept. of Systems Engineering 

Professor 
Nakata Akio 

 

Research keywords
real-time systems 
embedded systems 
distributed systems 
design verification 
design optimization 
formal methods 
model checking 

Papers
Research paper (research society, symposium materials, etc.)  マルチタスクシステム仕様に対する性能検証のタスク併合による効率化  橋本和磨,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2016/ 79, 115-120  2017/03/02 
Research paper (research society, symposium materials, etc.)  デッドライン制約を考慮しヒープメモリ削減を行うマルチタスクスケジューリング手法の提案  鈴木悠斗,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2016/ 76, 97-102  2017/03/02 
Research paper (research society, symposium materials, etc.)  応答時間の均一化を目的としたReal-Time Calculusによるシステム同定手法  岡本怜也,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2016/ 75, 91-96  2017/03/02 
Research paper (research society, symposium materials, etc.)  Joint  ヒープメモリ使用状況の予測によりメモリ使用量削減を行うマルチタスクスケジューリング手法の提案  中山敬基,中田明夫  電子情報通信学会ソフトウェアサイエンス研究会,電子情報通信学会技術研究報告  SS2016/ 39, 19-24  2017/01/19 
Research paper (other science council materials etc.)  Joint  Modeling and Performance Verification of Embedded Software Sharing Resources with Least Laxity First Schedulers Using Extended Time Petri Nets  Takafumi Nakamura, Akio Nakata  IEICE Technical Report  SS2015/ 68, 135-140  2016/01/18 
View details...

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

Intellectual property rights
Patent  タイムバジェット最適化装置及び最適化方法  特願2012-33489  2012/02/20 
Patent  パラメトリック実行時間解析装置及び解析方法  特願2012-33488  2012/02/20 
View details...

Prizes
電子情報通信学会ソフトウェアサイエンス研究会研究奨励賞  2016/07/14 
View details...

Allotted class
オートマトンと形式言語 
Advanced Embedded System Architecture and Software Design 
情報基礎 
Real-time systems 
Embedded Systems Planning Workshop 
View details...

Social activities
(社)電子情報通信学会 ソフトウェアサイエンス研究会 研究専門委員会 副委員長  2016/06-2018/05 
The 18th International Conference on Formal Engineering Methods (ICFEM 2016) Program Committee  2015/11/24-2016/11 
(社)電子情報通信学会 和文論文誌D編集委員会 編集委員  2015/06-Present 
(社)電子情報通信学会 ソフトウェアサイエンス研究会 専門委員  2012/06-2016/05 
(社)電子情報通信学会 ソフトウェア基礎・応用特集号 編集委員  2012/06-2013/05 
View details...

Memberships of academic societies
電子情報通信学会  2012/05-Present 
IEEE  2009/01-Present 
Information Processing Society of Japan  1996/04-Present 
View details...

Technical consultation
C言語からErlang言語への変換アルゴリズムについて  2009/06/26 
View details...