文献

J-GLOBAL ID：201902225071515898   整理番号：19A2116844

産業制御システムのための信頼性評価モデルの生成に向けて【JST・京大機械翻訳】

Toward Generation of Dependability Assessment Models for Industrial Control System

著者 (5件)： BOYER Grace (Industrial Automation, Schneider Electric France, 06510, France) ,  PETIN Jean-Francois (CRAN, UMR 7039 CNRS, CRAN, UMR 7039, Universite ́ de Lorraine, France) ,  BRINZEI Nicolae (CRAN, UMR 7039 CNRS, CRAN, UMR 7039, Universite ́ de Lorraine, France) ,  CAMERINI Jacques (Industrial Automation, Schneider Electric France, 06510, France) ,  NDIAYE Moulaye (Industrial Automation, Schneider Electric France, 06510, France)
資料名： IEEE Conference Proceedings  (IEEE Conference Proceedings)
巻： 2019  号： IDT  ページ： 50-59  発行年： 2019年 
JST資料番号： W2441A  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： アメリカ合衆国 (USA)  言語： 英語 (EN)

抄録/ポイント： 本論文は,産業制御ITシステムの評価のためのツールベースのアプローチの開発に焦点を合わせた。このアプローチの独創性は2つの主要点に依存する。最初に,信頼性評価のための基本的形式モデルは,アーキテクチャのライフサイクルにおける再構成,再構成およびモードを考慮するために,ITアーキテクチャの動的挙動をカバーしなければならない。第二に,これらの形式的モデルを自動的に確立し,エンジニアリングフェーズの間に評価された大量の候補アーキテクチャを扱うとき,時間消費を低減するためにアーキテクチャ設計者に隠す必要がある。本研究は,信頼性に関するアーキテクチャの重要なオブジェクトを同定し,構造化するための構造化UML(統一モデリング言語)モデリングフレームワークを定義することにより,そのような目的に向けた最初のステップである。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： 計算機アーキテクチャ ,  再構成 ,  *信頼性 ,  *モデル ,  位相 ,  UML【モデリング言語】 ,  ライフサイクル
準シソーラス用語： アーキテクチャ設計 ,  動的挙動 ,  形式モデル ,  ITシステム ,  *信頼性評価 , 【Automatic Indexing@JST】

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 産業制御 ,  信頼性評価 ,  モデル