SEL@KIT: Y. Harada, Y. Yamagata, O. Mizuno, and E. Choi, Log-Based Anomaly Detection of CPS Using a Statistical Method, March 2017.
  • リスト
  •  表 
  • LaTeX
  • BibTeX
  • 統計情報
Detail view
Tweet
Y. Harada, Y. Yamagata, O. Mizuno, and E. Choi, "Log-Based Anomaly Detection of CPS Using a Statistical Method," In Proc. of the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP2017), pp. 1-6, March 2017.
ID 745
分類 国際会議(査読付)
タグ anomaly cps detection log-based method statistical aquatan
表題 (title) Log-Based Anomaly Detection of CPS Using a Statistical Method
表題 (英文)
著者名 (author) Yoshiyuki Harada,Yoriyuki Yamagata,Osamu Mizuno,Eun-Hye Choi
英文著者名 (author) Yoshiyuki Harada,Yoriyuki Yamagata,Osamu Mizuno,Eun-Hye Choi
編者名 (editor)
編者名 (英文)
キー (key) Yoshiyuki Harada,Yoriyuki Yamagata,Osamu Mizuno,Eun-Hye Choi
書籍・会議録表題 (booktitle) Proc. of the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP2017)
書籍・会議録表題(英文)
巻数 (volume)
号数 (number)
ページ範囲 (pages) 1-6
組織名 (organization)
出版元 (publisher) IEEE CPS
出版元 (英文)
出版社住所 (address)
刊行月 (month) 3
出版年 (year) 2017
採択率 (acceptance) 62.5%, 10/16
URL http://arxiv.org/abs/1701.03249
付加情報 (note) Tokyo, Japan
注釈 (annote) DOI 10.1109/IWESEP.2017.12
内容梗概 (abstract) Detecting anomalies of a cyber physical system (CPS), which is a complex system consisting of both physical and software parts, is important because a CPS often operates autonomously in an unpredictable environment.
However, because of the ever-changing nature and lack of a precise model for a CPS, detecting anomalies is still a challenging task.
To address this problem, we propose applying an outlier detection method to a CPS log.
By using a log obtained from an actual aquarium management system, we evaluated the effectiveness of our proposed method by analyzing outliers that it detected.
By investigating the outliers with the developer of the system, we confirmed that some outliers indicate actual faults in the system.
For example, our method detected failures of mutual exclusion in the control system that were unknown to the developer.
Our method also detected transient losses of functionalities and unexpected reboots.
On the other hand, our method did not detect anomalies that were too many and similar.
In addition, our method reported rare but unproblematic concurrent combinations of operations as anomalies.
Thus, our approach is effective at finding anomalies, but there is still room for improvement.

論文電子ファイル 利用できません.
BiBTeXエントリ
@inproceedings{id745,
         title = {Log-based Anomaly Detection of {CPS} Using a Statistical Method},
        author = {Yoshiyuki Harada and Yoriyuki Yamagata and Osamu Mizuno and Eun-Hye Choi},
     booktitle = {Proc. of the 8th IEEE International Workshop on Empirical Software Engineering in Practice (IWESEP2017)},
         pages = {1-6},
     publisher = {IEEE CPS},
         month = {3},
          year = {2017},
    acceptance = {62.5\%, 10/16},
          note = {Tokyo, Japan},
        annote = {DOI 10.1109/IWESEP.2017.12},
}
  

Search

Tags

1 件の該当がありました. : このページのURL : HTML : RSS : XML

Language: 英語 | 日本語 || ログイン |

This site is maintained by o-mizuno.
PMAN 3.2.10 build 20181029 - Paper MANagement system / (C) 2002-2016, Osamu Mizuno
Time to show this page: 0.287788 seconds.