• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to project page

2017 Fiscal Year Annual Research Report

Computational Model of Failure and Its Analysing

Research Project

Project/Area Number 24500009
Research InstitutionTokyo Institute of Technology

Principal Investigator

西崎 真也  東京工業大学, 学術国際情報センター, 教授 (90263615)

Project Period (FY) 2012-04-01 – 2018-03-31
Keywords故障 / 計算モデル / プロセス代数
Outline of Annual Research Achievements

まず、故障をとらえた計算モデルを、プロセス代数・有限状態オートマトンの2つの枠組みで考察した。プロセス代数としては、ミルナーによるCCSおよびパイ計算を中心に研究した。そして、従来モデルへの変換を与えることにより解析を行うことを試みた。この変換がモデルの意味を保存することを確認した。さらに、変換先の解析結果を変換元の性質として逆変換する方法についても研究した。
これらの成果を元に、バックエンドの推論システムにモデル検査システムを用いた検証システムを実装を試みた。実装については、UPPAALなどのモデル検査系に基づくものとなった。バックエンドからの解析結果をフロントエンドである故障をとらえた計算モデルに関する性質として表示することについて研究をすすめた。
さらに、プロセス代数ベースの計算モデルを定理証明システム上で形式化を行うことにより、形式的仕様記述の基盤を確立することを目指した。また、FMEAやFTAなどの信頼性工学の手法との統合についても検討した。
とりわけ、平成29年度においては、これまでの研究成果を取りまとめの作業を行い、国際会議発表や学術雑誌掲載などに取り組んだ。また、これまでに研究した「故障をとらえるためのプロセス代数」や「故障を評価するための形式的検証ツールを用いた検証手法」などの個々の研究成果を総合的に評価し、その相互の関連について考察を進めた。
故障に関して形式的取り扱いをするための手法について一定の目途をつけることができた。

  • Research Products

    (2 results)

All 2017

All Journal Article (1 results) (of which Peer Reviewed: 1 results) Presentation (1 results) (of which Int'l Joint Research: 1 results)

  • [Journal Article] Big-step and Small-Step Semantics of the Call-by-Name RPC Calculus2017

    • Author(s)
      Keishi Watanabe, Shin-ya Nishizaki
    • Journal Title

      Journal of Software

      Volume: 12 Pages: 570-580

    • DOI

      10.17706/jsw.12.7.570-580

    • Peer Reviewed
  • [Presentation] User Interface for Process Calculus for DoS-attack Resistance Analysis2017

    • Author(s)
      Ikeda Motoshi、NISHIZAKI Shin-ya
    • Organizer
      2nd International Conference on Computer Science and Technology (CST 2017)
    • Int'l Joint Research

URL: 

Published: 2018-12-17  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi