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

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

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

ICCCN2018/IoTPST2018

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

A scene at HVC 2017

A scene at HVC 2017 where a graduate student, Ryo Watanabe, is presenting our research.

Topics

Aug. 2018
We presented the following paper at ICCCN 2018 / IoTPST 2018.
  • Toshifusa Sekizawa, Taiju Mikoshi, Masataka Nagura, Ryo Watanabe, and Qian Chen:
    "Probabilistic Position Estimation and Model Checking for Resource-Constrained IoT Devices,"
    ICCCN 2018 / IoTPST 2018, August 2018.(Hangzhou, China)
May 2018
The following paper is accepted at JCKBSE 2018 (in August 2018).
  • Kozo Okano, Kazuma Takahashi, Shinpei Ogata, and Toshifusa Sekizawa:
    "Analysis of Specification in Japanese using Natural Language Processing,"
    JCKBSE 2018, (reviewed, accepted).
Mar. 2018
IEICE 知能ソフトウェア工学研究会(KBSE) にて,次の発表を行ないました.
  • 岡野浩三,高橋一真,仲悠介,小形真平,関澤俊弦:
    "自然語解析技術を用いた和文要求仕様の解析と音声によるレビュー支援法,"
    信学技法, vol. 117, no. 465, KBSE2017-52, pp. 79-84, Mar. 2018.