05月23日(Tue) 13:50〜15:30 M会場(ウインクあいち-10F 1005会議室)
| 演題番号 | 1M1-OS-02a-3 |
|---|---|
| 題目 | スマートオブジェクトの近接連携シナリオへの記号モデル検査の応用 |
| 著者 | 蓑田 玲緒奈(北海道大学 大学院 情報科学研究科) 湊 真一(北海道大学 大学院 情報科学研究科) |
| 時間 | 05月23日(Tue) 14:50〜15:10 |
| 概要 | ユビキタスコンピューティング(UC)シナリオの検証は，UCの様々なアプリケーションを設計する際に，設計上の問題を実装の前段階で発見できるため有用である．本論文では，記号モデル検査の新たな応用先としてUCシナリオの検証を提案する．具体的には，UCシナリオを記号モデル検査の問題に変換することで，筆者が過去に提案した手法では検証が困難であった大規模なUCシナリオの検証を現実的なコストで可能になることを実験的に示す． |
| 論文 | PDFファイル |