文献

J-GLOBAL ID：201702291287043449   整理番号：17A1632034

修理可能で再構成可能なシステムの安全性解析モデルの形式的検証【Powered by NICT】

Formal Verification of Safety Analysis Models of Repairable and Reconfigurable Systems

著者 (3件)： Kobeissi Elodie (LURPA, ENS Cachan, Univ. Paris-Sud, Universite Paris-Saclay, F-94235 Cachan, France) ,  Piriou Pierre-Yves (Electricite de France, R&D, 78400 Chatou, France) ,  Faure Jean-Marc (LURPA, ENS Cachan, Univ. Paris-Sud, Supmeca, Univ. Paris-Saclay, 94235 Cachan, France)
資料名： IFAC PapersOnLine  (IFAC PapersOnLine)
巻： 50  号： 1  ページ： 11144-11149  発行年： 2017年 
JST資料番号： W3101A  ISSN： 2405-8963  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： オランダ (NLD)  言語： 英語 (EN)

抄録/ポイント： 本論文では,形式的に形式的性質はモデルベース安全性解析/評価のための専門家による設計された動的モデルにあるかどうかをチェックする方法を提案した。修理可能および再構成可能システムを考察したように,このモデルは一般化Boole論理駆動型Markov過程(GBDMP)モデリング枠組中で記述できると仮定した。翻訳規則を検証ツールの意味論による初期モデルの正確に発展を記述する形式的モデルを得るために示した。アプローチは待機冗長の簡単なケースにおいて実証された。Copyright 2017 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.【Powered by NICT】

シソーラス用語： 意味論 ,  ダイナミックモデル ,  モデリング ,  待機冗長 ,  *安全解析 ,  Markov過程
準シソーラス用語： モデルベース ,  *形式的検証 ,  *再構成可能システム , 【Automatic Indexing@JST】

著者キーワード (6件)： モデルベース安全性解析/評価 ,  形式的検証 ,  動的特性 ,  一般化BDMP ,  安定性 ,  計算ツリー論理

分類 (3件)： 計算理論  (JB02000A) ,  言語プロセッサ  (JD03040F) ,  システムモデル  (IB02000Z)

タイトルに関連する用語 (5件)： 修理 ,  再構成可能なシステム ,  安全性解析 ,  モデル ,  形式的検証