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).