ET 2018 & IoT Technology 2018
出展社情報
出展社情報

石川県/北陸先端科学技術大学院大学

Ishikawa prefecture/Japan Advanced Institute of Science and Technology

ブース番号
C-46

[開発支援ツール][テスト・検証サービス][大学/研究機関]

出展の見どころ

北陸先端科学技術大学院大学青木研究室では,形式手法の実践に関する研究を
行っています.形式手法は,機能安全規格などで推奨されており,実践できれ
ば高い効果が期待できます.一方,形式手法を実践するには様々な工夫が必要
となるため,敷居が高いと言われています.そこで,我々は,車載システム開
発を中心に共同研究を実施し,形式手法の実践に成功してきました.本展示で
は,以下のような成果について紹介します.
・車載OSのモデル検査による検証手法.
・車載システムにおける安全要求の検証手法.
・MATLAB/Simulinkモデルの検証ツール(デモあり).
・機械学習システムの系統的評価手法.
また,本学の出身者が,IoTやAI分野で起業をしています.それらの会社につい
ても,紹介する予定です.

対象応用分野

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

お問合せ先

住所
石川県金沢市鞍月1丁目1番地 / 石川県能美市旭台1丁目1
TEL
076‐225-1517 / 0761-51-1070
FAX
076-225-1518 / 0761-51-1427
URL
http://www.pref.ishikawa.lg.jp/ / http://www.jaist.ac.jp/
Email
e190100@pref.ishikawa.lg.jp / ricenter@jaist.ac.jp
Address
1-1 Kuratsuki, Kanazawa-city, Ishikawa, Japan. / 1-1 Asahidai, Nomi-city, Ishikawa, Japan.
TEL
+81-762251517 / +81-761511070
FAX
+81-762251518 / +81-761511427
URL
http://www.pref.ishikawa.lg.jp/ / http://www.jaist.ac.jp/
Email
e190100@pref.ishikawa.lg.jp / ricenter@jaist.ac.jp

ご入場にはweb来場事前登録または招待状が必要です。

TOP