教員総覧
English
閉じる
ナカタ アキオ
Nakata Akio
中田 明夫
所属
広島市立大学大学院 情報科学研究科 システム工学専攻
広島市立大学 情報科学部 システム工学科
職種
教授
研究課題・受託研究・科研費
1998/04/01 ~ 2000/03/31
パラメータを持つ実時間プロトコル仕様のモデル検査 * (財)電気通信普及財団 研究調査助成
2001/04/01 ~ 2003/03/31
パラメータを持つ実時間システム仕様のモデル検査に関する研究 若手研究(B)
2001/04/01 ~ 2004/03/31
高信頼性実時間並行システムの設計と検証に関する研究 * (株)半導体理工学研究センター 研究助成
2003/04/01 ~ 2004/03/31
周期的動作を行う実時間システム仕様のパラメトリックモデル検査 * (財)服部報公会工学研究奨励援助金
2004/04/01 ~ 2006/03/31
システムレベル記述の時間制約を考慮した抽象化およびモデル検査 若手研究(B)
2006/04/01 ~ 2008/03/31
実時間ソフトウェアの階層的パラメトリック解析 若手研究(B)
2009/04/01 ~ 2010/03/31
実時間ソフトウェアの最適パラメータ探索および組込みソフトウェア再利用への応用 若手研究(B)
2010/04/01 ~ 2011/03/31
実時間ソフトウェアの最適パラメータ探索および組込みソフトウェア再利用への応用 若手研究(B)
閉じる