高信頼性システム講演会のお誘い

高信頼性システム講演会のお誘い
目
的
近年、組込システムの多様機能化・ネットワーク化に伴い開発工数
のコスト増加に対応しながら、その一方で、設計の正しさを如何に確
保していくかが、現在の重要な課題となってきております。
システムの信頼性を実現する一つのアプローチは、ハードウェア・
ソフトウェア開発において、仕様の形式的な記述と機械的な自動検証
技術を応用することです。
“なんとなく”システムの開発で用いている記法や概念を、モデリン
グに関する基礎理論を用いて形式化して、バグが入る原因を根本から
取り除くための、検証技術の活用について分かり易く紹介いたします。
日
時
平成 28 年８月４日（木）15:00～16:00
会
場
稚内北星学園大学新館 1401 大教室
講演者
和崎克己信州大学工学部教授
講演題目
「形式手法と検証技術を活用した
高信頼性システム設計」
聴講参加対象
興味のある企業・団体・個人の皆様
参加申込
稚内北星学園大学事務局
FAX0162-32-7500 電話 0162-32-7511
和崎克己教授
※是非この機会にお聴きいただければ幸いです！！
ＦＡＸ申込書
稚内北星学園大学（高信頼システム講演会）宛て
FAX0162-32-7500
参加者氏名
企業・団体等名
連絡先電話

Download Report