青木 利晃 教授「重要なインフラシステム・ソフトウェアの安全性と信頼性を科学的に保障する」(Seeds of JAIST 2020.12)

青木 利晃 教授「重要なインフラシステム・ソフトウェアの安全性と信頼性を科学的に保障する」(Seeds of JAIST 2020.12)

私たちが快適、安全な暮らしを送るうえで欠かせない情報システムがありますが、それらのシステムが確実に運用されるように、ソフトウェアの安全性と信頼性を科学的に保障する研究を青木利晃教授が紹介します。また、同研究のポイントとなる連続と離散のハイブリッドシステムを石井大輔准教授が、モデルベース開発を冨田尭講師が説明します。

情報科学系 セキュリティ・ネットワーク領域 
青木利晃 教授、石井大輔 准教授、冨田尭 講師

(専門分野)
ソフトウェア工学、ソフトウェア科学、形式手法、形式検証、テスト

北陸先端科学技術大学院大学 産学官連携本部
https://www.jaist.ac.jp/

青木 利晃 教授「重要なインフラシステム・ソフトウェアの安全性と信頼性を科学的に保障する」(Seeds of JAIST 2020.12)

によってシェア: https://japanxanh.com/.

SHARE