ネットワークの振る舞いに依存するシステムへの形式的手法の適用の検討

摘要

無線などの通信機能を持つデバイスを分散配置し，そのデバイスを通じてエリア内を移動する利用者の端末にサービス提供するシステムを対象に，典型的なアーキテクチャと，それに基づくシステムへの形式的手法の適用について検討する．このようなシステムでは，端末の移動に従って変化するネットワークトポロジに依存したサービスを，安定的に実現できなければならない．そこで，階層型アーキテクチャを前提とし，ソフトウェアの振る舞いに本質的な影響を及ぼすネットワークの振る舞いに着目したモデリング，検証手法について検討する．