Title
形式手法と検証技術を活用した高信頼性システム設計
Speaker
Prof. Katsumi Wasaki, Shinshu University
Schedule
Aug. 4, 2016 (Thu), 15:00-16:00
Venue
Wakkanai Hokusei Gakuen University, Lecture hall 1401
Wakabadai 1-2290-28, Wakkanai, Hokkaido
http://www.wakhok.ac.jp/access.html
Abstract
組込システムの多機能化・ネットワーク化に伴って，開発工数のコスト増加に対応しながら，その一方で，設計の正しさを如何に確保していくのかが，現在の重要な課題となってきています．システムの高信頼性を実現する一つのアプローチは，ハードウェア・ソフトウェア開発において，仕様の形式的な記述と，機械的な自動検証技術を応用することです．”なんとなく”システムの開発で用いている記法や概念を，モデリングに関する基礎理論を用いて形式化して，バグが入る原因を根本から取り除くための，検証技術の活用について紹介します．
Sponsors
IEICE Hokkaido Section, Wakkanai Hokusei Gakuen University
Contact Person
Bishnu Prasad Gautam, Wakkanai Hokusei Gakuen University
gautam(at)wakhok.ac.jp
Registration
See http://www.wakhok.ac.jp/archives/000624.html (in Japanese).