› 日本大学 › 工学部 › 情報工学科 › 高信頼システム系

高信頼性システム研究室 (Dependable Systems Lab.)

多くの電子機器は情報システムとして構築され，社会で重要な役割を果たしています． そのため，情報システムの信頼性の保証や誤りのない設計が重要となっています． 研究室では，形式手法の一つであるモデル検査を中心として，組込み機器や確率的な振舞いを示すシステムの信頼性保証手法や開発手法の研究に取り組んでいます．

ICCCS 2019, Best presentation of the session

Ryo Watanabe earned the best presentation award of the session at IEEE 4th International Conference on Computer and Communication Systems (ICCCS2019).

ICCCN2018 / IoTPST2018

One of the authors, Dr. Mikoshi, presents our paper at ICCCN2018 / IoTPST2018.

日本大学工学部情報工学科高信頼性システム研究室

Topics

Feb. 2019
We made a presentation at IEEE 4th International Conference on Computer and Communication Systems (ICCCS2019) .
Ryo Watanabe earned the best presentation award of the session.
  • Ryo Watanabe, and Toshifusa Sekizawa:
    "Counter Example Analysis of Robot Action Design for Self-localization Based on Model Checking using Probability Removed Model,"
    Proceedings of ICCCS 2019, Feb. 25, 2019. (Singapore)
Feb. 2019
修士論文発表会にて，博士前期課程2年の3名が発表を行ないました．
Feb. 2019
卒業研究発表会にて，4年生の15名が発表を行ないました．
Jan. 2019
IPSJ 東北支部研究会 (会津大学) にて，次の発表を行ないました．
  • 矢吹光，関澤俊弦:
    "ロボットの振る舞いの確率的な解空間からの解の選択手法の提案と協調解析の考察,"
    IPSJ 東北支部研究会, Jan. 2019.
  • 渡邉亮，関澤俊弦:
    "確率除去モデルを用いたモデル検査に基づく自己位置推定の地図設計に対する反例解析,"
    IPSJ 東北支部研究会, Jan. 2019.