〈研究室 探訪〉国立情報学研究所 ERATO 蓮尾メタ数理システムデザインプロジェクト(ERATO MMSD)

  • ものづくり・新技術
  • 2020年7月6日

 自動車の走行機能を制御するソフトウエアは、バグが一つでも発生すると文字通り〝命取り〟となる重大な事故原因になりかねないため、緻密な検証が欠かせない。システムが飛躍的に複雑になる自動運転では、ソフトの安全性確認にかかる膨大な手間とコストが、...

ここからは有料記事になります。ログインしてご覧ください。

関連記事