北陸先端科学技術大学院大学

Japan Advanced Institute of Science and Technology

ブース番号
D-52-⑧

[テスト・検証サービス][大学/研究機関][教育/人材育成]

出展の見どころ

 北陸先端科学技術大学院大学は、大学院課程(博士前期課程・後期課程)のみを持つ大学として設置され、知識科学、情報科学、材料科学(マテリアルサイエンス)に関する教育・研究に取り組んでいます。この展示では、特に情報科学系にて取り組む「高信頼IoT技術者育成プログラム」と「組込みソフトウエア検証に関する研究」について展示・紹介致します。
 「高信頼IoT技術者育成プログラム」は、IoTシステムを構成する末端デバイスからクラウドサービスまでを構想・企画し、設計・実装できる人材の育成を目指す目的指向型の学修プログラムです。基礎理論から応用技術までの講義科目、企業講師による実践科目、実開発を題材としたPBL科目を整備・提供すると共に、金沢工業大学と連携し、(一社)組込みシステム技術協会(JASA)のご協力を得ながら、組込み・IoT技術者が備えるべき技術力・人間力評価のための評価項目、評価指標を整備し、組織的なIoT技術者育成を行っています。ブース展示では、こうした本学での教育面での取組を紹介します。
また、本学での組込みソフトウエアに関する研究事例として、青木利晃教授が取り組む形式手法の実践手法に関する成果の展示も行います。形式手法は、機能安全規格などで推奨されており、実践できれば高い効果が期待できます。一方、形式手法を実践するには様々な工夫が必要となるため、敷居が高いと言われています。そこで、青木教授は、車載システム開発を中心に共同研究を実施し、形式手法の実践に成功してきました。本展示では、その成果の概要を紹介し、併せて、青木教授が最近取り組んでいるMATLAB/Simulinkモデルの検証ツールについてデモを実施します。

対象応用分野

  • オートモティブ
  • 家電/AV/アミューズメント
  • 新通信/モバイル/ネットワーク
  • FA
  • スマートエネルギー
  • 社会インフラ
  • 医療/介護
  • ロジスティックス
  • 農林/水産/鉱業
  • 航空/宇宙
  • 金融(銀行/証券/保険)

お問合せ先

住所
石川県能美市旭台1-1
TEL
0761-51-1084
FAX
0761-51-1959
URL
http://www.jaist.ac.jp
Email
e-soukatsu@jaist.ac.jp
Address
1-1 Asahidai, Nomi, Ishikawa 923-1292 Japan
TEL
0761-51-1084
FAX
0761-51-1959
URL
http://www.jaist.ac.jp
Email
e-soukatsu@jaist.ac.jp