情報処理学会 第79回全国大会講演要旨

近年普及してきたスマート家電の制御方法として，ECAルールを使用したものがある．しかし，ユーザの要求に応じて多くのルールを設定していくうちに，ルールが衝突し，ユーザの期待通りの動作をしなくなる可能性がある．このような状況を回避するためにはルールの検証を行う必要があるが，ユーザが自身で行なうことは非常に困難である．
そこで，本研究では，ホームネットワークの動作定義として記述されるECAルールの検証を行なうシステムを設計・実装する．検証器には並行プロセスの検証器であるSPINを用い，ECAルールをPromela形式に書き換えることでこれをおこなう．