Projects

国,地方公共団体等委員

  1. 製品・制御システム高信頼化部会 未然防止知識ワーキンググループ主査 (独立行政法人情報処理推進機構)(2013年4月〜)

科学研究費

  1. 基盤研究(C) Robot Operating System向け文脈指向言語基盤と方法論(代表) (2017年4月〜2021年3月)
  2. 若手研究(B) 教育研究のためのWebサービス型モデル駆動開発ツールプラットフォーム(代表) (2014年4月〜2016年3月)
  3. 基盤研究(B) 情報科学の基礎概念理解向け“万人のための情報学”指向なIoT学習パッケージの開発(分担) (2016年4月〜2021年3月)
  4. 基盤研究(S) 持続可能なスマートモビリティ向け情報基盤プラットフォームアーキテクチャ研究(分担) (2015年4月〜2020年3月)
  5. 基盤研究(A) スマートモビリティ向け情報基盤プラットフォームアーキテクチャ研究(分担) (2015年4月〜2020年3月)
  6. 基盤研究(A) 確かさを包容するモデル駆動開発機構に関する研究(分担) (2014年4月〜2018年3月)
  7. 特別推進研究 高信頼ソフトウェアアーキテクチャ構築に関する研究(分担) (2011年度~2013年度)
  8. 基盤研究(B) 学習持続性を意識した情報の科学的な理解のコアコンピタンス向け学習プログラムの開発(分担) (2013年〜2015年)
  9. 基盤研究(B) 現実環境を融合するユビキタスネットワーク技術に関する研究(分担) (2010年〜2013年)

共同研究・受託研究・その他の研究費

(最近のものは少し抽象的に記載しています)

  1. モデルベース開発(MBD)におけるモデル修正(代表) (共同研究) (2020年〜2021年)
  2. モデルベース開発(MBD)を対象とした安全解析(代表) (共同研究) (2019年〜2021年)
  3. モデルベース開発(MBD)へのプロダクトライン適用(代表) (共同研究) (2017年〜2021年)
  4. モデルベース開発(MBD)でのテスト容易化設計手法(代表) (共同研究) (2018年, 2019年)
  5. プログラムコードのベクトル化(代表) (共同研究) (2018年, 2019年)
  6. 屋内人流解析(代表) (共同研究) (2018年, 2019年)
  7. プロダクトライン開発に向けた自然言語文書からの自動フィーチャ抽出(代表) (共同研究) (2017年)
  8. 効果的なDSL開発手法の研究(代表) (共同研究) (2016年)
  9. モデル駆動開発における既存資産整合の研究(代表)(共同研究)(2014年)
  10. モデル検証技術を用いた組込みソフトウェア消費エネルギー解析のためのUMLモデル構築手法(代表)(共同研究) (2014年~2015年)
  11. サービスに応じた消費電力管理のためのハードウェアモデリング(代表)(共同研究) (2009年, 2010年, 2011年, 2012年, 2013年)
  12. 安全なIoTサイバー空間の実現, 戦略的国際共同研究プログラム(分担) (科学技術振興機構) (2016年~2021年)
  13. 非機能要件が含まれる部品化技術の研究(分担)(共同研究)(2013年)
  14. 運用シナリオのモデル開発管理及び形式検証の先端技術に関する共同研究(分担) (共同研究) (2012年, 2013年)
  15. モデルを含む設計成果物の集積とその活用方法に関する研究(代表) (情報処理推進機構)(2012年)
  16. 組込みシステムに対するモデル駆動開発手法の実証と評価(代表)(共同研究) (2009年〜2011年)
  17. システムLSI設計人材養成実践プログラム(分担)(科学技術振興調整費) (2005年〜2010年)