抄録
B-043
組込み用OSのネットワーク機能の設計と形式手法SPINによる検証
◎笠原良太（日立情報通信エンジニアリング）・望月祐希・野口健一郎（神奈川大）
安全な組み込みシステムを実現するためのオペレーティングシステムとして神奈川大学野口研究室で試作中のOSにネットワーク通信機能を追加する試作研究を行った。 本研究の目的は次のものである。 (1)組込みシステム用OSに求められる高信頼・高セキュリティ・高性能のネットワーク機能の実現 (2)(1)の正当性証明の為の形式手法SPINを用いた検証